-- -*- M2-comint -*- {* hash: 2129435383 *}

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

i3 :