boring-math-abstract-algebra

Project boring-math-abstract-algebra one of the Boring Math PyPI projects.

For a proposed PyPI 1.1.0 release.

Abstract Algebra Library

Boring Math Abstract Algebra Library

A library designed to construct concrete representations of abstract algebraic systems and verify properties about and between such systems. The term “algebra” will be used loosely to mean either an abstract system unique up to isomorphism, or a concrete representation of such a system.

Future Directions

TODO: Make separate PyPI Boring Math projects for

• groups

  • Sylow tools

• rings

• fields

  • Galois tools

User Guide

• Usage
  • How to installing the package
  • Importing the modules
  • Algebra class hierarchy
• PyPI releases
• Changelog

API Documentation

• algebras
  • Algebras
  • baseset (Abstract)
    • BaseSet
      • BaseSet.__call__()
      • BaseSet.__eq__()
      • BaseSet.narrow_rep_type()
    • BaseElement
      • BaseElement.__str__()
      • BaseElement.__call__()
      • BaseElement.__eq__()
    • NaturalMapping
  • semigroup
    • Semigroup
      • Semigroup.__call__()
      • Semigroup.__eq__()
      • Semigroup.narrow_rep_type()
    • SemigroupElement
      • SemigroupElement.__str__()
      • SemigroupElement.__mul__()
      • SemigroupElement.__rmul__()
      • SemigroupElement.__pow__()
      • SemigroupElement.__call__()
      • SemigroupElement.__eq__()
  • monoid
    • Monoid
      • Monoid.__call__()
      • Monoid.__eq__()
      • Monoid.narrow_rep_type()
    • MonoidElement
      • MonoidElement.__str__()
      • MonoidElement.__pow__()
      • MonoidElement.__call__()
      • MonoidElement.__eq__()
      • MonoidElement.__mul__()
      • MonoidElement.__rmul__()
  • group
    • Group
      • Group.__call__()
      • Group.__eq__()
      • Group.narrow_rep_type()
    • GroupElement
      • GroupElement.__str__()
      • GroupElement.__pow__()
      • GroupElement.__call__()
      • GroupElement.__eq__()
      • GroupElement.__mul__()
      • GroupElement.__rmul__()
  • commutative_semigroup
    • CommutativeSemigroup
      • CommutativeSemigroup.__call__()
      • CommutativeSemigroup.__eq__()
      • CommutativeSemigroup.narrow_rep_type()
    • CommutativeSemigroupElement
      • CommutativeSemigroupElement.__str__()
      • CommutativeSemigroupElement.__add__()
      • CommutativeSemigroupElement.__radd__()
      • CommutativeSemigroupElement.__mul__()
      • CommutativeSemigroupElement.__rmul__()
      • CommutativeSemigroupElement.__call__()
      • CommutativeSemigroupElement.__eq__()
  • commutative monoid
    • CommutativeMonoid
      • CommutativeMonoid.__call__()
      • CommutativeMonoid.__eq__()
      • CommutativeMonoid.narrow_rep_type()
    • CommutativeMonoidElement
      • CommutativeMonoidElement.__str__()
      • CommutativeMonoidElement.__mul__()
      • CommutativeMonoidElement.__rmul__()
      • CommutativeMonoidElement.__add__()
      • CommutativeMonoidElement.__call__()
      • CommutativeMonoidElement.__eq__()
      • CommutativeMonoidElement.__radd__()
  • abelian group
    • AbelianGroup
      • AbelianGroup.__init__()
      • AbelianGroup.__call__()
      • AbelianGroup.__eq__()
      • AbelianGroup.narrow_rep_type()
    • AbelianGroupElement
      • AbelianGroupElement.__init__()
      • AbelianGroupElement.__str__()
      • AbelianGroupElement.__mul__()
      • AbelianGroupElement.__rmul__()
      • AbelianGroupElement.__neg__()
      • AbelianGroupElement.__add__()
      • AbelianGroupElement.__call__()
      • AbelianGroupElement.__eq__()
      • AbelianGroupElement.__radd__()
  • ring
    • Ring
      • Ring.__call__()
      • Ring.__eq__()
      • Ring.narrow_rep_type()
    • RingElement
      • RingElement.__str__()
      • RingElement.__mul__()
      • RingElement.__rmul__()
      • RingElement.__pow__()
      • RingElement.__add__()
      • RingElement.__call__()
      • RingElement.__eq__()
      • RingElement.__neg__()
      • RingElement.__radd__()
  • commutative_ring
    • CommutativeRing
      • CommutativeRing.__call__()
      • CommutativeRing.__eq__()
      • CommutativeRing.narrow_rep_type()
    • CommutativeRingElement
      • CommutativeRingElement.__str__()
      • CommutativeRingElement.__add__()
      • CommutativeRingElement.__call__()
      • CommutativeRingElement.__eq__()
      • CommutativeRingElement.__mul__()
      • CommutativeRingElement.__neg__()
      • CommutativeRingElement.__pow__()
      • CommutativeRingElement.__radd__()
      • CommutativeRingElement.__rmul__()
  • field
    • Field
      • Field.__call__()
      • Field.__eq__()
      • Field.narrow_rep_type()
    • FieldElement
      • FieldElement.__str__()
      • FieldElement.__pow__()
      • FieldElement.__truediv__()
      • FieldElement.__add__()
      • FieldElement.__call__()
      • FieldElement.__eq__()
      • FieldElement.__mul__()
      • FieldElement.__neg__()
      • FieldElement.__radd__()
      • FieldElement.__rmul__()
• actions
  • group actions
• laws
  • group laws
• properties
  • properties.orderings
    • PartialOrder
      • PartialOrder.__le__()
      • PartialOrder.__class_getitem__()
      • PartialOrder.__init__()
      • PartialOrder.__init_subclass__()
      • PartialOrder.__subclasshook__()
      • PartialOrder.__weakref__
    • TotalOrder
      • TotalOrder.__lt__()
      • TotalOrder.__ge__()
      • TotalOrder.__gt__()
      • TotalOrder.__class_getitem__()
      • TotalOrder.__init__()
      • TotalOrder.__init_subclass__()
      • TotalOrder.__le__()
      • TotalOrder.__subclasshook__()
      • TotalOrder.__weakref__