alghasse

  ***   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, [3], [], [[1, x], [1, 1]
], [1, 0; 0, 1], 1, [y, [1, 0], 1, 1, [Mat(1), Mat(1), Mat(16), Mat(1), 1, M
at(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.500000000000000000000
00000000000000000 + 0.86602540378443864676372317075293618347*I]), [1, 0.3660
2540378443864676372317075293618347; 1, -1.3660254037844386467637231707529361
835], [16, 6; 16, -22], [2, -1; -1, -1], [3, 2; 0, 1], [1, -1; -1, -2], [3, 
[2, -1; 1, 1]], [3]~], [-0.50000000000000000000000000000000000000 + 0.866025
40378443864676372317075293618347*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), Vecsmall([1]), [[[3, [3]~, 1, 1, 1], [5, [5]~, 1, 1, 1], [11708309, [117
08309]~, 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, [2, 5], [], [[1, J], [1, 1]], [1, 0; 0, 1
], 1, [y, [1, 0], 1, 1, [Mat(1), Mat(1), Mat(16), 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.23606797749978969640
91736687312762354], [16, 36; 16, -36], [2, 0; 0, -10], [10, 0; 0, 2], [5, 0;
 0, -1], [5, [0, -5; 1, 0]], [2, 5]~], [0.E-77 + 2.2360679774997896964091736
687312762354*I], [1, J], [1, 0; 0, 1], [1, 0, 0, -5; 0, 1, 1, 0]], [[1; 0], 
Mat(1), 1, Vecsmall([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]], Vecs
mall([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, 1
0, 7; 0, 0, -15, -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, [0, -1, -1, 0]~, 2, 2, [0, -3, -3, 0; -1, 0, 0, -3; -1, 0, 0, 3; 
0, -1, 1, 0]], [5, [-2, 2, 2, 0]~, 1, 2, [2, 6, 6, 0; 2, 2, 0, 6; 2, 0, 2, -
6; 0, 2, -2, 2]]]
[2, [3, [0, -1, -1, 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, 0, 1, -1, 1]~, 2, 2, [0, 0, 3, 3, 0, 0, -3, 3; 0
, 0, 0, 0, 0, -3, -3, 6; 1, 1, -2, -4, 1, 6, 3, -3; 1, -1, 0, 3, -1, -5, 0, 
3; 0, 1, -1, -2, 1, 4, 0, -3; 0, -2, 2, 1, 1, -2, 0, 3; -1, -1, 2, 1, -1, 0,
 0, 0; 1, 2, 0, 0, -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 nonprime 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 nonprime degree is not yet implemented.
2 2 2 2 2 2 2 2 2 2 
Total time spent: 2581