lecture 1 polytopes federico ardila