unitsKnown

attribs.spad line 15 [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.