i1 : C = ZZ/101[x,y,z,u,w]; |
i2 : I = ideal(x-x^2-y,z+x*y,w^2-u^2); o2 : Ideal of C |
i3 : minPres I 2 2 o3 = ideal(u - w ) ZZ o3 : Ideal of --- [x, u, w, MonomialOrder => GRevLex => 3] 101 |
i4 : I.cache.minimalPresentationMap ZZ 2 3 o4 = map(--- [x, u, w, MonomialOrder => GRevLex => 3],C,{x, - x + x, x - 101 ------------------------------------------------------------------------ 2 x , u, w}) ZZ o4 : RingMap --- [x, u, w, MonomialOrder => GRevLex => 3] <--- C 101 |
i5 : I.cache.minimalPresentationMapInv ZZ o5 = map(C,--- [x, u, w, MonomialOrder => GRevLex => 3],{x, u, w}) 101 ZZ o5 : RingMap C <--- --- [x, u, w, MonomialOrder => GRevLex => 3] 101 |