-- -*- M2-comint -*- hash: 6962782775613583702

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]
              101

i4 : I.cache.minimalPresentationMap

           ZZ                     2       3    2
o4 = map (---[x, u, w], C, {x, - x  + x, x  - x , u, w})
          101

              ZZ
o4 : RingMap ---[x, u, w] <-- C
             101

i5 : I.cache.minimalPresentationMapInv

              ZZ
o5 = map (C, ---[x, u, w], {x, u, w})
             101

                    ZZ
o5 : RingMap C <-- ---[x, u, w]
                   101

i6 : R = ZZ/101[x,y,z,u,w];

i7 : I = ideal(x-x^2-y,z+x*y,w^2-u^2);

o7 : Ideal of R

i8 : minimalPresentation(I, Exclude=>{1})

               2             2    2
o8 = ideal (- x  + x - y, - u  + w )

               ZZ
o8 : Ideal of ---[x..y, u, w]
              101

i9 : 
