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 twinfloat ring

NewWeylAlgebra

create a new Weyl Algebra

RingOf

the ring of the object

RingQQ

the ring of rationals

RingQQt

predefined polynomial rings

RingsOf

list of the rings of an object

RingZZ

the ring of integers
