CommutativeStarΒΆ

attribs.spad line 82 [edit on github]

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.

TwoSidedRecip