BaseRing(M: MAT: RING BaseRing(M: MODULE: RING BaseRing(RmodI: (Quotient)RING: RING BaseRing(K: (Fraction Field)RING): RING
...work in progress...