commutative ring¶
Commutative Ring¶
Commutative Ring
Mathematically a Commutative Ring is a Ring whose multiplication is commutative.
Important
Contract: Ring initializer parameters must have
add closed, commutative and associative on reps
mult closed, commutative 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