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