Extracting inequalities for polytopes
Here is a buckyball
bb = polytopes.buckyball()
rep = bb.Hrepresentation()
show(rep)
and its Hrepresentation. When i ask for say
rep[10]
Sagemath returns the 10th inequality in a way that i coud not use it. Is there a way to obtain explicit inequalities for the polytopes ?
If i type
eq0 = rep[0]
I have an acceptable answer with $x_1$ and $x_2$, but I do not know how to call either $x_1$ or $x_2$ to reuse that inequality in say a linear program.
Searching Ask Sage for "inequalities":
reveals many other questions and answers which might give some insight.