unitsKnown¶
attribs.spad line 14 [edit on github]
The class of all monoids (multiplicative semigroups with a 1) such that the operation recip can only return “failed” if its argument is not a unit.
attribs.spad line 14 [edit on github]
The class of all monoids (multiplicative semigroups with a 1) such that the operation recip can only return “failed” if its argument is not a unit.