SetLength: can't change this vector's length #33
Description
A small modification of the example code in issue #32 results in the error
SetLength: can't change this vector's length
The Sage code is quoted below and it can also be run at Sagecell.
from sage.interfaces.latte import integrate
P = Polyhedron(ieqs=[[0, 1, 0, 0], [1, -1, 0, 0], [0, 0, 1, 0], [0, 1, -1, 0], [0, 0, 0, 1], [0, 1, 0, -1], [1, -1, -1, -1], [-1, 2, 1, 1]])
x = polygen(QQ)
print( integrate( (12*P).cdd_Vrepresentation(), x, cdd=True ) )