spire.algebra
Rig is a ring whose additive structure doesn't have an inverse (ie. it is monoid, not a group). Put another way, a Rig is a Ring without a negative.
This is similar to Semigroup#pow, except that a pow 0 is defined to be the multiplicative identity.
Semigroup#pow
a pow 0
Rig is a ring whose additive structure doesn't have an inverse (ie. it is monoid, not a group). Put another way, a Rig is a Ring without a negative.