up previous next
pre-defined polynomial rings
This function returns a polynomial ring over
QQ
with indeterminates
t[1]...t[N].
In particular
RingQQt(1)
is the polynomial ring in which Hilbert polynomials
are defined.
NOTE: calling
RingQQt(5)
twice gives the same identical ring,
whereas calling
NewPolyRing(RingQQ(), SymbolRange("t", 1,5))
returns each time a new ring (therefore incompatible).
/**/ QQt := RingQQt(3); Use QQt;
/**/ (t[1]+1)^3;
t[1]^3 +3*t[1]^2 +3*t[1] +1
/**/ indets(RingQQt(1));
[t]
/**/ indets(RingQQt(5));
[t[1], t[2], t[3], t[4], t[5]]
|