  ***   Warning: new stack size = 100000000 (95.367 Mbytes).
Suite: all
Suite: hasse sum to 0
cyclo construction: [[x^2 + x + 1, [1], [3, -3], 1, [], [], [[1, x], [1, 1]]
, [1, 0; 0, 1], 1, [y, [1, 0], 1, 1, [Mat(1), Mat(1), Mat(1), Mat(1), 1, Mat
(1), [1, 0], []], [0.E-57], [1], Mat(1), Mat(1)], [x^2 + x + 1, 0, 0, y, x^2
 + x + 1], [[x^2 + x + 1, [0, 1], -3, 1, [Mat([1, -0.50000000000000000000000
000000000000000 + 0.86602540378443864676372317075293618347*I]), [1, 0.366025
40378443864676372317075293618347; 1, -1.366025403784438646763723170752936183
5], [1, 0; 1, -1], [2, -1; -1, -1], [3, 2; 0, 1], [1, -1; -1, -2], [3, [2, -
1; 1, 1]], []], [-0.50000000000000000000000000000000000000 + 0.8660254037844
3864676372317075293618347*I], [1, x], [1, 0; 0, 1], [1, 0, 0, -1; 0, 1, 1, -
1]], [[1; 0], Mat(1), 1, Vecsmall([1])]]], [-x - 1], Mod(-175624635, y), Vec
small([1]), [[[3, [3]~, 1, 1, 1], [5, [5]~, 1, 1, 1], [11708309, [11708309]~
, 1, 1, 1]], Vecsmall([1, 1, 1])], 0, [1, 0, 0, 0; 0, 1, 0, 0; 0, 0, 1, 2/3;
 0, 0, 0, 1/3], [1, 0, 0, 0; 0, 1, 0, 0; 0, 0, 1, -2; 0, 0, 0, 3], [[1, 0, 0
, 0; 0, 1, 0, 0; 0, 0, 1, 0; 0, 0, 0, 1], [0, -1, 0, 0; 1, -1, 0, 0; 0, 0, 1
, 1; 0, 0, -3, -2], [0, 0, -175624635, -117083090; 0, 0, 0, -58541545; 1, -2
, 0, 0; 0, 3, 0, 0], [0, 0, -58541545, -58541545; 0, 0, 58541545, 0; 0, -1, 
0, 0; 1, 1, 0, 0]], 0, [4, -2, 0, 0]]
cyclo ramified at infinity: 1
cyclo unramified at infinity: 1
cyclo 5: 1
cyclo 5 bis: 1
cyclo 7 bis no mo: 1
cyclo 11 no mo: 1
quat -1,-1 over Q: 1
quat -1,-1 over Q(sqrt(2)): 1
quat -1,-1 over Q(sqrt(60)): 1
Suite: algebra from Hasse invariants
matrix algebra invariants: 1
algebra 1 invariants: 1
algebra 2 invariants: 1
test: [[J^2 + 5, [1], [20, -5], 1, [], [], [[1, J], [1, 1]], [1, 0; 0, 1], 1
, [y, [1, 0], 1, 1, [Mat(1), Mat(1), Mat(1), Mat(1), 1, Mat(1), [1, 0], []],
 [0.E-57], [1], Mat(1), Mat(1)], [J^2 + 5, 0, 0, y, J^2 + 5], [[J^2 + 5, [0,
 1], -20, 1, [Mat([1, 0.E-77 + 2.2360679774997896964091736687312762354*I]), 
[1, 2.2360679774997896964091736687312762354; 1, -2.2360679774997896964091736
687312762354], [1, 2; 1, -2], [2, 0; 0, -10], [10, 0; 0, 2], [5, 0; 0, -1], 
[5, [0, -5; 1, 0]], []], [0.E-77 + 2.2360679774997896964091736687312762354*I
], [1, J], [1, 0; 0, 1], [1, 0, 0, -5; 0, 1, 1, 0]], [[1; 0], Mat(1), 1, Vec
small([1])]]], [-J], Mod(-39, y), Vecsmall([1]), [[[13, [13]~, 1, 1, 1], [2,
 [2]~, 1, 1, 1], [5, [5]~, 1, 1, 1], [3, [3]~, 1, 1, 1]], Vecsmall([1, 0, 0,
 0])], 0, [1, 0, 1/2, 1; 0, 1, 0, 3/10; 0, 0, 1/2, 1/3; 0, 0, 0, 1/30], [1, 
0, -1, -20; 0, 1, 0, -9; 0, 0, 2, -20; 0, 0, 0, 30], [[1, 0, 0, 0; 0, 1, 0, 
0; 0, 0, 1, 0; 0, 0, 0, 1], [0, -5, 10, 5; 1, 0, 5, 4; 0, 0, 10, 7; 0, 0, -1
5, -10], [0, -10, -10, -10; 0, -4, 0, -2; 1, -10, 1, -2; 0, 15, 0, 5], [0, -
8, -4, -6; 0, -2, 2, 0; 0, -7, 4, 0; 1, 10, -4, 2]], 0, [4, 0, 2, 4]]
degree 6 algebra over Q: 1
trivial finite conditions: [Vecsmall([1, 1]), [[[3, [3, 0]~, 1, 2, 1], [5, [
1, 2]~, 2, 1, [1, 2; 2, -1]]], Vecsmall([0, 0])]]
better accessors
1/2
0
3/4
0
1/4
1/2
2
1
4
1
4
2
4
0
0
1
0
1
0
1
0
1
0
1
0
0
0
1
0
1
0
1
1
1
[1, [2, [2, 0, 0]~, 1, 3, 1], [5, [2, 0, 1]~, 1, 1, [-1, 2, -3; 1, -2, -2; -
2, -1, -1]], [5, [-1, 1, -2]~, 1, 2, [2, -1, 1; 0, 2, 1; 1, 0, 2]]]
 
