| ! | |
| 1 (Function) | Math.Algebra.LinearAlgebra |
| 2 (Function) | Math.CommutativeAlgebra.GroebnerBasis |
| %% | |
| 1 (Function) | Math.CommutativeAlgebra.Polynomial |
| 2 (Function) | Math.Algebras.NonCommutative |
| 3 (Function) | Math.Algebras.Commutative |
| 4 (Function) | Math.Algebra.NonCommutative.NCPoly |
| %^ | Math.Projects.ChevalleyGroup.Exceptional |
| *- | Math.Algebra.Group.PermutationGroup |
| *-> | Math.CommutativeAlgebra.Polynomial |
| *. | Math.Algebras.Structures |
| *> | |
| 1 (Function) | Math.Algebras.VectorSpace |
| 2 (Function) | Math.Algebra.LinearAlgebra |
| *>> | Math.Algebra.LinearAlgebra |
| +-+ | Math.Projects.RootSystem |
| +^ | Math.Combinatorics.StronglyRegularGraph |
| +^^ | Math.Combinatorics.StronglyRegularGraph |
| +|+ | Math.Projects.RootSystem |
| -* | Math.Algebra.Group.PermutationGroup |
| -*- | Math.Algebra.Group.PermutationGroup |
| -^ | Math.Algebra.Group.PermutationGroup |
| -^^ | Math.Algebra.Group.PermutationGroup |
| .^ | Math.Algebra.Group.PermutationGroup |
| .^^ | Math.Algebra.Group.PermutationGroup |
| // | Math.Algebra.Group.PermutationGroup |
| /// | Math.Combinatorics.Matroid |
| /> | Math.Algebra.Field.Extension |
| <* | |
| 1 (Function) | Math.Algebras.VectorSpace |
| 2 (Function) | Math.Projects.MiniquaternionGeometry |
| <*> | |
| 1 (Function) | Math.Algebra.LinearAlgebra |
| 2 (Function) | Math.Algebra.Field.Extension |
| <*>> | Math.Algebra.LinearAlgebra |
| <+> | |
| 1 (Function) | Math.Algebras.VectorSpace |
| 2 (Function) | Math.Algebra.LinearAlgebra |
| 3 (Function) | Math.Algebra.Field.Extension |
| <-> | |
| 1 (Function) | Math.Algebras.VectorSpace |
| 2 (Function) | Math.Algebra.LinearAlgebra |
| <.> | |
| 1 (Function) | Math.Algebras.Quaternions |
| 2 (Function) | Math.Algebra.LinearAlgebra |
| <<*> | Math.Algebra.LinearAlgebra |
| <<*>> | Math.Algebra.LinearAlgebra |
| <<+>> | |
| 1 (Function) | Math.Algebras.VectorSpace |
| 2 (Function) | Math.Algebra.LinearAlgebra |
| <<->> | |
| 1 (Function) | Math.Algebras.VectorSpace |
| 2 (Function) | Math.Algebra.LinearAlgebra |
| >>> | Math.QuantumAlgebra.TensorCategory |
| A | |
| 1 (Data Constructor) | Math.Algebras.AffinePlane |
| 2 (Data Constructor) | Math.Projects.RootSystem |
| a | |
| 1 (Function) | Math.Algebras.AffinePlane |
| 2 (Function) | Math.Projects.KnotTheory.TemperleyLieb |
| 3 (Function) | Math.QuantumAlgebra.QuantumPlane |
| a' | Math.Projects.KnotTheory.TemperleyLieb |
| a16 | |
| 1 (Function) | Math.Core.Field |
| 2 (Function) | Math.Algebra.Field.Extension |
| a25 | |
| 1 (Function) | Math.Core.Field |
| 2 (Function) | Math.Algebra.Field.Extension |
| a27 | Math.Algebra.Field.Extension |
| a32 | Math.Algebra.Field.Extension |
| a4 | |
| 1 (Function) | Math.Core.Field |
| 2 (Function) | Math.Algebra.Field.Extension |
| a8 | |
| 1 (Function) | Math.Core.Field |
| 2 (Function) | Math.Algebra.Field.Extension |
| a9 | |
| 1 (Function) | Math.Core.Field |
| 2 (Function) | Math.Algebra.Field.Extension |
| ABCD | Math.Algebras.AffinePlane |
| action | |
| 1 (Function) | Math.Algebras.Structures |
| 2 (Function) | Math.Algebra.Group.PermutationGroup |
| add | Math.Algebras.VectorSpace |
| addmerge | Math.Algebras.VectorSpace |
| adjacencyMatrix | Math.Combinatorics.Graph |
| adjLists | Math.Combinatorics.Digraph |
| affineMatroid | Math.Combinatorics.Matroid |
| ag | Math.Combinatorics.Design |
| ag2 | Math.Combinatorics.Design |
| Algebra | Math.Algebras.Structures |
| alpha3 | Math.Projects.ChevalleyGroup.Exceptional |
| alpha3' | Math.Projects.ChevalleyGroup.Exceptional |
| alpha4 | Math.Projects.ChevalleyGroup.Exceptional |
| alpha4' | Math.Projects.ChevalleyGroup.Exceptional |
| alphaL2_11 | Math.Combinatorics.Design |
| alphaL2_23 | Math.Combinatorics.Design |
| antichainN | Math.Combinatorics.Poset |
| antiCommutes | Math.Projects.ChevalleyGroup.Exceptional |
| antipode | Math.Algebras.Structures |
| Aq02 | |
| 1 (Type/Class) | Math.QuantumAlgebra.QuantumPlane |
| 2 (Data Constructor) | Math.QuantumAlgebra.QuantumPlane |
| aq02 | Math.QuantumAlgebra.QuantumPlane |
| Aq20 | |
| 1 (Type/Class) | Math.QuantumAlgebra.QuantumPlane |
| 2 (Data Constructor) | Math.QuantumAlgebra.QuantumPlane |
| aq20 | Math.QuantumAlgebra.QuantumPlane |
| Ar | Math.QuantumAlgebra.TensorCategory, Math.QuantumAlgebra.TensorCategory, Math.QuantumAlgebra.Tangle, Math.QuantumAlgebra.OrientedTangle |
| asMatrix | Math.Algebras.Quaternions |
| assoc | Math.QuantumAlgebra.TensorCategory |
| assocL | Math.Algebras.TensorProduct |
| assocR | Math.Algebras.TensorProduct |
| autA | Math.Projects.MiniquaternionGeometry |
| autB | Math.Projects.MiniquaternionGeometry |
| autC | Math.Projects.MiniquaternionGeometry |
| autFrom | Math.Projects.ChevalleyGroup.Exceptional |
| autJ9 | Math.Projects.MiniquaternionGeometry |
| autsJ9 | Math.Projects.MiniquaternionGeometry |
| B | |
| 1 (Data Constructor) | Math.Algebras.AffinePlane |
| 2 (Data Constructor) | Math.Combinatorics.StronglyRegularGraph |
| 3 (Data Constructor) | Math.Projects.RootSystem |
| b | |
| 1 (Function) | Math.Algebras.AffinePlane |
| 2 (Function) | Math.Projects.ChevalleyGroup.Classical |
| 3 (Function) | Math.Projects.Rubik |
| 4 (Function) | Math.QuantumAlgebra.QuantumPlane |
| bases | Math.Combinatorics.Matroid |
| baseTransversalsSGS | Math.Algebra.Group.RandomSchreierSims |
| Basis | Math.Algebra.NonCommutative.TensorAlgebra |
| basisElt | Math.Projects.RootSystem |
| basisFq | Math.Algebra.Field.Base |
| basisIA | Math.Combinatorics.IncidenceAlgebra |
| beta3 | Math.Projects.ChevalleyGroup.Exceptional |
| beta3' | Math.Projects.ChevalleyGroup.Exceptional |
| beta4 | Math.Projects.ChevalleyGroup.Exceptional |
| beta4' | Math.Projects.ChevalleyGroup.Exceptional |
| betaL2_11 | Math.Combinatorics.Design |
| betaL2_23 | Math.Combinatorics.Design |
| bf | Math.Projects.Rubik |
| Bialgebra | Math.Algebras.Structures |
| bind | |
| 1 (Function) | Math.CommutativeAlgebra.Polynomial |
| 2 (Function) | Math.Algebras.NonCommutative |
| 3 (Function) | Math.Algebras.Commutative |
| bindExt | Math.Algebras.TensorAlgebra |
| bindExt' | Math.Algebras.TensorAlgebra |
| bindSym | Math.Algebras.TensorAlgebra |
| bindSym' | Math.Algebras.TensorAlgebra |
| bindTA | Math.Algebras.TensorAlgebra |
| bindTA' | Math.Algebras.TensorAlgebra |
| bipartiteKneser | Math.Combinatorics.Graph |
| blockHomomorphism | Math.Algebra.Group.Subquotients |
| blockHomomorphism' | Math.Algebra.Group.Subquotients |
| blockResidual | Math.Combinatorics.Design |
| blocks | Math.Combinatorics.Design |
| blockSystems | Math.Algebra.Group.Subquotients |
| blockSystemsSGS | Math.Algebra.Group.Subquotients |
| Braid | Math.QuantumAlgebra.TensorCategory |
| BraidAr | Math.QuantumAlgebra.TensorCategory |
| Braided | Math.QuantumAlgebra.TensorCategory |
| BraidGens | Math.Projects.KnotTheory.Braid |
| BraidOb | Math.QuantumAlgebra.TensorCategory |
| bsgs | Math.Algebra.Group.SchreierSims |
| bsgs' | Math.Algebra.Group.SchreierSims |
| bubblesort | Math.Algebra.Group.CayleyGraph |
| C | |
| 1 (Data Constructor) | Math.Algebras.AffinePlane |
| 2 (Data Constructor) | Math.Combinatorics.StronglyRegularGraph |
| 3 (Data Constructor) | Math.Projects.RootSystem |
| c | |
| 1 (Function) | Math.Combinatorics.Graph |
| 2 (Function) | Math.Algebras.AffinePlane |
| 3 (Function) | Math.QuantumAlgebra.QuantumPlane |
| 4 (Function) | Math.QuantumAlgebra.OrientedTangle |
| c' | Math.QuantumAlgebra.OrientedTangle |
| cap | Math.QuantumAlgebra.Tangle |
| capLR | Math.QuantumAlgebra.OrientedTangle |
| capRL | Math.QuantumAlgebra.OrientedTangle |
| CapT | |
| 1 (Data Constructor) | Math.QuantumAlgebra.Tangle |
| 2 (Data Constructor) | Math.QuantumAlgebra.OrientedTangle |
| cartanMatrix | Math.Projects.RootSystem |
| cartProd | |
| 1 (Function) | Math.Algebra.Group.SchreierSims |
| 2 (Function) | Math.Combinatorics.Graph |
| cayleyDigraphP | Math.Algebra.Group.CayleyGraph |
| cayleyDigraphS | Math.Algebra.Group.CayleyGraph |
| cayleyGraphP | Math.Algebra.Group.CayleyGraph |
| cayleyGraphS | Math.Algebra.Group.CayleyGraph |
| centralizer | Math.Algebra.Group.PermutationGroup |
| centralizerSymTrans | Math.Algebra.Group.Subquotients |
| centre | Math.Algebra.Group.PermutationGroup |
| chainN | Math.Combinatorics.Poset |
| char | Math.Algebra.Field.Base |
| choose | Math.Core.Utils |
| circuitHyperplanes | Math.Combinatorics.Matroid |
| circuits | Math.Combinatorics.Matroid |
| clebsch | Math.Combinatorics.StronglyRegularGraph |
| clebsch' | Math.Combinatorics.StronglyRegularGraph |
| clebsch2 | Math.Combinatorics.StronglyRegularGraph |
| closedUnderSubsets | Math.Combinatorics.Matroid |
| closure | |
| 1 (Function) | Math.Algebra.Group.PermutationGroup |
| 2 (Function) | Math.Combinatorics.Matroid |
| 3 (Function) | Math.Projects.RootSystem |
| closureAG | Math.Combinatorics.FiniteGeometry |
| closurePG | Math.Combinatorics.FiniteGeometry |
| closureS | Math.Algebra.Group.PermutationGroup |
| cmpfst | Math.Core.Utils |
| cmpNormal | Math.CommutativeAlgebra.GroebnerBasis |
| cmpSug | Math.CommutativeAlgebra.GroebnerBasis |
| cmpTerm | |
| 1 (Function) | Math.Algebra.NonCommutative.NCPoly |
| 2 (Function) | Math.Projects.KnotTheory.LaurentMPoly |
| coaction | Math.Algebras.Structures |
| Coalgebra | Math.Algebras.Structures |
| coarsenings | Math.Combinatorics.CombinatorialHopfAlgebra |
| Cob2 | Math.QuantumAlgebra.TensorCategory |
| cobindTC | Math.Algebras.TensorAlgebra |
| cocircuits | Math.Combinatorics.Matroid |
| coeff | Math.Algebras.VectorSpace |
| coeffLens | Math.Algebras.VectorSpace |
| coeffs | Math.Projects.KnotTheory.IwahoriHecke |
| coevalV | Math.QuantumAlgebra.OrientedTangle |
| coevalV' | Math.QuantumAlgebra.OrientedTangle |
| coliftTC | Math.Algebras.TensorAlgebra |
| coliftTC' | Math.Algebras.TensorAlgebra |
| collect | |
| 1 (Function) | Math.Algebra.NonCommutative.NCPoly |
| 2 (Function) | Math.Projects.KnotTheory.LaurentMPoly |
| collinear | Math.Projects.MiniquaternionGeometry |
| collineationsOmega | Math.Projects.MiniquaternionGeometry |
| collineationsPhi | Math.Projects.MiniquaternionGeometry |
| collineationsPsi | Math.Projects.MiniquaternionGeometry |
| combinationsOf | Math.Core.Utils |
| CombinatorialHopfAlgebra | Math.Combinatorics.CombinatorialHopfAlgebra |
| comm | |
| 1 (Function) | Math.Algebra.Group.PermutationGroup |
| 2 (Function) | Math.Algebra.NonCommutative.TensorAlgebra |
| commutatorGp | |
| 1 (Function) | Math.Algebra.Group.PermutationGroup |
| 2 (Function) | Math.Algebra.Group.SchreierSims |
| Comodule | Math.Algebras.Structures |
| complement | Math.Combinatorics.Graph |
| complementaryDesign | Math.Combinatorics.Design |
| component | |
| 1 (Function) | Math.Combinatorics.Graph |
| 2 (Function) | Math.Combinatorics.Matroid |
| components | Math.Combinatorics.Graph |
| compositions | Math.Combinatorics.CombinatorialHopfAlgebra |
| compositionsFromPartition | Math.Combinatorics.CombinatorialHopfAlgebra |
| Comult | Math.QuantumAlgebra.TensorCategory |
| comult | Math.Algebras.Structures |
| concurrent | Math.Projects.MiniquaternionGeometry |
| conj | |
| 1 (Function) | Math.Algebras.Quaternions |
| 2 (Function) | Math.Projects.ChevalleyGroup.Exceptional |
| 3 (Function) | Math.Projects.MiniquaternionGeometry |
| conj' | Math.Projects.MiniquaternionGeometry |
| conjClass | Math.Algebra.Group.PermutationGroup |
| conjClassReps | Math.Algebra.Group.PermutationGroup |
| conjugate | Math.Algebra.Field.Extension |
| conjugateSubgps | Math.Algebra.Group.PermutationGroup |
| contraction | Math.Combinatorics.Matroid |
| convert | Math.Algebra.Field.Extension |
| ConwayF16 | Math.Algebra.Field.Extension |
| ConwayF25 | Math.Algebra.Field.Extension |
| ConwayF27 | Math.Algebra.Field.Extension |
| ConwayF32 | Math.Algebra.Field.Extension |
| ConwayF4 | Math.Algebra.Field.Extension |
| ConwayF8 | Math.Algebra.Field.Extension |
| ConwayF9 | Math.Algebra.Field.Extension |
| coprodf | Math.Algebras.TensorProduct |
| cornerBlocks | Math.Projects.Rubik |
| cornerFaces | Math.Projects.Rubik |
| cosetRepsGx | Math.Algebra.Group.SchreierSims |
| cosets | Math.Algebra.Group.PermutationGroup |
| Counit | Math.QuantumAlgebra.TensorCategory |
| counit | Math.Algebras.Structures |
| counit' | Math.Algebras.Structures |
| coveringFlats | Math.Combinatorics.Matroid |
| coxeterFromDynkin | Math.Projects.RootSystem |
| coxeterGraph | Math.Combinatorics.Hypergraph |
| coxeterMatrix | Math.Projects.RootSystem |
| coxeterPresentation | Math.Projects.RootSystem |
| cube | Math.Combinatorics.Graph |
| cup | Math.QuantumAlgebra.Tangle |
| cupLR | Math.QuantumAlgebra.OrientedTangle |
| cupRL | Math.QuantumAlgebra.OrientedTangle |
| CupT | |
| 1 (Data Constructor) | Math.QuantumAlgebra.Tangle |
| 2 (Data Constructor) | Math.QuantumAlgebra.OrientedTangle |
| cycleMatroid | Math.Combinatorics.Matroid |
| cycleMatroid' | Math.Combinatorics.Matroid |
| cycleOf | Math.Algebra.Group.PermutationGroup |
| D | |
| 1 (Data Constructor) | Math.Algebras.AffinePlane |
| 2 (Data Constructor) | Math.Algebra.NonCommutative.TensorAlgebra |
| 3 (Data Constructor) | Math.Combinatorics.Design |
| 4 (Data Constructor) | Math.Projects.RootSystem |
| d | |
| 1 (Function) | Math.Algebras.AffinePlane |
| 2 (Function) | Math.Projects.ChevalleyGroup.Classical |
| 3 (Function) | Math.Projects.KnotTheory.TemperleyLieb |
| 4 (Function) | Math.Projects.Rubik |
| 5 (Function) | Math.QuantumAlgebra.QuantumPlane |
| d' | Math.Projects.KnotTheory.TemperleyLieb |
| d1 | Math.Algebra.NonCommutative.TensorAlgebra |
| d2 | Math.Algebra.NonCommutative.TensorAlgebra |
| d3 | Math.Algebra.NonCommutative.TensorAlgebra |
| dagIsos | Math.Combinatorics.Digraph |
| deconcatenations | Math.Combinatorics.CombinatorialHopfAlgebra |
| deg | |
| 1 (Function) | Math.CommutativeAlgebra.Polynomial |
| 2 (Function) | Math.Algebra.Field.Extension |
| degLM | Math.Projects.KnotTheory.LaurentMPoly |
| degree | Math.Algebra.Field.Extension |
| deletion | Math.Combinatorics.Matroid |
| deletions | Math.Combinatorics.Matroid |
| delta | |
| 1 (Function) | Math.Algebras.TensorProduct |
| 2 (Function) | Math.Algebra.NonCommutative.TensorAlgebra |
| deltaM12 | Math.Combinatorics.Design |
| deltaM24 | Math.Combinatorics.Design |
| denominatorLM | Math.Projects.KnotTheory.LaurentMPoly |
| denominatorLP | Math.Projects.KnotTheory.LaurentMPoly |
| denominatorQ | |
| 1 (Function) | Math.Core.Field |
| 2 (Function) | Math.Algebra.Field.Base |
| derivedDesign | Math.Combinatorics.Design |
| derivedSubgp | |
| 1 (Function) | Math.Algebra.Group.PermutationGroup |
| 2 (Function) | Math.Algebra.Group.SchreierSims |
| desargues | Math.Combinatorics.Matroid |
| desargues1 | Math.Combinatorics.Graph |
| desargues2 | Math.Combinatorics.Graph |
| desarguesConfiguration | Math.Combinatorics.Hypergraph |
| desarguesGraph | Math.Combinatorics.Hypergraph |
| descendingTree | Math.Combinatorics.CombinatorialHopfAlgebra |
| descendingTreeMap | Math.Combinatorics.CombinatorialHopfAlgebra |
| descentComposition | Math.Combinatorics.CombinatorialHopfAlgebra |
| descentMap | Math.Combinatorics.CombinatorialHopfAlgebra |
| descents | Math.Combinatorics.CombinatorialHopfAlgebra |
| Design | Math.Combinatorics.Design |
| design | Math.Combinatorics.Design |
| designAuts | Math.Combinatorics.Design |
| designAuts1 | Math.Combinatorics.Design |
| designParams | Math.Combinatorics.Design |
| DesignVertex | Math.Combinatorics.StronglyRegularGraph |
| det | Math.Algebra.LinearAlgebra |
| detq | Math.QuantumAlgebra.QuantumPlane |
| DG | |
| 1 (Data Constructor) | Math.Combinatorics.Digraph |
| 2 (Data Constructor) | Math.Algebra.Group.CayleyGraph |
| diameter | Math.Combinatorics.Graph |
| diffAsc | Math.Core.Utils |
| diffDesc | Math.Core.Utils |
| Digraph | |
| 1 (Type/Class) | Math.Combinatorics.Digraph |
| 2 (Type/Class) | Math.Algebra.Group.CayleyGraph |
| digraphIsos1 | Math.Combinatorics.Digraph |
| digraphIsos2 | Math.Combinatorics.Digraph |
| dim | |
| 1 (Function) | Math.CommutativeAlgebra.GroebnerBasis |
| 2 (Function) | Math.Algebra.NonCommutative.TensorAlgebra |
| dim' | Math.CommutativeAlgebra.GroebnerBasis |
| dimIH | Math.Projects.KnotTheory.IwahoriHecke |
| dimTL | Math.Projects.KnotTheory.TemperleyLieb |
| disjoint | Math.Common.ListSet |
| distance | Math.Combinatorics.Graph |
| distancePartition | Math.Combinatorics.Graph |
| distancePartitionS | Math.Combinatorics.Graph |
| distrL | Math.Algebras.TensorProduct |
| distrR | Math.Algebras.TensorProduct |
| divB | Math.Algebras.Commutative |
| divides | Math.Combinatorics.Poset |
| dividesB | Math.Algebras.Commutative |
| dividesT | Math.Algebras.Commutative |
| DivisionBasis | |
| 1 (Type/Class) | Math.Algebras.NonCommutative |
| 2 (Type/Class) | Math.Algebras.Commutative |
| divisors | Math.Combinatorics.Poset |
| divLM | Math.Projects.KnotTheory.LaurentMPoly |
| divM | |
| 1 (Function) | Math.Algebras.NonCommutative |
| 2 (Function) | Math.Algebra.NonCommutative.NCPoly |
| divT | Math.Algebras.Commutative |
| dodecahedron | Math.Combinatorics.Graph |
| dodecahedron2 | Math.Combinatorics.Graph |
| dp | Math.Algebra.Group.PermutationGroup |
| dprod | Math.Combinatorics.Poset |
| DSum | Math.Algebras.TensorProduct |
| dsum | |
| 1 (Function) | Math.Combinatorics.Poset |
| 2 (Function) | Math.Combinatorics.Matroid |
| dsume | Math.Algebras.TensorProduct |
| dsumf | Math.Algebras.TensorProduct |
| duads | Math.Combinatorics.Hypergraph |
| Dual | |
| 1 (Type/Class) | Math.Algebras.VectorSpace |
| 2 (Data Constructor) | Math.Algebras.VectorSpace |
| dual | |
| 1 (Function) | Math.Algebras.VectorSpace |
| 2 (Function) | Math.Combinatorics.Poset |
| 3 (Function) | Math.Combinatorics.Matroid |
| 4 (Function) | Math.Combinatorics.Design |
| dualGrid | Math.Combinatorics.Hypergraph |
| durer | Math.Combinatorics.Graph |
| dynkinDiagram | Math.Projects.RootSystem |
| dynkinFromCartan | Math.Projects.RootSystem |
| d_ | Math.Algebra.NonCommutative.TensorAlgebra |
| E | |
| 1 (Data Constructor) | Math.Algebras.VectorSpace |
| 2 (Data Constructor) | Math.Combinatorics.CombinatorialHopfAlgebra |
| 3 (Data Constructor) | Math.Algebra.NonCommutative.TensorAlgebra |
| 4 (Data Constructor) | Math.Projects.KnotTheory.TemperleyLieb |
| 5 (Data Constructor) | Math.Projects.RootSystem |
| e | |
| 1 (Function) | Math.Algebras.VectorSpace |
| 2 (Function) | Math.Projects.MiniquaternionGeometry |
| e' | Math.Algebras.VectorSpace |
| e1 | |
| 1 (Function) | Math.Algebras.VectorSpace |
| 2 (Function) | Math.Algebra.NonCommutative.TensorAlgebra |
| 3 (Function) | Math.Projects.KnotTheory.TemperleyLieb |
| e1' | Math.Algebras.VectorSpace |
| E2 | Math.Algebras.Matrix |
| e2 | |
| 1 (Function) | Math.Algebras.VectorSpace |
| 2 (Function) | Math.Algebra.NonCommutative.TensorAlgebra |
| 3 (Function) | Math.Projects.KnotTheory.TemperleyLieb |
| E2' | Math.Algebras.Matrix |
| e2' | Math.Algebras.VectorSpace |
| E3 | Math.Algebras.Matrix |
| e3 | |
| 1 (Function) | Math.Algebras.VectorSpace |
| 2 (Function) | Math.Algebra.NonCommutative.TensorAlgebra |
| 3 (Function) | Math.Projects.KnotTheory.TemperleyLieb |
| e3' | Math.Algebras.VectorSpace |
| e4 | |
| 1 (Function) | Math.Algebra.NonCommutative.TensorAlgebra |
| 2 (Function) | Math.Projects.KnotTheory.TemperleyLieb |
| EBasis | Math.Algebras.VectorSpace |
| edgeBlocks | Math.Projects.Rubik |
| edgeFaces | Math.Projects.Rubik |
| edges | |
| 1 (Function) | Math.Combinatorics.Digraph |
| 2 (Function) | Math.Combinatorics.Graph |
| elemAsc | Math.Core.Utils |
| elements | Math.Combinatorics.Matroid |
| elemMx | Math.Projects.RootSystem |
| elemTransvection | Math.Projects.ChevalleyGroup.Classical |
| Elim2 | |
| 1 (Type/Class) | Math.CommutativeAlgebra.Polynomial |
| 2 (Data Constructor) | Math.CommutativeAlgebra.Polynomial |
| eliminate | Math.CommutativeAlgebra.GroebnerBasis |
| eliminateFst | Math.CommutativeAlgebra.GroebnerBasis |
| elts | |
| 1 (Function) | Math.Algebra.Group.StringRewriting |
| 2 (Function) | Math.Core.Utils |
| 3 (Function) | Math.Algebra.Group.PermutationGroup |
| 4 (Function) | Math.Algebra.Group.SchreierSims |
| eltsBSGS | Math.Algebra.Group.SchreierSims |
| eltsCoxeter | Math.Projects.RootSystem |
| eltsFq | Math.Algebra.Field.Base |
| eltsS | Math.Algebra.Group.PermutationGroup |
| eltsTGS | Math.Algebra.Group.PermutationGroup |
| embed | Math.Algebra.Field.Extension |
| eqfst | Math.Core.Utils |
| etaIA | Math.Combinatorics.IncidenceAlgebra |
| ev | Math.Algebras.TensorProduct |
| eval | Math.CommutativeAlgebra.Polynomial |
| evalV | Math.QuantumAlgebra.OrientedTangle |
| evalV' | Math.QuantumAlgebra.OrientedTangle |
| ex161 | Math.Combinatorics.Matroid |
| exists | Math.Combinatorics.Matroid |
| expose | Math.Projects.ChevalleyGroup.Exceptional |
| Ext | |
| 1 (Data Constructor) | Math.Algebras.TensorAlgebra |
| 2 (Data Constructor) | Math.Algebra.Field.Extension |
| extendedEuclid | Math.Algebra.Field.Base |
| extendedEuclidUP | Math.Algebra.Field.Extension |
| ExtensionField | Math.Algebra.Field.Extension |
| ExteriorAlgebra | Math.Algebras.TensorAlgebra |
| exteriorBasis | Math.Algebra.NonCommutative.TensorAlgebra |
| extnf | Math.Algebra.NonCommutative.TensorAlgebra |
| extRelations | Math.Algebra.NonCommutative.TensorAlgebra |
| e_ | |
| 1 (Function) | Math.Algebra.NonCommutative.TensorAlgebra |
| 2 (Function) | Math.Projects.KnotTheory.TemperleyLieb |
| F | Math.Projects.RootSystem |
| f | Math.Projects.Rubik |
| F11 | |
| 1 (Type/Class) | Math.Core.Field |
| 2 (Data Constructor) | Math.Core.Field |
| 3 (Type/Class) | Math.Algebra.Field.Base |
| f11 | |
| 1 (Function) | Math.Core.Field |
| 2 (Function) | Math.Algebra.Field.Base |
| F13 | |
| 1 (Type/Class) | Math.Core.Field |
| 2 (Data Constructor) | Math.Core.Field |
| 3 (Type/Class) | Math.Algebra.Field.Base |
| f13 | |
| 1 (Function) | Math.Core.Field |
| 2 (Function) | Math.Algebra.Field.Base |
| F16 | |
| 1 (Type/Class) | Math.Core.Field |
| 2 (Data Constructor) | Math.Core.Field |
| 3 (Type/Class) | Math.Algebra.Field.Extension |
| f16 | |
| 1 (Function) | Math.Core.Field |
| 2 (Function) | Math.Algebra.Field.Extension |
| F17 | |
| 1 (Type/Class) | Math.Core.Field |
| 2 (Data Constructor) | Math.Core.Field |
| 3 (Type/Class) | Math.Algebra.Field.Base |
| f17 | |
| 1 (Function) | Math.Core.Field |
| 2 (Function) | Math.Algebra.Field.Base |
| F19 | |
| 1 (Type/Class) | Math.Core.Field |
| 2 (Data Constructor) | Math.Core.Field |
| 3 (Type/Class) | Math.Algebra.Field.Base |
| f19 | |
| 1 (Function) | Math.Core.Field |
| 2 (Function) | Math.Algebra.Field.Base |
| F2 | |
| 1 (Type/Class) | Math.Core.Field |
| 2 (Data Constructor) | Math.Core.Field |
| 3 (Type/Class) | Math.Algebra.Field.Base |
| f2 | |
| 1 (Function) | Math.Core.Field |
| 2 (Function) | Math.Algebra.Field.Base |
| F23 | |
| 1 (Type/Class) | Math.Core.Field |
| 2 (Data Constructor) | Math.Core.Field |
| 3 (Type/Class) | Math.Algebra.Field.Base |
| f23 | |
| 1 (Function) | Math.Core.Field |
| 2 (Function) | Math.Algebra.Field.Base |
| F25 | |
| 1 (Type/Class) | Math.Core.Field |
| 2 (Data Constructor) | Math.Core.Field |
| 3 (Type/Class) | Math.Algebra.Field.Extension |
| f25 | |
| 1 (Function) | Math.Core.Field |
| 2 (Function) | Math.Algebra.Field.Extension |
| F27 | Math.Algebra.Field.Extension |
| f27 | Math.Algebra.Field.Extension |
| F29 | Math.Algebra.Field.Base |
| f29 | Math.Algebra.Field.Base |
| F3 | |
| 1 (Type/Class) | Math.Core.Field |
| 2 (Data Constructor) | Math.Core.Field |
| 3 (Type/Class) | Math.Algebra.Field.Base |
| f3 | |
| 1 (Function) | Math.Core.Field |
| 2 (Function) | Math.Algebra.Field.Base |
| F31 | Math.Algebra.Field.Base |
| f31 | Math.Algebra.Field.Base |
| F32 | Math.Algebra.Field.Extension |
| f32 | Math.Algebra.Field.Extension |
| F37 | Math.Algebra.Field.Base |
| f37 | Math.Algebra.Field.Base |
| F4 | |
| 1 (Type/Class) | Math.Core.Field |
| 2 (Data Constructor) | Math.Core.Field |
| 3 (Type/Class) | Math.Algebra.Field.Extension |
| f4 | |
| 1 (Function) | Math.Core.Field |
| 2 (Function) | Math.Algebra.Field.Extension |
| F41 | Math.Algebra.Field.Base |
| f41 | Math.Algebra.Field.Base |
| F43 | Math.Algebra.Field.Base |
| f43 | Math.Algebra.Field.Base |
| F47 | Math.Algebra.Field.Base |
| f47 | Math.Algebra.Field.Base |
| F5 | |
| 1 (Type/Class) | Math.Core.Field |
| 2 (Data Constructor) | Math.Core.Field |
| 3 (Type/Class) | Math.Algebra.Field.Base |
| f5 | |
| 1 (Function) | Math.Core.Field |
| 2 (Function) | Math.Algebra.Field.Base |
| F53 | Math.Algebra.Field.Base |
| f53 | Math.Algebra.Field.Base |
| F59 | Math.Algebra.Field.Base |
| f59 | Math.Algebra.Field.Base |
| F61 | Math.Algebra.Field.Base |
| f61 | Math.Algebra.Field.Base |
| F67 | Math.Algebra.Field.Base |
| f67 | Math.Algebra.Field.Base |
| F7 | |
| 1 (Type/Class) | Math.Core.Field |
| 2 (Data Constructor) | Math.Core.Field |
| 3 (Type/Class) | Math.Algebra.Field.Base |
| f7 | |
| 1 (Function) | Math.Core.Field |
| 2 (Function) | Math.Algebra.Field.Base |
| 3 (Function) | Math.Combinatorics.Matroid |
| F71 | Math.Algebra.Field.Base |
| f71 | Math.Algebra.Field.Base |
| F73 | Math.Algebra.Field.Base |
| f73 | Math.Algebra.Field.Base |
| F79 | Math.Algebra.Field.Base |
| f79 | Math.Algebra.Field.Base |
| f7m | Math.Combinatorics.Matroid |
| F8 | |
| 1 (Type/Class) | Math.Core.Field |
| 2 (Data Constructor) | Math.Core.Field |
| 3 (Type/Class) | Math.Algebra.Field.Extension |
| f8 | |
| 1 (Function) | Math.Core.Field |
| 2 (Function) | Math.Algebra.Field.Extension |
| F83 | Math.Algebra.Field.Base |
| f83 | Math.Algebra.Field.Base |
| F89 | Math.Algebra.Field.Base |
| f89 | Math.Algebra.Field.Base |
| F9 | |
| 1 (Type/Class) | Math.Core.Field |
| 2 (Data Constructor) | Math.Core.Field |
| 3 (Type/Class) | Math.Algebra.Field.Extension |
| 4 (Type/Class) | Math.Projects.MiniquaternionGeometry |
| 5 (Data Constructor) | Math.Projects.MiniquaternionGeometry |
| f9 | |
| 1 (Function) | Math.Core.Field |
| 2 (Function) | Math.Algebra.Field.Extension |
| 3 (Function) | Math.Projects.MiniquaternionGeometry |
| F97 | Math.Algebra.Field.Base |
| f97 | Math.Algebra.Field.Base |
| factorial | Math.Projects.RootSystem |
| fanoPlane | |
| 1 (Function) | Math.Combinatorics.Design |
| 2 (Function) | Math.Combinatorics.Hypergraph |
| far | Math.QuantumAlgebra.TensorCategory |
| fcig | Math.Combinatorics.Matroid |
| fcim | Math.Combinatorics.Matroid |
| fcim' | Math.Combinatorics.Matroid |
| FinCard | Math.QuantumAlgebra.TensorCategory |
| FinCardAr | Math.QuantumAlgebra.TensorCategory |
| finCardAr | Math.QuantumAlgebra.TensorCategory |
| FinCardOb | Math.QuantumAlgebra.TensorCategory |
| findBase | Math.Algebra.Group.SchreierSims |
| findCycles | Math.Combinatorics.Graph |
| findlambda | Math.Combinatorics.Design |
| findLatinSqs | Math.Combinatorics.LatinSquares |
| findMOLS | Math.Combinatorics.LatinSquares |
| findOvals | Math.Projects.MiniquaternionGeometry |
| findOvals1 | Math.Projects.MiniquaternionGeometry |
| findOverlap | |
| 1 (Function) | Math.Algebra.Group.StringRewriting |
| 2 (Function) | Math.Algebra.NonCommutative.GSBasis |
| findPaths | Math.Combinatorics.Graph |
| findQuadrangles | Math.Projects.MiniquaternionGeometry |
| findvk | Math.Combinatorics.Design |
| FiniteField | Math.Algebra.Field.Base |
| FinOrd | Math.QuantumAlgebra.TensorCategory |
| FinOrdAr | Math.QuantumAlgebra.TensorCategory |
| finOrdAr | Math.QuantumAlgebra.TensorCategory |
| FinOrdOb | Math.QuantumAlgebra.TensorCategory |
| finPerm | Math.QuantumAlgebra.TensorCategory |
| FinSet | Math.Core.Utils |
| flats | Math.Combinatorics.Matroid |
| flats1 | Math.Combinatorics.Matroid |
| flatsAG | Math.Combinatorics.FiniteGeometry |
| flatsDesignAG | Math.Combinatorics.Design |
| flatsDesignPG | Math.Combinatorics.Design |
| flatsPG | Math.Combinatorics.FiniteGeometry |
| flatten | Math.Combinatorics.CombinatorialHopfAlgebra |
| flipbind | Math.CommutativeAlgebra.Polynomial |
| fmapExt | Math.Algebras.TensorAlgebra |
| fmapExt' | Math.Algebras.TensorAlgebra |
| fmapP | Math.Algebra.Group.PermutationGroup |
| fmapSym | Math.Algebras.TensorAlgebra |
| fmapSym' | Math.Algebras.TensorAlgebra |
| fmapTA | Math.Algebras.TensorAlgebra |
| fmapTA' | Math.Algebras.TensorAlgebra |
| fMatrix | Math.Algebra.LinearAlgebra |
| fMatrix' | Math.Algebra.LinearAlgebra |
| fob | Math.QuantumAlgebra.TensorCategory |
| foldcmpl | Math.Core.Utils |
| form | Math.Projects.RootSystem |
| Fp | |
| 1 (Type/Class) | Math.Algebra.Field.Base |
| 2 (Data Constructor) | Math.Algebra.Field.Base |
| frobeniusAut | Math.Algebra.Field.Extension |
| fromAdjacencyMatrix | Math.Combinatorics.Graph |
| fromBase | Math.Core.Utils |
| fromBases | Math.Combinatorics.Matroid |
| fromBinary | |
| 1 (Function) | Math.Algebra.Group.PermutationGroup |
| 2 (Function) | Math.Combinatorics.Graph |
| fromBinary' | Math.Algebra.Group.PermutationGroup |
| fromBraid | |
| 1 (Function) | Math.Projects.KnotTheory.IwahoriHecke |
| 2 (Function) | Math.Projects.KnotTheory.TemperleyLieb |
| fromCircuits | Math.Combinatorics.Matroid |
| fromClosure | Math.Combinatorics.Matroid |
| fromCoxeterMatrix | Math.Projects.RootSystem |
| fromCoxeterMatrix2 | Math.Projects.RootSystem |
| fromCycles | Math.Algebra.Group.PermutationGroup |
| fromDesign | Math.Combinatorics.Hypergraph |
| fromDigits | |
| 1 (Function) | Math.Algebra.Group.PermutationGroup |
| 2 (Function) | Math.Combinatorics.Graph |
| fromDigits' | Math.Algebra.Group.PermutationGroup |
| fromElimSnd | Math.CommutativeAlgebra.GroebnerBasis |
| fromFlats | Math.Combinatorics.Matroid |
| fromFlats' | Math.Combinatorics.Matroid |
| fromGeoRep | Math.Combinatorics.Matroid |
| fromGraph | Math.Combinatorics.Hypergraph |
| fromHyperplanes | Math.Combinatorics.Matroid |
| fromHyperplanes1 | Math.Combinatorics.Matroid |
| fromIncidenceMatrix | |
| 1 (Function) | Math.Combinatorics.Graph |
| 2 (Function) | Math.Combinatorics.Hypergraph |
| fromIndeps | Math.Combinatorics.Matroid |
| fromIndeps1 | Math.Combinatorics.Matroid |
| fromList | |
| 1 (Function) | Math.Algebra.Group.PermutationGroup |
| 2 (Function) | Math.Projects.ChevalleyGroup.Exceptional |
| fromLS | Math.Combinatorics.LatinSquares |
| fromMOLS | Math.Combinatorics.LatinSquares |
| fromPairs | Math.Algebra.Group.PermutationGroup |
| fromPairs' | Math.Algebra.Group.PermutationGroup |
| fromProjectivePlane | Math.Combinatorics.LatinSquares |
| fromRankfun | Math.Combinatorics.Matroid |
| fromTrans | Math.Algebra.Group.CayleyGraph |
| fromTranspositions | Math.Algebra.Group.CayleyGraph |
| fundamentalCircuit | Math.Combinatorics.Matroid |
| fundamentalCircuitIncidenceMatrix | Math.Combinatorics.Matroid |
| fundamentalCircuitIncidenceMatrix' | Math.Combinatorics.Matroid |
| G | |
| 1 (Data Constructor) | Math.Combinatorics.Graph |
| 2 (Data Constructor) | Math.Projects.RootSystem |
| g2_3 | Math.Projects.ChevalleyGroup.Exceptional |
| gamma3 | Math.Projects.ChevalleyGroup.Exceptional |
| gamma3' | Math.Projects.ChevalleyGroup.Exceptional |
| gamma3s | Math.Projects.ChevalleyGroup.Exceptional |
| gamma4 | Math.Projects.ChevalleyGroup.Exceptional |
| gamma4' | Math.Projects.ChevalleyGroup.Exceptional |
| gamma4s | Math.Projects.ChevalleyGroup.Exceptional |
| gammaL2_11 | Math.Combinatorics.Design |
| gammaL2_23 | Math.Combinatorics.Design |
| gb | |
| 1 (Function) | Math.CommutativeAlgebra.GroebnerBasis |
| 2 (Function) | Math.Algebra.NonCommutative.GSBasis |
| gb' | Math.Algebra.NonCommutative.GSBasis |
| gb1 | |
| 1 (Function) | Math.CommutativeAlgebra.GroebnerBasis |
| 2 (Function) | Math.Algebra.NonCommutative.GSBasis |
| gb2 | |
| 1 (Function) | Math.CommutativeAlgebra.GroebnerBasis |
| 2 (Function) | Math.Algebra.NonCommutative.GSBasis |
| gb2' | Math.Algebra.NonCommutative.GSBasis |
| gb2a | Math.CommutativeAlgebra.GroebnerBasis |
| gb3 | Math.CommutativeAlgebra.GroebnerBasis |
| gb4 | Math.CommutativeAlgebra.GroebnerBasis |
| gens | Math.Algebra.Group.PermutationGroup |
| gewirtz | Math.Combinatorics.StronglyRegularGraph |
| gewirtz' | Math.Combinatorics.StronglyRegularGraph |
| girth | Math.Combinatorics.Graph |
| Glex | |
| 1 (Type/Class) | Math.CommutativeAlgebra.Polynomial |
| 2 (Data Constructor) | Math.CommutativeAlgebra.Polynomial |
| 3 (Data Constructor) | Math.Algebras.Commutative |
| GlexMonomial | Math.Algebras.Commutative |
| GlexPoly | |
| 1 (Type/Class) | Math.CommutativeAlgebra.Polynomial |
| 2 (Type/Class) | Math.Algebras.Commutative |
| glexVar | Math.Algebras.Commutative |
| glexvar | Math.CommutativeAlgebra.Polynomial |
| gp | Math.Combinatorics.Graph |
| grade | Math.Combinatorics.CombinatorialHopfAlgebra |
| Graded | Math.Combinatorics.CombinatorialHopfAlgebra |
| gradedConnectedAntipode | Math.Combinatorics.CombinatorialHopfAlgebra |
| graft | Math.Combinatorics.CombinatorialHopfAlgebra |
| Graph | Math.Combinatorics.Graph |
| graph | Math.Combinatorics.Graph |
| graphAuts | Math.Combinatorics.GraphAuts |
| graphAuts7 | Math.Combinatorics.GraphAuts |
| graphAuts8 | Math.Combinatorics.GraphAuts |
| graphIsos | Math.Combinatorics.GraphAuts |
| graphOA | Math.Combinatorics.LatinSquares |
| Grevlex | |
| 1 (Type/Class) | Math.CommutativeAlgebra.Polynomial |
| 2 (Data Constructor) | Math.CommutativeAlgebra.Polynomial |
| GrevlexPoly | Math.CommutativeAlgebra.Polynomial |
| grevlexvar | Math.CommutativeAlgebra.Polynomial |
| grid | Math.Combinatorics.Hypergraph |
| GroupAlgebra | Math.Algebras.GroupAlgebra |
| H | Math.Combinatorics.Hypergraph |
| HasConjugation | Math.Algebras.Quaternions |
| HasInverses | Math.Core.Utils |
| HasPairing | Math.Algebras.Structures |
| hasseDigraph | Math.Combinatorics.Poset |
| HBasis | Math.Algebras.Quaternions |
| heawood | Math.Combinatorics.FiniteGeometry |
| heawoodGraph | Math.Combinatorics.Hypergraph |
| heightPartitionDAG | Math.Combinatorics.Digraph |
| heptads | Math.Combinatorics.StronglyRegularGraph |
| hexad | Math.Combinatorics.Design |
| higmanSimsGraph | Math.Combinatorics.StronglyRegularGraph |
| higmanSimsGraph' | Math.Combinatorics.StronglyRegularGraph |
| higmanSimsM22 | Math.Combinatorics.StronglyRegularGraph |
| hilbertFunQA | Math.CommutativeAlgebra.GroebnerBasis |
| hilbertPolyQA | Math.CommutativeAlgebra.GroebnerBasis |
| hilbertPolyQA' | Math.CommutativeAlgebra.GroebnerBasis |
| hilbertSeriesQA | Math.CommutativeAlgebra.GroebnerBasis |
| hilbertSeriesQA' | Math.CommutativeAlgebra.GroebnerBasis |
| hilbertSeriesQA1 | Math.CommutativeAlgebra.GroebnerBasis |
| hoffmanSingleton | Math.Combinatorics.StronglyRegularGraph |
| hoffmanSingleton' | Math.Combinatorics.StronglyRegularGraph |
| homfly | Math.Projects.KnotTheory.IwahoriHecke |
| homfly' | Math.Projects.KnotTheory.IwahoriHecke |
| homfly'' | Math.Projects.KnotTheory.IwahoriHecke |
| HopfAlgebra | Math.Algebras.Structures |
| HorizDir | Math.QuantumAlgebra.OrientedTangle |
| hsA7 | Math.Combinatorics.StronglyRegularGraph |
| Hypergraph | Math.Combinatorics.Hypergraph |
| hypergraph | Math.Combinatorics.Hypergraph |
| hyperplanes | Math.Combinatorics.Matroid |
| hyperplanes1 | Math.Combinatorics.Matroid |
| I | Math.Algebras.Quaternions |
| i | |
| 1 (Function) | Math.Algebras.Quaternions |
| 2 (Function) | Math.Algebra.Field.Extension |
| 3 (Function) | Math.NumberTheory.QuadraticField |
| 4 (Function) | Math.Projects.KnotTheory.IwahoriHecke |
| 5 (Function) | Math.Projects.MiniquaternionGeometry |
| i' | Math.Algebras.Quaternions |
| i0 | |
| 1 (Function) | Math.Algebras.Octonions |
| 2 (Function) | Math.Projects.ChevalleyGroup.Exceptional |
| i1 | |
| 1 (Function) | Math.Algebras.TensorProduct |
| 2 (Function) | Math.Algebras.Octonions |
| 3 (Function) | Math.Projects.ChevalleyGroup.Exceptional |
| i2 | |
| 1 (Function) | Math.Algebras.TensorProduct |
| 2 (Function) | Math.Algebras.Octonions |
| 3 (Function) | Math.Projects.ChevalleyGroup.Exceptional |
| i3 | |
| 1 (Function) | Math.Algebras.Octonions |
| 2 (Function) | Math.Projects.ChevalleyGroup.Exceptional |
| i4 | |
| 1 (Function) | Math.Algebras.Octonions |
| 2 (Function) | Math.Projects.ChevalleyGroup.Exceptional |
| i5 | |
| 1 (Function) | Math.Algebras.Octonions |
| 2 (Function) | Math.Projects.ChevalleyGroup.Exceptional |
| i6 | |
| 1 (Function) | Math.Algebras.Octonions |
| 2 (Function) | Math.Projects.ChevalleyGroup.Exceptional |
| icosahedron | Math.Combinatorics.Graph |
| Id | Math.QuantumAlgebra.TensorCategory |
| idMx | Math.Algebra.LinearAlgebra |
| IdT | |
| 1 (Data Constructor) | Math.QuantumAlgebra.Tangle |
| 2 (Data Constructor) | Math.QuantumAlgebra.OrientedTangle |
| idV | Math.QuantumAlgebra.OrientedTangle |
| idV' | Math.QuantumAlgebra.OrientedTangle |
| id_ | Math.QuantumAlgebra.TensorCategory |
| ihBasis | Math.Projects.KnotTheory.IwahoriHecke |
| ihnf | Math.Projects.KnotTheory.IwahoriHecke |
| ihRelations | Math.Projects.KnotTheory.IwahoriHecke |
| imCornerBlocks | Math.Projects.Rubik |
| imCornerFaces | Math.Projects.Rubik |
| imEdgeBlocks | Math.Projects.Rubik |
| imEdgeFaces | Math.Projects.Rubik |
| implies | |
| 1 (Function) | Math.Combinatorics.Poset |
| 2 (Function) | Math.Combinatorics.Matroid |
| iMx | Math.Algebra.LinearAlgebra |
| incidenceAuts | Math.Combinatorics.GraphAuts |
| incidenceAuts2 | Math.Combinatorics.GraphAuts |
| incidenceGraph | |
| 1 (Function) | Math.Combinatorics.Design |
| 2 (Function) | Math.Combinatorics.Hypergraph |
| incidenceGraphAG | Math.Combinatorics.FiniteGeometry |
| incidenceGraphB | Math.Combinatorics.Matroid |
| incidenceGraphC | Math.Combinatorics.Matroid |
| incidenceGraphH | Math.Combinatorics.Matroid |
| incidenceGraphLS | Math.Combinatorics.LatinSquares |
| incidenceGraphLS' | Math.Combinatorics.LatinSquares |
| incidenceGraphPG | Math.Combinatorics.FiniteGeometry |
| incidenceIsos | Math.Combinatorics.GraphAuts |
| incidenceMatrix | |
| 1 (Function) | Math.Combinatorics.Graph |
| 2 (Function) | Math.Combinatorics.Design |
| 3 (Function) | Math.Combinatorics.Hypergraph |
| indepCounts | Math.Combinatorics.Matroid |
| indeps | Math.Combinatorics.Matroid |
| index | Math.Algebra.Group.SchreierSims |
| inducedA7 | Math.Combinatorics.StronglyRegularGraph |
| inducedM22 | Math.Combinatorics.StronglyRegularGraph |
| inducedSubgraph | Math.Combinatorics.Graph |
| initLevels | Math.Algebra.Group.RandomSchreierSims |
| initProdRepl | Math.Algebra.Group.RandomSchreierSims |
| inject | |
| 1 (Function) | Math.Algebra.NonCommutative.NCPoly |
| 2 (Function) | Math.Projects.KnotTheory.LaurentMPoly |
| injectExt | Math.Algebras.TensorAlgebra |
| injectExt' | Math.Algebras.TensorAlgebra |
| injectSym | Math.Algebras.TensorAlgebra |
| injectSym' | Math.Algebras.TensorAlgebra |
| injectTA | Math.Algebras.TensorAlgebra |
| injectTA' | Math.Algebras.TensorAlgebra |
| insertDesc | Math.Core.Utils |
| inSpanRE | Math.Algebra.LinearAlgebra |
| IntegerAsType | Math.Common.IntegerAsType |
| integerPartitions | Math.Combinatorics.Poset |
| intersect | Math.Common.ListSet |
| intersectAsc | Math.Core.Utils |
| intersectI | Math.CommutativeAlgebra.GroebnerBasis |
| intersectionGraph | Math.Combinatorics.Hypergraph |
| intersectionNormalClosure | Math.Algebra.Group.Subquotients |
| Interval | Math.Combinatorics.IncidenceAlgebra |
| interval | Math.Combinatorics.Poset |
| intervalIsoClasses | Math.Combinatorics.IncidenceAlgebra |
| intervalIsoMap | Math.Combinatorics.IncidenceAlgebra |
| intervalIsos | Math.Combinatorics.IncidenceAlgebra |
| intervalPartitions | Math.Combinatorics.Poset |
| intervalPartitions2 | Math.Combinatorics.Poset |
| intervals | Math.Combinatorics.Poset |
| inv | Math.Algebra.NonCommutative.NCPoly |
| inverse | |
| 1 (Function) | Math.Core.Utils |
| 2 (Function) | Math.Algebra.LinearAlgebra |
| inverse1 | Math.Algebra.LinearAlgebra |
| inverse2 | Math.Algebra.LinearAlgebra |
| inversions | |
| 1 (Function) | Math.Combinatorics.CombinatorialHopfAlgebra |
| 2 (Function) | Math.Algebra.Group.CayleyGraph |
| Invertible | Math.Algebra.NonCommutative.NCPoly |
| invIA | Math.Combinatorics.IncidenceAlgebra |
| invIA1 | Math.Combinatorics.IncidenceAlgebra |
| is2ArcTransitive | Math.Combinatorics.GraphAuts |
| is2Design | Math.Combinatorics.Design |
| is3ArcTransitive | Math.Combinatorics.GraphAuts |
| is4ArcTransitive | Math.Combinatorics.GraphAuts |
| isAntisymmetric | Math.Combinatorics.Poset |
| isArcTransitive | Math.Combinatorics.GraphAuts |
| isAut | Math.Projects.MiniquaternionGeometry |
| isBase | Math.Combinatorics.Matroid |
| isBinary | Math.Combinatorics.Matroid |
| isBinary2 | Math.Combinatorics.Matroid |
| isCircuit | Math.Combinatorics.Matroid |
| isCircuitHyperplane | Math.Combinatorics.Matroid |
| isClutter | Math.Combinatorics.Matroid |
| isCobase | Math.Combinatorics.Matroid |
| isCocircuit | Math.Combinatorics.Matroid |
| isCoindependent | Math.Combinatorics.Matroid |
| isColoop | Math.Combinatorics.Matroid |
| isComplex | Math.Projects.MiniquaternionGeometry |
| isConfiguration | Math.Combinatorics.Hypergraph |
| isConnected | |
| 1 (Function) | Math.Combinatorics.Graph |
| 2 (Function) | Math.Combinatorics.Matroid |
| isCoparallel | Math.Combinatorics.Matroid |
| isCubic | Math.Combinatorics.Graph |
| isDAG | Math.Combinatorics.Digraph |
| isDagIso | Math.Combinatorics.Digraph |
| isDependent | Math.Combinatorics.Matroid |
| isDesign | Math.Combinatorics.Design |
| isDesignAut | Math.Combinatorics.Design |
| isDistanceTransitive | Math.Combinatorics.GraphAuts |
| isEdgeTransitive | Math.Combinatorics.GraphAuts |
| isElimFst | Math.CommutativeAlgebra.GroebnerBasis |
| isFlat | Math.Combinatorics.Matroid |
| isGB | Math.CommutativeAlgebra.GroebnerBasis |
| isGeneralizedQuadrangle | Math.Combinatorics.Hypergraph |
| isGenQuadrangle' | Math.Combinatorics.Hypergraph |
| isGraph | Math.Combinatorics.Graph |
| isGraphAut | Math.Combinatorics.GraphAuts |
| isGraphIso | Math.Combinatorics.GraphAuts |
| isHyperplane | Math.Combinatorics.Matroid |
| isIncidenceAut | Math.Combinatorics.GraphAuts |
| isIncidenceIso | Math.Combinatorics.GraphAuts |
| isIndependent | Math.Combinatorics.Matroid |
| isInterval | Math.Combinatorics.Poset |
| isIntervalIso | Math.Combinatorics.IncidenceAlgebra |
| isIPRefinement | Math.Combinatorics.Poset |
| isLatinSq | Math.Combinatorics.LatinSquares |
| isLeft | Math.Algebra.Group.Subquotients |
| isLinext | Math.Combinatorics.Poset |
| isListSet | Math.Common.ListSet |
| isLoop | Math.Combinatorics.Matroid |
| isMatroidBases | Math.Combinatorics.Matroid |
| isMatroidCircuits | Math.Combinatorics.Matroid |
| isMatroidHyperplanes | Math.Combinatorics.Matroid |
| isMatroidIndeps | Math.Combinatorics.Matroid |
| isMatroidIso | Math.Combinatorics.Matroid |
| isMember | |
| 1 (Function) | Math.Algebra.Group.PermutationGroup |
| 2 (Function) | Math.Algebra.Group.SchreierSims |
| isMemberBSGS | Math.Algebra.Group.SchreierSims |
| isMemberSGS | Math.Algebra.Group.RandomSchreierSims |
| isMillerRabinPrime | Math.NumberTheory.Prime, Math.NumberTheory.Factor |
| isMinimal | Math.Algebra.Group.PermutationGroup |
| isMOLS | Math.Combinatorics.LatinSquares |
| isnArcTransitive | Math.Combinatorics.GraphAuts |
| isNormal | |
| 1 (Function) | Math.Algebra.Group.PermutationGroup |
| 2 (Function) | Math.Algebra.Group.SchreierSims |
| isOA | Math.Combinatorics.LatinSquares |
| isOneOfEach | Math.Combinatorics.LatinSquares |
| isOrderIso | Math.Combinatorics.Poset |
| isOrderPreserving | Math.Combinatorics.Poset |
| isoRepDAG | Math.Combinatorics.Digraph |
| isoRepDAG1 | Math.Combinatorics.Digraph |
| isoRepDAG2 | Math.Combinatorics.Digraph |
| isoRepDAG3 | Math.Combinatorics.Digraph |
| isOrthogonal | |
| 1 (Function) | Math.Combinatorics.LatinSquares |
| 2 (Function) | Math.Projects.ChevalleyGroup.Exceptional |
| isOval | Math.Projects.MiniquaternionGeometry |
| isParallel | Math.Combinatorics.Matroid |
| isPartialLinearSpace | Math.Combinatorics.Hypergraph |
| ispnf | Math.Combinatorics.FiniteGeometry |
| isPoset | Math.Combinatorics.Poset |
| isPrime | Math.NumberTheory.Prime, Math.NumberTheory.Factor |
| isPrimitive | Math.Algebra.Group.Subquotients |
| isPrimitiveSGS | Math.Algebra.Group.Subquotients |
| isProjectivePlane | |
| 1 (Function) | Math.Combinatorics.Hypergraph |
| 2 (Function) | Math.Projects.MiniquaternionGeometry |
| isProjectivePlaneQuad | Math.Combinatorics.Hypergraph |
| isProjectivePlaneTri | Math.Combinatorics.Hypergraph |
| isQuadrangle | Math.Projects.MiniquaternionGeometry |
| isQuadrilateral | Math.Projects.MiniquaternionGeometry |
| isReal | Math.Projects.MiniquaternionGeometry |
| isRefinement | Math.Combinatorics.Poset |
| isReflexive | Math.Combinatorics.Poset |
| isRegular | Math.Combinatorics.Graph |
| isRepresentable | Math.Combinatorics.Matroid |
| isRight | Math.Algebra.Group.Subquotients |
| isSetSystem | Math.Combinatorics.Graph |
| isShortlex | Math.Combinatorics.Matroid |
| isSimple | |
| 1 (Function) | Math.Algebra.Group.PermutationGroup |
| 2 (Function) | Math.Combinatorics.Matroid |
| isSimpleGeoRep | Math.Combinatorics.Matroid |
| isSpanning | Math.Combinatorics.Matroid |
| isSquare | Math.Combinatorics.Design |
| isSRG | Math.Combinatorics.StronglyRegularGraph |
| isStrictlyDecreasing | Math.Core.Utils |
| isStrictlyIncreasing | Math.Core.Utils |
| isStructure | Math.Combinatorics.Design |
| isSubgp | |
| 1 (Function) | Math.Algebra.Group.PermutationGroup |
| 2 (Function) | Math.Algebra.Group.SchreierSims |
| isSubMultisetAsc | Math.Core.Utils |
| isSubset | |
| 1 (Function) | Math.Common.ListSet |
| 2 (Function) | Math.Combinatorics.Design |
| isSubsetAsc | Math.Core.Utils |
| isSubspace | Math.Combinatorics.Poset |
| isTernary | Math.Combinatorics.Matroid |
| isTransitive | |
| 1 (Function) | Math.Combinatorics.Poset |
| 2 (Function) | Math.Algebra.Group.Subquotients |
| isTrialDivisionPrime | Math.NumberTheory.Prime, Math.NumberTheory.Factor |
| isUnderIrreducible | Math.Combinatorics.CombinatorialHopfAlgebra |
| isUniform | Math.Combinatorics.Hypergraph |
| isUnit | Math.Projects.ChevalleyGroup.Exceptional |
| isValid | Math.Combinatorics.Design |
| isVertexTransitive | Math.Combinatorics.GraphAuts |
| isWeaklyDecreasing | Math.Core.Utils |
| isWeaklyIncreasing | Math.Core.Utils |
| isZero | Math.Algebra.LinearAlgebra |
| Iv | Math.Combinatorics.IncidenceAlgebra |
| ivPoset | Math.Combinatorics.IncidenceAlgebra |
| IwahoriHeckeGens | Math.Projects.KnotTheory.IwahoriHecke |
| i_ | Math.Algebras.Octonions |
| J | Math.Algebras.Quaternions |
| j | |
| 1 (Function) | Math.Algebras.Quaternions |
| 2 (Function) | Math.Combinatorics.Graph |
| 3 (Function) | Math.Projects.MiniquaternionGeometry |
| j' | Math.Algebras.Quaternions |
| J9 | |
| 1 (Type/Class) | Math.Projects.MiniquaternionGeometry |
| 2 (Data Constructor) | Math.Projects.MiniquaternionGeometry |
| j9 | Math.Projects.MiniquaternionGeometry |
| jMx | Math.Algebra.LinearAlgebra |
| johnson | Math.Combinatorics.Graph |
| jones | Math.Projects.KnotTheory.TemperleyLieb |
| jones' | Math.Projects.KnotTheory.IwahoriHecke |
| K | Math.Algebras.Quaternions |
| k | |
| 1 (Function) | Math.Algebras.Quaternions |
| 2 (Function) | Math.Combinatorics.Graph |
| 3 (Function) | Math.Projects.MiniquaternionGeometry |
| k' | Math.Algebras.Quaternions |
| k3_1 | Math.Projects.KnotTheory.Braid |
| k4_1 | Math.Projects.KnotTheory.Braid |
| k5_1 | Math.Projects.KnotTheory.Braid |
| k7_1 | Math.Projects.KnotTheory.Braid |
| kauffman | Math.QuantumAlgebra.Tangle |
| kb | Math.Combinatorics.Graph |
| kb' | Math.Combinatorics.Graph |
| kerCornerBlocks | Math.Projects.Rubik |
| kerCornerFaces | Math.Projects.Rubik |
| kerEdgeBlocks | Math.Projects.Rubik |
| kerEdgeFaces | Math.Projects.Rubik |
| kernel | Math.Algebra.LinearAlgebra |
| kernelRRE | Math.Algebra.LinearAlgebra |
| kneser | Math.Combinatorics.Graph |
| knuthBendix | Math.Algebra.Group.StringRewriting |
| knuthBendix1 | Math.Algebra.Group.StringRewriting |
| knuthBendix2 | Math.Algebra.Group.StringRewriting |
| knuthBendix3 | Math.Algebra.Group.StringRewriting |
| L | Math.Combinatorics.Matroid |
| l | |
| 1 (Function) | Math.Projects.ChevalleyGroup.Classical |
| 2 (Function) | Math.Projects.KnotTheory.IwahoriHecke |
| 3 (Function) | Math.Projects.Rubik |
| l2 | Math.Combinatorics.StronglyRegularGraph |
| l2' | Math.Combinatorics.StronglyRegularGraph |
| l2_11 | Math.Combinatorics.Design |
| l2_23 | Math.Combinatorics.Design |
| lambda | Math.QuantumAlgebra.OrientedTangle |
| LaurentMonomial | |
| 1 (Type/Class) | Math.Algebras.LaurentPoly |
| 2 (Type/Class) | Math.Projects.KnotTheory.LaurentMPoly |
| LaurentMPoly | Math.Projects.KnotTheory.LaurentMPoly |
| LaurentPoly | Math.Algebras.LaurentPoly |
| lc | |
| 1 (Function) | Math.CommutativeAlgebra.Polynomial |
| 2 (Function) | Math.Algebras.NonCommutative |
| 3 (Function) | Math.Algebra.NonCommutative.NCPoly |
| 4 (Function) | Math.Projects.KnotTheory.LaurentMPoly |
| lcmLM | Math.Projects.KnotTheory.LaurentMPoly |
| leafcount | Math.Combinatorics.CombinatorialHopfAlgebra |
| leafCountTree | Math.Combinatorics.CombinatorialHopfAlgebra |
| leftLeafComposition | Math.Combinatorics.CombinatorialHopfAlgebra |
| leftLeafComposition' | Math.Combinatorics.CombinatorialHopfAlgebra |
| leftLeafCompositionMap | Math.Combinatorics.CombinatorialHopfAlgebra |
| leftLinesPG2 | Math.Projects.MiniquaternionGeometry |
| Lex | |
| 1 (Type/Class) | Math.CommutativeAlgebra.Polynomial |
| 2 (Data Constructor) | Math.CommutativeAlgebra.Polynomial |
| LexPoly | Math.CommutativeAlgebra.Polynomial |
| lexvar | Math.CommutativeAlgebra.Polynomial |
| lieMult | Math.Projects.RootSystem |
| liftExt | Math.Algebras.TensorAlgebra |
| liftExt' | Math.Algebras.TensorAlgebra |
| liftSym | Math.Algebras.TensorAlgebra |
| liftSym' | Math.Algebras.TensorAlgebra |
| liftTA | Math.Algebras.TensorAlgebra |
| liftTA' | Math.Algebras.TensorAlgebra |
| liftToGraph | Math.Projects.MiniquaternionGeometry |
| lineAG | Math.Combinatorics.FiniteGeometry |
| linear | Math.Algebras.VectorSpace |
| lineGraph | Math.Combinatorics.Graph |
| lineGraph' | Math.Combinatorics.Graph |
| linePG | Math.Combinatorics.FiniteGeometry |
| linesAG | Math.Combinatorics.FiniteGeometry |
| linesAG1 | Math.Combinatorics.FiniteGeometry |
| linesAG2 | Math.Combinatorics.FiniteGeometry |
| linesPG | Math.Combinatorics.FiniteGeometry |
| linexts | Math.Combinatorics.Poset |
| LM | |
| 1 (Data Constructor) | Math.Algebras.LaurentPoly |
| 2 (Data Constructor) | Math.Projects.KnotTheory.LaurentMPoly |
| lm | |
| 1 (Function) | Math.CommutativeAlgebra.Polynomial |
| 2 (Function) | Math.Algebras.NonCommutative |
| 3 (Function) | Math.Algebra.NonCommutative.NCPoly |
| 4 (Function) | Math.Projects.KnotTheory.LaurentMPoly |
| LMR | Math.Combinatorics.Matroid |
| loop | Math.QuantumAlgebra.Tangle |
| loopT | Math.QuantumAlgebra.Tangle |
| LP | Math.Projects.KnotTheory.LaurentMPoly |
| LPQ | Math.Projects.KnotTheory.Braid |
| lrCountTree | Math.Combinatorics.CombinatorialHopfAlgebra |
| lt | |
| 1 (Function) | Math.CommutativeAlgebra.Polynomial |
| 2 (Function) | Math.Algebras.NonCommutative |
| 3 (Function) | Math.Algebras.Commutative |
| 4 (Function) | Math.Algebra.NonCommutative.NCPoly |
| 5 (Function) | Math.Algebra.Field.Extension |
| 6 (Function) | Math.Projects.KnotTheory.LaurentMPoly |
| ltIdeal | Math.CommutativeAlgebra.GroebnerBasis |
| lunit | Math.QuantumAlgebra.TensorCategory |
| lvar | Math.Algebras.LaurentPoly |
| M | |
| 1 (Type/Class) | Math.Common.IntegerAsType |
| 2 (Data Constructor) | Math.Common.IntegerAsType |
| 3 (Data Constructor) | Math.CommutativeAlgebra.Polynomial |
| 4 (Data Constructor) | Math.Combinatorics.Matroid |
| 5 (Data Constructor) | Math.Algebra.NonCommutative.NCPoly |
| m | |
| 1 (Function) | Math.Projects.ChevalleyGroup.Exceptional |
| 2 (Function) | Math.Projects.KnotTheory.IwahoriHecke |
| m11sgs | Math.Combinatorics.Design |
| m12 | Math.Combinatorics.Design |
| m12sgs | Math.Combinatorics.Design |
| m22sgs | Math.Combinatorics.Design |
| m23sgs | Math.Combinatorics.Design |
| m24 | Math.Combinatorics.Design |
| m24sgs | Math.Combinatorics.Design |
| M2q | |
| 1 (Type/Class) | Math.QuantumAlgebra.QuantumPlane |
| 2 (Data Constructor) | Math.QuantumAlgebra.QuantumPlane |
| m2q | Math.QuantumAlgebra.QuantumPlane |
| M3 | Math.Algebras.Matrix |
| markedfcim | Math.Combinatorics.Matroid |
| markNonInitialRCs | Math.Combinatorics.Matroid |
| Mat2 | Math.Algebras.Matrix |
| Mat2' | Math.Algebras.Matrix |
| Matroid | Math.Combinatorics.Matroid |
| matroidAG | Math.Combinatorics.Matroid |
| matroidAuts | Math.Combinatorics.Matroid |
| matroidIsos | Math.Combinatorics.Matroid |
| matroidPG | Math.Combinatorics.Matroid |
| matroidUnion | Math.Combinatorics.Matroid |
| maxPerm | Math.Combinatorics.CombinatorialHopfAlgebra |
| mbasis | Math.CommutativeAlgebra.GroebnerBasis |
| mbasisQA | |
| 1 (Function) | Math.CommutativeAlgebra.GroebnerBasis |
| 2 (Function) | Math.Algebra.NonCommutative.GSBasis |
| MC | Math.Algebras.Structures |
| MCategory | Math.QuantumAlgebra.TensorCategory |
| mcLaughlin | Math.Combinatorics.StronglyRegularGraph |
| mcLaughlin' | Math.Combinatorics.StronglyRegularGraph |
| mcoprime | Math.CommutativeAlgebra.Polynomial |
| mdeg | Math.CommutativeAlgebra.Polynomial |
| mdiv | Math.CommutativeAlgebra.Polynomial |
| mdivides | Math.CommutativeAlgebra.Polynomial |
| memberGB | Math.CommutativeAlgebra.GroebnerBasis |
| memberI | Math.CommutativeAlgebra.GroebnerBasis |
| merge | Math.Algebra.Group.StringRewriting |
| mergeBy | Math.CommutativeAlgebra.GroebnerBasis |
| mergeTerms | |
| 1 (Function) | Math.Algebra.NonCommutative.NCPoly |
| 2 (Function) | Math.Projects.KnotTheory.LaurentMPoly |
| MFunctor | Math.QuantumAlgebra.TensorCategory |
| mgcd | Math.CommutativeAlgebra.Polynomial |
| Mid | Math.Combinatorics.Matroid |
| mindices | Math.CommutativeAlgebra.Polynomial |
| minimal | Math.Combinatorics.Matroid |
| minimalBlock | Math.Algebra.Group.Subquotients |
| minimalFlat | Math.Combinatorics.Matroid |
| minPerm | Math.Combinatorics.CombinatorialHopfAlgebra |
| minsupp | Math.Algebra.Group.PermutationGroup |
| Minus | |
| 1 (Data Constructor) | Math.QuantumAlgebra.Tangle |
| 2 (Data Constructor) | Math.QuantumAlgebra.OrientedTangle |
| mlcm | Math.CommutativeAlgebra.Polynomial |
| mmult | Math.Algebras.Structures |
| mobiusKantor | Math.Combinatorics.Graph |
| Module | Math.Algebras.Structures |
| modUP | Math.Algebra.Field.Extension |
| Mon | Math.Algebras.Structures |
| MonImpl | Math.CommutativeAlgebra.Polynomial |
| Monoidal | Math.QuantumAlgebra.TensorCategory |
| MonoidCoalgebra | Math.Algebras.Structures |
| Monomial | |
| 1 (Type/Class) | Math.CommutativeAlgebra.Polynomial |
| 2 (Type/Class) | Math.Algebras.NonCommutative |
| 3 (Type/Class) | Math.Algebras.Commutative |
| 4 (Type/Class) | Math.Algebra.NonCommutative.NCPoly |
| monomial | Math.Algebra.Field.Extension |
| MonomialConstructor | Math.CommutativeAlgebra.Polynomial |
| mproperlydivides | Math.CommutativeAlgebra.Polynomial |
| mu | |
| 1 (Function) | Math.Combinatorics.CombinatorialHopfAlgebra |
| 2 (Function) | Math.QuantumAlgebra.OrientedTangle |
| mu' | Math.QuantumAlgebra.OrientedTangle |
| muB | Math.Combinatorics.IncidenceAlgebra |
| muC | Math.Combinatorics.IncidenceAlgebra |
| muIA | Math.Combinatorics.IncidenceAlgebra |
| muIA1 | Math.Combinatorics.IncidenceAlgebra |
| muL | Math.Combinatorics.IncidenceAlgebra |
| Mult | Math.QuantumAlgebra.TensorCategory |
| mult | Math.Algebras.Structures |
| multisetSumAsc | Math.Core.Utils |
| multisetSumDesc | Math.Core.Utils |
| multisplits | Math.Combinatorics.CombinatorialHopfAlgebra |
| munit | Math.Algebras.Structures |
| mvar | Math.CommutativeAlgebra.Polynomial |
| mw4 | Math.Combinatorics.Matroid |
| nbrs | Math.Combinatorics.Graph |
| NCM | Math.Algebras.NonCommutative |
| ncm | Math.Algebras.NonCommutative |
| NCPoly | Math.Algebras.NonCommutative |
| negatev | Math.Algebras.VectorSpace |
| newLevel | Math.Algebra.Group.SchreierSims |
| newLevel' | Math.Algebra.Group.SchreierSims |
| nextPrime | Math.NumberTheory.Prime, Math.NumberTheory.Factor |
| nextProdRepl | Math.Algebra.Group.RandomSchreierSims |
| nf | |
| 1 (Function) | Math.Algebras.VectorSpace |
| 2 (Function) | Math.Combinatorics.Digraph |
| 3 (Function) | Math.Combinatorics.Graph |
| 4 (Function) | Math.Projects.ChevalleyGroup.Exceptional |
| nfs | Math.Algebra.Group.StringRewriting |
| nodecount | Math.Combinatorics.CombinatorialHopfAlgebra |
| nodeCountTree | Math.Combinatorics.CombinatorialHopfAlgebra |
| NonComMonomial | Math.Algebras.NonCommutative |
| nonPappus | Math.Combinatorics.Matroid |
| noRepeatedBlocks | Math.Combinatorics.Design |
| norm | Math.Projects.MiniquaternionGeometry |
| normalClosure | |
| 1 (Function) | Math.Algebra.Group.PermutationGroup |
| 2 (Function) | Math.Algebra.Group.SchreierSims |
| 3 (Function) | Math.Algebra.Group.Subquotients |
| normalizer | Math.Algebra.Group.PermutationGroup |
| normalSubgps | Math.Algebra.Group.PermutationGroup |
| notElemAsc | Math.Core.Utils |
| notPrime | Math.NumberTheory.Prime, Math.NumberTheory.Factor |
| NP | Math.Algebra.NonCommutative.NCPoly |
| NPoly | Math.Algebra.NonCommutative.NCPoly |
| NSym | |
| 1 (Type/Class) | Math.Combinatorics.CombinatorialHopfAlgebra |
| 2 (Data Constructor) | Math.Combinatorics.CombinatorialHopfAlgebra |
| nsym | Math.Combinatorics.CombinatorialHopfAlgebra |
| nsymToSSym | Math.Combinatorics.CombinatorialHopfAlgebra |
| nsymToSymH | Math.Combinatorics.CombinatorialHopfAlgebra |
| nullGraph | Math.Combinatorics.Graph |
| nullGraph' | Math.Combinatorics.Graph |
| numBases | Math.Combinatorics.Matroid |
| numbered | Math.Combinatorics.CombinatorialHopfAlgebra |
| numChainsIA | Math.Combinatorics.IncidenceAlgebra |
| numeratorQ | |
| 1 (Function) | Math.Core.Field |
| 2 (Function) | Math.Algebra.Field.Base |
| numFlatsAG | Math.Combinatorics.FiniteGeometry |
| numFlatsPG | Math.Combinatorics.FiniteGeometry |
| numIndeps | Math.Combinatorics.Matroid |
| numMaximalChainsIA | Math.Combinatorics.IncidenceAlgebra |
| numMonomials | Math.CommutativeAlgebra.GroebnerBasis |
| numPtsAG | Math.Projects.ChevalleyGroup.Classical |
| numPtsPG | Math.Projects.ChevalleyGroup.Classical |
| numRoots | Math.Projects.RootSystem |
| numSpanning | Math.Combinatorics.Matroid |
| O | |
| 1 (Data Constructor) | Math.Algebras.Octonions |
| 2 (Data Constructor) | Math.Projects.ChevalleyGroup.Exceptional |
| 3 (Data Constructor) | Math.QuantumAlgebra.TensorCategory |
| o | Math.Projects.ChevalleyGroup.Classical |
| Ob | Math.QuantumAlgebra.TensorCategory, Math.QuantumAlgebra.TensorCategory, Math.QuantumAlgebra.Tangle, Math.QuantumAlgebra.OrientedTangle |
| OBasis | Math.Algebras.Octonions |
| octad | Math.Combinatorics.Design |
| octahedron | Math.Combinatorics.Graph |
| Octonion | |
| 1 (Type/Class) | Math.Algebras.Octonions |
| 2 (Type/Class) | Math.Projects.ChevalleyGroup.Exceptional |
| octonions | Math.Projects.ChevalleyGroup.Exceptional |
| oloop | Math.QuantumAlgebra.OrientedTangle |
| omega | Math.Projects.MiniquaternionGeometry |
| omega0 | Math.Projects.MiniquaternionGeometry |
| omega2 | Math.Projects.MiniquaternionGeometry |
| omegaD | Math.Projects.MiniquaternionGeometry |
| omegaD1 | Math.Projects.MiniquaternionGeometry |
| omegaD2 | Math.Projects.MiniquaternionGeometry |
| omegaeven | Math.Projects.ChevalleyGroup.Classical |
| omegaodd | Math.Projects.ChevalleyGroup.Classical |
| One | |
| 1 (Data Constructor) | Math.Algebras.Quaternions |
| 2 (Data Constructor) | Math.Combinatorics.FiniteGeometry |
| 3 (Data Constructor) | Math.NumberTheory.QuadraticField |
| one' | Math.Algebras.Quaternions |
| Op | |
| 1 (Type/Class) | Math.Algebras.Structures |
| 2 (Data Constructor) | Math.Algebras.Structures |
| orbit | Math.Algebra.Group.PermutationGroup |
| orbitB | Math.Algebra.Group.PermutationGroup |
| orbitE | Math.Algebra.Group.PermutationGroup |
| orbitP | Math.Algebra.Group.PermutationGroup |
| orbits | Math.Algebra.Group.PermutationGroup |
| orbitV | Math.Algebra.Group.PermutationGroup |
| order | |
| 1 (Function) | Math.Algebra.Group.PermutationGroup |
| 2 (Function) | Math.Algebra.Group.SchreierSims |
| 3 (Function) | Math.Combinatorics.Graph |
| 4 (Function) | Math.Projects.MiniquaternionGeometry |
| orderAff | Math.Combinatorics.FiniteGeometry |
| orderAuts1 | Math.Combinatorics.Poset |
| orderBSGS | |
| 1 (Function) | Math.Algebra.Group.PermutationGroup |
| 2 (Function) | Math.Algebra.Group.SchreierSims |
| orderElt | Math.Algebra.Group.PermutationGroup |
| orderGL | Math.Combinatorics.FiniteGeometry |
| orderIsos | Math.Combinatorics.Poset |
| orderIsos01 | Math.Combinatorics.Poset |
| orderL | Math.Projects.ChevalleyGroup.Classical |
| orderPGL | Math.Combinatorics.FiniteGeometry |
| orderS | Math.Projects.ChevalleyGroup.Classical |
| orderS2 | Math.Projects.ChevalleyGroup.Classical |
| orderSGS | Math.Algebra.Group.PermutationGroup |
| orderTGS | Math.Algebra.Group.PermutationGroup |
| orderWeyl | Math.Projects.RootSystem |
| ordpair | |
| 1 (Function) | Math.Algebra.Group.StringRewriting |
| 2 (Function) | Math.Core.Utils |
| Oriented | |
| 1 (Type/Class) | Math.QuantumAlgebra.Tangle |
| 2 (Type/Class) | Math.QuantumAlgebra.OrientedTangle |
| OrientedTangle | Math.QuantumAlgebra.OrientedTangle |
| orthogonalLinesPG2 | Math.Projects.MiniquaternionGeometry |
| OT | |
| 1 (Data Constructor) | Math.QuantumAlgebra.Tangle |
| 2 (Data Constructor) | Math.QuantumAlgebra.OrientedTangle |
| otrefoil | Math.QuantumAlgebra.OrientedTangle |
| otrefoil' | Math.QuantumAlgebra.OrientedTangle |
| over | Math.QuantumAlgebra.Tangle |
| OverT | Math.QuantumAlgebra.Tangle |
| P | |
| 1 (Data Constructor) | Math.Algebra.Group.PermutationGroup |
| 2 (Data Constructor) | Math.Combinatorics.StronglyRegularGraph |
| p | |
| 1 (Function) | Math.Algebra.Group.PermutationGroup |
| 2 (Function) | Math.Algebras.GroupAlgebra |
| p1 | Math.Algebras.TensorProduct |
| p2 | Math.Algebras.TensorProduct |
| p8 | Math.Combinatorics.Matroid |
| p8' | Math.Combinatorics.Matroid |
| p8m | Math.Combinatorics.Matroid |
| p8mm | Math.Combinatorics.Matroid |
| pairDesign | Math.Combinatorics.Design |
| pairing | Math.Algebras.Structures |
| pairing' | Math.Algebras.Structures |
| pairs | Math.Core.Utils |
| pairWith | Math.CommutativeAlgebra.GroebnerBasis |
| paleyDesign | Math.Combinatorics.Design |
| paleyGraph | Math.Combinatorics.StronglyRegularGraph |
| pappus | Math.Combinatorics.Matroid |
| pappusConfiguration | Math.Combinatorics.Hypergraph |
| pappusGraph | Math.Combinatorics.Hypergraph |
| Par | Math.QuantumAlgebra.TensorCategory |
| parallelConnection | Math.Combinatorics.Matroid |
| parity | Math.Algebra.Group.PermutationGroup |
| ParT | |
| 1 (Data Constructor) | Math.QuantumAlgebra.Tangle |
| 2 (Data Constructor) | Math.QuantumAlgebra.OrientedTangle |
| partialMatchings | Math.Combinatorics.Matroid |
| partitions | Math.Combinatorics.Poset |
| PBT | Math.Combinatorics.CombinatorialHopfAlgebra |
| perms | Math.Combinatorics.Digraph |
| Permutation | Math.Algebra.Group.PermutationGroup |
| permutationMatrix | Math.Algebra.Group.PermutationGroup |
| petersen | Math.Combinatorics.Graph |
| petersen2 | Math.Combinatorics.Graph |
| pfactors | Math.NumberTheory.Factor |
| pfactorsTo | Math.NumberTheory.Factor |
| pg | Math.Combinatorics.Design |
| pg2 | Math.Combinatorics.Design |
| phi | Math.Projects.MiniquaternionGeometry |
| phi' | Math.Projects.MiniquaternionGeometry |
| picks | Math.Core.Utils |
| Plus | |
| 1 (Data Constructor) | Math.QuantumAlgebra.Tangle |
| 2 (Data Constructor) | Math.QuantumAlgebra.OrientedTangle |
| pnf | Math.Combinatorics.FiniteGeometry |
| poincarePoly | Math.Projects.RootSystem |
| pointResidual | Math.Combinatorics.Design |
| points | Math.Combinatorics.Design |
| PolynomialAsType | Math.Algebra.Field.Extension |
| polys | Math.Algebra.Field.Extension |
| Poset | |
| 1 (Type/Class) | Math.Combinatorics.Poset |
| 2 (Data Constructor) | Math.Combinatorics.Poset |
| poset | Math.Combinatorics.Poset |
| posetB | Math.Combinatorics.Poset |
| posetD | Math.Combinatorics.Poset |
| posetIP | Math.Combinatorics.Poset |
| posetL | Math.Combinatorics.Poset |
| posetP | Math.Combinatorics.Poset |
| powers | |
| 1 (Function) | Math.Core.Field |
| 2 (Function) | Math.Algebra.Field.Base |
| 3 (Function) | Math.Algebras.NonCommutative |
| 4 (Function) | Math.Algebras.Commutative |
| powerset | |
| 1 (Function) | Math.Combinatorics.Graph |
| 2 (Function) | Math.Combinatorics.Poset |
| powersetbfs | Math.Core.Utils |
| powersetdfs | Math.Core.Utils |
| ppfactors | Math.NumberTheory.Factor |
| ppfactorsTo | Math.NumberTheory.Factor |
| predecessors | Math.Combinatorics.Digraph |
| prefix | Math.Combinatorics.CombinatorialHopfAlgebra |
| prevPrime | Math.NumberTheory.Prime, Math.NumberTheory.Factor |
| primes | Math.NumberTheory.Prime, Math.NumberTheory.Factor |
| primitiveElt | Math.Algebra.Field.Base |
| prism | Math.Combinatorics.Graph |
| prism' | Math.Combinatorics.Graph |
| prodf | Math.Algebras.TensorProduct |
| productI | Math.CommutativeAlgebra.GroebnerBasis |
| projectTC | Math.Algebras.TensorAlgebra |
| prop_Associative | Math.Combinatorics.CombinatorialHopfAlgebra |
| psi | Math.Projects.MiniquaternionGeometry |
| psi2 | Math.Projects.MiniquaternionGeometry |
| ptsAG | Math.Combinatorics.FiniteGeometry |
| ptsPG | Math.Combinatorics.FiniteGeometry |
| ptsPG2 | Math.Projects.MiniquaternionGeometry |
| ptStab | |
| 1 (Function) | Math.Algebra.Group.PermutationGroup |
| 2 (Function) | Math.Algebra.Group.Subquotients |
| pvalue | Math.Algebra.Field.Extension |
| Q | |
| 1 (Type/Class) | Math.Core.Field |
| 2 (Data Constructor) | Math.Core.Field |
| 3 (Type/Class) | Math.Algebra.Field.Base |
| 4 (Data Constructor) | Math.Algebra.Field.Base |
| q | |
| 1 (Function) | Math.Combinatorics.Graph |
| 2 (Function) | Math.Algebras.LaurentPoly |
| 3 (Function) | Math.Projects.KnotTheory.IwahoriHecke |
| q' | |
| 1 (Function) | Math.Combinatorics.Graph |
| 2 (Function) | Math.Algebras.LaurentPoly |
| 3 (Function) | Math.Projects.KnotTheory.IwahoriHecke |
| QNF | Math.NumberTheory.QuadraticField |
| QNFBasis | Math.NumberTheory.QuadraticField |
| qnomial | Math.Combinatorics.FiniteGeometry |
| qnomials | Math.Combinatorics.FiniteGeometry |
| QSqrt2 | Math.Algebra.Field.Extension |
| QSqrt3 | Math.Algebra.Field.Extension |
| QSqrt5 | Math.Algebra.Field.Extension |
| QSqrt7 | Math.Algebra.Field.Extension |
| QSqrtMinus1 | Math.Algebra.Field.Extension |
| QSqrtMinus2 | Math.Algebra.Field.Extension |
| QSqrtMinus3 | Math.Algebra.Field.Extension |
| QSqrtMinus5 | Math.Algebra.Field.Extension |
| QSymF | |
| 1 (Type/Class) | Math.Combinatorics.CombinatorialHopfAlgebra |
| 2 (Data Constructor) | Math.Combinatorics.CombinatorialHopfAlgebra |
| qsymF | Math.Combinatorics.CombinatorialHopfAlgebra |
| qsymFtoM | Math.Combinatorics.CombinatorialHopfAlgebra |
| QSymM | |
| 1 (Type/Class) | Math.Combinatorics.CombinatorialHopfAlgebra |
| 2 (Data Constructor) | Math.Combinatorics.CombinatorialHopfAlgebra |
| qsymM | Math.Combinatorics.CombinatorialHopfAlgebra |
| qsymMtoF | Math.Combinatorics.CombinatorialHopfAlgebra |
| qsymPoly | Math.Combinatorics.CombinatorialHopfAlgebra |
| qtorial | Math.Combinatorics.FiniteGeometry |
| qtorials | Math.Combinatorics.FiniteGeometry |
| quasiShuffles | Math.Combinatorics.CombinatorialHopfAlgebra |
| Quaternion | Math.Algebras.Quaternions |
| quotientGp | Math.Algebra.Group.PermutationGroup |
| quotientI | Math.CommutativeAlgebra.GroebnerBasis |
| quotientP | Math.CommutativeAlgebra.GroebnerBasis |
| quotRemLP | Math.Projects.KnotTheory.LaurentMPoly |
| quotRemMP | |
| 1 (Function) | Math.CommutativeAlgebra.Polynomial |
| 2 (Function) | Math.Algebras.Commutative |
| quotRemNP | |
| 1 (Function) | Math.Algebras.NonCommutative |
| 2 (Function) | Math.Algebra.NonCommutative.NCPoly |
| quotRemUP | Math.Algebra.Field.Extension |
| qvar | Math.QuantumAlgebra.QuantumPlane |
| R | Math.Combinatorics.Matroid |
| r | Math.Projects.Rubik |
| rank | |
| 1 (Function) | Math.Algebra.LinearAlgebra |
| 2 (Function) | Math.Combinatorics.Matroid |
| rankfun | Math.Combinatorics.Matroid |
| rankPoly | Math.Combinatorics.Matroid |
| rankPoly1 | Math.Combinatorics.Matroid |
| reachabilityPoset | Math.Combinatorics.Poset |
| reduce | |
| 1 (Function) | Math.CommutativeAlgebra.GroebnerBasis |
| 2 (Function) | Math.Algebra.NonCommutative.GSBasis |
| reducedRowEchelonForm | Math.Algebra.LinearAlgebra |
| reduceGens | |
| 1 (Function) | Math.Algebra.Group.PermutationGroup |
| 2 (Function) | Math.Algebra.Group.SchreierSims |
| reduceGensBSGS | Math.Algebra.Group.SchreierSims |
| reduceLP | Math.Projects.KnotTheory.LaurentMPoly |
| refinements | Math.Combinatorics.CombinatorialHopfAlgebra |
| refl | Math.Algebras.Quaternions |
| regularParam | Math.Combinatorics.Graph |
| reify | Math.Algebras.TensorProduct |
| relaxation | Math.Combinatorics.Matroid |
| remNP | |
| 1 (Function) | Math.Algebras.NonCommutative |
| 2 (Function) | Math.Algebra.NonCommutative.NCPoly |
| remNP2 | Math.Algebra.NonCommutative.NCPoly |
| removeTerm | Math.Algebras.VectorSpace |
| representations | Math.Combinatorics.Matroid |
| representations1 | Math.Combinatorics.Matroid |
| representations2 | Math.Combinatorics.Matroid |
| reprSO3 | Math.Algebras.Quaternions |
| reprSO3' | Math.Algebras.Quaternions |
| reprSO4 | Math.Algebras.Quaternions |
| reprSO4' | Math.Algebras.Quaternions |
| reprSO4d | Math.Algebras.Quaternions |
| restriction | |
| 1 (Function) | Math.Combinatorics.Graph |
| 2 (Function) | Math.Combinatorics.Matroid |
| restriction1 | Math.Combinatorics.Matroid |
| restrictLeft | Math.Algebra.Group.Subquotients |
| rewrite | |
| 1 (Function) | Math.Algebra.Group.StringRewriting |
| 2 (Function) | Math.CommutativeAlgebra.Polynomial |
| 3 (Function) | Math.QuantumAlgebra.TensorCategory |
| rewrite1 | Math.Algebra.Group.StringRewriting |
| rightLinesPG2 | Math.Projects.MiniquaternionGeometry |
| rootSystem | Math.Projects.RootSystem |
| rotateL | Math.Algebra.Group.PermutationGroup |
| rowEchelonForm | Math.Algebra.LinearAlgebra |
| rrefs | Math.Combinatorics.FiniteGeometry |
| rrpr | Math.Algebra.Group.PermutationGroup |
| rrpr' | Math.Algebra.Group.PermutationGroup |
| rss | Math.Algebra.Group.RandomSchreierSims |
| rss' | Math.Algebra.Group.RandomSchreierSims |
| rubikCube | Math.Projects.Rubik |
| runit | Math.QuantumAlgebra.TensorCategory |
| S | |
| 1 (Data Constructor) | Math.Algebra.Group.StringRewriting |
| 2 (Data Constructor) | Math.Projects.KnotTheory.Braid |
| s | Math.Projects.ChevalleyGroup.Classical |
| s1 | |
| 1 (Function) | Math.Algebra.Group.StringRewriting |
| 2 (Function) | Math.Projects.KnotTheory.Braid |
| s2 | |
| 1 (Function) | Math.Algebra.Group.StringRewriting |
| 2 (Function) | Math.Projects.ChevalleyGroup.Classical |
| 3 (Function) | Math.Projects.KnotTheory.Braid |
| s3 | |
| 1 (Function) | Math.Algebra.Group.StringRewriting |
| 2 (Function) | Math.Projects.KnotTheory.Braid |
| s4 | Math.Projects.KnotTheory.Braid |
| same | Math.Combinatorics.Hypergraph |
| SC | Math.Algebras.Structures |
| scalarPart | Math.Algebras.Quaternions |
| schlafli | Math.Combinatorics.StronglyRegularGraph |
| schlafli' | Math.Combinatorics.StronglyRegularGraph |
| schreierGeneratorsGx | Math.Algebra.Group.SchreierSims |
| Seq | Math.QuantumAlgebra.TensorCategory |
| SeqT | |
| 1 (Data Constructor) | Math.QuantumAlgebra.Tangle |
| 2 (Data Constructor) | Math.QuantumAlgebra.OrientedTangle |
| seriesConnection | Math.Combinatorics.Matroid |
| set | Math.Combinatorics.Graph |
| SetCoalgebra | Math.Algebras.Structures |
| setDiag | Math.Projects.RootSystem |
| setStab | Math.Algebra.Group.PermutationGroup |
| setUnionAsc | Math.Core.Utils |
| setUnionDesc | Math.Core.Utils |
| SGen | Math.Algebra.Group.StringRewriting |
| sgs | |
| 1 (Function) | Math.Algebra.Group.SchreierSims |
| 2 (Function) | Math.Algebra.Group.RandomSchreierSims |
| Sh | Math.Combinatorics.CombinatorialHopfAlgebra |
| sh | Math.Combinatorics.CombinatorialHopfAlgebra |
| shape | Math.Combinatorics.CombinatorialHopfAlgebra |
| shapeSignature | Math.Combinatorics.CombinatorialHopfAlgebra |
| shiftedConcat | Math.Combinatorics.CombinatorialHopfAlgebra |
| shortlex | |
| 1 (Function) | Math.Algebra.Group.StringRewriting |
| 2 (Function) | Math.Combinatorics.Matroid |
| showUP | Math.Algebra.Field.Extension |
| Shuffle | Math.Combinatorics.CombinatorialHopfAlgebra |
| shuffles | Math.Combinatorics.CombinatorialHopfAlgebra |
| sift | Math.Algebra.Group.SchreierSims |
| sign | Math.Algebra.Group.PermutationGroup |
| signedSort | Math.Algebras.TensorAlgebra |
| simpleFromGeoRep | Math.Combinatorics.Matroid |
| simpleSystem | Math.Projects.RootSystem |
| size | Math.Combinatorics.Graph |
| sl | Math.Projects.ChevalleyGroup.Classical |
| SL2 | |
| 1 (Type/Class) | Math.Algebras.AffinePlane |
| 2 (Data Constructor) | Math.Algebras.AffinePlane |
| SL2q | |
| 1 (Type/Class) | Math.QuantumAlgebra.QuantumPlane |
| 2 (Data Constructor) | Math.QuantumAlgebra.QuantumPlane |
| sl2q | Math.QuantumAlgebra.QuantumPlane |
| sl2Var | Math.Algebras.AffinePlane |
| smultL | Math.Algebras.VectorSpace |
| smultR | Math.Algebras.VectorSpace |
| solveLinearSystem | Math.Algebra.LinearAlgebra |
| sortDesc | Math.Core.Utils |
| source | Math.QuantumAlgebra.TensorCategory |
| sp | Math.Combinatorics.StronglyRegularGraph |
| sp2 | |
| 1 (Function) | Math.Combinatorics.StronglyRegularGraph |
| 2 (Function) | Math.Projects.ChevalleyGroup.Classical |
| splits | Math.Combinatorics.CombinatorialHopfAlgebra |
| splitSubstring | Math.Algebra.Group.StringRewriting |
| sPoly | |
| 1 (Function) | Math.CommutativeAlgebra.GroebnerBasis |
| 2 (Function) | Math.Algebra.NonCommutative.GSBasis |
| sqnorm | |
| 1 (Function) | Math.Algebras.Quaternions |
| 2 (Function) | Math.Projects.ChevalleyGroup.Exceptional |
| Sqrt | |
| 1 (Type/Class) | Math.Algebra.Field.Extension |
| 2 (Data Constructor) | Math.Algebra.Field.Extension |
| 3 (Data Constructor) | Math.NumberTheory.QuadraticField |
| sqrt | Math.NumberTheory.QuadraticField |
| sqrt2 | |
| 1 (Function) | Math.Algebra.Field.Extension |
| 2 (Function) | Math.NumberTheory.QuadraticField |
| sqrt3 | |
| 1 (Function) | Math.Algebra.Field.Extension |
| 2 (Function) | Math.NumberTheory.QuadraticField |
| sqrt5 | |
| 1 (Function) | Math.Algebra.Field.Extension |
| 2 (Function) | Math.NumberTheory.QuadraticField |
| sqrt6 | Math.NumberTheory.QuadraticField |
| sqrt7 | |
| 1 (Function) | Math.Algebra.Field.Extension |
| 2 (Function) | Math.NumberTheory.QuadraticField |
| sqrtminus2 | Math.Algebra.Field.Extension |
| sqrtminus3 | Math.Algebra.Field.Extension |
| sqrtminus5 | Math.Algebra.Field.Extension |
| sqrtvar | Math.Projects.KnotTheory.LaurentMPoly |
| squaresF9 | Math.Projects.MiniquaternionGeometry |
| srgParams | Math.Combinatorics.StronglyRegularGraph |
| srgParamsOA | Math.Combinatorics.LatinSquares |
| ss | Math.Algebra.Group.SchreierSims |
| ss' | Math.Algebra.Group.SchreierSims |
| SSymF | |
| 1 (Type/Class) | Math.Combinatorics.CombinatorialHopfAlgebra |
| 2 (Data Constructor) | Math.Combinatorics.CombinatorialHopfAlgebra |
| ssymF | Math.Combinatorics.CombinatorialHopfAlgebra |
| ssymFtoDual | Math.Combinatorics.CombinatorialHopfAlgebra |
| ssymFtoM | Math.Combinatorics.CombinatorialHopfAlgebra |
| SSymM | |
| 1 (Type/Class) | Math.Combinatorics.CombinatorialHopfAlgebra |
| 2 (Data Constructor) | Math.Combinatorics.CombinatorialHopfAlgebra |
| ssymM | Math.Combinatorics.CombinatorialHopfAlgebra |
| ssymMtoF | Math.Combinatorics.CombinatorialHopfAlgebra |
| stabilizer | Math.Algebra.Group.PermutationGroup |
| Star | Math.Combinatorics.FiniteGeometry |
| starSubstitutionsV | Math.Combinatorics.Matroid |
| StrictMonoidal | Math.QuantumAlgebra.TensorCategory |
| subgpAction | Math.Algebra.Group.PermutationGroup |
| subgps | Math.Algebra.Group.PermutationGroup |
| subposet | Math.Combinatorics.Poset |
| subsetDesign | Math.Combinatorics.Design |
| subspaces | Math.Combinatorics.Poset |
| subst | |
| 1 (Function) | Math.CommutativeAlgebra.Polynomial |
| 2 (Function) | Math.Algebra.NonCommutative.NCPoly |
| 3 (Function) | Math.Projects.KnotTheory.LaurentMPoly |
| substStars | Math.Combinatorics.Matroid |
| successors | Math.Combinatorics.Digraph |
| sugar | Math.CommutativeAlgebra.GroebnerBasis |
| sumf | Math.Algebras.VectorSpace |
| sumI | Math.CommutativeAlgebra.GroebnerBasis |
| sumv | Math.Algebras.VectorSpace |
| supp | Math.Algebra.Group.PermutationGroup |
| switch | Math.Combinatorics.StronglyRegularGraph |
| Sym | Math.Algebras.TensorAlgebra |
| symDiff | Math.Common.ListSet |
| SymE | |
| 1 (Type/Class) | Math.Combinatorics.CombinatorialHopfAlgebra |
| 2 (Data Constructor) | Math.Combinatorics.CombinatorialHopfAlgebra |
| symE | Math.Combinatorics.CombinatorialHopfAlgebra |
| symEtoM | Math.Combinatorics.CombinatorialHopfAlgebra |
| SymH | |
| 1 (Type/Class) | Math.Combinatorics.CombinatorialHopfAlgebra |
| 2 (Data Constructor) | Math.Combinatorics.CombinatorialHopfAlgebra |
| symH | Math.Combinatorics.CombinatorialHopfAlgebra |
| symHtoM | Math.Combinatorics.CombinatorialHopfAlgebra |
| SymM | |
| 1 (Type/Class) | Math.Combinatorics.CombinatorialHopfAlgebra |
| 2 (Data Constructor) | Math.Combinatorics.CombinatorialHopfAlgebra |
| symM | Math.Combinatorics.CombinatorialHopfAlgebra |
| Symmetric | Math.QuantumAlgebra.TensorCategory |
| SymmetricAlgebra | Math.Algebras.TensorAlgebra |
| symmetricBasis | Math.Algebra.NonCommutative.TensorAlgebra |
| symMult | Math.Combinatorics.CombinatorialHopfAlgebra |
| symnf | Math.Algebra.NonCommutative.TensorAlgebra |
| symRelations | Math.Algebra.NonCommutative.TensorAlgebra |
| symToQSymM | Math.Combinatorics.CombinatorialHopfAlgebra |
| synthemes | Math.Combinatorics.Hypergraph |
| s_ | |
| 1 (Function) | Math.Algebra.Group.StringRewriting |
| 2 (Function) | Math.Projects.KnotTheory.Braid |
| s_3_6_22 | Math.Combinatorics.Design |
| s_4_5_11 | Math.Combinatorics.Design |
| s_4_7_23 | Math.Combinatorics.Design |
| s_5_6_12 | Math.Combinatorics.Design |
| s_5_8_24 | Math.Combinatorics.Design |
| s_5_8_24' | Math.Combinatorics.Design |
| T | |
| 1 (Data Constructor) | Math.Combinatorics.CombinatorialHopfAlgebra |
| 2 (Data Constructor) | Math.Projects.KnotTheory.IwahoriHecke |
| t | |
| 1 (Function) | Math.Combinatorics.StronglyRegularGraph |
| 2 (Function) | Math.Projects.KnotTheory.LaurentMPoly |
| 3 (Function) | Math.QuantumAlgebra.TensorCategory |
| t' | |
| 1 (Function) | Math.Combinatorics.StronglyRegularGraph |
| 2 (Function) | Math.QuantumAlgebra.TensorCategory |
| t1 | Math.Projects.KnotTheory.IwahoriHecke |
| T11 | Math.Common.IntegerAsType |
| T13 | Math.Common.IntegerAsType |
| T17 | Math.Common.IntegerAsType |
| T19 | Math.Common.IntegerAsType |
| T2 | Math.Common.IntegerAsType |
| t2 | Math.Projects.KnotTheory.IwahoriHecke |
| T23 | Math.Common.IntegerAsType |
| T29 | Math.Common.IntegerAsType |
| T3 | Math.Common.IntegerAsType |
| t3 | Math.Projects.KnotTheory.IwahoriHecke |
| T31 | Math.Common.IntegerAsType |
| T37 | Math.Common.IntegerAsType |
| t4 | Math.Projects.KnotTheory.IwahoriHecke |
| T41 | Math.Common.IntegerAsType |
| T43 | Math.Common.IntegerAsType |
| T47 | Math.Common.IntegerAsType |
| T5 | Math.Common.IntegerAsType |
| T53 | Math.Common.IntegerAsType |
| T59 | Math.Common.IntegerAsType |
| T61 | Math.Common.IntegerAsType |
| T67 | Math.Common.IntegerAsType |
| T7 | Math.Common.IntegerAsType |
| T71 | Math.Common.IntegerAsType |
| T73 | Math.Common.IntegerAsType |
| T79 | Math.Common.IntegerAsType |
| T83 | Math.Common.IntegerAsType |
| T89 | Math.Common.IntegerAsType |
| T97 | Math.Common.IntegerAsType |
| TA | Math.Algebras.TensorAlgebra |
| tamariCovers | Math.Combinatorics.CombinatorialHopfAlgebra |
| tamariOrder | Math.Combinatorics.CombinatorialHopfAlgebra |
| tamariUpSet | Math.Combinatorics.CombinatorialHopfAlgebra |
| Tangle | Math.QuantumAlgebra.Tangle |
| TangleRep | Math.QuantumAlgebra.Tangle |
| tar | Math.QuantumAlgebra.TensorCategory |
| target | Math.QuantumAlgebra.TensorCategory |
| tau | Math.Projects.KnotTheory.IwahoriHecke |
| tau' | Math.Projects.KnotTheory.IwahoriHecke |
| TC | Math.Algebras.TensorAlgebra |
| tDesignParams | Math.Combinatorics.Design |
| tdiv | Math.CommutativeAlgebra.Polynomial |
| tdivides | Math.CommutativeAlgebra.Polynomial |
| te | Math.Algebras.TensorProduct |
| TemperleyLiebGens | Math.Projects.KnotTheory.TemperleyLieb |
| Tensor | Math.Algebras.TensorProduct |
| TensorAlgebra | Math.Algebras.TensorAlgebra |
| tensorBasis | Math.Algebra.NonCommutative.TensorAlgebra |
| TensorCoalgebra | Math.Algebras.TensorAlgebra |
| terms | Math.Algebras.VectorSpace |
| testcc' | Math.QuantumAlgebra.OrientedTangle |
| testProdRepl | Math.Algebra.Group.RandomSchreierSims |
| tetrahedron | Math.Combinatorics.Graph |
| tf | Math.Algebras.TensorProduct |
| tgcd | Math.CommutativeAlgebra.Polynomial |
| tgsFromSgs | Math.Algebra.Group.PermutationGroup |
| tlBasis | Math.Projects.KnotTheory.TemperleyLieb |
| tlnf | Math.Projects.KnotTheory.TemperleyLieb |
| tlRelations | Math.Projects.KnotTheory.TemperleyLieb |
| tminus | Math.QuantumAlgebra.OrientedTangle |
| TMinus1 | Math.Common.IntegerAsType |
| tmult | Math.CommutativeAlgebra.Polynomial |
| to1n | |
| 1 (Function) | Math.Combinatorics.Graph |
| 2 (Function) | Math.Combinatorics.Matroid |
| 3 (Function) | Math.Combinatorics.Design |
| tob | Math.QuantumAlgebra.TensorCategory |
| toCycles | Math.Algebra.Group.PermutationGroup |
| toDesign | Math.Combinatorics.Design |
| toEB | Math.Algebras.Matrix |
| toEB2 | Math.Algebras.Matrix |
| toElimFst | Math.CommutativeAlgebra.GroebnerBasis |
| toElimSnd | Math.CommutativeAlgebra.GroebnerBasis |
| toExt | Math.Algebras.TensorAlgebra |
| toGraph | Math.Combinatorics.Graph |
| toHypergraph | Math.Combinatorics.Hypergraph |
| toIsoClasses | Math.Combinatorics.IncidenceAlgebra |
| toIsoClasses' | Math.Combinatorics.IncidenceAlgebra |
| ToL | Math.QuantumAlgebra.OrientedTangle |
| toList | Math.Projects.ChevalleyGroup.Exceptional |
| toListSet | Math.Common.ListSet |
| toMat2 | Math.Algebras.Matrix |
| toMonic | |
| 1 (Function) | Math.CommutativeAlgebra.Polynomial |
| 2 (Function) | Math.Algebra.NonCommutative.NCPoly |
| TOne | Math.Common.IntegerAsType |
| toPairs | Math.Algebra.Group.PermutationGroup |
| ToR | Math.QuantumAlgebra.OrientedTangle |
| toSet | Math.Core.Utils |
| toShortlex | Math.Combinatorics.Matroid |
| toSn | Math.Algebra.Group.PermutationGroup |
| toSym | Math.Algebras.TensorAlgebra |
| toTrans | Math.Algebra.Group.CayleyGraph |
| toTranspositions | Math.Algebra.Group.CayleyGraph |
| toUPoly | Math.Algebra.Field.Extension |
| tplus | Math.QuantumAlgebra.OrientedTangle |
| tr | Math.Projects.KnotTheory.TemperleyLieb |
| tr' | Math.Projects.KnotTheory.TemperleyLieb |
| transitiveConstituentHomomorphism | Math.Algebra.Group.Subquotients |
| transitiveConstituentHomomorphism' | Math.Algebra.Group.Subquotients |
| transversalGraph | Math.Combinatorics.Matroid |
| transversalMatroid | Math.Combinatorics.Matroid |
| trees | Math.Combinatorics.CombinatorialHopfAlgebra |
| trefoilT | Math.QuantumAlgebra.Tangle |
| tri | Math.Algebra.Group.StringRewriting |
| TrieSet | Math.Combinatorics.Matroid |
| triples | Math.Combinatorics.StronglyRegularGraph |
| Trivial | Math.Algebras.VectorSpace |
| TS | Math.Combinatorics.Matroid |
| tsempty | Math.Combinatorics.Matroid |
| tsfromlist | Math.Combinatorics.Matroid |
| tsinsert | Math.Combinatorics.Matroid |
| tsmember | Math.Combinatorics.Matroid |
| tsshow | Math.Combinatorics.Matroid |
| tssubmember | Math.Combinatorics.Matroid |
| tstolist | Math.Combinatorics.Matroid |
| tunit | Math.QuantumAlgebra.TensorCategory |
| tutteCoxeterGraph | Math.Combinatorics.Hypergraph |
| twist | |
| 1 (Function) | Math.Algebras.TensorProduct |
| 2 (Function) | Math.QuantumAlgebra.TensorCategory |
| twoSum | Math.Combinatorics.Matroid |
| Type | Math.Projects.RootSystem |
| TZero | Math.Common.IntegerAsType |
| t_ | Math.Projects.KnotTheory.IwahoriHecke |
| u | |
| 1 (Function) | Math.Combinatorics.Matroid |
| 2 (Function) | Math.Projects.Rubik |
| 3 (Function) | Math.QuantumAlgebra.QuantumPlane |
| ud | Math.Projects.Rubik |
| under | |
| 1 (Function) | Math.Combinatorics.CombinatorialHopfAlgebra |
| 2 (Function) | Math.QuantumAlgebra.Tangle |
| underComposition | Math.Combinatorics.CombinatorialHopfAlgebra |
| underDecomposition | Math.Combinatorics.CombinatorialHopfAlgebra |
| UnderT | Math.QuantumAlgebra.Tangle |
| undistrL | Math.Algebras.TensorProduct |
| undistrR | Math.Algebras.TensorProduct |
| uniformMatroid | Math.Combinatorics.Matroid |
| union | Math.Common.ListSet |
| unique | Math.Combinatorics.Matroid |
| Unit | Math.QuantumAlgebra.TensorCategory |
| unit | Math.Algebras.Structures |
| unit' | Math.Algebras.Structures |
| unitIA | Math.Combinatorics.IncidenceAlgebra |
| unitImagOctonions | Math.Projects.ChevalleyGroup.Exceptional |
| unitInL | Math.Algebras.TensorProduct |
| unitInR | Math.Algebras.TensorProduct |
| unitOutL | Math.Algebras.TensorProduct |
| unitOutR | Math.Algebras.TensorProduct |
| unRight | Math.Algebra.Group.Subquotients |
| unwrap | Math.Algebras.VectorSpace |
| UP | Math.Algebra.Field.Extension |
| updateArray | Math.Algebra.Group.RandomSchreierSims |
| updateLevels | Math.Algebra.Group.RandomSchreierSims |
| updateLevels' | Math.Algebra.Group.RandomSchreierSims |
| UPoly | Math.Algebra.Field.Extension |
| V | Math.Algebras.VectorSpace |
| v | Math.QuantumAlgebra.QuantumPlane |
| v8 | Math.Combinatorics.Matroid |
| valencies | Math.Combinatorics.Graph |
| valency | Math.Combinatorics.Graph |
| valencyPartition | Math.Combinatorics.Graph |
| value | Math.Common.IntegerAsType |
| vamosMatroid | Math.Combinatorics.Matroid |
| vamosMatroid1 | Math.Combinatorics.Matroid |
| Var | Math.Algebra.NonCommutative.NCPoly |
| var | |
| 1 (Function) | Math.CommutativeAlgebra.Polynomial |
| 2 (Function) | Math.Algebras.NonCommutative |
| 3 (Function) | Math.Algebras.Commutative |
| 4 (Function) | Math.Algebra.NonCommutative.NCPoly |
| 5 (Function) | Math.Projects.KnotTheory.LaurentMPoly |
| vars | Math.CommutativeAlgebra.Polynomial |
| Vect | |
| 1 (Type/Class) | Math.Algebras.VectorSpace |
| 2 (Type/Class) | Math.QuantumAlgebra.TensorCategory |
| VectAr | Math.QuantumAlgebra.TensorCategory |
| VectOb | Math.QuantumAlgebra.TensorCategory |
| vectorMatroid | Math.Combinatorics.Matroid |
| vectorMatroid' | Math.Combinatorics.Matroid |
| vectorPart | Math.Algebras.Quaternions |
| vertices | |
| 1 (Function) | Math.Combinatorics.Digraph |
| 2 (Function) | Math.Combinatorics.Graph |
| w | |
| 1 (Function) | Math.Projects.MiniquaternionGeometry |
| 2 (Function) | Math.Projects.RootSystem |
| w4 | Math.Combinatorics.Matroid |
| w4' | Math.Combinatorics.Matroid |
| WeakMonoidal | Math.QuantumAlgebra.TensorCategory |
| weakOrder | Math.Combinatorics.CombinatorialHopfAlgebra |
| weylBasis | Math.Algebra.NonCommutative.TensorAlgebra |
| weylBasis' | Math.Algebra.NonCommutative.TensorAlgebra |
| WeylGens | Math.Algebra.NonCommutative.TensorAlgebra |
| weylMatrices | Math.Projects.RootSystem |
| weylnf | Math.Algebra.NonCommutative.TensorAlgebra |
| weylnf' | Math.Algebra.NonCommutative.TensorAlgebra |
| weylPerms | Math.Projects.RootSystem |
| weylRelations | Math.Algebra.NonCommutative.TensorAlgebra |
| weylRelations' | Math.Algebra.NonCommutative.TensorAlgebra |
| wheelGraph | Math.Combinatorics.Matroid |
| whitney1st | Math.Combinatorics.Matroid |
| whitney2nd | Math.Combinatorics.Matroid |
| wMx | Math.Projects.RootSystem |
| wr | Math.Algebra.Group.PermutationGroup |
| wrap | Math.Algebras.VectorSpace |
| writhe | Math.Projects.KnotTheory.Braid |
| X | |
| 1 (Data Constructor) | Math.Algebras.AffinePlane |
| 2 (Data Constructor) | Math.Algebra.NonCommutative.NCPoly |
| 3 (Data Constructor) | Math.Algebra.NonCommutative.TensorAlgebra |
| 4 (Data Constructor) | Math.NumberTheory.QuadraticField |
| x | |
| 1 (Function) | Math.Combinatorics.Matroid |
| 2 (Function) | Math.Algebras.AffinePlane |
| 3 (Function) | Math.Algebra.NonCommutative.NCPoly |
| 4 (Function) | Math.Algebra.Field.Extension |
| 5 (Function) | Math.Projects.KnotTheory.LaurentMPoly |
| 6 (Function) | Math.QuantumAlgebra.QuantumPlane |
| x1 | Math.Algebra.NonCommutative.TensorAlgebra |
| x2 | Math.Algebra.NonCommutative.TensorAlgebra |
| x3 | Math.Algebra.NonCommutative.TensorAlgebra |
| XMinus | Math.QuantumAlgebra.OrientedTangle |
| xminus | Math.QuantumAlgebra.OrientedTangle |
| XPlus | Math.QuantumAlgebra.OrientedTangle |
| xplus | Math.QuantumAlgebra.OrientedTangle |
| XVar | Math.NumberTheory.QuadraticField |
| XY | Math.Algebras.AffinePlane |
| x_ | Math.Algebra.NonCommutative.TensorAlgebra |
| Y | |
| 1 (Data Constructor) | Math.Algebras.AffinePlane |
| 2 (Data Constructor) | Math.Algebra.NonCommutative.NCPoly |
| y | |
| 1 (Function) | Math.Combinatorics.Matroid |
| 2 (Function) | Math.Algebras.AffinePlane |
| 3 (Function) | Math.Algebra.NonCommutative.NCPoly |
| 4 (Function) | Math.Projects.KnotTheory.LaurentMPoly |
| 5 (Function) | Math.QuantumAlgebra.QuantumPlane |
| yb | Math.QuantumAlgebra.QuantumPlane |
| yminus | Math.QuantumAlgebra.OrientedTangle |
| yplus | Math.QuantumAlgebra.OrientedTangle |
| YSymF | |
| 1 (Type/Class) | Math.Combinatorics.CombinatorialHopfAlgebra |
| 2 (Data Constructor) | Math.Combinatorics.CombinatorialHopfAlgebra |
| ysymF | Math.Combinatorics.CombinatorialHopfAlgebra |
| ysymFtoM | Math.Combinatorics.CombinatorialHopfAlgebra |
| YSymM | |
| 1 (Type/Class) | Math.Combinatorics.CombinatorialHopfAlgebra |
| 2 (Data Constructor) | Math.Combinatorics.CombinatorialHopfAlgebra |
| ysymM | Math.Combinatorics.CombinatorialHopfAlgebra |
| ysymMtoF | Math.Combinatorics.CombinatorialHopfAlgebra |
| ysymmToSh | Math.Combinatorics.CombinatorialHopfAlgebra |
| Z | Math.Algebra.NonCommutative.NCPoly |
| z | |
| 1 (Function) | Math.Algebra.NonCommutative.NCPoly |
| 2 (Function) | Math.Projects.KnotTheory.LaurentMPoly |
| 3 (Function) | Math.Projects.KnotTheory.IwahoriHecke |
| z' | Math.Projects.KnotTheory.IwahoriHecke |
| Zero | Math.Combinatorics.FiniteGeometry |
| zerof | Math.Algebras.VectorSpace |
| ZeroOneStar | Math.Combinatorics.FiniteGeometry |
| zerov | Math.Algebras.VectorSpace |
| zeta | Math.Combinatorics.CombinatorialHopfAlgebra |
| zetaIA | Math.Combinatorics.IncidenceAlgebra |
| zminus | Math.QuantumAlgebra.OrientedTangle |
| zMx | Math.Algebra.LinearAlgebra |
| zplus | Math.QuantumAlgebra.OrientedTangle |
| \\ | Math.Common.ListSet |
| \\\ | Math.Combinatorics.Matroid |
| ^- | |
| 1 (Function) | Math.Core.Utils |
| 2 (Function) | Math.Algebras.Quaternions |
| 3 (Function) | Math.Algebra.NonCommutative.NCPoly |
| ^^^ | Math.Projects.KnotTheory.LaurentMPoly |
| _A | Math.Algebra.Group.PermutationGroup |
| _B | Math.Projects.Rubik |
| _b | Math.Projects.Rubik |
| _C | Math.Algebra.Group.PermutationGroup |
| _D | |
| 1 (Function) | Math.Algebra.Group.StringRewriting |
| 2 (Function) | Math.Algebra.Group.PermutationGroup |
| 3 (Function) | Math.Projects.Rubik |
| _d | Math.Projects.Rubik |
| _D2 | Math.Algebra.Group.PermutationGroup |
| _F | Math.Projects.Rubik |
| _f | Math.Projects.Rubik |
| _HS | Math.Combinatorics.StronglyRegularGraph |
| _HS2 | Math.Combinatorics.StronglyRegularGraph |
| _L | Math.Projects.Rubik |
| _l | Math.Projects.Rubik |
| _McL | Math.Combinatorics.StronglyRegularGraph |
| _McL2 | Math.Combinatorics.StronglyRegularGraph |
| _R | Math.Projects.Rubik |
| _r | Math.Projects.Rubik |
| _S | |
| 1 (Function) | Math.Algebra.Group.StringRewriting |
| 2 (Function) | Math.Algebra.Group.PermutationGroup |
| _S' | Math.Algebra.Group.StringRewriting |
| _U | Math.Projects.Rubik |
| _u | Math.Projects.Rubik |
| ~^ | Math.Algebra.Group.PermutationGroup |
| ~^^ | Math.Algebra.Group.PermutationGroup |
| ~~^ | Math.Algebra.Group.PermutationGroup |