-- -*- M2-comint -*- {* hash: 801449037 *} i1 : R = ZZ/101[a,b] o1 = R o1 : PolynomialRing i2 : I = monomialIdeal (ideal vars R)^3 3 2 2 3 o2 = monomialIdeal (a , a b, a*b , b ) o2 : MonomialIdeal of R i3 : T2 = taylor(2,I) o3 = {3} | -b -b2 0 -b3 0 0 | {3} | a 0 -b 0 -b2 0 | {3} | 0 a2 a 0 0 -b | {3} | 0 0 0 a3 a2 a | 4 6 o3 : Matrix R <--- R i4 : T3 = taylor(3,I) o4 = {4} | b b2 0 0 | {5} | -1 0 b 0 | {4} | a 0 0 b | {6} | 0 -1 -1 0 | {5} | 0 a 0 -1 | {4} | 0 0 a2 a | 6 4 o4 : Matrix R <--- R i5 :