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)
Mod(128180/979869*t^15 - 604511/979869*t^14 - 151549/326623*t^13 + 3615112/9
79869*t^12 + 530094/326623*t^11 - 5186329/979869*t^10 - 254488/89079*t^9 - 7
960673/979869*t^8 - 4836011/326623*t^7 + 21827149/979869*t^6 + 69695441/9798
69*t^5 + 51405083/979869*t^4 - 81475/979869*t^3 - 3334127/326623*t^2 - 19002
11/979869*t + 3682385/979869, t^16 - 4*t^15 - 7*t^14 + 26*t^13 + 33*t^12 - 3
4*t^11 - 51*t^10 - 76*t^9 - 158*t^8 + 100*t^7 + 669*t^6 + 778*t^5 + 261*t^4 
- 128*t^3 - 100*t^2 - 14*t + 1)
Total time spent: 2
