  ***   at top-level: nfeltmulmodpr(nfinit(x),x,x,1)
  ***                 ^------------------------------
  *** nfeltmulmodpr: incorrect type in checkprid (t_INT).
[0, 1, 1, error("inconsistent variables in poltobasis, z != y."), 0, error("
incorrect type in Rg_to_ff (t_COL).")]
y^2 + 1: [1, [1, 1], [2, [1, 1]~, 2, 1, [1, -1; 1, 1]]]~
*[1, 1]:
error("impossible inverse in F2xq_inv: 0.")
0
*[1, 2]:
0
0
*[1, 3]:
0
0
*[1, 4]:
error("impossible inverse in F2xq_inv: 0.")
0
*[2, 2]:
1
1
*[2, 3]:
1
1
*[2, 4]:
error("impossible inverse in F2xq_inv: 0.")
0
*[3, 3]:
1
1
*[3, 4]:
error("impossible inverse in F2xq_inv: 0.")
0
*[4, 4]:
error("impossible inverse in F2xq_inv: 0.")
0
*1:
[0, 0]~
*2:
[1, 0]~
*3:
[1, 0]~
*4:
error("inconsistent variables in poltobasis, z != y.")
*5:
[0, 0]~
*6:
error("incorrect type in Rg_to_ff (t_COL).")
[0, error("impossible inverse in Fl_inv: Mod(0, 3)."), y, error("inconsisten
t variables in poltobasis, z != y."), error("impossible inverse in Rg_to_ff:
 Mod(0, 3)."), error("incorrect type in Rg_to_ff (t_COL).")]
y^2 + 1: [1, [1, 0; 0, 1], [3, [3, 0]~, 1, 2, 1], y^2 + 1]~
*[1, 1]:
error("impossible inverse in Flxq_inv: 0.")
0
*[1, 2]:
0
0
*[2, 2]:
1
2
*1:
[0, 0]~
*2:
error("impossible inverse in Fl_inv: Mod(0, 3).")
*3:
[0, 1]~
*4:
error("inconsistent variables in poltobasis, z != y.")
*5:
error("impossible inverse in Rg_to_ff: Mod(0, 3).")
*6:
error("incorrect type in Rg_to_ff (t_COL).")
[0, error("impossible inverse in Fl_inv: Mod(0, 3)."), 0, error("inconsisten
t variables in poltobasis, z != y."), error("incorrect type in Rg_to_ff (t_C
OL)."), error("impossible inverse in Rg_to_ff: Mod(0, 3).")]
y^3 - 9: [1, [1, 0, 0], [3, [0, 1, 0]~, 3, 1, [0, 3, 0; 0, 0, 3; 1, 0, 0]]]~
*[1, 1]:
error("impossible inverse in Flxq_inv: 0.")
0
*[1, 2]:
error("impossible inverse in Flxq_inv: 0.")
0
*[2, 2]:
error("impossible inverse in Flxq_inv: 0.")
0
*1:
[0, 0, 0]~
*2:
error("impossible inverse in Fl_inv: Mod(0, 3).")
*3:
[0, 0, 0]~
*4:
error("inconsistent variables in poltobasis, z != y.")
*5:
error("incorrect type in Rg_to_ff (t_COL).")
*6:
error("impossible inverse in Rg_to_ff: Mod(0, 3).")
[0, 1, y, error("inconsistent variables in poltobasis, z != y."), error("inc
orrect type in Rg_to_ff (t_COL)."), 0]
y^3 - 9: [[0, -1, -1]~, [1, 1, 0; 0, 1, 1], [2, [1, 1, 1]~, 1, 2, [1, 3, 0; 
0, 1, 3; 1, 0, 1]], y^2 + y + 1]~
*[1, 1]:
error("impossible inverse in F2xq_inv: 0.")
0
*[1, 2]:
0
0
*[1, 3]:
0
0
*[1, 4]:
error("impossible inverse in F2xq_inv: 0.")
0
*[2, 2]:
1
1
*[2, 3]:
y + 1
y
*[2, 4]:
error("impossible inverse in F2xq_inv: 0.")
0
*[3, 3]:
1
y + 1
*[3, 4]:
error("impossible inverse in F2xq_inv: 0.")
0
*[4, 4]:
error("impossible inverse in F2xq_inv: 0.")
0
*1:
[0, 0, 0]~
*2:
[1, 0, 0]~
*3:
[0, 0, 1]~
*4:
error("inconsistent variables in poltobasis, z != y.")
*5:
error("incorrect type in Rg_to_ff (t_COL).")
*6:
[0, 0, 0]~
y
[1, 0]~

[x + 1 3]

1
[1, 1]~
[;]
[0, 1]~

[1 1]

[1 1]


[1]

[1]

  ***   at top-level: LI(matsolve(m,v))
  ***                    ^--------------
  *** matsolve: impossible inverse in gauss: [1, 1; 1, 1].
  ***   at top-level: LI(matsolve(m,m))
  ***                    ^--------------
  *** matsolve: impossible inverse in gauss: [1, 1; 1, 1].
[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 
0, 0, 0, 0, 0, 0, 0]~
  ***   at top-level: nfmodpr(nfinit(x),[],[]~)
  ***                 ^-------------------------
  *** nfmodpr: incorrect type in checkprid (t_COL).
Total time spent: 100
