i1 : R = ZZ/101[x,y,z,u,w]/ideal(x-x^2-y,z+x*y,w^2-u^2); |
i2 : minimalPresentation(R) ZZ ---[x, u, w] 101 o2 = ------------ 2 2 - u + w o2 : QuotientRing |
i3 : R.minimalPresentationMap ZZ ---[x, u, w] 101 2 3 2 o3 = map(------------,R,{x, - x + x, x - x , u, w}) 2 2 - u + w ZZ ---[x, u, w] 101 o3 : RingMap ------------ <--- R 2 2 - u + w |
i4 : R.minimalPresentationMapInv ZZ ---[x, u, w] 101 o4 = map(R,------------,{x, u, w}) 2 2 - u + w ZZ ---[x, u, w] 101 o4 : RingMap R <--- ------------ 2 2 - u + w |