Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

Extracting inegalities 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 ?

Extracting inegalities 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

eq1=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.

Extracting inegalities 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

eq1=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.

Extracting inegalities inequalities for polytopes

Here is a buckyball

bb = polytopes.buckyball()
rep=bb.Hrepresentation()
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

eq1=rep[0]
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.