ring¶
Ring¶
Ring
Mathematically a Ring is an abelian group under addition and a
Monoid under multiplication. The additive and multiplicative
identities are denoted one and zero respectfully.
By convention one != zero, otherwise the algebra consists
of just one unique element.
Important
Contract: Ring initializer parameters must have
add closed, commutative and associative on reps
mult closed and associative on reps
one an identity on reps,
rep*one == rep == one*repzero an identity on reps,
rep+zero == rep == zero+repnegate maps
rep -> -rep,rep + negate(rep) == zerozero
!=one