up previous next
the base ring of a ring
BaseRing(RmodI: (Quotient)RING: RING
BaseRing(K: (Fraction Field)RING): RING 
This function gives the "base ring" of a given ring; e.g. if
K
was constructed as the fraction field of
R
then
BaseRing(K)
produces
R
. All rings in CoCoA are derived from
ZZ
via
various steps;
BaseRing
gives the ring which is one step closer to
ZZ
.
/**/ Fpx ::= ZZ/(7)[x];
/**/ Fp := BaseRing(Fpx); > ZZ/(7)
/**/ BaseRing(Fp) = ZZ;
true
