CommutativeStarΒΆ

attribs.spad line 76

The class of all commutative semigroups in multiplicative notation. In other words domains D with "*": (D, D) -> D which is commutative. Typically applied to rings.