up previous next
2.9.9 Commands and Functions returning RING
BaseRing the base ring of a ring
codomain codomain of a homomorphism
CoeffRing the ring of coefficients of a polynomial ring
domain domain of a homomorphism
NewFractionField create a new fraction field
NewPolyRing create a new PolyRing
NewQuotientRing create a new quotient ring
NewRingFp create a new finite field
NewRingTwinFloat create a new twin-float ring
NewWeylAlgebra create a new Weyl Algebra
NewZZmod create a new finite ring (integers mod N)
RingOf the ring of the object
RingQQ the ring of rationals
RingQQt pre-defined polynomial rings
RingsOf list of the rings of an object
RingZZ the ring of integers