unitsKnownΒΆ

attribs.spad line 15

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.