forum.polymake.org

Hi all, I have a simple question regarding the function. I have the following code

$p = new Polytope(POINTS=>[[1,1,1],[1,1,0]]);
print $p->FACES;

The result prints:

0 0 1
1 0 -1

It stands for \( 1\geq x_2 \), \( x_2 \geq 0 \). Yet, where is the condition \( x_1=1 \)? I was hoping to get

-1 1 0
1 -1 0
0 0 1
1 0 -1

Yet, it isn't the case. Why? Can anyone help me with this? Thank you!

It should be available through
Best regards,
Thomas

Yes, inequalities and equalities are kept seperate. You can use them in the way you described as input (by specifying INEQUALITIES and maybe EQUATIONS), but FACETS and AFFINE_HULL give irredundant output.

Thank you for all the replies! I got it now.