Crate algebra

Expand description

Types and traits for working with various algebras and modules, with a focus on the Steenrod algebra and its modules.

Modules§

adem_algebra: The Steenrod algebra using the Adem basis.
algebra 🔒: Traits describing algebras, and implementations thereof for different representations of the Steenrod algebra.
combinatorics
field: Finite fields over a prime.
milnor_algebra
module
pair_algebra: This implements the notion of a split pair algebra in the sense of https://arxiv.org/abs/2105.07628v1, whose notation we will use throughout.
steenrod_evaluator
steenrod_parser 🔒: This module includes code for parsing an expression in the Steenrod algebra into an abstract syntax tree.

AdemAlgebra: An Algebra implementing the Steenrod algebra, using the Adem basis.
Field: $\mathbb{F}_p$, viewed as an Algebra over itself.
MilnorAlgebra

Algebra: A graded algebra over $\mathbb{F}_p$.
Bialgebra: An Algebra equipped with a coproduct operation that makes it into a bialgebra.
GeneratedAlgebra: An Algebra equipped with a distinguished presentation.
MuAlgebra: An algebra that is maybe unstable.
UnstableAlgebra