1 | initial version |
What do you expect? The transformation from V-representation to H-representation is not a trivial one. This coefficient blowup might already seen when looking at solution to linear equations
sage: M = matrix(5, 6, [[2,1,0,0,0,0],
....: [0,2,1,0,0,0],
....: [0,0,2,1,0,0],
....: [0,0,0,2,1,0],
....: [0,0,0,0,2,1]])
sage: M
[2 1 0 0 0 0]
[0 2 1 0 0 0]
[0 0 2 1 0 0]
[0 0 0 2 1 0]
[0 0 0 0 2 1]
sage: M.right_kernel()
Free module of degree 6 and rank 1 over Integer Ring
Echelon basis matrix:
[ 1 -2 4 -8 16 -32]