bnfsunit

  ***   Warning: new stack size = 80000000 (76.294 Mbytes).
[x, x + 1, -x^2 - 1, x^2 - 2*x - 1, 7]
31.029990599327622684230279153223459647
[1, [], []]
[0, 0, 1, 0, 0, 0, 0]~
[0, 1, 1, 0, 1, 0, 0]~
[]~
[0, 0, 37, 0, 20, 0, 0]~
[]~
[[Mat([x - 1, 1]), Mat([-1, 1])], [], [;], 1]
[]~
[[Mat([[0, 1, 0]~, 1]), Mat([[1, 1, 0]~, 1]), Mat([[-1, 0, -1]~, 1]), Mat([[
-1, -2, 1]~, 1]), Mat([[7, 0, 0]~, 1]), Mat([x - 1, 1]), Mat([-1, 1])], [[2,
 [0, 1, 0]~, 3, 1, [0, 2, 0; 0, 0, 2; 1, 0, 0]], [3, [1, 1, 0]~, 3, 1, [1, 2
, -2; -1, 1, 2; 1, -1, 1]], [5, [2, 1, 0]~, 1, 1, [-1, 2, -4; -2, -1, 2; 1, 
-2, -1]], [5, [-1, -2, 1]~, 1, 2, [2, 0, 2; 1, 2, 0; 0, 1, 2]], [7, [7, 0, 0
]~, 1, 3, 1]]~, matrix(0,5), 1]
[1, 0, 1, 0, 0, 0, 1]~
[]~
[37, 0, 20, 0, 0, 0, 0]~
[]~
[0, 1]~
[1, 0]~
[-1/2*x - 3/2]
0.69314718055994530941723212145817656807
[1, [], []]
[2]
5.6285569682787745211960896402558797363
[2, [2], [[11, 1; 0, 1]]]
[1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]~
[0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]~
[0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]~
[0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0]~
[0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0]~
[0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0]~
[0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0]~
[0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0]~
[0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0]~
[0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0]~
[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0]~
[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0]~
[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1]~
1
Total time spent: 1575