Index
| ! | |
| 1 (Function) | Math.CommutativeAlgebra.GroebnerBasis |
| 2 (Function) | Math.Algebra.LinearAlgebra |
| %% | |
| 1 (Function) | Math.Algebra.NonCommutative.NCPoly |
| 2 (Function) | Math.Algebras.Commutative |
| 3 (Function) | Math.Algebras.NonCommutative |
| 4 (Function) | Math.CommutativeAlgebra.Polynomial |
| %^ | 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.Combinatorics.GraphAuts |
| -^ | 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.Field.Extension |
| 2 (Function) | Math.Algebra.LinearAlgebra |
| <*>> | Math.Algebra.LinearAlgebra |
| <+> | |
| 1 (Function) | Math.Algebras.VectorSpace |
| 2 (Function) | Math.Algebra.Field.Extension |
| 3 (Function) | Math.Algebra.LinearAlgebra |
| <-> | |
| 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 |
| <<->> | 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.Algebra.Field.Extension |
| 2 (Function) | Math.Core.Field |
| a25 | |
| 1 (Function) | Math.Algebra.Field.Extension |
| 2 (Function) | Math.Core.Field |
| a27 | Math.Algebra.Field.Extension |
| a32 | Math.Algebra.Field.Extension |
| a4 | |
| 1 (Function) | Math.Algebra.Field.Extension |
| 2 (Function) | Math.Core.Field |
| a8 | |
| 1 (Function) | Math.Algebra.Field.Extension |
| 2 (Function) | Math.Core.Field |
| a9 | |
| 1 (Function) | Math.Algebra.Field.Extension |
| 2 (Function) | Math.Core.Field |
| AB | Math.QuantumAlgebra.TensorCategory |
| 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 | |
| 1 (Function) | Math.Combinatorics.Digraph |
| 2 (Function) | Math.Combinatorics.GraphAuts |
| 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.OrientedTangle, Math.QuantumAlgebra.Tangle |
| AS | Math.QuantumAlgebra.TensorCategory |
| 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.Projects.Rubik |
| 2 (Function) | Math.Algebras.AffinePlane |
| 3 (Function) | Math.QuantumAlgebra.QuantumPlane |
| 4 (Function) | Math.Projects.ChevalleyGroup.Classical |
| 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.Algebras.Commutative |
| 2 (Function) | Math.Algebras.NonCommutative |
| 3 (Function) | Math.CommutativeAlgebra.Polynomial |
| 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 |
| BraidGens | Math.Projects.KnotTheory.Braid |
| 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.OrientedTangle |
| 4 (Function) | Math.QuantumAlgebra.QuantumPlane |
| c' | Math.QuantumAlgebra.OrientedTangle |
| cap | Math.QuantumAlgebra.Tangle |
| capLR | Math.QuantumAlgebra.OrientedTangle |
| capRL | Math.QuantumAlgebra.OrientedTangle |
| CapT | |
| 1 (Data Constructor) | Math.QuantumAlgebra.OrientedTangle |
| 2 (Data Constructor) | Math.QuantumAlgebra.Tangle |
| cartanMatrix | Math.Projects.RootSystem |
| cartProd | Math.Algebra.Group.SchreierSims |
| Category | Math.QuantumAlgebra.TensorCategory |
| 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 |
| Cob2 | Math.QuantumAlgebra.TensorCategory |
| cobindTC | Math.Algebras.TensorAlgebra |
| cocircuits | Math.Combinatorics.Matroid |
| coeff | 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 | |
| 1 (Function) | Math.Core.Utils |
| 2 (Function) | Math.Combinatorics.Graph |
| 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 |
| Comult | Math.QuantumAlgebra.TensorCategory |
| comult | Math.Algebras.Structures |
| concurrent | Math.Projects.MiniquaternionGeometry |
| conj | |
| 1 (Function) | Math.Algebras.Quaternions |
| 2 (Function) | Math.Projects.MiniquaternionGeometry |
| 3 (Function) | Math.Projects.ChevalleyGroup.Exceptional |
| 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.OrientedTangle |
| 2 (Data Constructor) | Math.QuantumAlgebra.Tangle |
| cycleMatroid | Math.Combinatorics.Matroid |
| cycleMatroid' | Math.Combinatorics.Matroid |
| cycleOf | Math.Algebra.Group.PermutationGroup |
| D | |
| 1 (Data Constructor) | Math.Algebra.NonCommutative.TensorAlgebra |
| 2 (Data Constructor) | Math.Algebras.AffinePlane |
| 3 (Data Constructor) | Math.Combinatorics.Design |
| 4 (Data Constructor) | Math.Projects.RootSystem |
| d | |
| 1 (Function) | Math.Projects.Rubik |
| 2 (Function) | Math.Algebras.AffinePlane |
| 3 (Function) | Math.Projects.KnotTheory.TemperleyLieb |
| 4 (Function) | Math.QuantumAlgebra.QuantumPlane |
| 5 (Function) | Math.Projects.ChevalleyGroup.Classical |
| d' | Math.Projects.KnotTheory.TemperleyLieb |
| d1 | Math.Algebra.NonCommutative.TensorAlgebra |
| d2 | Math.Algebra.NonCommutative.TensorAlgebra |
| d3 | Math.Algebra.NonCommutative.TensorAlgebra |
| dagIsos | Math.Combinatorics.Digraph |
| deg | |
| 1 (Function) | Math.Algebra.Field.Extension |
| 2 (Function) | Math.CommutativeAlgebra.Polynomial |
| 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.Algebra.Field.Base |
| 2 (Function) | Math.Core.Field |
| 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 |
| 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 |
| dfsEquitable | Math.Combinatorics.GraphAuts |
| DG | |
| 1 (Data Constructor) | Math.Combinatorics.Digraph |
| 2 (Data Constructor) | Math.Algebra.Group.CayleyGraph |
| diameter | Math.Combinatorics.Graph |
| 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.Algebra.NonCommutative.TensorAlgebra |
| 2 (Function) | Math.CommutativeAlgebra.GroebnerBasis |
| dim' | Math.CommutativeAlgebra.GroebnerBasis |
| dimIH | Math.Projects.KnotTheory.IwahoriHecke |
| dimTL | Math.Projects.KnotTheory.TemperleyLieb |
| discriminantEC | Math.NumberTheory.Factor |
| disjoint | Math.Common.ListSet |
| distance | Math.Combinatorics.Graph |
| distancePartition | 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.Commutative |
| 2 (Type/Class) | Math.Algebras.NonCommutative |
| divisors | Math.Combinatorics.Poset |
| divLM | Math.Projects.KnotTheory.LaurentMPoly |
| divM | |
| 1 (Function) | Math.Algebra.NonCommutative.NCPoly |
| 2 (Function) | Math.Algebras.NonCommutative |
| 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.Design |
| 3 (Function) | Math.Combinatorics.Poset |
| 4 (Function) | Math.Combinatorics.Matroid |
| 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.Algebra.NonCommutative.TensorAlgebra |
| 3 (Data Constructor) | Math.Projects.KnotTheory.TemperleyLieb |
| 4 (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 |
| EC | Math.NumberTheory.Factor |
| ecAdd | Math.NumberTheory.Factor |
| ecSmult | Math.NumberTheory.Factor |
| ecTrial | Math.NumberTheory.Factor |
| edgeBlocks | Math.Projects.Rubik |
| edgeFaces | Math.Projects.Rubik |
| edges | |
| 1 (Function) | Math.Combinatorics.Digraph |
| 2 (Function) | Math.Combinatorics.Graph |
| 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 |
| EllipticCurve | Math.NumberTheory.Factor |
| EllipticCurvePt | Math.NumberTheory.Factor |
| elts | |
| 1 (Function) | Math.Algebra.Group.StringRewriting |
| 2 (Function) | Math.Algebra.Group.PermutationGroup |
| 3 (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 |
| eqgraph | Math.Combinatorics.GraphAuts |
| 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.Algebra.Field.Extension |
| 2 (Data Constructor) | Math.Algebras.TensorAlgebra |
| extendedEuclid | |
| 1 (Function) | Math.NumberTheory.Factor |
| 2 (Function) | 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.Algebra.Field.Base |
| 2 (Type/Class) | Math.Core.Field |
| 3 (Data Constructor) | Math.Core.Field |
| f11 | |
| 1 (Function) | Math.Algebra.Field.Base |
| 2 (Function) | Math.Core.Field |
| F13 | |
| 1 (Type/Class) | Math.Algebra.Field.Base |
| 2 (Type/Class) | Math.Core.Field |
| 3 (Data Constructor) | Math.Core.Field |
| f13 | |
| 1 (Function) | Math.Algebra.Field.Base |
| 2 (Function) | Math.Core.Field |
| F16 | |
| 1 (Type/Class) | Math.Algebra.Field.Extension |
| 2 (Type/Class) | Math.Core.Field |
| 3 (Data Constructor) | Math.Core.Field |
| f16 | |
| 1 (Function) | Math.Algebra.Field.Extension |
| 2 (Function) | Math.Core.Field |
| F17 | |
| 1 (Type/Class) | Math.Algebra.Field.Base |
| 2 (Type/Class) | Math.Core.Field |
| 3 (Data Constructor) | Math.Core.Field |
| f17 | |
| 1 (Function) | Math.Algebra.Field.Base |
| 2 (Function) | Math.Core.Field |
| F19 | |
| 1 (Type/Class) | Math.Algebra.Field.Base |
| 2 (Type/Class) | Math.Core.Field |
| 3 (Data Constructor) | Math.Core.Field |
| f19 | |
| 1 (Function) | Math.Algebra.Field.Base |
| 2 (Function) | Math.Core.Field |
| F2 | |
| 1 (Type/Class) | Math.Algebra.Field.Base |
| 2 (Type/Class) | Math.Core.Field |
| 3 (Data Constructor) | Math.Core.Field |
| f2 | |
| 1 (Function) | Math.Algebra.Field.Base |
| 2 (Function) | Math.Core.Field |
| F23 | |
| 1 (Type/Class) | Math.Algebra.Field.Base |
| 2 (Type/Class) | Math.Core.Field |
| 3 (Data Constructor) | Math.Core.Field |
| f23 | |
| 1 (Function) | Math.Algebra.Field.Base |
| 2 (Function) | Math.Core.Field |
| F25 | |
| 1 (Type/Class) | Math.Algebra.Field.Extension |
| 2 (Type/Class) | Math.Core.Field |
| 3 (Data Constructor) | Math.Core.Field |
| f25 | |
| 1 (Function) | Math.Algebra.Field.Extension |
| 2 (Function) | Math.Core.Field |
| 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.Algebra.Field.Base |
| 2 (Type/Class) | Math.Core.Field |
| 3 (Data Constructor) | Math.Core.Field |
| f3 | |
| 1 (Function) | Math.Algebra.Field.Base |
| 2 (Function) | Math.Core.Field |
| 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.Algebra.Field.Extension |
| 2 (Type/Class) | Math.Core.Field |
| 3 (Data Constructor) | Math.Core.Field |
| f4 | |
| 1 (Function) | Math.Algebra.Field.Extension |
| 2 (Function) | Math.Core.Field |
| 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.Algebra.Field.Base |
| 2 (Type/Class) | Math.Core.Field |
| 3 (Data Constructor) | Math.Core.Field |
| f5 | |
| 1 (Function) | Math.Algebra.Field.Base |
| 2 (Function) | Math.Core.Field |
| 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.Algebra.Field.Base |
| 2 (Type/Class) | Math.Core.Field |
| 3 (Data Constructor) | Math.Core.Field |
| f7 | |
| 1 (Function) | Math.Algebra.Field.Base |
| 2 (Function) | Math.Core.Field |
| 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.Algebra.Field.Extension |
| 2 (Type/Class) | Math.Core.Field |
| 3 (Data Constructor) | Math.Core.Field |
| f8 | |
| 1 (Function) | Math.Algebra.Field.Extension |
| 2 (Function) | Math.Core.Field |
| 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.Algebra.Field.Extension |
| 2 (Type/Class) | Math.Core.Field |
| 3 (Data Constructor) | Math.Core.Field |
| 4 (Type/Class) | Math.Projects.MiniquaternionGeometry |
| 5 (Data Constructor) | Math.Projects.MiniquaternionGeometry |
| f9 | |
| 1 (Function) | Math.Algebra.Field.Extension |
| 2 (Function) | Math.Core.Field |
| 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 |
| fcig | Math.Combinatorics.Matroid |
| fcim | Math.Combinatorics.Matroid |
| fcim' | Math.Combinatorics.Matroid |
| findArcs | Math.Combinatorics.GraphAuts |
| findBase | Math.Algebra.Group.SchreierSims |
| findCycles | Math.Combinatorics.Graph |
| findFactorECM | Math.NumberTheory.Factor |
| findFactorParallelECM | Math.NumberTheory.Factor |
| 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 |
| flats | Math.Combinatorics.Matroid |
| flats1 | Math.Combinatorics.Matroid |
| flatsAG | Math.Combinatorics.FiniteGeometry |
| flatsDesignAG | Math.Combinatorics.Design |
| flatsDesignPG | Math.Combinatorics.Design |
| flatsPG | Math.Combinatorics.FiniteGeometry |
| flipbind | Math.CommutativeAlgebra.Polynomial |
| fmapExt | Math.Algebras.TensorAlgebra |
| fmapExt' | Math.Algebras.TensorAlgebra |
| fmapSym | Math.Algebras.TensorAlgebra |
| fmapSym' | Math.Algebras.TensorAlgebra |
| fmapTA | Math.Algebras.TensorAlgebra |
| fmapTA' | Math.Algebras.TensorAlgebra |
| fMatrix | Math.Algebra.LinearAlgebra |
| fMatrix' | Math.Algebra.LinearAlgebra |
| 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.TemperleyLieb |
| 2 (Function) | Math.Projects.KnotTheory.IwahoriHecke |
| 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.Algebra.NonCommutative.GSBasis |
| 2 (Function) | Math.CommutativeAlgebra.GroebnerBasis |
| gb' | Math.Algebra.NonCommutative.GSBasis |
| gb1 | |
| 1 (Function) | Math.Algebra.NonCommutative.GSBasis |
| 2 (Function) | Math.CommutativeAlgebra.GroebnerBasis |
| gb2 | |
| 1 (Function) | Math.Algebra.NonCommutative.GSBasis |
| 2 (Function) | Math.CommutativeAlgebra.GroebnerBasis |
| 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 (Data Constructor) | Math.Algebras.Commutative |
| 2 (Type/Class) | Math.CommutativeAlgebra.Polynomial |
| 3 (Data Constructor) | Math.CommutativeAlgebra.Polynomial |
| GlexMonomial | Math.Algebras.Commutative |
| GlexPoly | |
| 1 (Type/Class) | Math.Algebras.Commutative |
| 2 (Type/Class) | Math.CommutativeAlgebra.Polynomial |
| glexVar | Math.Algebras.Commutative |
| glexvar | Math.CommutativeAlgebra.Polynomial |
| gp | Math.Combinatorics.Graph |
| Graph | Math.Combinatorics.Graph |
| graph | Math.Combinatorics.Graph |
| graphAuts | Math.Combinatorics.GraphAuts |
| graphAuts1 | Math.Combinatorics.GraphAuts |
| graphAuts2 | Math.Combinatorics.GraphAuts |
| graphAuts3 | Math.Combinatorics.GraphAuts |
| graphAuts4 | 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 |
| 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.Algebra.Field.Extension |
| 2 (Function) | Math.Projects.KnotTheory.IwahoriHecke |
| 3 (Function) | Math.Algebras.Quaternions |
| 4 (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.OrientedTangle |
| 2 (Data Constructor) | Math.QuantumAlgebra.Tangle |
| 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 |
| incidenceGraph | |
| 1 (Function) | Math.Combinatorics.Design |
| 2 (Function) | Math.Combinatorics.Hypergraph |
| incidenceGraphAG | Math.Combinatorics.FiniteGeometry |
| incidenceGraphB | 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 |
| Inf | Math.NumberTheory.Factor |
| 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 |
| inSpanRE | Math.Algebra.LinearAlgebra |
| IntegerAsType | Math.Common.IntegerAsType |
| intersect | Math.Common.ListSet |
| 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.Algebra.Group.PermutationGroup |
| 2 (Function) | Math.Algebra.LinearAlgebra |
| inverse1 | Math.Algebra.LinearAlgebra |
| inverse2 | Math.Algebra.LinearAlgebra |
| inversions | Math.Algebra.Group.CayleyGraph |
| Invertible | Math.Algebra.NonCommutative.NCPoly |
| invIA | Math.Combinatorics.IncidenceAlgebra |
| invIA' | Math.Combinatorics.IncidenceAlgebra |
| invIA1 | Math.Combinatorics.IncidenceAlgebra |
| ip | Math.Algebras.GroupAlgebra |
| is2ArcTransitive | Math.Combinatorics.GraphAuts |
| is2Design | Math.Combinatorics.Design |
| is3ArcTransitive | Math.Combinatorics.GraphAuts |
| isAntisymmetric | Math.Combinatorics.Poset |
| isArcTransitive | Math.Combinatorics.GraphAuts |
| 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 |
| isEltEC | Math.NumberTheory.Factor |
| 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 |
| isIncidenceIso | Math.Combinatorics.GraphAuts |
| isIndependent | Math.Combinatorics.Matroid |
| isInterval | Math.Combinatorics.Poset |
| isIntervalIso | Math.Combinatorics.IncidenceAlgebra |
| isIso | Math.Combinatorics.GraphAuts |
| 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 |
| isMillerRabinPrime' | Math.NumberTheory.Prime |
| 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 |
| 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 |
| isSingleton | Math.Combinatorics.GraphAuts |
| isSpanning | Math.Combinatorics.Matroid |
| isSquare | Math.Combinatorics.Design |
| isSRG | Math.Combinatorics.StronglyRegularGraph |
| isStrongPseudoPrime | Math.NumberTheory.Prime |
| isStrongPseudoPrime' | Math.NumberTheory.Prime |
| isStructure | Math.Combinatorics.Design |
| isSubgp | |
| 1 (Function) | Math.Algebra.Group.PermutationGroup |
| 2 (Function) | Math.Algebra.Group.SchreierSims |
| isSubset | |
| 1 (Function) | Math.Common.ListSet |
| 2 (Function) | Math.Combinatorics.Design |
| isSubspace | Math.Combinatorics.Poset |
| isTernary | Math.Combinatorics.Matroid |
| isTransitive | |
| 1 (Function) | Math.Algebra.Group.Subquotients |
| 2 (Function) | Math.Combinatorics.Poset |
| isTrialDivisionPrime | Math.NumberTheory.Prime |
| isUniform | Math.Combinatorics.Hypergraph |
| isUnit | Math.Projects.ChevalleyGroup.Exceptional |
| isValid | Math.Combinatorics.Design |
| isVertexTransitive | Math.Combinatorics.GraphAuts |
| 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.Combinatorics.Graph |
| 2 (Function) | Math.Algebras.Quaternions |
| 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.Combinatorics.Graph |
| 2 (Function) | Math.Algebras.Quaternions |
| 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.NumberTheory.Factor |
| 2 (Function) | Math.Projects.Rubik |
| 3 (Function) | Math.Projects.KnotTheory.IwahoriHecke |
| 4 (Function) | Math.Projects.ChevalleyGroup.Classical |
| 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.Algebra.NonCommutative.NCPoly |
| 2 (Function) | Math.Algebras.NonCommutative |
| 3 (Function) | Math.Projects.KnotTheory.LaurentMPoly |
| 4 (Function) | Math.CommutativeAlgebra.Polynomial |
| lcmLM | Math.Projects.KnotTheory.LaurentMPoly |
| 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.Algebra.NonCommutative.NCPoly |
| 2 (Function) | Math.Algebras.NonCommutative |
| 3 (Function) | Math.Projects.KnotTheory.LaurentMPoly |
| 4 (Function) | Math.CommutativeAlgebra.Polynomial |
| LMR | Math.Combinatorics.Matroid |
| loop | Math.QuantumAlgebra.Tangle |
| loopT | Math.QuantumAlgebra.Tangle |
| LP | Math.Projects.KnotTheory.LaurentMPoly |
| LPQ | Math.Projects.KnotTheory.Braid |
| lt | |
| 1 (Function) | Math.Algebra.Field.Extension |
| 2 (Function) | Math.Algebra.NonCommutative.NCPoly |
| 3 (Function) | Math.Algebras.Commutative |
| 4 (Function) | Math.Algebras.NonCommutative |
| 5 (Function) | Math.Projects.KnotTheory.LaurentMPoly |
| 6 (Function) | Math.CommutativeAlgebra.Polynomial |
| 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.Algebra.NonCommutative.NCPoly |
| 4 (Data Constructor) | Math.CommutativeAlgebra.Polynomial |
| 5 (Data Constructor) | Math.Combinatorics.Matroid |
| m | |
| 1 (Function) | Math.Projects.KnotTheory.IwahoriHecke |
| 2 (Function) | Math.Projects.ChevalleyGroup.Exceptional |
| 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 |
| mbasis | Math.CommutativeAlgebra.GroebnerBasis |
| mbasisQA | |
| 1 (Function) | Math.Algebra.NonCommutative.GSBasis |
| 2 (Function) | Math.CommutativeAlgebra.GroebnerBasis |
| MC | Math.Algebras.Structures |
| 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 | |
| 1 (Function) | Math.NumberTheory.Factor |
| 2 (Function) | Math.Algebra.Group.StringRewriting |
| mergeBy | Math.CommutativeAlgebra.GroebnerBasis |
| mergeTerms | |
| 1 (Function) | Math.Algebra.NonCommutative.NCPoly |
| 2 (Function) | Math.Projects.KnotTheory.LaurentMPoly |
| 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 |
| minsupp | Math.Algebra.Group.PermutationGroup |
| Minus | |
| 1 (Data Constructor) | Math.QuantumAlgebra.OrientedTangle |
| 2 (Data Constructor) | Math.QuantumAlgebra.Tangle |
| 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 |
| MonoidCoalgebra | Math.Algebras.Structures |
| Monomial | |
| 1 (Type/Class) | Math.Algebra.NonCommutative.NCPoly |
| 2 (Type/Class) | Math.Algebras.Commutative |
| 3 (Type/Class) | Math.Algebras.NonCommutative |
| 4 (Type/Class) | Math.CommutativeAlgebra.Polynomial |
| monomial | Math.Algebra.Field.Extension |
| MonomialConstructor | Math.CommutativeAlgebra.Polynomial |
| mproperlydivides | Math.CommutativeAlgebra.Polynomial |
| mu | 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 |
| multipliers | Math.NumberTheory.Factor |
| 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 |
| neg | Math.Algebras.VectorSpace |
| newLevel | Math.Algebra.Group.SchreierSims |
| newLevel' | Math.Algebra.Group.SchreierSims |
| nextPrime | Math.NumberTheory.Prime |
| nextProdRepl | Math.Algebra.Group.RandomSchreierSims |
| nf | |
| 1 (Function) | Math.Combinatorics.Digraph |
| 2 (Function) | Math.Algebras.VectorSpace |
| 3 (Function) | Math.Combinatorics.Graph |
| 4 (Function) | Math.Projects.ChevalleyGroup.Exceptional |
| nfs | Math.Algebra.Group.StringRewriting |
| 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 |
| notPrime | Math.NumberTheory.Prime |
| NP | Math.Algebra.NonCommutative.NCPoly |
| NPoly | Math.Algebra.NonCommutative.NCPoly |
| nullGraph | Math.Combinatorics.Graph |
| nullGraph' | Math.Combinatorics.Graph |
| numBases | Math.Combinatorics.Matroid |
| numChainsIA | Math.Combinatorics.IncidenceAlgebra |
| numeratorQ | |
| 1 (Function) | Math.Algebra.Field.Base |
| 2 (Function) | Math.Core.Field |
| 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.QuantumAlgebra.TensorCategory |
| 2 (Data Constructor) | Math.Algebras.Octonions |
| 3 (Data Constructor) | Math.Projects.ChevalleyGroup.Exceptional |
| o | Math.Projects.ChevalleyGroup.Classical |
| OB | Math.QuantumAlgebra.TensorCategory |
| Ob | Math.QuantumAlgebra.TensorCategory, Math.QuantumAlgebra.OrientedTangle, Math.QuantumAlgebra.Tangle |
| 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 |
| one' | Math.Algebras.Quaternions |
| 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 | 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.Core.Utils |
| 2 (Function) | Math.Algebra.Group.StringRewriting |
| Oriented | |
| 1 (Type/Class) | Math.QuantumAlgebra.OrientedTangle |
| 2 (Type/Class) | Math.QuantumAlgebra.Tangle |
| OrientedTangle | Math.QuantumAlgebra.OrientedTangle |
| orthogonalLinesPG2 | Math.Projects.MiniquaternionGeometry |
| OS | Math.QuantumAlgebra.TensorCategory |
| OT | |
| 1 (Data Constructor) | Math.QuantumAlgebra.OrientedTangle |
| 2 (Data Constructor) | Math.QuantumAlgebra.Tangle |
| otrefoil | Math.QuantumAlgebra.OrientedTangle |
| otrefoil' | Math.QuantumAlgebra.OrientedTangle |
| over | Math.QuantumAlgebra.Tangle |
| OverT | Math.QuantumAlgebra.Tangle |
| P | |
| 1 (Data Constructor) | Math.NumberTheory.Factor |
| 2 (Data Constructor) | Math.Algebra.Group.PermutationGroup |
| 3 (Data Constructor) | Math.Combinatorics.StronglyRegularGraph |
| p | Math.Algebra.Group.PermutationGroup |
| 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 |
| pairs | |
| 1 (Function) | Math.Core.Utils |
| 2 (Function) | Math.Combinatorics.Poset |
| 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 |
| parallelEcAdd | Math.NumberTheory.Factor |
| parallelEcSmult | Math.NumberTheory.Factor |
| parallelEcTrial | Math.NumberTheory.Factor |
| parallelInverse | Math.NumberTheory.Factor |
| parity | Math.Algebra.Group.PermutationGroup |
| ParT | |
| 1 (Data Constructor) | Math.QuantumAlgebra.OrientedTangle |
| 2 (Data Constructor) | Math.QuantumAlgebra.Tangle |
| partialMatchings | Math.Combinatorics.Matroid |
| partitions | Math.Combinatorics.Poset |
| perms | Math.Combinatorics.Digraph |
| Permutation | Math.Algebra.Group.PermutationGroup |
| petersen | Math.Combinatorics.Graph |
| petersen2 | Math.Combinatorics.Graph |
| pfactors | Math.NumberTheory.Factor |
| pfactors1 | Math.NumberTheory.Prime |
| pfactors2 | Math.NumberTheory.Prime |
| pg | Math.Combinatorics.Design |
| pg2 | Math.Combinatorics.Design |
| phi | Math.Projects.MiniquaternionGeometry |
| phi' | Math.Projects.MiniquaternionGeometry |
| Plus | |
| 1 (Data Constructor) | Math.QuantumAlgebra.OrientedTangle |
| 2 (Data Constructor) | Math.QuantumAlgebra.Tangle |
| 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 |
| posetL | Math.Combinatorics.Poset |
| posetP | Math.Combinatorics.Poset |
| powers | |
| 1 (Function) | Math.Algebra.Field.Base |
| 2 (Function) | Math.Algebras.Commutative |
| 3 (Function) | Math.Algebras.NonCommutative |
| 4 (Function) | Math.Core.Field |
| powerset | |
| 1 (Function) | Math.Combinatorics.Graph |
| 2 (Function) | Math.Combinatorics.Poset |
| powersetbfs | Math.Core.Utils |
| powersetdfs | Math.Core.Utils |
| power_mod | Math.NumberTheory.Prime |
| predecessors | Math.Combinatorics.Digraph |
| prevPrime | Math.NumberTheory.Prime |
| primes | Math.NumberTheory.Prime |
| primitiveElt | Math.Algebra.Field.Base |
| prism | Math.Combinatorics.Graph |
| prodf | Math.Algebras.TensorProduct |
| productI | Math.CommutativeAlgebra.GroebnerBasis |
| projectTC | Math.Algebras.TensorAlgebra |
| 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.Algebra.Field.Base |
| 2 (Data Constructor) | Math.Algebra.Field.Base |
| 3 (Type/Class) | Math.Core.Field |
| 4 (Data Constructor) | Math.Core.Field |
| 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 |
| 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 |
| qtorial | Math.Combinatorics.FiniteGeometry |
| qtorials | Math.Combinatorics.FiniteGeometry |
| 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.Algebras.Commutative |
| 2 (Function) | Math.CommutativeAlgebra.Polynomial |
| quotRemNP | |
| 1 (Function) | Math.Algebra.NonCommutative.NCPoly |
| 2 (Function) | Math.Algebras.NonCommutative |
| 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.Algebra.NonCommutative.GSBasis |
| 2 (Function) | Math.CommutativeAlgebra.GroebnerBasis |
| 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 |
| refine | Math.Combinatorics.GraphAuts |
| refine' | Math.Combinatorics.GraphAuts |
| refl | Math.Algebras.Quaternions |
| regularParam | Math.Combinatorics.Graph |
| reify | Math.Algebras.TensorProduct |
| relaxation | Math.Combinatorics.Matroid |
| remNP | |
| 1 (Function) | Math.Algebra.NonCommutative.NCPoly |
| 2 (Function) | Math.Algebras.NonCommutative |
| remNP2 | Math.Algebra.NonCommutative.NCPoly |
| 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.QuantumAlgebra.TensorCategory |
| 3 (Function) | Math.CommutativeAlgebra.Polynomial |
| 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 |
| 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 | |
| 1 (Function) | Math.QuantumAlgebra.TensorCategory |
| 2 (Function) | 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.KnotTheory.Braid |
| 3 (Function) | Math.Projects.ChevalleyGroup.Classical |
| 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.OrientedTangle |
| 2 (Data Constructor) | Math.QuantumAlgebra.Tangle |
| seriesConnection | Math.Combinatorics.Matroid |
| set | Math.Combinatorics.Graph |
| SetCoalgebra | Math.Algebras.Structures |
| setDiag | Math.Projects.RootSystem |
| setStab | Math.Algebra.Group.PermutationGroup |
| SGen | Math.Algebra.Group.StringRewriting |
| sgs | |
| 1 (Function) | Math.Algebra.Group.SchreierSims |
| 2 (Function) | Math.Algebra.Group.RandomSchreierSims |
| shortlex | |
| 1 (Function) | Math.Algebra.Group.StringRewriting |
| 2 (Function) | Math.Combinatorics.Matroid |
| showUP | Math.Algebra.Field.Extension |
| 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 |
| source | Math.QuantumAlgebra.TensorCategory |
| sp | Math.Combinatorics.StronglyRegularGraph |
| sp2 | |
| 1 (Function) | Math.Combinatorics.StronglyRegularGraph |
| 2 (Function) | Math.Projects.ChevalleyGroup.Classical |
| split2s | Math.NumberTheory.Prime |
| splitNumNbrs | Math.Combinatorics.GraphAuts |
| splitSubstring | Math.Algebra.Group.StringRewriting |
| sPoly | |
| 1 (Function) | Math.Algebra.NonCommutative.GSBasis |
| 2 (Function) | Math.CommutativeAlgebra.GroebnerBasis |
| 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 |
| sqrt2 | Math.Algebra.Field.Extension |
| sqrt3 | Math.Algebra.Field.Extension |
| sqrt5 | Math.Algebra.Field.Extension |
| sqrt7 | Math.Algebra.Field.Extension |
| 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 |
| stabilizer | Math.Algebra.Group.PermutationGroup |
| Star | Math.Combinatorics.FiniteGeometry |
| starSubstitutionsV | Math.Combinatorics.Matroid |
| StrictTensorCategory | 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.Algebra.NonCommutative.NCPoly |
| 2 (Function) | Math.Projects.KnotTheory.LaurentMPoly |
| 3 (Function) | Math.CommutativeAlgebra.Polynomial |
| 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 |
| SymmetricAlgebra | Math.Algebras.TensorAlgebra |
| symmetricBasis | Math.Algebra.NonCommutative.TensorAlgebra |
| SymmetricGroupoid | Math.QuantumAlgebra.TensorCategory |
| symnf | Math.Algebra.NonCommutative.TensorAlgebra |
| symRelations | Math.Algebra.NonCommutative.TensorAlgebra |
| 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 | Math.Projects.KnotTheory.IwahoriHecke |
| t | |
| 1 (Function) | Math.Projects.KnotTheory.LaurentMPoly |
| 2 (Function) | Math.Combinatorics.StronglyRegularGraph |
| t' | Math.Combinatorics.StronglyRegularGraph |
| 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 |
| 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 |
| TensorCategory | Math.QuantumAlgebra.TensorCategory |
| 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.Design |
| 3 (Function) | Math.Combinatorics.Matroid |
| 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 |
| toEquitable | Math.Combinatorics.GraphAuts |
| toEquitable2 | Math.Combinatorics.GraphAuts |
| 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.Algebra.NonCommutative.NCPoly |
| 2 (Function) | Math.CommutativeAlgebra.Polynomial |
| TOne | Math.Common.IntegerAsType |
| toPairs | Math.Algebra.Group.PermutationGroup |
| ToR | Math.QuantumAlgebra.OrientedTangle |
| toSet | |
| 1 (Function) | Math.Core.Utils |
| 2 (Function) | Math.Combinatorics.Digraph |
| 3 (Function) | Math.Algebra.Group.CayleyGraph |
| 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 |
| trefoil | Math.QuantumAlgebra.Tangle |
| 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 | Math.Algebras.TensorProduct |
| twoSum | Math.Combinatorics.Matroid |
| Type | Math.Projects.RootSystem |
| TZero | Math.Common.IntegerAsType |
| t_ | Math.Projects.KnotTheory.IwahoriHecke |
| u | |
| 1 (Function) | Math.Projects.Rubik |
| 2 (Function) | Math.QuantumAlgebra.QuantumPlane |
| 3 (Function) | Math.Combinatorics.Matroid |
| ud | Math.Projects.Rubik |
| under | Math.QuantumAlgebra.Tangle |
| 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.Algebra.NonCommutative.NCPoly |
| 2 (Function) | Math.Algebras.Commutative |
| 3 (Function) | Math.Algebras.NonCommutative |
| 4 (Function) | Math.Projects.KnotTheory.LaurentMPoly |
| 5 (Function) | Math.CommutativeAlgebra.Polynomial |
| vars | Math.CommutativeAlgebra.Polynomial |
| Vect | Math.Algebras.VectorSpace |
| 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.RootSystem |
| 2 (Function) | Math.Projects.MiniquaternionGeometry |
| w4 | Math.Combinatorics.Matroid |
| w4' | Math.Combinatorics.Matroid |
| WeakTensorCategory | Math.QuantumAlgebra.TensorCategory |
| 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.Algebra.NonCommutative.NCPoly |
| 2 (Data Constructor) | Math.Algebra.NonCommutative.TensorAlgebra |
| 3 (Data Constructor) | Math.Algebras.AffinePlane |
| x | |
| 1 (Function) | Math.Algebra.Field.Extension |
| 2 (Function) | Math.Algebra.NonCommutative.NCPoly |
| 3 (Function) | Math.Algebras.AffinePlane |
| 4 (Function) | Math.Projects.KnotTheory.LaurentMPoly |
| 5 (Function) | Math.QuantumAlgebra.QuantumPlane |
| 6 (Function) | Math.Combinatorics.Matroid |
| 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 |
| XY | Math.Algebras.AffinePlane |
| x_ | Math.Algebra.NonCommutative.TensorAlgebra |
| Y | |
| 1 (Data Constructor) | Math.Algebra.NonCommutative.NCPoly |
| 2 (Data Constructor) | Math.Algebras.AffinePlane |
| y | |
| 1 (Function) | Math.Algebra.NonCommutative.NCPoly |
| 2 (Function) | Math.Algebras.AffinePlane |
| 3 (Function) | Math.Projects.KnotTheory.LaurentMPoly |
| 4 (Function) | Math.QuantumAlgebra.QuantumPlane |
| 5 (Function) | Math.Combinatorics.Matroid |
| yb | Math.QuantumAlgebra.QuantumPlane |
| yminus | Math.QuantumAlgebra.OrientedTangle |
| yplus | Math.QuantumAlgebra.OrientedTangle |
| 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 |
| zero | Math.Algebras.VectorSpace |
| zerof | Math.Algebras.VectorSpace |
| ZeroOneStar | Math.Combinatorics.FiniteGeometry |
| zerov | Math.Algebras.VectorSpace |
| 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.Algebra.Group.PermutationGroup |
| 2 (Function) | Math.Algebra.NonCommutative.NCPoly |
| 3 (Function) | Math.Algebras.Quaternions |
| 4 (Function) | Math.Algebra.LinearAlgebra |
| ^^^ | 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 |