next | previous | forward | backward | up | top | index | toc | home

minimalPresentation(..., Variable => ...) -- specify the variable for the new isomorphic ring

Synopsis

Description

i1 : C = ZZ/101[x,y,z,u,w]/ideal(x-x^2-y,z+x*y,w^2-u^2);
i2 : minimalPresentation(C,Variable => a)

      ZZ
     --- [a , a , a ]
     101   0   1   2
o2 = ----------------
           2    2
          a  - a
           1    2

o2 : QuotientRing

Further information

Caveat

If the symbol, u is used as a variable in the original ring an error is returned.