Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

unexpected TypeError while creating a polyhedron over ZZ with Normaliz

The following code

Polyhedron( ieqs=[(-1, 1, -1, 0, -4), (2, -1, 1, 0, 4), (0, 1, 1, 2, -2), (2, -1, -1, -2, 2), (0, 0, -1, 1, 1), (1, 0, 1, -1, -1), (0, 1, 0, 0, 1), (1, -1, 0, 0, -1)], base_ring=ZZ, backend='normaliz' )

gives me TypeError: no conversion of this rational to integer in Sage 9.4. It can also be seen in SagMathCell - https://sagecell.sagemath.org/?q=soiohx

The error disappears if base_ring is changed to QQ. What's wrong?

unexpected TypeError while creating a polyhedron over ZZ with Normaliz

The following code

Polyhedron( ieqs=[(-1, 1, -1, 0, -4), (2, -1, 1, 0, 4), (0, 1, 1, 2, -2), (2, -1, -1, -2, 2), (0, 0, -1, 1, 1), (1, 0, 1, -1, -1), (0, 1, 0, 0, 1), (1, -1, 0, 0, -1)], base_ring=ZZ, backend='normaliz' )

gives me TypeError: no conversion of this rational to integer in Sage 9.4. It can also be seen in SagMathCell - https://sagecell.sagemath.org/?q=soiohx

The error disappears if base_ring is changed to QQ. What's wrong?