Cat::CommutativeRing
--
the category of commutative ringsCat::CommutativeRing
represents the category of
commutative rings.
Cat::CommutativeRing()
Cat::Ring
, Cat::RightModule(dom)
Cat::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"
.