CommutativeStarΒΆ
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.
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.