NewPolyRing |
Syntax |
NewPolyRing(CoeffRing: RING, IndetNames: LIST: RING NewPolyRing(CoeffRing: RING, IndetNames: LIST, OrdMat: MAT, GradingDim: INT: RING |
Description |
Example |
/**/ R ::= QQ[x,y,alpha]; -- is equivalent to /**/ R := NewPolyRing(RingQQ(), ["x","y","alpha"]); /**/ R ::= QQ[x,y], DegRevLex; -- is equivalent to /**/ R := NewPolyRing(RingQQ(), ["x","y"], StdDegRevLexMat(2), 1); /**/ OrdM := matrix([[2,3],[1,0]]); /**/ P := NewPolyRing(QQ, ["x","y"], OrdM, 1); /**/ GradingDim(P); 1 /**/ P2 := NewPolyRing(RingZZ(), IndetSymbols(P)); /**/ Indets(P2); [x, y] /**/ P3 := NewPolyRing(P2, SymbolRange("alpha", 0,2)); /**/ indets(P3); [alpha[0], alpha[1], alpha[2]] |
See Also |