up previous next
RingQQt --
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(2) twice gives the same identical ring,
whereas calling
NewPolyRing(QQ, "t[1],t[2]");
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]]
|