Ideas.Common.Algebra.FieldLaws

Semi-ring laws

leftDistributive

rightDistributive

distributiveLaws

semiRingLaws

Ring laws

leftNegateTimes

rightNegateTimes

negateTimesLaws

ringLaws

commutativeRingLaws

distributiveSubtractionLaws

Field laws

exchangeInverses

fieldLaws

Laws for additive monoid

fromAdditiveLaw

Laws for multiplicative monoid

fromMultiplicativeLaw

Properties

propsField