Add an n-cell.
Addition.
Add a 0-cell.
Add a relation to a presentation.
Add a rule to a presentation.
Apply a morphism to an element.
Buchberger's completion algorithm.
Array of Anick chains up to degree n.
Right action of the ring.
Left action of the ring.
Multiplication by a constant.
Coefficient of an element.
Composition of morphisms.
Comparison.
Knuth-Bendix completion wrt a total order.
Tor complex, whose homology is the one of the algebra (in right A-modules).
Composition of two cells on the boundary of maximal dimension.
Degree of a polynomial.
Dimension of a cell.
Dimension.
Dimension of a generator.
Dimension of a presentation.
Euclidean division.
Empty signature.
The empty globular set.
The empty chain.
Equality.
Concatenation of the elements of the chain.
Exchange two rows.
Integer exponential.
Compute (n+1)-chains from n-chains.
Greatest common divisor.
Get a coefficient.
Traditional augmentation for graded algebras.
Hadamard product.
Head of the chain.
Minimal reducible words.
Compute the homology of the complex.
Identity morphism.
Inverse.
A a row null?
Iterate over source and target basis.
Iterate a function on the generators of a module.
Iterate over source basis.
Iterate over target basis.
Length of a chain complex.
Dimension of the chain.
Add to a row q times another row.
q
Create a chain complex.
Create a presentation.
Construct an augmentation by defining it on generators.
Create a presentation from an alphabet and a list of monomials.
Map a linear function.
Map a K-linear function.
K
Underlying (non-labeled) matrix.
Ensure that a cell uses only generators defined in the signature.
Does a generator belong the signature?
Traditional augmentation for monoids / groups.
Multiplication.
Multiply a row by a coefficent.
Negation.
Normalize a word.
Normalize a polynomial.
Normalize words.
Dimension of the kernel.
Nullity of a map.
Create from a map with given source and target.
Unit.
One.
All unifiers with first on the left.
Orient rules according to a partial order.
Orient a polynomial as a rule.
Partial equality (equality on subwords).
Canonical injection of polynomials.
Dimension of the image.
Rank of a map.
Canonical injection of rational fractions.
Reduce a presentation.
Replace a row by another one.
Compute the Anick resolution.
Put a matrix in row echelon form.
Generating series of a regular expression.
The singleton chain.
Singleton chains.
Source of a generator.
Source.
Source of a cell.
Subtraction.
The symmetric algebra.
Target of a generator.
Target.
Target of a cell.
Tail of the chain.
Convert to a map.
String representation of a cell.
String representation.
The leftmost unifier where u is on the left and v on the right
u
v
All unifiers, with contexts on the left and on the right.
Ensure that a chain complex satsifies d^2=0.
Zero.
The zero morphism.