HaskellForMaths-0.4.5: Combinatorics, group theory, commutative algebra, non-commutative algebra

# HaskellForMaths-0.4.5: Combinatorics, group theory, commutative algebra, non-commutative algebra

A library of maths code in the areas of combinatorics, group theory, commutative algebra, and non-commutative algebra. The library is mainly intended as an educational resource, but does have efficient implementations of several fundamental algorithms.

Modules

- Math
  - Algebra
    - Field
      - Math.Algebra.Field.Base
      - Math.Algebra.Field.Extension
    - Group
      - Math.Algebra.Group.CayleyGraph
      - Math.Algebra.Group.PermutationGroup
      - Math.Algebra.Group.RandomSchreierSims
      - Math.Algebra.Group.SchreierSims
      - Math.Algebra.Group.StringRewriting
      - Math.Algebra.Group.Subquotients
    - Math.Algebra.LinearAlgebra
    - NonCommutative
      - Math.Algebra.NonCommutative.GSBasis
      - Math.Algebra.NonCommutative.NCPoly
      - Math.Algebra.NonCommutative.TensorAlgebra
  - Algebras
    - Math.Algebras.AffinePlane
    - Math.Algebras.Commutative
    - Math.Algebras.GroupAlgebra
    - Math.Algebras.LaurentPoly
    - Math.Algebras.Matrix
    - Math.Algebras.NonCommutative
    - Math.Algebras.Octonions
    - Math.Algebras.Quaternions
    - Math.Algebras.Structures
    - Math.Algebras.TensorAlgebra
    - Math.Algebras.TensorProduct
    - Math.Algebras.VectorSpace
  - Combinatorics
    - Math.Combinatorics.CombinatorialHopfAlgebra
    - Math.Combinatorics.Design
    - Math.Combinatorics.Digraph
    - Math.Combinatorics.FiniteGeometry
    - Math.Combinatorics.Graph
    - Math.Combinatorics.GraphAuts
    - Math.Combinatorics.Hypergraph
    - Math.Combinatorics.IncidenceAlgebra
    - Math.Combinatorics.LatinSquares
    - Math.Combinatorics.Matroid
    - Math.Combinatorics.Poset
    - Math.Combinatorics.StronglyRegularGraph
  - Common
    - Math.Common.IntegerAsType
    - Math.Common.ListSet
  - CommutativeAlgebra
    - Math.CommutativeAlgebra.GroebnerBasis
    - Math.CommutativeAlgebra.Polynomial
  - Core
    - Math.Core.Field
    - Math.Core.Utils
  - NumberTheory
    - Math.NumberTheory.Factor
    - Math.NumberTheory.Prime
    - Math.NumberTheory.QuadraticField
  - Projects
    - ChevalleyGroup
      - Math.Projects.ChevalleyGroup.Classical
      - Math.Projects.ChevalleyGroup.Exceptional
    - KnotTheory
      - Math.Projects.KnotTheory.Braid
      - Math.Projects.KnotTheory.IwahoriHecke
      - Math.Projects.KnotTheory.LaurentMPoly
      - Math.Projects.KnotTheory.TemperleyLieb
    - Math.Projects.MiniquaternionGeometry
    - Math.Projects.RootSystem
    - Math.Projects.Rubik
  - QuantumAlgebra
    - Math.QuantumAlgebra.OrientedTangle
    - Math.QuantumAlgebra.QuantumPlane
    - Math.QuantumAlgebra.Tangle
    - Math.QuantumAlgebra.TensorCategory