up previous next
the ring of rationals
This function returns the ring of rationals.
It is particularly useful when you want to use
QQ
(which is a pre-defined top-level variable) inside a function.
NB calling
RingQQ
twice gives the same identical ring,
whereas calling
NewPolyRing
or
NewFractionField
return each time a new ring.
/**/ Two := RingElem(RingQQ(), 2); Two;
2
/**/ type(Two);
RINGELEM;
/**/ RingOf(Two) = RingQQ();
true
|