Index
| ! | |
| 1 (Function) | Math.Algebra.Commutative.GBasis |
| 2 (Function) | Math.Algebra.LinearAlgebra |
| %% | |
| 1 (Function) | Math.Algebra.Commutative.MPoly |
| 2 (Function) | Math.Algebra.NonCommutative.NCPoly |
| 3 (Function) | Math.Algebras.Commutative |
| 4 (Function) | Math.Algebras.NonCommutative |
| %^ | Math.Projects.ChevalleyGroup.Exceptional |
| *- | Math.Algebra.Group.PermutationGroup |
| *. | 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.Commutative.MPoly |
| .^ | Math.Algebra.Group.PermutationGroup |
| .^^ | Math.Algebra.Group.PermutationGroup |
| // | Math.Algebra.Group.PermutationGroup |
| /> | 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 |
| <-> | Math.Algebra.LinearAlgebra |
| <.> | Math.Algebra.LinearAlgebra |
| <<*> | Math.Algebra.LinearAlgebra |
| <<*>> | Math.Algebra.LinearAlgebra |
| <<+>> | 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.Algebra.Commutative.MPoly |
| 2 (Function) | Math.Algebras.AffinePlane |
| 3 (Function) | Math.Projects.KnotTheory.TemperleyLieb |
| 4 (Function) | Math.QuantumAlgebra.QuantumPlane |
| a' | Math.Projects.KnotTheory.TemperleyLieb |
| a16 | Math.Algebra.Field.Extension |
| a25 | Math.Algebra.Field.Extension |
| a27 | Math.Algebra.Field.Extension |
| a32 | Math.Algebra.Field.Extension |
| a4 | Math.Algebra.Field.Extension |
| a8 | Math.Algebra.Field.Extension |
| a9 | Math.Algebra.Field.Extension |
| 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 |
| 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 |
| 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 |
| AS | Math.QuantumAlgebra.TensorCategory |
| 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.Algebra.Commutative.MPoly |
| 3 (Function) | Math.Algebras.AffinePlane |
| 4 (Function) | Math.QuantumAlgebra.QuantumPlane |
| 5 (Function) | Math.Projects.ChevalleyGroup.Classical |
| baseTransversalsSGS | Math.Algebra.Group.RandomSchreierSims |
| Basis | Math.Algebra.NonCommutative.TensorAlgebra |
| basisElt | Math.Projects.RootSystem |
| basisFq | Math.Algebra.Field.Base |
| 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 |
| 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.Algebra.Commutative.MPoly |
| 3 (Function) | Math.Algebras.AffinePlane |
| 4 (Function) | Math.QuantumAlgebra.OrientedTangle |
| 5 (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 |
| char | Math.Algebra.Field.Base |
| clebsch | Math.Combinatorics.StronglyRegularGraph |
| clebsch' | Math.Combinatorics.StronglyRegularGraph |
| clebsch2 | Math.Combinatorics.StronglyRegularGraph |
| closure | |
| 1 (Function) | Math.Algebra.Group.PermutationGroup |
| 2 (Function) | Math.Projects.RootSystem |
| closureAG | Math.Combinatorics.FiniteGeometry |
| closurePG | Math.Combinatorics.FiniteGeometry |
| closureS | Math.Algebra.Group.PermutationGroup |
| cmpFst | Math.Algebra.Commutative.GBasis |
| cmpNormal | Math.Algebra.Commutative.GBasis |
| cmpSug | Math.Algebra.Commutative.GBasis |
| cmpTerm | |
| 1 (Function) | Math.Algebra.Commutative.MPoly |
| 2 (Function) | Math.Algebra.NonCommutative.NCPoly |
| 3 (Function) | Math.Projects.KnotTheory.LaurentMPoly |
| coaction | Math.Algebras.Structures |
| Coalgebra | Math.Algebras.Structures |
| Cob2 | Math.QuantumAlgebra.TensorCategory |
| coeffs | Math.Projects.KnotTheory.IwahoriHecke |
| coevalV | Math.QuantumAlgebra.OrientedTangle |
| coevalV' | Math.QuantumAlgebra.OrientedTangle |
| collect | |
| 1 (Function) | Math.Algebra.Commutative.MPoly |
| 2 (Function) | Math.Algebra.NonCommutative.NCPoly |
| 3 (Function) | Math.Projects.KnotTheory.LaurentMPoly |
| collinear | Math.Projects.MiniquaternionGeometry |
| collineationsOmega | Math.Projects.MiniquaternionGeometry |
| collineationsPhi | Math.Projects.MiniquaternionGeometry |
| collineationsPsi | Math.Projects.MiniquaternionGeometry |
| combinationsOf | 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 | Math.Combinatorics.Graph |
| Comult | Math.QuantumAlgebra.TensorCategory |
| comult | Math.Algebras.Structures |
| concurrent | Math.Projects.MiniquaternionGeometry |
| conj | |
| 1 (Function) | Math.Projects.MiniquaternionGeometry |
| 2 (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 |
| convert | Math.Algebra.Field.Extension |
| convertM | Math.Algebra.Commutative.Monomial |
| convertMP | Math.Algebra.Commutative.MPoly |
| 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 |
| coprimeM | Math.Algebra.Commutative.Monomial |
| 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 |
| 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 |
| 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.Algebra.Commutative.MPoly |
| 3 (Function) | Math.Algebras.AffinePlane |
| 4 (Function) | Math.Projects.KnotTheory.TemperleyLieb |
| 5 (Function) | Math.QuantumAlgebra.QuantumPlane |
| 6 (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 |
| deg | |
| 1 (Function) | Math.Algebra.Commutative.MPoly |
| 2 (Function) | Math.Algebra.Field.Extension |
| degLM | Math.Projects.KnotTheory.LaurentMPoly |
| degM | Math.Algebra.Commutative.Monomial |
| degree | Math.Algebra.Field.Extension |
| delta | |
| 1 (Function) | Math.Algebra.NonCommutative.TensorAlgebra |
| 2 (Function) | Math.Algebras.Matrix |
| deltaM12 | Math.Combinatorics.Design |
| deltaM24 | Math.Combinatorics.Design |
| denominatorLM | Math.Projects.KnotTheory.LaurentMPoly |
| denominatorLP | Math.Projects.KnotTheory.LaurentMPoly |
| denominatorQ | Math.Algebra.Field.Base |
| derivedDesign | Math.Combinatorics.Design |
| derivedSubgp | |
| 1 (Function) | Math.Algebra.Group.PermutationGroup |
| 2 (Function) | Math.Algebra.Group.SchreierSims |
| 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 | Math.Algebra.Group.CayleyGraph |
| diameter | Math.Combinatorics.Graph |
| diffs | Math.Algebra.Commutative.Monomial |
| Digraph | Math.Algebra.Group.CayleyGraph |
| dim | Math.Algebra.NonCommutative.TensorAlgebra |
| dimIH | Math.Projects.KnotTheory.IwahoriHecke |
| dimTL | Math.Projects.KnotTheory.TemperleyLieb |
| disjoint | Math.Common.ListSet |
| distance | Math.Combinatorics.Graph |
| distancePartition | Math.Combinatorics.Graph |
| distrL | Math.Algebras.TensorProduct |
| distrR | Math.Algebras.TensorProduct |
| divB | Math.Algebras.Commutative |
| dividesB | Math.Algebras.Commutative |
| dividesM | Math.Algebra.Commutative.Monomial |
| dividesT | |
| 1 (Function) | Math.Algebra.Commutative.MPoly |
| 2 (Function) | Math.Algebras.Commutative |
| DivisionBasis | |
| 1 (Type/Class) | Math.Algebras.Commutative |
| 2 (Type/Class) | Math.Algebras.NonCommutative |
| divLM | Math.Projects.KnotTheory.LaurentMPoly |
| divM | |
| 1 (Function) | Math.Algebra.NonCommutative.NCPoly |
| 2 (Function) | Math.Algebras.NonCommutative |
| divModMP | Math.Algebra.Commutative.MPoly |
| divMP | Math.Algebra.Commutative.MPoly |
| divT | |
| 1 (Function) | Math.Algebra.Commutative.MPoly |
| 2 (Function) | Math.Algebras.Commutative |
| dodecahedron | Math.Combinatorics.Graph |
| dodecahedron2 | Math.Combinatorics.Graph |
| dp | Math.Algebra.Group.PermutationGroup |
| DSum | Math.Algebras.TensorProduct |
| dsume | Math.Algebras.TensorProduct |
| dsumf | Math.Algebras.TensorProduct |
| duads | Math.Combinatorics.Hypergraph |
| dual | 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.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 |
| e1 | |
| 1 (Function) | Math.Algebras.VectorSpace |
| 2 (Function) | Math.Algebra.NonCommutative.TensorAlgebra |
| 3 (Function) | Math.Projects.KnotTheory.TemperleyLieb |
| 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 |
| E3 | Math.Algebras.Matrix |
| e3 | |
| 1 (Function) | Math.Algebras.VectorSpace |
| 2 (Function) | Math.Algebra.NonCommutative.TensorAlgebra |
| 3 (Function) | Math.Projects.KnotTheory.TemperleyLieb |
| 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 | Math.Combinatorics.Graph |
| elemMx | Math.Projects.RootSystem |
| elemTransvection | Math.Projects.ChevalleyGroup.Classical |
| Elim | Math.Algebra.Commutative.Monomial |
| 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 |
| eqgraph | Math.Combinatorics.GraphAuts |
| evalV | Math.QuantumAlgebra.OrientedTangle |
| evalV' | Math.QuantumAlgebra.OrientedTangle |
| expose | Math.Projects.ChevalleyGroup.Exceptional |
| Ext | |
| 1 (Data Constructor) | Math.Algebra.Field.Extension |
| 2 (Data Constructor) | Math.Algebras.TensorAlgebra |
| 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 | Math.Algebra.Field.Base |
| f11 | Math.Algebra.Field.Base |
| F13 | Math.Algebra.Field.Base |
| f13 | Math.Algebra.Field.Base |
| F16 | Math.Algebra.Field.Extension |
| f16 | Math.Algebra.Field.Extension |
| F17 | Math.Algebra.Field.Base |
| f17 | Math.Algebra.Field.Base |
| F19 | Math.Algebra.Field.Base |
| f19 | Math.Algebra.Field.Base |
| F2 | Math.Algebra.Field.Base |
| f2 | Math.Algebra.Field.Base |
| F23 | Math.Algebra.Field.Base |
| f23 | Math.Algebra.Field.Base |
| F25 | Math.Algebra.Field.Extension |
| f25 | 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 | Math.Algebra.Field.Base |
| f3 | 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 | Math.Algebra.Field.Extension |
| f4 | 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 | Math.Algebra.Field.Base |
| f5 | 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 | Math.Algebra.Field.Base |
| f7 | Math.Algebra.Field.Base |
| 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 |
| F8 | Math.Algebra.Field.Extension |
| f8 | 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.Algebra.Field.Extension |
| 2 (Type/Class) | Math.Projects.MiniquaternionGeometry |
| 3 (Data Constructor) | Math.Projects.MiniquaternionGeometry |
| f9 | |
| 1 (Function) | Math.Algebra.Field.Extension |
| 2 (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 |
| findArcs | Math.Combinatorics.GraphAuts |
| 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 |
| flatsAG | Math.Combinatorics.FiniteGeometry |
| flatsDesignAG | Math.Combinatorics.Design |
| flatsDesignPG | Math.Combinatorics.Design |
| flatsPG | Math.Combinatorics.FiniteGeometry |
| fMatrix | Math.Algebra.LinearAlgebra |
| fMatrix' | Math.Algebra.LinearAlgebra |
| 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 |
| 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 |
| 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 |
| fromGraph | Math.Combinatorics.Hypergraph |
| fromIncidenceMatrix | |
| 1 (Function) | Math.Combinatorics.Graph |
| 2 (Function) | Math.Combinatorics.Hypergraph |
| 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 |
| fromTrans | Math.Algebra.Group.CayleyGraph |
| fromTranspositions | Math.Algebra.Group.CayleyGraph |
| 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.Commutative.GBasis |
| 2 (Function) | Math.Algebra.NonCommutative.GSBasis |
| gb' | Math.Algebra.NonCommutative.GSBasis |
| gb1 | |
| 1 (Function) | Math.Algebra.Commutative.GBasis |
| 2 (Function) | Math.Algebra.NonCommutative.GSBasis |
| gb2 | |
| 1 (Function) | Math.Algebra.Commutative.GBasis |
| 2 (Function) | Math.Algebra.NonCommutative.GSBasis |
| gb2' | Math.Algebra.NonCommutative.GSBasis |
| gb2b | Math.Algebra.Commutative.GBasis |
| gb3 | Math.Algebra.Commutative.GBasis |
| gb3b | Math.Algebra.Commutative.GBasis |
| gb4 | Math.Algebra.Commutative.GBasis |
| gb4b | Math.Algebra.Commutative.GBasis |
| gcdM | Math.Algebra.Commutative.Monomial |
| gens | Math.Algebra.Group.PermutationGroup |
| gewirtz | Math.Combinatorics.StronglyRegularGraph |
| gewirtz' | Math.Combinatorics.StronglyRegularGraph |
| girth | Math.Combinatorics.Graph |
| Glex | |
| 1 (Type/Class) | Math.Algebra.Commutative.Monomial |
| 2 (Data Constructor) | Math.Algebras.Commutative |
| GlexMonomial | Math.Algebras.Commutative |
| GlexPoly | Math.Algebras.Commutative |
| glexVar | Math.Algebras.Commutative |
| 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 | Math.Algebra.Commutative.Monomial |
| grid | Math.Combinatorics.Hypergraph |
| GroupAlgebra | Math.Algebras.GroupAlgebra |
| H | Math.Combinatorics.Hypergraph |
| HBasis | Math.Algebras.Quaternions |
| heawood | Math.Combinatorics.FiniteGeometry |
| heawoodGraph | Math.Combinatorics.Hypergraph |
| heptads | Math.Combinatorics.StronglyRegularGraph |
| hexad | Math.Combinatorics.Design |
| higmanSimsGraph | Math.Combinatorics.StronglyRegularGraph |
| higmanSimsGraph' | Math.Combinatorics.StronglyRegularGraph |
| higmanSimsM22 | Math.Combinatorics.StronglyRegularGraph |
| 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 |
| I | Math.Algebras.Quaternions |
| i | |
| 1 (Function) | Math.Algebra.Field.Extension |
| 2 (Function) | Math.Algebras.Quaternions |
| 3 (Function) | Math.Projects.KnotTheory.IwahoriHecke |
| 4 (Function) | Math.Projects.MiniquaternionGeometry |
| i0 | Math.Projects.ChevalleyGroup.Exceptional |
| i1 | |
| 1 (Function) | Math.Algebras.TensorProduct |
| 2 (Function) | Math.Projects.ChevalleyGroup.Exceptional |
| i2 | |
| 1 (Function) | Math.Algebras.TensorProduct |
| 2 (Function) | Math.Projects.ChevalleyGroup.Exceptional |
| i3 | Math.Projects.ChevalleyGroup.Exceptional |
| i4 | Math.Projects.ChevalleyGroup.Exceptional |
| i5 | Math.Projects.ChevalleyGroup.Exceptional |
| i6 | 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 |
| iMx | Math.Algebra.LinearAlgebra |
| incidenceAuts | Math.Combinatorics.GraphAuts |
| incidenceGraph | |
| 1 (Function) | Math.Combinatorics.Design |
| 2 (Function) | Math.Combinatorics.Hypergraph |
| incidenceGraphAG | Math.Combinatorics.FiniteGeometry |
| incidenceGraphLS | Math.Combinatorics.LatinSquares |
| incidenceGraphLS' | Math.Combinatorics.LatinSquares |
| incidenceGraphPG | Math.Combinatorics.FiniteGeometry |
| incidenceMatrix | |
| 1 (Function) | Math.Combinatorics.Graph |
| 2 (Function) | Math.Combinatorics.Design |
| 3 (Function) | Math.Combinatorics.Hypergraph |
| index | Math.Algebra.Group.SchreierSims |
| inducedA7 | Math.Combinatorics.StronglyRegularGraph |
| inducedM22 | Math.Combinatorics.StronglyRegularGraph |
| initLevels | Math.Algebra.Group.RandomSchreierSims |
| initProdRepl | Math.Algebra.Group.RandomSchreierSims |
| inject | |
| 1 (Function) | Math.Algebra.Commutative.MPoly |
| 2 (Function) | Math.Algebra.NonCommutative.NCPoly |
| 3 (Function) | Math.Projects.KnotTheory.LaurentMPoly |
| IntegerAsType | Math.Common.IntegerAsType |
| intersect | Math.Common.ListSet |
| intersectionGraph | Math.Combinatorics.Hypergraph |
| intersectionNormalClosure | Math.Algebra.Group.Subquotients |
| 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 |
| ip | Math.Algebras.GroupAlgebra |
| is2ArcTransitive | Math.Combinatorics.GraphAuts |
| is2Design | Math.Combinatorics.Design |
| is3ArcTransitive | Math.Combinatorics.GraphAuts |
| isArcTransitive | Math.Combinatorics.GraphAuts |
| isArcTransitive' | Math.Combinatorics.GraphAuts |
| isAut | Math.Projects.MiniquaternionGeometry |
| isComplex | Math.Projects.MiniquaternionGeometry |
| isConfiguration | Math.Combinatorics.Hypergraph |
| isConnected | Math.Combinatorics.Graph |
| isCubic | Math.Combinatorics.Graph |
| isDesign | Math.Combinatorics.Design |
| isDesignAut | Math.Combinatorics.Design |
| isDistanceTransitive | Math.Combinatorics.GraphAuts |
| isEdgeTransitive | Math.Combinatorics.GraphAuts |
| isGB | Math.Algebra.Commutative.GBasis |
| isGeneralizedQuadrangle | Math.Combinatorics.Hypergraph |
| isGenQuadrangle' | Math.Combinatorics.Hypergraph |
| isGraph | Math.Combinatorics.Graph |
| isGraphAut | Math.Combinatorics.GraphAuts |
| isIso | Math.Combinatorics.GraphAuts |
| isLatinSq | Math.Combinatorics.LatinSquares |
| isLeft | Math.Algebra.Group.Subquotients |
| isListSet | Math.Common.ListSet |
| isMember | |
| 1 (Function) | Math.Algebra.Group.PermutationGroup |
| 2 (Function) | Math.Algebra.Group.SchreierSims |
| isMemberBSGS | Math.Algebra.Group.SchreierSims |
| isMemberSGS | Math.Algebra.Group.RandomSchreierSims |
| 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 |
| isOrthogonal | |
| 1 (Function) | Math.Combinatorics.LatinSquares |
| 2 (Function) | Math.Projects.ChevalleyGroup.Exceptional |
| isOval | Math.Projects.MiniquaternionGeometry |
| isPartialLinearSpace | Math.Combinatorics.Hypergraph |
| ispnf | Math.Combinatorics.FiniteGeometry |
| 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 |
| isRegular | Math.Combinatorics.Graph |
| isRight | Math.Algebra.Group.Subquotients |
| isSetSystem | Math.Combinatorics.Graph |
| isSimple | Math.Algebra.Group.PermutationGroup |
| isSingleton | Math.Combinatorics.GraphAuts |
| isSquare | Math.Combinatorics.Design |
| isSRG | Math.Combinatorics.StronglyRegularGraph |
| 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 |
| isTransitive | Math.Algebra.Group.Subquotients |
| isUniform | Math.Combinatorics.Hypergraph |
| isUnit | Math.Projects.ChevalleyGroup.Exceptional |
| isValid | Math.Combinatorics.Design |
| isVertexTransitive | Math.Combinatorics.GraphAuts |
| IwahoriHeckeGens | Math.Projects.KnotTheory.IwahoriHecke |
| J | Math.Algebras.Quaternions |
| j | |
| 1 (Function) | Math.Combinatorics.Graph |
| 2 (Function) | Math.Algebras.Quaternions |
| 3 (Function) | Math.Projects.MiniquaternionGeometry |
| 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 |
| 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 | |
| 1 (Function) | Math.Projects.Rubik |
| 2 (Function) | Math.Projects.KnotTheory.IwahoriHecke |
| 3 (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 |
| lcmLM | Math.Projects.KnotTheory.LaurentMPoly |
| lcmM | Math.Algebra.Commutative.Monomial |
| lcmT | Math.Algebra.Commutative.MPoly |
| leftLinesPG2 | Math.Projects.MiniquaternionGeometry |
| Lex | Math.Algebra.Commutative.Monomial |
| lieMult | Math.Projects.RootSystem |
| 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 |
| LM | |
| 1 (Data Constructor) | Math.Algebras.LaurentPoly |
| 2 (Data Constructor) | Math.Projects.KnotTheory.LaurentMPoly |
| lm | |
| 1 (Function) | Math.Algebra.Commutative.MPoly |
| 2 (Function) | Math.Algebra.NonCommutative.NCPoly |
| 3 (Function) | Math.Algebras.NonCommutative |
| 4 (Function) | Math.Projects.KnotTheory.LaurentMPoly |
| loop | Math.QuantumAlgebra.Tangle |
| loopT | Math.QuantumAlgebra.Tangle |
| LP | Math.Projects.KnotTheory.LaurentMPoly |
| LPQ | Math.Projects.KnotTheory.Braid |
| lt | |
| 1 (Function) | Math.Algebra.Commutative.MPoly |
| 2 (Function) | Math.Algebra.Field.Extension |
| 3 (Function) | Math.Algebra.NonCommutative.NCPoly |
| 4 (Function) | Math.Algebras.Commutative |
| 5 (Function) | Math.Algebras.NonCommutative |
| 6 (Function) | Math.Projects.KnotTheory.LaurentMPoly |
| 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 |
| 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 |
| Mat2 | Math.Algebras.Matrix |
| Mat2' | Math.Algebras.Matrix |
| mbasisQA | Math.Algebra.NonCommutative.GSBasis |
| MC | Math.Algebras.Structures |
| mcLaughlin | Math.Combinatorics.StronglyRegularGraph |
| mcLaughlin' | Math.Combinatorics.StronglyRegularGraph |
| merge | Math.Algebra.Group.StringRewriting |
| mergeBy | Math.Algebra.Commutative.GBasis |
| mergeTerms | |
| 1 (Function) | Math.Algebra.Commutative.MPoly |
| 2 (Function) | Math.Algebra.NonCommutative.NCPoly |
| 3 (Function) | Math.Projects.KnotTheory.LaurentMPoly |
| minimalBlock | Math.Algebra.Group.Subquotients |
| minsupp | Math.Algebra.Group.PermutationGroup |
| Minus | |
| 1 (Data Constructor) | Math.QuantumAlgebra.OrientedTangle |
| 2 (Data Constructor) | Math.QuantumAlgebra.Tangle |
| mmult | Math.Algebras.Structures |
| mobiusKantor | Math.Combinatorics.Graph |
| modMP | Math.Algebra.Commutative.MPoly |
| Module | Math.Algebras.Structures |
| modUP | Math.Algebra.Field.Extension |
| Mon | Math.Algebras.Structures |
| MonoidCoalgebra | Math.Algebras.Structures |
| Monomial | |
| 1 (Type/Class) | Math.Algebra.Commutative.Monomial |
| 2 (Data Constructor) | Math.Algebra.Commutative.Monomial |
| 3 (Type/Class) | Math.Algebra.NonCommutative.NCPoly |
| 4 (Type/Class) | Math.Algebras.Commutative |
| 5 (Type/Class) | Math.Algebras.NonCommutative |
| monomial | Math.Algebra.Field.Extension |
| MP | Math.Algebra.Commutative.MPoly |
| MPoly | Math.Algebra.Commutative.MPoly |
| mu | Math.QuantumAlgebra.OrientedTangle |
| mu' | Math.QuantumAlgebra.OrientedTangle |
| Mult | Math.QuantumAlgebra.TensorCategory |
| mulT | Math.Algebra.Commutative.MPoly |
| mult | Math.Algebras.Structures |
| munit | Math.Algebras.Structures |
| 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 |
| nextProdRepl | Math.Algebra.Group.RandomSchreierSims |
| nf | |
| 1 (Function) | Math.Algebras.VectorSpace |
| 2 (Function) | Math.Projects.ChevalleyGroup.Exceptional |
| nfs | Math.Algebra.Group.StringRewriting |
| NonComMonomial | Math.Algebras.NonCommutative |
| 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 |
| NP | Math.Algebra.NonCommutative.NCPoly |
| NPoly | Math.Algebra.NonCommutative.NCPoly |
| nullGraph | Math.Combinatorics.Graph |
| numeratorQ | Math.Algebra.Field.Base |
| numFlatsAG | Math.Combinatorics.FiniteGeometry |
| numFlatsPG | Math.Combinatorics.FiniteGeometry |
| numPtsAG | Math.Projects.ChevalleyGroup.Classical |
| numPtsPG | Math.Projects.ChevalleyGroup.Classical |
| numRoots | Math.Projects.RootSystem |
| O | |
| 1 (Data Constructor) | Math.QuantumAlgebra.TensorCategory |
| 2 (Data Constructor) | Math.Projects.ChevalleyGroup.Exceptional |
| o | Math.Projects.ChevalleyGroup.Classical |
| OB | Math.QuantumAlgebra.TensorCategory |
| Ob | Math.QuantumAlgebra.TensorCategory |
| octad | Math.Combinatorics.Design |
| octahedron | Math.Combinatorics.Graph |
| Octonion | 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 |
| 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 |
| orderBSGS | Math.Algebra.Group.SchreierSims |
| orderElt | Math.Algebra.Group.PermutationGroup |
| orderGL | Math.Combinatorics.FiniteGeometry |
| 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.Algebra.Commutative.GBasis |
| 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.Algebra.Group.PermutationGroup |
| 2 (Data Constructor) | Math.Combinatorics.StronglyRegularGraph |
| p | Math.Algebra.Group.PermutationGroup |
| p1 | Math.Algebras.TensorProduct |
| p2 | Math.Algebras.TensorProduct |
| pairDesign | Math.Combinatorics.Design |
| pairs | Math.Algebra.Commutative.GBasis |
| pairWith | Math.Algebra.Commutative.GBasis |
| paleyDesign | Math.Combinatorics.Design |
| paleyGraph | Math.Combinatorics.StronglyRegularGraph |
| pappusConfiguration | Math.Combinatorics.Hypergraph |
| pappusGraph | Math.Combinatorics.Hypergraph |
| Par | Math.QuantumAlgebra.TensorCategory |
| parity | Math.Algebra.Group.PermutationGroup |
| ParT | |
| 1 (Data Constructor) | Math.QuantumAlgebra.OrientedTangle |
| 2 (Data Constructor) | Math.QuantumAlgebra.Tangle |
| Permutation | Math.Algebra.Group.PermutationGroup |
| petersen | Math.Combinatorics.Graph |
| petersen2 | Math.Combinatorics.Graph |
| 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 |
| powers | |
| 1 (Function) | Math.Algebra.Field.Base |
| 2 (Function) | Math.Algebras.Commutative |
| 3 (Function) | Math.Algebras.NonCommutative |
| powerset | Math.Combinatorics.Graph |
| primitiveElt | Math.Algebra.Field.Base |
| prism | Math.Combinatorics.Graph |
| prodf | Math.Algebras.TensorProduct |
| properlyDividesM | Math.Algebra.Commutative.Monomial |
| properlyDividesT | Math.Algebra.Commutative.MPoly |
| prop_NearField | Math.Projects.MiniquaternionGeometry |
| prop_NearFieldF9 | Math.Projects.MiniquaternionGeometry |
| prop_NearFieldJ9 | Math.Projects.MiniquaternionGeometry |
| 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 |
| 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 |
| quotRemLP | Math.Projects.KnotTheory.LaurentMPoly |
| quotRemMP | |
| 1 (Function) | Math.Algebra.Commutative.MPoly |
| 2 (Function) | Math.Algebras.Commutative |
| quotRemNP | |
| 1 (Function) | Math.Algebra.NonCommutative.NCPoly |
| 2 (Function) | Math.Algebras.NonCommutative |
| quotRemUP | Math.Algebra.Field.Extension |
| qvar | Math.QuantumAlgebra.QuantumPlane |
| r | Math.Projects.Rubik |
| reduce | |
| 1 (Function) | Math.Algebra.Commutative.GBasis |
| 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 |
| refine | Math.Combinatorics.GraphAuts |
| refine' | Math.Combinatorics.GraphAuts |
| regularParam | Math.Combinatorics.Graph |
| remNP | |
| 1 (Function) | Math.Algebra.NonCommutative.NCPoly |
| 2 (Function) | Math.Algebras.NonCommutative |
| remNP2 | Math.Algebra.NonCommutative.NCPoly |
| restrictLeft | Math.Algebra.Group.Subquotients |
| rewrite | |
| 1 (Function) | Math.Algebra.Group.StringRewriting |
| 2 (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 |
| 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.Algebra.Commutative.MPoly |
| 3 (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 |
| 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 |
| 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 | Math.Algebra.Group.StringRewriting |
| showUP | Math.Algebra.Field.Extension |
| sift | Math.Algebra.Group.SchreierSims |
| sign | Math.Algebra.Group.PermutationGroup |
| 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 |
| splitNumNbrs | Math.Combinatorics.GraphAuts |
| splitSubstring | Math.Algebra.Group.StringRewriting |
| sPoly | |
| 1 (Function) | Math.Algebra.Commutative.GBasis |
| 2 (Function) | Math.Algebra.NonCommutative.GSBasis |
| sqnorm | 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 |
| StrictTensorCategory | Math.QuantumAlgebra.TensorCategory |
| subgpAction | Math.Algebra.Group.PermutationGroup |
| subgps | Math.Algebra.Group.PermutationGroup |
| subsetDesign | Math.Combinatorics.Design |
| subst | |
| 1 (Function) | Math.Algebra.Commutative.MPoly |
| 2 (Function) | Math.Algebra.NonCommutative.NCPoly |
| 3 (Function) | Math.Projects.KnotTheory.LaurentMPoly |
| sugar | Math.Algebra.Commutative.GBasis |
| supp | Math.Algebra.Group.PermutationGroup |
| support | Math.Algebra.Commutative.MPoly |
| supportM | Math.Algebra.Commutative.Monomial |
| 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.Algebra.Commutative.MPoly |
| 2 (Function) | Math.Projects.KnotTheory.LaurentMPoly |
| 3 (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 |
| tDesignParams | Math.Combinatorics.Design |
| 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 |
| testcc' | Math.QuantumAlgebra.OrientedTangle |
| testProdRepl | Math.Algebra.Group.RandomSchreierSims |
| tetrahedron | Math.Combinatorics.Graph |
| tf | Math.Algebras.TensorProduct |
| 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 |
| to1n | |
| 1 (Function) | Math.Combinatorics.Graph |
| 2 (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 |
| toElim | Math.Algebra.Commutative.MPoly |
| toEquitable | Math.Combinatorics.GraphAuts |
| toEquitable2 | Math.Combinatorics.GraphAuts |
| toGlex | Math.Algebra.Commutative.MPoly |
| toGraph | Math.Combinatorics.Graph |
| toGrevlex | Math.Algebra.Commutative.MPoly |
| toHypergraph | Math.Combinatorics.Hypergraph |
| ToL | Math.QuantumAlgebra.OrientedTangle |
| toLex | Math.Algebra.Commutative.MPoly |
| toList | Math.Projects.ChevalleyGroup.Exceptional |
| toListSet | Math.Common.ListSet |
| toMat2 | Math.Algebras.Matrix |
| toMonic | |
| 1 (Function) | Math.Algebra.Commutative.MPoly |
| 2 (Function) | Math.Algebra.NonCommutative.NCPoly |
| TOne | Math.Common.IntegerAsType |
| toPairs | Math.Algebra.Group.PermutationGroup |
| ToR | Math.QuantumAlgebra.OrientedTangle |
| toSet | Math.Algebra.Group.CayleyGraph |
| toSn | Math.Algebra.Group.PermutationGroup |
| toTrans | Math.Algebra.Group.CayleyGraph |
| toTranspositions | Math.Algebra.Group.CayleyGraph |
| toUPoly | Math.Algebra.Field.Extension |
| toZ | Math.Algebra.Commutative.MPoly |
| tplus | Math.QuantumAlgebra.OrientedTangle |
| tr | Math.Projects.KnotTheory.TemperleyLieb |
| tr' | Math.Projects.KnotTheory.TemperleyLieb |
| transitiveConstituentHomomorphism | Math.Algebra.Group.Subquotients |
| transitiveConstituentHomomorphism' | Math.Algebra.Group.Subquotients |
| trefoil | Math.QuantumAlgebra.Tangle |
| trefoilT | Math.QuantumAlgebra.Tangle |
| tri | Math.Algebra.Group.StringRewriting |
| triples | Math.Combinatorics.StronglyRegularGraph |
| Trivial | Math.Algebras.Structures |
| tunit | Math.QuantumAlgebra.TensorCategory |
| tutteCoxeterGraph | Math.Combinatorics.Hypergraph |
| twist | Math.Algebras.TensorProduct |
| Type | Math.Projects.RootSystem |
| TZero | Math.Common.IntegerAsType |
| t_ | Math.Projects.KnotTheory.IwahoriHecke |
| u | |
| 1 (Function) | Math.Projects.Rubik |
| 2 (Function) | Math.Algebra.Commutative.MPoly |
| 3 (Function) | Math.QuantumAlgebra.QuantumPlane |
| ud | Math.Projects.Rubik |
| under | Math.QuantumAlgebra.Tangle |
| UnderT | Math.QuantumAlgebra.Tangle |
| undistrL | Math.Algebras.TensorProduct |
| undistrR | Math.Algebras.TensorProduct |
| union | Math.Common.ListSet |
| Unit | Math.QuantumAlgebra.TensorCategory |
| unit | Math.Algebras.Structures |
| unit' | Math.Algebras.Structures |
| 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 |
| 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 | |
| 1 (Function) | Math.Algebra.Commutative.MPoly |
| 2 (Function) | Math.QuantumAlgebra.QuantumPlane |
| valencies | Math.Combinatorics.Graph |
| valency | Math.Combinatorics.Graph |
| valencyPartition | Math.Combinatorics.Graph |
| value | Math.Common.IntegerAsType |
| Var | Math.Algebra.NonCommutative.NCPoly |
| var | |
| 1 (Function) | Math.Algebra.Commutative.MPoly |
| 2 (Function) | Math.Algebra.NonCommutative.NCPoly |
| 3 (Function) | Math.Algebras.Commutative |
| 4 (Function) | Math.Algebras.NonCommutative |
| 5 (Function) | Math.Projects.KnotTheory.LaurentMPoly |
| varElim | Math.Algebra.Commutative.MPoly |
| varLex | Math.Algebra.Commutative.MPoly |
| Vect | Math.Algebras.VectorSpace |
| vertices | Math.Combinatorics.Graph |
| w | |
| 1 (Function) | Math.Algebra.Commutative.MPoly |
| 2 (Function) | Math.Projects.RootSystem |
| 3 (Function) | Math.Projects.MiniquaternionGeometry |
| 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 |
| wMx | Math.Projects.RootSystem |
| wr | Math.Algebra.Group.PermutationGroup |
| 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.Commutative.MPoly |
| 2 (Function) | Math.Algebra.Field.Extension |
| 3 (Function) | Math.Algebra.NonCommutative.NCPoly |
| 4 (Function) | Math.Algebras.AffinePlane |
| 5 (Function) | Math.Projects.KnotTheory.LaurentMPoly |
| 6 (Function) | Math.QuantumAlgebra.QuantumPlane |
| x0 | Math.Algebra.Commutative.MPoly |
| x1 | |
| 1 (Function) | Math.Algebra.Commutative.MPoly |
| 2 (Function) | Math.Algebra.NonCommutative.TensorAlgebra |
| x2 | |
| 1 (Function) | Math.Algebra.Commutative.MPoly |
| 2 (Function) | Math.Algebra.NonCommutative.TensorAlgebra |
| x3 | |
| 1 (Function) | Math.Algebra.Commutative.MPoly |
| 2 (Function) | 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_ | |
| 1 (Function) | Math.Algebra.Commutative.MPoly |
| 2 (Function) | Math.Algebra.NonCommutative.TensorAlgebra |
| Y | |
| 1 (Data Constructor) | Math.Algebra.NonCommutative.NCPoly |
| 2 (Data Constructor) | Math.Algebras.AffinePlane |
| y | |
| 1 (Function) | Math.Algebra.Commutative.MPoly |
| 2 (Function) | Math.Algebra.NonCommutative.NCPoly |
| 3 (Function) | Math.Algebras.AffinePlane |
| 4 (Function) | Math.Projects.KnotTheory.LaurentMPoly |
| 5 (Function) | Math.QuantumAlgebra.QuantumPlane |
| yb | Math.QuantumAlgebra.QuantumPlane |
| yminus | Math.QuantumAlgebra.OrientedTangle |
| yplus | Math.QuantumAlgebra.OrientedTangle |
| Z | Math.Algebra.NonCommutative.NCPoly |
| z | |
| 1 (Function) | Math.Algebra.Commutative.MPoly |
| 2 (Function) | Math.Algebra.NonCommutative.NCPoly |
| 3 (Function) | Math.Projects.KnotTheory.LaurentMPoly |
| 4 (Function) | Math.Projects.KnotTheory.IwahoriHecke |
| z' | Math.Projects.KnotTheory.IwahoriHecke |
| Zero | Math.Combinatorics.FiniteGeometry |
| zero | Math.Algebras.VectorSpace |
| ZeroOneStar | Math.Combinatorics.FiniteGeometry |
| zminus | Math.QuantumAlgebra.OrientedTangle |
| zMx | Math.Algebra.LinearAlgebra |
| zplus | Math.QuantumAlgebra.OrientedTangle |
| \\ | Math.Common.ListSet |
| ^- | |
| 1 (Function) | Math.Algebra.Group.PermutationGroup |
| 2 (Function) | Math.Algebra.NonCommutative.NCPoly |
| 3 (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 |