Cat::CommutativeRing --
the category of commutative rings
IntroductionCat::CommutativeRing represents the category of
commutative rings.
Generating
the categoryCat::CommutativeRing()
Cat::Ring
, Cat::RightModule(dom)
DetailsCat::CommutativeRing is a ring with unit
dom::one where the multiplication *
(_mult) is commutative. It is also a right module over
itself."diff" and "D" if
this assumption is false.diff(dom x <, variable v...>)D(Type::ListOf(Type::PosInt) l, dom x)"diff" and "D".