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

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

Synopsis

Usage:
minimalPresentation(..., Variable => u)
Inputs:
- u, a symbol
Consequences:
- variables in the resulting ring are u_0, u_1, ...

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 , MonomialOrder => GRevLex => 3]
     101   0   1   2
o2 = -----------------------------------------------
                          2    2
                         a  - a
                          1    2

o2 : QuotientRing

Further information

Default value: null
Function: minimalPresentation -- compute a minimal presentation
Option name: Variable -- specify a name for a variable

Caveat

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