Y/x
x + 1
[[1, 3], [2, 3]]
[[1, 3], [2, 3]]
[[1, 3], [2, 3], [1, 4], [2, 4]]
[[1, 3, 5], [2, 3, 5], [1, 4, 5], [2, 4, 5], [1, 3, 6], [2, 3, 6], [1, 4, 6]
, [2, 4, 6]]
[[x + y, y], [x, y], [x + y, x + y], [x, x + y]]
0
O(x^2)
  ***   at top-level: subst(x+O(x^2),x,Mod(1,3))
  ***                 ^--------------------------
  *** subst: forbidden substitution t_SER , t_INTMOD.
Mod(0, 3)
  ***   at top-level: subst(1/x+O(x^2),x,Mod(0,3))
  ***                 ^----------------------------
  *** subst: impossible inverse in gsubst: Mod(0, 3).
Mod(2, 3)
Mod(0, 3)

[Mod(0, 3) Mod(0, 3)]

[Mod(0, 3) Mod(0, 3)]

Mod(1, 3)

[Mod(1, 3) Mod(0, 3)]

[Mod(0, 3) Mod(1, 3)]


[Mod(1, 3)*y + Mod(1, 3)               Mod(0, 3)]

[              Mod(0, 3) Mod(1, 3)*y + Mod(1, 3)]


[Mod(1, 3) + Mod(1, 3)*y + O(y^2)                        Mod(0, 3)]

[                       Mod(0, 3) Mod(1, 3) + Mod(1, 3)*y + O(y^2)]


[Mod(1, 3) Mod(0, 3)]

[Mod(0, 3) Mod(1, 3)]


[Mod(0, 3) Mod(0, 3)]

[Mod(0, 3) Mod(0, 3)]


[Mod(0, 3)]


[Mod(1, 3)]


[Mod(1, 3)]


[Mod(0, 3)]

"t_POL"
"t_INT"
"t_POL"
"t_POL"
"t_POL"
"t_POL"
[3, 4]
[3, 4]~
-1/-y
Mod(y*x, y^2*x^2 + 1)
y*x/(y^2*x^2 + 1)
List([])
List([y*x^2])
x^2 + y^2*x^3 + O(x^4)
[t]
[t]
[;]
  ***   at top-level: subst(1,x,Mat([1,2]))
  ***                 ^---------------------
  *** subst: forbidden substitution t_INT , t_MAT (1 x 2).
4*y^2 + O(y^3)
1 + O(x)
x + O(x^2)
  ***   at top-level: substpol(x+O(x^4),x^2,x)
  ***                 ^------------------------
  *** substpol: domain error in gdeflate: valuation(x) % 2 != 0
1
(y + 1) + (y + 1)*x + O(x^2)
Mod(1, y)/(Mod(1, y)*x)
Mod(-a, a^2 - 2)
0
O(y) + (1 - y + O(y^2))*x + O(x^2)
Mod(0, 2)*t^90 + O(t^91)
Total time spent: 0
