Module lattices::algebra

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.