i1 : W = makeWA ( QQ[x_1..x_3] ) o1 = W o1 : PolynomialRing |
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 , x , t , t , dx , dx , dx , dt , dt ] 1 2 3 0 1 1 2 3 0 1 |