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 |