attribs.spad line 81 [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.
D
"*": (D, D) -> D
TwoSidedRecip