Expand description
Module for definiting algebraic structures and properties.
Functions§
- abelian_
group - Defines an abelian group structure.
- absorbing_
element - Defines the absorbing_element property.
- associativity
- Defines the associativity property.
- bilinearity
- Defines the bilinearity property
- commutative_
monoid - Defines a commutative monoid structure.
- commutative_
ring - Defines a commutative ring structure.
- commutativity
- Defines the commutativity property.
- distributive
- Defines the distributive property
- field
- Defines a field structure.
- get_
single_ function_ properties - Loop through each algebraic property in SINGLE_FUNCTION_PROPERTIES and test for them.
- group
- Defines a group structure.
- idempotency
- Defines the idempotency property.
- identity
- Defines the identity property.
- integral_
domain - Defines an integral domain structure.
- inverse
- Defines the inverse property.
- left_
distributes - Defines the left distributive property
- linearity
- Defines the linearity property
- monoid
- Defines a monoid structure.
- no_
nonzero_ zero_ divisors - Defines a no-nonzero-zero-divisors property.
- nonzero_
inverse - Defines the non_zero inverse property.
- right_
distributes - Defines the right distributive property.
- ring
- Defines a ring structure.
- semigroup
- Defines a semigroup structure.
- semiring
- Defines a semiring structure.