/**/ R ::= QQ[x,y,alpha]; -- is equivalent to
/**/ R := NewPolyRing(QQ, "x,y,alpha"); -- in "define/enddefine" use "RingQQ()"
/**/ R ::= QQ[x,y], DegRevLex; -- is equivalent to
/**/ R := NewPolyRing(QQ, "x,y", StdDegRevLexMat(2), 1);
/**/ OrdM := matrix([[2,3,1],[0,0,-1],[0,-1,0]]);
/**/ P := NewPolyRing(QQ, "x[1],x[2],x[9]", OrdM, 1); -- 3 indeterminates
/**/ [wdeg(X) | X in indets(P)];
[[2], [3], [1]]
/**/ P2 := NewPolyRing(RingZZ(), IndetSymbols(P)); -- same indet names as P
/**/ Indets(P2);
[x[1], x[2], x[9]]
/**/ P3 := NewPolyRing(P2, SymbolRange("alpha", -2,2));
/**/ indets(P3);
[alpha[-2], alpha[-1], alpha[0], alpha[1], alpha[2]]
|