i2 : AnnFs {x_2^2-x_1*x_3, x_1^3-x_3^2}
2 3 2 2
o2 = ideal (- x + x x + t , - x + x + t , 3x dt - x dt + dx , 2x dt +
2 1 3 0 1 3 1 1 1 3 0 1 2 0
------------------------------------------------------------------------
dx , - x dt - 2x dt + dx )
2 1 0 3 1 3
o2 : Ideal of QQ[x ..x , t ..t , dx ..dx , dt ..dt ]
1 3 0 1 1 3 0 1
|