[[1, 0, 0, 0; 0, 1, 0, 0; 0, 0, 1, 0; 0, 0, 0, 1], [[6, 0; 0, 6], [6, 0; 0, 
6], [6, 0; 0, 6], [6, 0; 0, 6]]]
[]
[[1, 0, 0, 0, 0, [-227930/1129, -1385/1129]~, [-456265/1129, -1960/1129]~, [
-2959567/21451, -22793/21451]~, [-5924397/21451, -35060/21451]~; 0, 1, 0, 0,
 0, [-52431/1129, 994/1129]~, [-104954/1129, 2172/1129]~, [-3793695/21451, -
27715/21451]~, [-7594135/21451, -41940/21451]~; 0, 0, 1, 0, 0, [270226/1129,
 339/1129]~, [540931/1129, -280/1129]~, [2097817/21451, 8762/21451]~, [41993
58/21451, 10076/21451]~; 0, 0, 0, 1, 0, [3065/1129, 644/1129]~, [6136/1129, 
1276/1129]~, [989334/21451, 16275/21451]~, [1980435/21451, 29016/21451]~; 0,
 0, 0, 0, 1, [-227131/1129, -725/1129]~, [-454665/1129, -644/1129]~, [-30096
94/21451, 13108/21451]~, [-6024708/21451, 36856/21451]~; 0, 0, 0, 0, 0, [-56
4/1129, -1/1129]~, -1, [-5/21451, 10/21451]~, [-10/21451, 20/21451]~; 0, 0, 
0, 0, 0, [1/1129, -2/1129]~, [2/1129, -4/1129]~, [8/21451, -16/21451]~, [16/
21451, -32/21451]~; 0, 0, 0, 0, 0, 0, 0, [-10722/21451, -7/21451]~, [-21463/
21451, 24/21451]~; 0, 0, 0, 0, 0, 0, 0, [1/21451, -2/21451]~, [2/21451, -4/2
1451]~], [1, 1, 1, 1, 1, 1, 1, 1, [1, 0; 0, 1]], [1, 0; 0, 1], 1]
[[[1, 0, 0; 0, 1, 0; 0, 0, 1], [1, 1, 1]], [1, 0, 0; 0, 1, 0; 0, 0, 1]]
[[1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0; 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0; 0, 0, 1,
 0, 0, 0, 0, 0, -1, 0, 1; 0, 0, 0, 1, 0, 0, 0, 0, -1, -1, 1; 0, 0, 0, 0, 1, 
0, 0, 0, 1, -1, 1; 0, 0, 0, 0, 0, 1, 0, 0, -1, 1, 0; 0, 0, 0, 0, 0, 0, 1, 0,
 1, -1, 0; 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, -1; 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0
; 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0; 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [1, 1, 
1, 1, 1, 1, 1, 1, [1/3, 0; 0, 1/3], [1/3, 0; 0, 1/3], [1/3, 0; 0, 1/3]], [64
87513772307278389925284499624661, 0; 0, 6487513772307278389925284499624661],
 6487513772307278389925284499624661]
[[Mat(861), [1]], [480, [120, 2, 2], [[-287240]~, [-245960]~, [-494500]~]], 
[2, 0, 1; 0, 2, 1; 0, 0, 1]]
[0, [[1, 0, 0; 0, 1, 0; 0, 0, 1], [[1, 0; 0, 1], [1, 0; 0, 1], [1, 1/2; 0, 1
/2]]], 2]
[1, [[1, 0, 0; 0, 1, 0; 0, 0, 1], [1, 1, 1]], 8]
0
1
0
0
  ***   at top-level: rnfdedekind(nf,P,pr2
  ***                 ^--------------------
  *** rnfdedekind: sorry, Dedekind in the difficult case is not yet implemented.
1
  ***   at top-level: rnfdedekind(nf,P)
  ***                 ^-----------------
  *** rnfdedekind: sorry, Dedekind in the difficult case is not yet implemented.
  ***   at top-level: rnfdedekind(nf,P,[pr
  ***                 ^--------------------
  *** rnfdedekind: sorry, Dedekind in the difficult case is not yet implemented.
[[8, 2; 0, 1], [2, 0; 0, 1], [1, 0; 0, 1]]
1
1
Mod(x^5 + x^2 + 2, x^6 + x^5 + x^4 + x^3 + x^2 + x + 1)
Mod(z^2, z^3 + z^2 - 2*z - 1)
Total time spent: 212
