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

i1 : R = ZZ/32003[a..d,x_1..x_4,y_(1,1)..y_(2,2)];

i2 : poly "a2b-3ab-1"

      2
o2 = a b - 3a*b - 1

o2 : R

i3 : poly "a2y[1,1]3-3ab-1"

      2 3
o3 = a y    - 3a*b - 1
        1,1

o3 : R

i4 : poly "(a+b)(a+2c)"

      2
o4 = a  + a*b + 2a*c + 2b*c

o4 : R

i5 : poly "(a+b+c)3-1"

      3     2        2    3     2               2        2       2    3
o5 = a  + 3a b + 3a*b  + b  + 3a c + 6a*b*c + 3b c + 3a*c  + 3b*c  + c  - 1

o5 : R

i6 : poly "3/4a2b-3ab-1"

            2
o6 = - 8000a b - 3a*b - 1

o6 : R

i7 : poly "a5+5a4b+10a3b2+10a2b3+5ab4+b5-10a4c-40a3bc-60a2b2c-40ab3c-10b4c"

      5     4       3 2      2 3       4    5      4       3         2 2   
o7 = a  + 5a b + 10a b  + 10a b  + 5a*b  + b  - 10a c - 40a b*c - 60a b c -
     ------------------------------------------------------------------------
          3       4
     40a*b c - 10b c

o7 : R

i8 : poly "(a+(c+y[1,1])2)2-1"

      4     3         2 2         3      4         2                   2    
o8 = c  + 4c y    + 6c y    + 4c*y    + y    + 2a*c  + 4a*c*y    + 2a*y    +
              1,1       1,1       1,1    1,1                 1,1       1,1
     ------------------------------------------------------------------------
      2
     a  - 1

o8 : R

i9 :