  ***   Warning: new stack size = 12000000 (11.444 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.8660254
0378443864676372317075293618347*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, [1170
8309]~, 1, 1, 1]], Vecsmall([1, 1, 1])], [0, [1, -1, 0, 0; 0, -1, 0, 0; 0, 0
, -1, 0; 0, 0, 0, -1]], [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 + 8, [1], [8, -2], 2, [2], [], [[1, J], [1, Mat(1/2)]], [1, 0; 0
, 1], 2, [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 + 8, 0, 0, y, J^2 + 8], [[J^2 
+ 8, [0, 1], -8, 2, [Mat([1, 0.E-77 + 1.414213562373095048801688724209698078
6*I]), [1, 1.4142135623730950488016887242096980786; 1, -1.414213562373095048
8016887242096980786], [16, 23; 16, -23], [2, 0; 0, -4], [4, 0; 0, 2], [2, 0;
 0, -1], [2, [0, -2; 1, 0]], [2]], [0.E-77 + 2.82842712474619009760337744841
93961571*I], [2, J], [1, 0; 0, 2], [1, 0, 0, -2; 0, 1, 1, 0]], [[1; 0], Mat(
1), 1, Vecsmall([1])]]], [-J], Mod(-39, y), Vecsmall([1]), [[[2, [2]~, 1, 1,
 1], [3, [3]~, 1, 1, 1], [13, [13]~, 1, 1, 1]], Vecsmall([0, 0, 1])], [0, [1
, 0, 1, 1; 0, -1, 0, 0; 0, 0, -1, 0; 0, 0, 0, -1]], [1, 0, 1/2, 1/2; 0, 1, 0
, 1/4; 0, 0, 1/2, 1/6; 0, 0, 0, 1/12], [1, 0, -1, -4; 0, 1, 0, -3; 0, 0, 2, 
-4; 0, 0, 0, 12], [[1, 0, 0, 0; 0, 1, 0, 0; 0, 0, 1, 0; 0, 0, 0, 1], [0, -2,
 2, 0; 1, 0, 2, 1; 0, 0, 2, 1; 0, 0, -6, -2], [0, -2, -10, -4; 0, -1, 0, -2;
 1, -2, 1, 0; 0, 6, 0, 2], [0, -1, -3, -2; 0, 0, 2, 0; 0, -1, 1, 0; 1, 2, -1
, 1]], 0, [4, 0, 2, 2]]
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]]]
quaternion from ramification shortcut
1
1
1
1
1
1
1
1
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 
infinite loop in GW
inefficiency in backtrackfacto
bug: alg_complete at ramified primes
bug alghasse
1
1
doc alginit: quatalg from ramification
2
algisisom
degree 1
1
1
1
1
1
degree 2
1
1
1
1
1
1
1
1
1
1
degree 3
1
1
1
1
degree 4
1
doc algisisom
1
1
bad inputs algisisom
  ***   at top-level: algisisom([],al)
  ***                 ^----------------
  *** algisisom: incorrect type in checkalg [please apply alginit()] (t_VEC).
  ***   at top-level: algisisom(al,[])
  ***                 ^----------------
  *** algisisom: incorrect type in checkalg [please apply alginit()] (t_VEC).
  ***   at top-level: algisisom(almt,al)
  ***                 ^------------------
  *** algisisom: incorrect type in algisisom [al: apply alginit()] (t_VEC).
  ***   at top-level: algisisom(al,almt)
  ***                 ^------------------
  *** algisisom: incorrect type in algisisom [al2: apply alginit()] (t_VEC).
  ***   at top-level: algisisom(H,al)
  ***                 ^---------------
  *** algisisom: incorrect type in algisisom [al: apply alginit()] (t_VEC).
  ***   at top-level: algisisom(al,H)
  ***                 ^---------------
  *** algisisom: incorrect type in algisisom [al2: apply alginit()] (t_VEC).
  ***   at top-level: algisisom(al,al2)
  ***                 ^-----------------
  *** algisisom: base fields must be identical in algisisom.
  ***   at top-level: algisisom(al,al2)
  ***                 ^-----------------
  *** algisisom: Hasse invariants were not computed for this algebra.
  ***   at top-level: algisisom(al,al2,[])
  ***                 ^--------------------
  *** algisisom: incorrect type in is_place_emb (t_VEC).
  ***   at top-level: algisisom(al,al2)
  ***                 ^-----------------
  *** algisisom: sorry, computation of Hasse invariants over table CSA is not yet implemented.
  ***   at top-level: algisisom(al,al3)
  ***                 ^-----------------
  *** algisisom: sorry, computation of Hasse invariants over table CSA is not yet implemented.
  ***   at top-level: algisisom(al,al3,192)
  ***                 ^---------------------
  *** algisisom: domain error in is_place_emb: pl > 2
Total time spent: 1475