1/2
0
0
1/2
0
2
1
1
2
1
2
0
0
0
0
0
0
0
1
1
0
1
0
1
0
0
1
0
1
[1, [5, [2, 0, 1]~, 1, 1, [-1, 2, -3; 1, -2, -2; -2, -1, -1]]]
 
0
0
0
0
1
1
1
1
1
0
0
0
0
0
1
1
1
1
1
0
0
0
0
0
[]
Hasse inv 0 bug
3
9
1
0
[2, 0, 0, 2, 0, 0, 3, 0, 0]~
[0, 0, 0, -2, 0, 0, -3, 0, 0]~
[0, 0, 0, 0, 0, 0, 0, 0, 0]~

tests with splitting field that does not descend
[1, [2, [2, 0]~, 1, 2, 1]]
[1, 2]
[1, [5, [1, 2]~, 2, 1, [1, 2; 2, -1]]]
[1, 4, [3, [6, -2, 2, 0]~, 2, 2, [0, 3, -3, 0; 1, 0, 0, -3; -1, 0, 0, -3; 0,
 -1, -1, 0]], [5, [3, -2, 2, 0]~, 1, 2, [2, -6, 6, 0; -2, 2, 0, 6; 2, 0, 2, 
6; 0, 2, 2, 2]]]
[2, [3, [6, -2, 2, 0]~, 2, 2, [0, 3, -3, 0; 1, 0, 0, -3; -1, 0, 0, -3; 0, -1
, -1, 0]]]
[1, 4, 5, [3, [-1, 0, -1, 0, 1, 0, 0, 0]~, 2, 2, [0, 0, 3, -3, 6, 3, 3, 0; 0
, 0, 0, 3, -3, 3, 0, -3; 1, 1, -2, 1, -1, 0, -3, 0; 0, 1, -1, 2, -1, 2, 0, -
6; 1, -1, 0, 0, 1, 2, 3, -3; 1, 2, 0, 0, 1, -1, 0, 3; 1, 0, -1, -1, 3, 1, 0,
 0; 0, -1, 1, -2, 1, 1, 0, 0]]]
degree bug
  ***   at top-level: al=alginit(nf,[4,[[p2,p3],[1/2,1/2]],[0]]);alg
  ***                    ^-------------------------------------------
  *** alginit: sorry, nfgrunwaldwang for non-prime degree is not yet implemented.
2 2 2 2 2 2 2 2 2 2 
  ***   at top-level: al=alginit(nf,[4,[[p2,p3],[0,0]],[0]]);algdegr
  ***                    ^-------------------------------------------
  *** alginit: sorry, nfgrunwaldwang for non-prime degree is not yet implemented.
2 2 2 2 2 2 2 2 2 2 
Total time spent: 1612
