HaskellForMaths-0.4.9: Combinatorics, group theory, commutative algebra, non-commutative algebra

Index

! 
1 (Function)Math.Algebra.LinearAlgebra
2 (Function)Math.CommutativeAlgebra.GroebnerBasis
%% 
1 (Function)Math.CommutativeAlgebra.Polynomial
2 (Function)Math.Algebras.NonCommutative
3 (Function)Math.Algebras.Commutative
4 (Function)Math.Algebra.NonCommutative.NCPoly
%^Math.Projects.ChevalleyGroup.Exceptional
*-Math.Algebra.Group.PermutationGroup
*->Math.CommutativeAlgebra.Polynomial
*.Math.Algebras.Structures
*> 
1 (Function)Math.Algebras.VectorSpace
2 (Function)Math.Algebra.LinearAlgebra
*>>Math.Algebra.LinearAlgebra
+-+Math.Projects.RootSystem
+^Math.Combinatorics.StronglyRegularGraph
+^^Math.Combinatorics.StronglyRegularGraph
+|+Math.Projects.RootSystem
-*Math.Algebra.Group.PermutationGroup
-*-Math.Algebra.Group.PermutationGroup
-^Math.Algebra.Group.PermutationGroup
-^^Math.Algebra.Group.PermutationGroup
.^Math.Algebra.Group.PermutationGroup
.^^Math.Algebra.Group.PermutationGroup
//Math.Algebra.Group.PermutationGroup
///Math.Combinatorics.Matroid
/>Math.Algebra.Field.Extension
<* 
1 (Function)Math.Algebras.VectorSpace
2 (Function)Math.Projects.MiniquaternionGeometry
<*> 
1 (Function)Math.Algebra.LinearAlgebra
2 (Function)Math.Algebra.Field.Extension
<*>>Math.Algebra.LinearAlgebra
<+> 
1 (Function)Math.Algebras.VectorSpace
2 (Function)Math.Algebra.LinearAlgebra
3 (Function)Math.Algebra.Field.Extension
<-> 
1 (Function)Math.Algebras.VectorSpace
2 (Function)Math.Algebra.LinearAlgebra
<.> 
1 (Function)Math.Algebras.Quaternions
2 (Function)Math.Algebra.LinearAlgebra
<<*>Math.Algebra.LinearAlgebra
<<*>>Math.Algebra.LinearAlgebra
<<+>> 
1 (Function)Math.Algebras.VectorSpace
2 (Function)Math.Algebra.LinearAlgebra
<<->> 
1 (Function)Math.Algebras.VectorSpace
2 (Function)Math.Algebra.LinearAlgebra
>>>Math.QuantumAlgebra.TensorCategory
A 
1 (Data Constructor)Math.Algebras.AffinePlane
2 (Data Constructor)Math.Projects.RootSystem
a 
1 (Function)Math.Algebras.AffinePlane
2 (Function)Math.Projects.KnotTheory.TemperleyLieb
3 (Function)Math.QuantumAlgebra.QuantumPlane
a'Math.Projects.KnotTheory.TemperleyLieb
a16 
1 (Function)Math.Core.Field
2 (Function)Math.Algebra.Field.Extension
a25 
1 (Function)Math.Core.Field
2 (Function)Math.Algebra.Field.Extension
a27Math.Algebra.Field.Extension
a32Math.Algebra.Field.Extension
a4 
1 (Function)Math.Core.Field
2 (Function)Math.Algebra.Field.Extension
a8 
1 (Function)Math.Core.Field
2 (Function)Math.Algebra.Field.Extension
a9 
1 (Function)Math.Core.Field
2 (Function)Math.Algebra.Field.Extension
ABCDMath.Algebras.AffinePlane
action 
1 (Function)Math.Algebras.Structures
2 (Function)Math.Algebra.Group.PermutationGroup
addMath.Algebras.VectorSpace
addmergeMath.Algebras.VectorSpace
adjacencyMatrixMath.Combinatorics.Graph
adjListsMath.Combinatorics.Digraph
affineMatroidMath.Combinatorics.Matroid
agMath.Combinatorics.Design
ag2Math.Combinatorics.Design
AlgebraMath.Algebras.Structures
alpha3Math.Projects.ChevalleyGroup.Exceptional
alpha3'Math.Projects.ChevalleyGroup.Exceptional
alpha4Math.Projects.ChevalleyGroup.Exceptional
alpha4'Math.Projects.ChevalleyGroup.Exceptional
alphaL2_11Math.Combinatorics.Design
alphaL2_23Math.Combinatorics.Design
antichainNMath.Combinatorics.Poset
antiCommutesMath.Projects.ChevalleyGroup.Exceptional
antipodeMath.Algebras.Structures
Aq02 
1 (Type/Class)Math.QuantumAlgebra.QuantumPlane
2 (Data Constructor)Math.QuantumAlgebra.QuantumPlane
aq02Math.QuantumAlgebra.QuantumPlane
Aq20 
1 (Type/Class)Math.QuantumAlgebra.QuantumPlane
2 (Data Constructor)Math.QuantumAlgebra.QuantumPlane
aq20Math.QuantumAlgebra.QuantumPlane
ArMath.QuantumAlgebra.TensorCategory, Math.QuantumAlgebra.TensorCategory, Math.QuantumAlgebra.Tangle, Math.QuantumAlgebra.OrientedTangle
asMatrixMath.Algebras.Quaternions
assocMath.QuantumAlgebra.TensorCategory
assocLMath.Algebras.TensorProduct
assocRMath.Algebras.TensorProduct
autAMath.Projects.MiniquaternionGeometry
autBMath.Projects.MiniquaternionGeometry
autCMath.Projects.MiniquaternionGeometry
autFromMath.Projects.ChevalleyGroup.Exceptional
autJ9Math.Projects.MiniquaternionGeometry
autsJ9Math.Projects.MiniquaternionGeometry
B 
1 (Data Constructor)Math.Algebras.AffinePlane
2 (Data Constructor)Math.Combinatorics.StronglyRegularGraph
3 (Data Constructor)Math.Projects.RootSystem
b 
1 (Function)Math.Algebras.AffinePlane
2 (Function)Math.Projects.ChevalleyGroup.Classical
3 (Function)Math.Projects.Rubik
4 (Function)Math.QuantumAlgebra.QuantumPlane
basesMath.Combinatorics.Matroid
baseTransversalsSGSMath.Algebra.Group.RandomSchreierSims
BasisMath.Algebra.NonCommutative.TensorAlgebra
basisEltMath.Projects.RootSystem
basisFqMath.Algebra.Field.Base
basisIAMath.Combinatorics.IncidenceAlgebra
beta3Math.Projects.ChevalleyGroup.Exceptional
beta3'Math.Projects.ChevalleyGroup.Exceptional
beta4Math.Projects.ChevalleyGroup.Exceptional
beta4'Math.Projects.ChevalleyGroup.Exceptional
betaL2_11Math.Combinatorics.Design
betaL2_23Math.Combinatorics.Design
bfMath.Projects.Rubik
BialgebraMath.Algebras.Structures
bind 
1 (Function)Math.CommutativeAlgebra.Polynomial
2 (Function)Math.Algebras.NonCommutative
3 (Function)Math.Algebras.Commutative
bindExtMath.Algebras.TensorAlgebra
bindExt'Math.Algebras.TensorAlgebra
bindSymMath.Algebras.TensorAlgebra
bindSym'Math.Algebras.TensorAlgebra
bindTAMath.Algebras.TensorAlgebra
bindTA'Math.Algebras.TensorAlgebra
bipartiteKneserMath.Combinatorics.Graph
blockHomomorphismMath.Algebra.Group.Subquotients
blockHomomorphism'Math.Algebra.Group.Subquotients
blockResidualMath.Combinatorics.Design
blocksMath.Combinatorics.Design
blockSystemsMath.Algebra.Group.Subquotients
blockSystemsSGSMath.Algebra.Group.Subquotients
BraidMath.QuantumAlgebra.TensorCategory
BraidArMath.QuantumAlgebra.TensorCategory
BraidedMath.QuantumAlgebra.TensorCategory
BraidGensMath.Projects.KnotTheory.Braid
BraidObMath.QuantumAlgebra.TensorCategory
bsgsMath.Algebra.Group.SchreierSims
bsgs'Math.Algebra.Group.SchreierSims
bubblesortMath.Algebra.Group.CayleyGraph
C 
1 (Data Constructor)Math.Algebras.AffinePlane
2 (Data Constructor)Math.Combinatorics.StronglyRegularGraph
3 (Data Constructor)Math.Projects.RootSystem
c 
1 (Function)Math.Combinatorics.Graph
2 (Function)Math.Algebras.AffinePlane
3 (Function)Math.QuantumAlgebra.QuantumPlane
4 (Function)Math.QuantumAlgebra.OrientedTangle
c'Math.QuantumAlgebra.OrientedTangle
capMath.QuantumAlgebra.Tangle
capLRMath.QuantumAlgebra.OrientedTangle
capRLMath.QuantumAlgebra.OrientedTangle
CapT 
1 (Data Constructor)Math.QuantumAlgebra.Tangle
2 (Data Constructor)Math.QuantumAlgebra.OrientedTangle
cartanMatrixMath.Projects.RootSystem
cartProd 
1 (Function)Math.Algebra.Group.SchreierSims
2 (Function)Math.Combinatorics.Graph
cayleyDigraphPMath.Algebra.Group.CayleyGraph
cayleyDigraphSMath.Algebra.Group.CayleyGraph
cayleyGraphPMath.Algebra.Group.CayleyGraph
cayleyGraphSMath.Algebra.Group.CayleyGraph
centralizerMath.Algebra.Group.PermutationGroup
centralizerSymTransMath.Algebra.Group.Subquotients
centreMath.Algebra.Group.PermutationGroup
chainNMath.Combinatorics.Poset
charMath.Algebra.Field.Base
chooseMath.Core.Utils
circuitHyperplanesMath.Combinatorics.Matroid
circuitsMath.Combinatorics.Matroid
clebschMath.Combinatorics.StronglyRegularGraph
clebsch'Math.Combinatorics.StronglyRegularGraph
clebsch2Math.Combinatorics.StronglyRegularGraph
closedUnderSubsetsMath.Combinatorics.Matroid
closure 
1 (Function)Math.Algebra.Group.PermutationGroup
2 (Function)Math.Combinatorics.Matroid
3 (Function)Math.Projects.RootSystem
closureAGMath.Combinatorics.FiniteGeometry
closurePGMath.Combinatorics.FiniteGeometry
closureSMath.Algebra.Group.PermutationGroup
cmpfstMath.Core.Utils
cmpNormalMath.CommutativeAlgebra.GroebnerBasis
cmpSugMath.CommutativeAlgebra.GroebnerBasis
cmpTerm 
1 (Function)Math.Algebra.NonCommutative.NCPoly
2 (Function)Math.Projects.KnotTheory.LaurentMPoly
coactionMath.Algebras.Structures
CoalgebraMath.Algebras.Structures
coarseningsMath.Combinatorics.CombinatorialHopfAlgebra
Cob2Math.QuantumAlgebra.TensorCategory
cobindTCMath.Algebras.TensorAlgebra
cocircuitsMath.Combinatorics.Matroid
coeffMath.Algebras.VectorSpace
coeffLensMath.Algebras.VectorSpace
coeffsMath.Projects.KnotTheory.IwahoriHecke
coevalVMath.QuantumAlgebra.OrientedTangle
coevalV'Math.QuantumAlgebra.OrientedTangle
coliftTCMath.Algebras.TensorAlgebra
coliftTC'Math.Algebras.TensorAlgebra
collect 
1 (Function)Math.Algebra.NonCommutative.NCPoly
2 (Function)Math.Projects.KnotTheory.LaurentMPoly
collinearMath.Projects.MiniquaternionGeometry
collineationsOmegaMath.Projects.MiniquaternionGeometry
collineationsPhiMath.Projects.MiniquaternionGeometry
collineationsPsiMath.Projects.MiniquaternionGeometry
combinationsOfMath.Core.Utils
CombinatorialHopfAlgebraMath.Combinatorics.CombinatorialHopfAlgebra
comm 
1 (Function)Math.Algebra.Group.PermutationGroup
2 (Function)Math.Algebra.NonCommutative.TensorAlgebra
commutatorGp 
1 (Function)Math.Algebra.Group.PermutationGroup
2 (Function)Math.Algebra.Group.SchreierSims
ComoduleMath.Algebras.Structures
complementMath.Combinatorics.Graph
complementaryDesignMath.Combinatorics.Design
component 
1 (Function)Math.Combinatorics.Graph
2 (Function)Math.Combinatorics.Matroid
componentsMath.Combinatorics.Graph
compositionsMath.Combinatorics.CombinatorialHopfAlgebra
compositionsFromPartitionMath.Combinatorics.CombinatorialHopfAlgebra
ComultMath.QuantumAlgebra.TensorCategory
comultMath.Algebras.Structures
concurrentMath.Projects.MiniquaternionGeometry
conj 
1 (Function)Math.Algebras.Quaternions
2 (Function)Math.Projects.ChevalleyGroup.Exceptional
3 (Function)Math.Projects.MiniquaternionGeometry
conj'Math.Projects.MiniquaternionGeometry
conjClassMath.Algebra.Group.PermutationGroup
conjClassRepsMath.Algebra.Group.PermutationGroup
conjugateMath.Algebra.Field.Extension
conjugateSubgpsMath.Algebra.Group.PermutationGroup
contractionMath.Combinatorics.Matroid
convertMath.Algebra.Field.Extension
ConwayF16Math.Algebra.Field.Extension
ConwayF25Math.Algebra.Field.Extension
ConwayF27Math.Algebra.Field.Extension
ConwayF32Math.Algebra.Field.Extension
ConwayF4Math.Algebra.Field.Extension
ConwayF8Math.Algebra.Field.Extension
ConwayF9Math.Algebra.Field.Extension
coprodfMath.Algebras.TensorProduct
cornerBlocksMath.Projects.Rubik
cornerFacesMath.Projects.Rubik
cosetRepsGxMath.Algebra.Group.SchreierSims
cosetsMath.Algebra.Group.PermutationGroup
CounitMath.QuantumAlgebra.TensorCategory
counitMath.Algebras.Structures
counit'Math.Algebras.Structures
coveringFlatsMath.Combinatorics.Matroid
coxeterFromDynkinMath.Projects.RootSystem
coxeterGraphMath.Combinatorics.Hypergraph
coxeterMatrixMath.Projects.RootSystem
coxeterPresentationMath.Projects.RootSystem
cubeMath.Combinatorics.Graph
cupMath.QuantumAlgebra.Tangle
cupLRMath.QuantumAlgebra.OrientedTangle
cupRLMath.QuantumAlgebra.OrientedTangle
CupT 
1 (Data Constructor)Math.QuantumAlgebra.Tangle
2 (Data Constructor)Math.QuantumAlgebra.OrientedTangle
cycleMatroidMath.Combinatorics.Matroid
cycleMatroid'Math.Combinatorics.Matroid
cycleOfMath.Algebra.Group.PermutationGroup
D 
1 (Data Constructor)Math.Algebras.AffinePlane
2 (Data Constructor)Math.Algebra.NonCommutative.TensorAlgebra
3 (Data Constructor)Math.Combinatorics.Design
4 (Data Constructor)Math.Projects.RootSystem
d 
1 (Function)Math.Algebras.AffinePlane
2 (Function)Math.Projects.ChevalleyGroup.Classical
3 (Function)Math.Projects.KnotTheory.TemperleyLieb
4 (Function)Math.Projects.Rubik
5 (Function)Math.QuantumAlgebra.QuantumPlane
d'Math.Projects.KnotTheory.TemperleyLieb
d1Math.Algebra.NonCommutative.TensorAlgebra
d2Math.Algebra.NonCommutative.TensorAlgebra
d3Math.Algebra.NonCommutative.TensorAlgebra
dagIsosMath.Combinatorics.Digraph
deconcatenationsMath.Combinatorics.CombinatorialHopfAlgebra
deg 
1 (Function)Math.CommutativeAlgebra.Polynomial
2 (Function)Math.Algebra.Field.Extension
degLMMath.Projects.KnotTheory.LaurentMPoly
degreeMath.Algebra.Field.Extension
deletionMath.Combinatorics.Matroid
deletionsMath.Combinatorics.Matroid
delta 
1 (Function)Math.Algebras.TensorProduct
2 (Function)Math.Algebra.NonCommutative.TensorAlgebra
deltaM12Math.Combinatorics.Design
deltaM24Math.Combinatorics.Design
denominatorLMMath.Projects.KnotTheory.LaurentMPoly
denominatorLPMath.Projects.KnotTheory.LaurentMPoly
denominatorQ 
1 (Function)Math.Core.Field
2 (Function)Math.Algebra.Field.Base
derivedDesignMath.Combinatorics.Design
derivedSubgp 
1 (Function)Math.Algebra.Group.PermutationGroup
2 (Function)Math.Algebra.Group.SchreierSims
desarguesMath.Combinatorics.Matroid
desargues1Math.Combinatorics.Graph
desargues2Math.Combinatorics.Graph
desarguesConfigurationMath.Combinatorics.Hypergraph
desarguesGraphMath.Combinatorics.Hypergraph
descendingTreeMath.Combinatorics.CombinatorialHopfAlgebra
descendingTreeMapMath.Combinatorics.CombinatorialHopfAlgebra
descentCompositionMath.Combinatorics.CombinatorialHopfAlgebra
descentMapMath.Combinatorics.CombinatorialHopfAlgebra
descentsMath.Combinatorics.CombinatorialHopfAlgebra
DesignMath.Combinatorics.Design
designMath.Combinatorics.Design
designAutsMath.Combinatorics.Design
designAuts1Math.Combinatorics.Design
designParamsMath.Combinatorics.Design
DesignVertexMath.Combinatorics.StronglyRegularGraph
detMath.Algebra.LinearAlgebra
detqMath.QuantumAlgebra.QuantumPlane
DG 
1 (Data Constructor)Math.Combinatorics.Digraph
2 (Data Constructor)Math.Algebra.Group.CayleyGraph
diameterMath.Combinatorics.Graph
diffAscMath.Core.Utils
diffDescMath.Core.Utils
Digraph 
1 (Type/Class)Math.Combinatorics.Digraph
2 (Type/Class)Math.Algebra.Group.CayleyGraph
digraphIsos1Math.Combinatorics.Digraph
digraphIsos2Math.Combinatorics.Digraph
dim 
1 (Function)Math.CommutativeAlgebra.GroebnerBasis
2 (Function)Math.Algebra.NonCommutative.TensorAlgebra
dim'Math.CommutativeAlgebra.GroebnerBasis
dimIHMath.Projects.KnotTheory.IwahoriHecke
dimTLMath.Projects.KnotTheory.TemperleyLieb
disjointMath.Common.ListSet
distanceMath.Combinatorics.Graph
distancePartitionMath.Combinatorics.Graph
distancePartitionSMath.Combinatorics.Graph
distrLMath.Algebras.TensorProduct
distrRMath.Algebras.TensorProduct
divBMath.Algebras.Commutative
dividesMath.Combinatorics.Poset
dividesBMath.Algebras.Commutative
dividesTMath.Algebras.Commutative
DivisionBasis 
1 (Type/Class)Math.Algebras.NonCommutative
2 (Type/Class)Math.Algebras.Commutative
divisorsMath.Combinatorics.Poset
divLMMath.Projects.KnotTheory.LaurentMPoly
divM 
1 (Function)Math.Algebras.NonCommutative
2 (Function)Math.Algebra.NonCommutative.NCPoly
divTMath.Algebras.Commutative
dodecahedronMath.Combinatorics.Graph
dodecahedron2Math.Combinatorics.Graph
dpMath.Algebra.Group.PermutationGroup
dprodMath.Combinatorics.Poset
DSumMath.Algebras.TensorProduct
dsum 
1 (Function)Math.Combinatorics.Poset
2 (Function)Math.Combinatorics.Matroid
dsumeMath.Algebras.TensorProduct
dsumfMath.Algebras.TensorProduct
duadsMath.Combinatorics.Hypergraph
Dual 
1 (Type/Class)Math.Algebras.VectorSpace
2 (Data Constructor)Math.Algebras.VectorSpace
dual 
1 (Function)Math.Algebras.VectorSpace
2 (Function)Math.Combinatorics.Poset
3 (Function)Math.Combinatorics.Matroid
4 (Function)Math.Combinatorics.Design
dualGridMath.Combinatorics.Hypergraph
durerMath.Combinatorics.Graph
dynkinDiagramMath.Projects.RootSystem
dynkinFromCartanMath.Projects.RootSystem
d_Math.Algebra.NonCommutative.TensorAlgebra
E 
1 (Data Constructor)Math.Algebras.VectorSpace
2 (Data Constructor)Math.Combinatorics.CombinatorialHopfAlgebra
3 (Data Constructor)Math.Algebra.NonCommutative.TensorAlgebra
4 (Data Constructor)Math.Projects.KnotTheory.TemperleyLieb
5 (Data Constructor)Math.Projects.RootSystem
e 
1 (Function)Math.Algebras.VectorSpace
2 (Function)Math.Projects.MiniquaternionGeometry
e'Math.Algebras.VectorSpace
e1 
1 (Function)Math.Algebras.VectorSpace
2 (Function)Math.Algebra.NonCommutative.TensorAlgebra
3 (Function)Math.Projects.KnotTheory.TemperleyLieb
e1'Math.Algebras.VectorSpace
E2Math.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
E3Math.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
EBasisMath.Algebras.VectorSpace
edgeBlocksMath.Projects.Rubik
edgeFacesMath.Projects.Rubik
edges 
1 (Function)Math.Combinatorics.Digraph
2 (Function)Math.Combinatorics.Graph
elemAscMath.Core.Utils
elementsMath.Combinatorics.Matroid
elemMxMath.Projects.RootSystem
elemTransvectionMath.Projects.ChevalleyGroup.Classical
Elim2 
1 (Type/Class)Math.CommutativeAlgebra.Polynomial
2 (Data Constructor)Math.CommutativeAlgebra.Polynomial
eliminateMath.CommutativeAlgebra.GroebnerBasis
eliminateFstMath.CommutativeAlgebra.GroebnerBasis
elts 
1 (Function)Math.Algebra.Group.StringRewriting
2 (Function)Math.Core.Utils
3 (Function)Math.Algebra.Group.PermutationGroup
4 (Function)Math.Algebra.Group.SchreierSims
eltsBSGSMath.Algebra.Group.SchreierSims
eltsCoxeterMath.Projects.RootSystem
eltsFqMath.Algebra.Field.Base
eltsSMath.Algebra.Group.PermutationGroup
eltsTGSMath.Algebra.Group.PermutationGroup
embedMath.Algebra.Field.Extension
eqfstMath.Core.Utils
etaIAMath.Combinatorics.IncidenceAlgebra
evMath.Algebras.TensorProduct
evalMath.CommutativeAlgebra.Polynomial
evalVMath.QuantumAlgebra.OrientedTangle
evalV'Math.QuantumAlgebra.OrientedTangle
ex161Math.Combinatorics.Matroid
existsMath.Combinatorics.Matroid
exposeMath.Projects.ChevalleyGroup.Exceptional
Ext 
1 (Data Constructor)Math.Algebras.TensorAlgebra
2 (Data Constructor)Math.Algebra.Field.Extension
extendedEuclidMath.Algebra.Field.Base
extendedEuclidUPMath.Algebra.Field.Extension
ExtensionFieldMath.Algebra.Field.Extension
ExteriorAlgebraMath.Algebras.TensorAlgebra
exteriorBasisMath.Algebra.NonCommutative.TensorAlgebra
extnfMath.Algebra.NonCommutative.TensorAlgebra
extRelationsMath.Algebra.NonCommutative.TensorAlgebra
e_ 
1 (Function)Math.Algebra.NonCommutative.TensorAlgebra
2 (Function)Math.Projects.KnotTheory.TemperleyLieb
FMath.Projects.RootSystem
fMath.Projects.Rubik
F11 
1 (Type/Class)Math.Core.Field
2 (Data Constructor)Math.Core.Field
3 (Type/Class)Math.Algebra.Field.Base
f11 
1 (Function)Math.Core.Field
2 (Function)Math.Algebra.Field.Base
F13 
1 (Type/Class)Math.Core.Field
2 (Data Constructor)Math.Core.Field
3 (Type/Class)Math.Algebra.Field.Base
f13 
1 (Function)Math.Core.Field
2 (Function)Math.Algebra.Field.Base
F16 
1 (Type/Class)Math.Core.Field
2 (Data Constructor)Math.Core.Field
3 (Type/Class)Math.Algebra.Field.Extension
f16 
1 (Function)Math.Core.Field
2 (Function)Math.Algebra.Field.Extension
F17 
1 (Type/Class)Math.Core.Field
2 (Data Constructor)Math.Core.Field
3 (Type/Class)Math.Algebra.Field.Base
f17 
1 (Function)Math.Core.Field
2 (Function)Math.Algebra.Field.Base
F19 
1 (Type/Class)Math.Core.Field
2 (Data Constructor)Math.Core.Field
3 (Type/Class)Math.Algebra.Field.Base
f19 
1 (Function)Math.Core.Field
2 (Function)Math.Algebra.Field.Base
F2 
1 (Type/Class)Math.Core.Field
2 (Data Constructor)Math.Core.Field
3 (Type/Class)Math.Algebra.Field.Base
f2 
1 (Function)Math.Core.Field
2 (Function)Math.Algebra.Field.Base
F23 
1 (Type/Class)Math.Core.Field
2 (Data Constructor)Math.Core.Field
3 (Type/Class)Math.Algebra.Field.Base
f23 
1 (Function)Math.Core.Field
2 (Function)Math.Algebra.Field.Base
F25 
1 (Type/Class)Math.Core.Field
2 (Data Constructor)Math.Core.Field
3 (Type/Class)Math.Algebra.Field.Extension
f25 
1 (Function)Math.Core.Field
2 (Function)Math.Algebra.Field.Extension
F27Math.Algebra.Field.Extension
f27Math.Algebra.Field.Extension
F29Math.Algebra.Field.Base
f29Math.Algebra.Field.Base
F3 
1 (Type/Class)Math.Core.Field
2 (Data Constructor)Math.Core.Field
3 (Type/Class)Math.Algebra.Field.Base
f3 
1 (Function)Math.Core.Field
2 (Function)Math.Algebra.Field.Base
F31Math.Algebra.Field.Base
f31Math.Algebra.Field.Base
F32Math.Algebra.Field.Extension
f32Math.Algebra.Field.Extension
F37Math.Algebra.Field.Base
f37Math.Algebra.Field.Base
F4 
1 (Type/Class)Math.Core.Field
2 (Data Constructor)Math.Core.Field
3 (Type/Class)Math.Algebra.Field.Extension
f4 
1 (Function)Math.Core.Field
2 (Function)Math.Algebra.Field.Extension
F41Math.Algebra.Field.Base
f41Math.Algebra.Field.Base
F43Math.Algebra.Field.Base
f43Math.Algebra.Field.Base
F47Math.Algebra.Field.Base
f47Math.Algebra.Field.Base
F5 
1 (Type/Class)Math.Core.Field
2 (Data Constructor)Math.Core.Field
3 (Type/Class)Math.Algebra.Field.Base
f5 
1 (Function)Math.Core.Field
2 (Function)Math.Algebra.Field.Base
F53Math.Algebra.Field.Base
f53Math.Algebra.Field.Base
F59Math.Algebra.Field.Base
f59Math.Algebra.Field.Base
F61Math.Algebra.Field.Base
f61Math.Algebra.Field.Base
F67Math.Algebra.Field.Base
f67Math.Algebra.Field.Base
F7 
1 (Type/Class)Math.Core.Field
2 (Data Constructor)Math.Core.Field
3 (Type/Class)Math.Algebra.Field.Base
f7 
1 (Function)Math.Core.Field
2 (Function)Math.Algebra.Field.Base
3 (Function)Math.Combinatorics.Matroid
F71Math.Algebra.Field.Base
f71Math.Algebra.Field.Base
F73Math.Algebra.Field.Base
f73Math.Algebra.Field.Base
F79Math.Algebra.Field.Base
f79Math.Algebra.Field.Base
f7mMath.Combinatorics.Matroid
F8 
1 (Type/Class)Math.Core.Field
2 (Data Constructor)Math.Core.Field
3 (Type/Class)Math.Algebra.Field.Extension
f8 
1 (Function)Math.Core.Field
2 (Function)Math.Algebra.Field.Extension
F83Math.Algebra.Field.Base
f83Math.Algebra.Field.Base
F89Math.Algebra.Field.Base
f89Math.Algebra.Field.Base
F9 
1 (Type/Class)Math.Core.Field
2 (Data Constructor)Math.Core.Field
3 (Type/Class)Math.Algebra.Field.Extension
4 (Type/Class)Math.Projects.MiniquaternionGeometry
5 (Data Constructor)Math.Projects.MiniquaternionGeometry
f9 
1 (Function)Math.Core.Field
2 (Function)Math.Algebra.Field.Extension
3 (Function)Math.Projects.MiniquaternionGeometry
F97Math.Algebra.Field.Base
f97Math.Algebra.Field.Base
factorialMath.Projects.RootSystem
fanoPlane 
1 (Function)Math.Combinatorics.Design
2 (Function)Math.Combinatorics.Hypergraph
farMath.QuantumAlgebra.TensorCategory
fcigMath.Combinatorics.Matroid
fcimMath.Combinatorics.Matroid
fcim'Math.Combinatorics.Matroid
FinCardMath.QuantumAlgebra.TensorCategory
FinCardArMath.QuantumAlgebra.TensorCategory
finCardArMath.QuantumAlgebra.TensorCategory
FinCardObMath.QuantumAlgebra.TensorCategory
findBaseMath.Algebra.Group.SchreierSims
findCyclesMath.Combinatorics.Graph
findlambdaMath.Combinatorics.Design
findLatinSqsMath.Combinatorics.LatinSquares
findMOLSMath.Combinatorics.LatinSquares
findOvalsMath.Projects.MiniquaternionGeometry
findOvals1Math.Projects.MiniquaternionGeometry
findOverlap 
1 (Function)Math.Algebra.Group.StringRewriting
2 (Function)Math.Algebra.NonCommutative.GSBasis
findPathsMath.Combinatorics.Graph
findQuadranglesMath.Projects.MiniquaternionGeometry
findvkMath.Combinatorics.Design
FiniteFieldMath.Algebra.Field.Base
FinOrdMath.QuantumAlgebra.TensorCategory
FinOrdArMath.QuantumAlgebra.TensorCategory
finOrdArMath.QuantumAlgebra.TensorCategory
FinOrdObMath.QuantumAlgebra.TensorCategory
finPermMath.QuantumAlgebra.TensorCategory
FinSetMath.Core.Utils
flatsMath.Combinatorics.Matroid
flats1Math.Combinatorics.Matroid
flatsAGMath.Combinatorics.FiniteGeometry
flatsDesignAGMath.Combinatorics.Design
flatsDesignPGMath.Combinatorics.Design
flatsPGMath.Combinatorics.FiniteGeometry
flattenMath.Combinatorics.CombinatorialHopfAlgebra
flipbindMath.CommutativeAlgebra.Polynomial
fmapExtMath.Algebras.TensorAlgebra
fmapExt'Math.Algebras.TensorAlgebra
fmapPMath.Algebra.Group.PermutationGroup
fmapSymMath.Algebras.TensorAlgebra
fmapSym'Math.Algebras.TensorAlgebra
fmapTAMath.Algebras.TensorAlgebra
fmapTA'Math.Algebras.TensorAlgebra
fMatrixMath.Algebra.LinearAlgebra
fMatrix'Math.Algebra.LinearAlgebra
fobMath.QuantumAlgebra.TensorCategory
foldcmplMath.Core.Utils
formMath.Projects.RootSystem
Fp 
1 (Type/Class)Math.Algebra.Field.Base
2 (Data Constructor)Math.Algebra.Field.Base
frobeniusAutMath.Algebra.Field.Extension
fromAdjacencyMatrixMath.Combinatorics.Graph
fromBaseMath.Core.Utils
fromBasesMath.Combinatorics.Matroid
fromBinary 
1 (Function)Math.Algebra.Group.PermutationGroup
2 (Function)Math.Combinatorics.Graph
fromBinary'Math.Algebra.Group.PermutationGroup
fromBraid 
1 (Function)Math.Projects.KnotTheory.IwahoriHecke
2 (Function)Math.Projects.KnotTheory.TemperleyLieb
fromCircuitsMath.Combinatorics.Matroid
fromClosureMath.Combinatorics.Matroid
fromCoxeterMatrixMath.Projects.RootSystem
fromCoxeterMatrix2Math.Projects.RootSystem
fromCyclesMath.Algebra.Group.PermutationGroup
fromDesignMath.Combinatorics.Hypergraph
fromDigits 
1 (Function)Math.Algebra.Group.PermutationGroup
2 (Function)Math.Combinatorics.Graph
fromDigits'Math.Algebra.Group.PermutationGroup
fromElimSndMath.CommutativeAlgebra.GroebnerBasis
fromFlatsMath.Combinatorics.Matroid
fromFlats'Math.Combinatorics.Matroid
fromGeoRepMath.Combinatorics.Matroid
fromGraphMath.Combinatorics.Hypergraph
fromHyperplanesMath.Combinatorics.Matroid
fromHyperplanes1Math.Combinatorics.Matroid
fromIncidenceMatrix 
1 (Function)Math.Combinatorics.Graph
2 (Function)Math.Combinatorics.Hypergraph
fromIndepsMath.Combinatorics.Matroid
fromIndeps1Math.Combinatorics.Matroid
fromList 
1 (Function)Math.Algebra.Group.PermutationGroup
2 (Function)Math.Projects.ChevalleyGroup.Exceptional
fromLSMath.Combinatorics.LatinSquares
fromMOLSMath.Combinatorics.LatinSquares
fromPairsMath.Algebra.Group.PermutationGroup
fromPairs'Math.Algebra.Group.PermutationGroup
fromProjectivePlaneMath.Combinatorics.LatinSquares
fromRankfunMath.Combinatorics.Matroid
fromTransMath.Algebra.Group.CayleyGraph
fromTranspositionsMath.Algebra.Group.CayleyGraph
fundamentalCircuitMath.Combinatorics.Matroid
fundamentalCircuitIncidenceMatrixMath.Combinatorics.Matroid
fundamentalCircuitIncidenceMatrix'Math.Combinatorics.Matroid
G 
1 (Data Constructor)Math.Combinatorics.Graph
2 (Data Constructor)Math.Projects.RootSystem
g2_3Math.Projects.ChevalleyGroup.Exceptional
gamma3Math.Projects.ChevalleyGroup.Exceptional
gamma3'Math.Projects.ChevalleyGroup.Exceptional
gamma3sMath.Projects.ChevalleyGroup.Exceptional
gamma4Math.Projects.ChevalleyGroup.Exceptional
gamma4'Math.Projects.ChevalleyGroup.Exceptional
gamma4sMath.Projects.ChevalleyGroup.Exceptional
gammaL2_11Math.Combinatorics.Design
gammaL2_23Math.Combinatorics.Design
gb 
1 (Function)Math.CommutativeAlgebra.GroebnerBasis
2 (Function)Math.Algebra.NonCommutative.GSBasis
gb'Math.Algebra.NonCommutative.GSBasis
gb1 
1 (Function)Math.CommutativeAlgebra.GroebnerBasis
2 (Function)Math.Algebra.NonCommutative.GSBasis
gb2 
1 (Function)Math.CommutativeAlgebra.GroebnerBasis
2 (Function)Math.Algebra.NonCommutative.GSBasis
gb2'Math.Algebra.NonCommutative.GSBasis
gb2aMath.CommutativeAlgebra.GroebnerBasis
gb3Math.CommutativeAlgebra.GroebnerBasis
gb4Math.CommutativeAlgebra.GroebnerBasis
gensMath.Algebra.Group.PermutationGroup
gewirtzMath.Combinatorics.StronglyRegularGraph
gewirtz'Math.Combinatorics.StronglyRegularGraph
girthMath.Combinatorics.Graph
Glex 
1 (Type/Class)Math.CommutativeAlgebra.Polynomial
2 (Data Constructor)Math.CommutativeAlgebra.Polynomial
3 (Data Constructor)Math.Algebras.Commutative
GlexMonomialMath.Algebras.Commutative
GlexPoly 
1 (Type/Class)Math.CommutativeAlgebra.Polynomial
2 (Type/Class)Math.Algebras.Commutative
glexVarMath.Algebras.Commutative
glexvarMath.CommutativeAlgebra.Polynomial
gpMath.Combinatorics.Graph
gradeMath.Combinatorics.CombinatorialHopfAlgebra
GradedMath.Combinatorics.CombinatorialHopfAlgebra
gradedConnectedAntipodeMath.Combinatorics.CombinatorialHopfAlgebra
graftMath.Combinatorics.CombinatorialHopfAlgebra
GraphMath.Combinatorics.Graph
graphMath.Combinatorics.Graph
graphAutsMath.Combinatorics.GraphAuts
graphAuts7Math.Combinatorics.GraphAuts
graphAuts8Math.Combinatorics.GraphAuts
graphIsosMath.Combinatorics.GraphAuts
graphOAMath.Combinatorics.LatinSquares
Grevlex 
1 (Type/Class)Math.CommutativeAlgebra.Polynomial
2 (Data Constructor)Math.CommutativeAlgebra.Polynomial
GrevlexPolyMath.CommutativeAlgebra.Polynomial
grevlexvarMath.CommutativeAlgebra.Polynomial
gridMath.Combinatorics.Hypergraph
GroupAlgebraMath.Algebras.GroupAlgebra
HMath.Combinatorics.Hypergraph
HasConjugationMath.Algebras.Quaternions
HasInversesMath.Core.Utils
HasPairingMath.Algebras.Structures
hasseDigraphMath.Combinatorics.Poset
HBasisMath.Algebras.Quaternions
heawoodMath.Combinatorics.FiniteGeometry
heawoodGraphMath.Combinatorics.Hypergraph
heightPartitionDAGMath.Combinatorics.Digraph
heptadsMath.Combinatorics.StronglyRegularGraph
hexadMath.Combinatorics.Design
higmanSimsGraphMath.Combinatorics.StronglyRegularGraph
higmanSimsGraph'Math.Combinatorics.StronglyRegularGraph
higmanSimsM22Math.Combinatorics.StronglyRegularGraph
hilbertFunQAMath.CommutativeAlgebra.GroebnerBasis
hilbertPolyQAMath.CommutativeAlgebra.GroebnerBasis
hilbertPolyQA'Math.CommutativeAlgebra.GroebnerBasis
hilbertSeriesQAMath.CommutativeAlgebra.GroebnerBasis
hilbertSeriesQA'Math.CommutativeAlgebra.GroebnerBasis
hilbertSeriesQA1Math.CommutativeAlgebra.GroebnerBasis
hoffmanSingletonMath.Combinatorics.StronglyRegularGraph
hoffmanSingleton'Math.Combinatorics.StronglyRegularGraph
homflyMath.Projects.KnotTheory.IwahoriHecke
homfly'Math.Projects.KnotTheory.IwahoriHecke
homfly''Math.Projects.KnotTheory.IwahoriHecke
HopfAlgebraMath.Algebras.Structures
HorizDirMath.QuantumAlgebra.OrientedTangle
hsA7Math.Combinatorics.StronglyRegularGraph
HypergraphMath.Combinatorics.Hypergraph
hypergraphMath.Combinatorics.Hypergraph
hyperplanesMath.Combinatorics.Matroid
hyperplanes1Math.Combinatorics.Matroid
IMath.Algebras.Quaternions
i 
1 (Function)Math.Algebras.Quaternions
2 (Function)Math.Algebra.Field.Extension
3 (Function)Math.NumberTheory.QuadraticField
4 (Function)Math.Projects.KnotTheory.IwahoriHecke
5 (Function)Math.Projects.MiniquaternionGeometry
i'Math.Algebras.Quaternions
i0 
1 (Function)Math.Algebras.Octonions
2 (Function)Math.Projects.ChevalleyGroup.Exceptional
i1 
1 (Function)Math.Algebras.TensorProduct
2 (Function)Math.Algebras.Octonions
3 (Function)Math.Projects.ChevalleyGroup.Exceptional
i2 
1 (Function)Math.Algebras.TensorProduct
2 (Function)Math.Algebras.Octonions
3 (Function)Math.Projects.ChevalleyGroup.Exceptional
i3 
1 (Function)Math.Algebras.Octonions
2 (Function)Math.Projects.ChevalleyGroup.Exceptional
i4 
1 (Function)Math.Algebras.Octonions
2 (Function)Math.Projects.ChevalleyGroup.Exceptional
i5 
1 (Function)Math.Algebras.Octonions
2 (Function)Math.Projects.ChevalleyGroup.Exceptional
i6 
1 (Function)Math.Algebras.Octonions
2 (Function)Math.Projects.ChevalleyGroup.Exceptional
icosahedronMath.Combinatorics.Graph
IdMath.QuantumAlgebra.TensorCategory
idMxMath.Algebra.LinearAlgebra
IdT 
1 (Data Constructor)Math.QuantumAlgebra.Tangle
2 (Data Constructor)Math.QuantumAlgebra.OrientedTangle
idVMath.QuantumAlgebra.OrientedTangle
idV'Math.QuantumAlgebra.OrientedTangle
id_Math.QuantumAlgebra.TensorCategory
ihBasisMath.Projects.KnotTheory.IwahoriHecke
ihnfMath.Projects.KnotTheory.IwahoriHecke
ihRelationsMath.Projects.KnotTheory.IwahoriHecke
imCornerBlocksMath.Projects.Rubik
imCornerFacesMath.Projects.Rubik
imEdgeBlocksMath.Projects.Rubik
imEdgeFacesMath.Projects.Rubik
implies 
1 (Function)Math.Combinatorics.Poset
2 (Function)Math.Combinatorics.Matroid
iMxMath.Algebra.LinearAlgebra
incidenceAutsMath.Combinatorics.GraphAuts
incidenceAuts2Math.Combinatorics.GraphAuts
incidenceGraph 
1 (Function)Math.Combinatorics.Design
2 (Function)Math.Combinatorics.Hypergraph
incidenceGraphAGMath.Combinatorics.FiniteGeometry
incidenceGraphBMath.Combinatorics.Matroid
incidenceGraphCMath.Combinatorics.Matroid
incidenceGraphHMath.Combinatorics.Matroid
incidenceGraphLSMath.Combinatorics.LatinSquares
incidenceGraphLS'Math.Combinatorics.LatinSquares
incidenceGraphPGMath.Combinatorics.FiniteGeometry
incidenceIsosMath.Combinatorics.GraphAuts
incidenceMatrix 
1 (Function)Math.Combinatorics.Graph
2 (Function)Math.Combinatorics.Design
3 (Function)Math.Combinatorics.Hypergraph
indepCountsMath.Combinatorics.Matroid
indepsMath.Combinatorics.Matroid
indexMath.Algebra.Group.SchreierSims
inducedA7Math.Combinatorics.StronglyRegularGraph
inducedM22Math.Combinatorics.StronglyRegularGraph
inducedSubgraphMath.Combinatorics.Graph
initLevelsMath.Algebra.Group.RandomSchreierSims
initProdReplMath.Algebra.Group.RandomSchreierSims
inject 
1 (Function)Math.Algebra.NonCommutative.NCPoly
2 (Function)Math.Projects.KnotTheory.LaurentMPoly
injectExtMath.Algebras.TensorAlgebra
injectExt'Math.Algebras.TensorAlgebra
injectSymMath.Algebras.TensorAlgebra
injectSym'Math.Algebras.TensorAlgebra
injectTAMath.Algebras.TensorAlgebra
injectTA'Math.Algebras.TensorAlgebra
insertDescMath.Core.Utils
inSpanREMath.Algebra.LinearAlgebra
IntegerAsTypeMath.Common.IntegerAsType
integerPartitionsMath.Combinatorics.Poset
intersectMath.Common.ListSet
intersectAscMath.Core.Utils
intersectIMath.CommutativeAlgebra.GroebnerBasis
intersectionGraphMath.Combinatorics.Hypergraph
intersectionNormalClosureMath.Algebra.Group.Subquotients
IntervalMath.Combinatorics.IncidenceAlgebra
intervalMath.Combinatorics.Poset
intervalIsoClassesMath.Combinatorics.IncidenceAlgebra
intervalIsoMapMath.Combinatorics.IncidenceAlgebra
intervalIsosMath.Combinatorics.IncidenceAlgebra
intervalPartitionsMath.Combinatorics.Poset
intervalPartitions2Math.Combinatorics.Poset
intervalsMath.Combinatorics.Poset
invMath.Algebra.NonCommutative.NCPoly
inverse 
1 (Function)Math.Core.Utils
2 (Function)Math.Algebra.LinearAlgebra
inverse1Math.Algebra.LinearAlgebra
inverse2Math.Algebra.LinearAlgebra
inversions 
1 (Function)Math.Combinatorics.CombinatorialHopfAlgebra
2 (Function)Math.Algebra.Group.CayleyGraph
InvertibleMath.Algebra.NonCommutative.NCPoly
invIAMath.Combinatorics.IncidenceAlgebra
invIA1Math.Combinatorics.IncidenceAlgebra
is2ArcTransitiveMath.Combinatorics.GraphAuts
is2DesignMath.Combinatorics.Design
is3ArcTransitiveMath.Combinatorics.GraphAuts
is4ArcTransitiveMath.Combinatorics.GraphAuts
isAntisymmetricMath.Combinatorics.Poset
isArcTransitiveMath.Combinatorics.GraphAuts
isAutMath.Projects.MiniquaternionGeometry
isBaseMath.Combinatorics.Matroid
isBinaryMath.Combinatorics.Matroid
isBinary2Math.Combinatorics.Matroid
isCircuitMath.Combinatorics.Matroid
isCircuitHyperplaneMath.Combinatorics.Matroid
isClutterMath.Combinatorics.Matroid
isCobaseMath.Combinatorics.Matroid
isCocircuitMath.Combinatorics.Matroid
isCoindependentMath.Combinatorics.Matroid
isColoopMath.Combinatorics.Matroid
isComplexMath.Projects.MiniquaternionGeometry
isConfigurationMath.Combinatorics.Hypergraph
isConnected 
1 (Function)Math.Combinatorics.Graph
2 (Function)Math.Combinatorics.Matroid
isCoparallelMath.Combinatorics.Matroid
isCubicMath.Combinatorics.Graph
isDAGMath.Combinatorics.Digraph
isDagIsoMath.Combinatorics.Digraph
isDependentMath.Combinatorics.Matroid
isDesignMath.Combinatorics.Design
isDesignAutMath.Combinatorics.Design
isDistanceTransitiveMath.Combinatorics.GraphAuts
isEdgeTransitiveMath.Combinatorics.GraphAuts
isElimFstMath.CommutativeAlgebra.GroebnerBasis
isFlatMath.Combinatorics.Matroid
isGBMath.CommutativeAlgebra.GroebnerBasis
isGeneralizedQuadrangleMath.Combinatorics.Hypergraph
isGenQuadrangle'Math.Combinatorics.Hypergraph
isGraphMath.Combinatorics.Graph
isGraphAutMath.Combinatorics.GraphAuts
isGraphIsoMath.Combinatorics.GraphAuts
isHyperplaneMath.Combinatorics.Matroid
isIncidenceAutMath.Combinatorics.GraphAuts
isIncidenceIsoMath.Combinatorics.GraphAuts
isIndependentMath.Combinatorics.Matroid
isIntervalMath.Combinatorics.Poset
isIntervalIsoMath.Combinatorics.IncidenceAlgebra
isIPRefinementMath.Combinatorics.Poset
isLatinSqMath.Combinatorics.LatinSquares
isLeftMath.Algebra.Group.Subquotients
isLinextMath.Combinatorics.Poset
isListSetMath.Common.ListSet
isLoopMath.Combinatorics.Matroid
isMatroidBasesMath.Combinatorics.Matroid
isMatroidCircuitsMath.Combinatorics.Matroid
isMatroidHyperplanesMath.Combinatorics.Matroid
isMatroidIndepsMath.Combinatorics.Matroid
isMatroidIsoMath.Combinatorics.Matroid
isMember 
1 (Function)Math.Algebra.Group.PermutationGroup
2 (Function)Math.Algebra.Group.SchreierSims
isMemberBSGSMath.Algebra.Group.SchreierSims
isMemberSGSMath.Algebra.Group.RandomSchreierSims
isMillerRabinPrimeMath.NumberTheory.Prime, Math.NumberTheory.Factor
isMinimalMath.Algebra.Group.PermutationGroup
isMOLSMath.Combinatorics.LatinSquares
isnArcTransitiveMath.Combinatorics.GraphAuts
isNormal 
1 (Function)Math.Algebra.Group.PermutationGroup
2 (Function)Math.Algebra.Group.SchreierSims
isOAMath.Combinatorics.LatinSquares
isOneOfEachMath.Combinatorics.LatinSquares
isOrderIsoMath.Combinatorics.Poset
isOrderPreservingMath.Combinatorics.Poset
isoRepDAGMath.Combinatorics.Digraph
isoRepDAG1Math.Combinatorics.Digraph
isoRepDAG2Math.Combinatorics.Digraph
isoRepDAG3Math.Combinatorics.Digraph
isOrthogonal 
1 (Function)Math.Combinatorics.LatinSquares
2 (Function)Math.Projects.ChevalleyGroup.Exceptional
isOvalMath.Projects.MiniquaternionGeometry
isParallelMath.Combinatorics.Matroid
isPartialLinearSpaceMath.Combinatorics.Hypergraph
ispnfMath.Combinatorics.FiniteGeometry
isPosetMath.Combinatorics.Poset
isPrimeMath.NumberTheory.Prime, Math.NumberTheory.Factor
isPrimitiveMath.Algebra.Group.Subquotients
isPrimitiveSGSMath.Algebra.Group.Subquotients
isProjectivePlane 
1 (Function)Math.Combinatorics.Hypergraph
2 (Function)Math.Projects.MiniquaternionGeometry
isProjectivePlaneQuadMath.Combinatorics.Hypergraph
isProjectivePlaneTriMath.Combinatorics.Hypergraph
isQuadrangleMath.Projects.MiniquaternionGeometry
isQuadrilateralMath.Projects.MiniquaternionGeometry
isRealMath.Projects.MiniquaternionGeometry
isRefinementMath.Combinatorics.Poset
isReflexiveMath.Combinatorics.Poset
isRegularMath.Combinatorics.Graph
isRepresentableMath.Combinatorics.Matroid
isRightMath.Algebra.Group.Subquotients
isSetSystemMath.Combinatorics.Graph
isShortlexMath.Combinatorics.Matroid
isSimple 
1 (Function)Math.Algebra.Group.PermutationGroup
2 (Function)Math.Combinatorics.Matroid
isSimpleGeoRepMath.Combinatorics.Matroid
isSpanningMath.Combinatorics.Matroid
isSquareMath.Combinatorics.Design
isSRGMath.Combinatorics.StronglyRegularGraph
isStrictlyDecreasingMath.Core.Utils
isStrictlyIncreasingMath.Core.Utils
isStructureMath.Combinatorics.Design
isSubgp 
1 (Function)Math.Algebra.Group.PermutationGroup
2 (Function)Math.Algebra.Group.SchreierSims
isSubMultisetAscMath.Core.Utils
isSubset 
1 (Function)Math.Common.ListSet
2 (Function)Math.Combinatorics.Design
isSubsetAscMath.Core.Utils
isSubspaceMath.Combinatorics.Poset
isTernaryMath.Combinatorics.Matroid
isTransitive 
1 (Function)Math.Combinatorics.Poset
2 (Function)Math.Algebra.Group.Subquotients
isTrialDivisionPrimeMath.NumberTheory.Prime, Math.NumberTheory.Factor
isUnderIrreducibleMath.Combinatorics.CombinatorialHopfAlgebra
isUniformMath.Combinatorics.Hypergraph
isUnitMath.Projects.ChevalleyGroup.Exceptional
isValidMath.Combinatorics.Design
isVertexTransitiveMath.Combinatorics.GraphAuts
isWeaklyDecreasingMath.Core.Utils
isWeaklyIncreasingMath.Core.Utils
isZeroMath.Algebra.LinearAlgebra
IvMath.Combinatorics.IncidenceAlgebra
ivPosetMath.Combinatorics.IncidenceAlgebra
IwahoriHeckeGensMath.Projects.KnotTheory.IwahoriHecke
i_Math.Algebras.Octonions
JMath.Algebras.Quaternions
j 
1 (Function)Math.Algebras.Quaternions
2 (Function)Math.Combinatorics.Graph
3 (Function)Math.Projects.MiniquaternionGeometry
j'Math.Algebras.Quaternions
J9 
1 (Type/Class)Math.Projects.MiniquaternionGeometry
2 (Data Constructor)Math.Projects.MiniquaternionGeometry
j9Math.Projects.MiniquaternionGeometry
jMxMath.Algebra.LinearAlgebra
johnsonMath.Combinatorics.Graph
jonesMath.Projects.KnotTheory.TemperleyLieb
jones'Math.Projects.KnotTheory.IwahoriHecke
KMath.Algebras.Quaternions
k 
1 (Function)Math.Algebras.Quaternions
2 (Function)Math.Combinatorics.Graph
3 (Function)Math.Projects.MiniquaternionGeometry
k'Math.Algebras.Quaternions
k3_1Math.Projects.KnotTheory.Braid
k4_1Math.Projects.KnotTheory.Braid
k5_1Math.Projects.KnotTheory.Braid
k7_1Math.Projects.KnotTheory.Braid
kauffmanMath.QuantumAlgebra.Tangle
kbMath.Combinatorics.Graph
kb'Math.Combinatorics.Graph
kerCornerBlocksMath.Projects.Rubik
kerCornerFacesMath.Projects.Rubik
kerEdgeBlocksMath.Projects.Rubik
kerEdgeFacesMath.Projects.Rubik
kernelMath.Algebra.LinearAlgebra
kernelRREMath.Algebra.LinearAlgebra
kneserMath.Combinatorics.Graph
knuthBendixMath.Algebra.Group.StringRewriting
knuthBendix1Math.Algebra.Group.StringRewriting
knuthBendix2Math.Algebra.Group.StringRewriting
knuthBendix3Math.Algebra.Group.StringRewriting
LMath.Combinatorics.Matroid
l 
1 (Function)Math.Projects.ChevalleyGroup.Classical
2 (Function)Math.Projects.KnotTheory.IwahoriHecke
3 (Function)Math.Projects.Rubik
l2Math.Combinatorics.StronglyRegularGraph
l2'Math.Combinatorics.StronglyRegularGraph
l2_11Math.Combinatorics.Design
l2_23Math.Combinatorics.Design
lambdaMath.QuantumAlgebra.OrientedTangle
LaurentMonomial 
1 (Type/Class)Math.Algebras.LaurentPoly
2 (Type/Class)Math.Projects.KnotTheory.LaurentMPoly
LaurentMPolyMath.Projects.KnotTheory.LaurentMPoly
LaurentPolyMath.Algebras.LaurentPoly
lc 
1 (Function)Math.CommutativeAlgebra.Polynomial
2 (Function)Math.Algebras.NonCommutative
3 (Function)Math.Algebra.NonCommutative.NCPoly
4 (Function)Math.Projects.KnotTheory.LaurentMPoly
lcmLMMath.Projects.KnotTheory.LaurentMPoly
leafcountMath.Combinatorics.CombinatorialHopfAlgebra
leafCountTreeMath.Combinatorics.CombinatorialHopfAlgebra
leftLeafCompositionMath.Combinatorics.CombinatorialHopfAlgebra
leftLeafComposition'Math.Combinatorics.CombinatorialHopfAlgebra
leftLeafCompositionMapMath.Combinatorics.CombinatorialHopfAlgebra
leftLinesPG2Math.Projects.MiniquaternionGeometry
Lex 
1 (Type/Class)Math.CommutativeAlgebra.Polynomial
2 (Data Constructor)Math.CommutativeAlgebra.Polynomial
LexPolyMath.CommutativeAlgebra.Polynomial
lexvarMath.CommutativeAlgebra.Polynomial
lieMultMath.Projects.RootSystem
liftExtMath.Algebras.TensorAlgebra
liftExt'Math.Algebras.TensorAlgebra
liftSymMath.Algebras.TensorAlgebra
liftSym'Math.Algebras.TensorAlgebra
liftTAMath.Algebras.TensorAlgebra
liftTA'Math.Algebras.TensorAlgebra
liftToGraphMath.Projects.MiniquaternionGeometry
lineAGMath.Combinatorics.FiniteGeometry
linearMath.Algebras.VectorSpace
lineGraphMath.Combinatorics.Graph
lineGraph'Math.Combinatorics.Graph
linePGMath.Combinatorics.FiniteGeometry
linesAGMath.Combinatorics.FiniteGeometry
linesAG1Math.Combinatorics.FiniteGeometry
linesAG2Math.Combinatorics.FiniteGeometry
linesPGMath.Combinatorics.FiniteGeometry
linextsMath.Combinatorics.Poset
LM 
1 (Data Constructor)Math.Algebras.LaurentPoly
2 (Data Constructor)Math.Projects.KnotTheory.LaurentMPoly
lm 
1 (Function)Math.CommutativeAlgebra.Polynomial
2 (Function)Math.Algebras.NonCommutative
3 (Function)Math.Algebra.NonCommutative.NCPoly
4 (Function)Math.Projects.KnotTheory.LaurentMPoly
LMRMath.Combinatorics.Matroid
loopMath.QuantumAlgebra.Tangle
loopTMath.QuantumAlgebra.Tangle
LPMath.Projects.KnotTheory.LaurentMPoly
LPQMath.Projects.KnotTheory.Braid
lrCountTreeMath.Combinatorics.CombinatorialHopfAlgebra
lt 
1 (Function)Math.CommutativeAlgebra.Polynomial
2 (Function)Math.Algebras.NonCommutative
3 (Function)Math.Algebras.Commutative
4 (Function)Math.Algebra.NonCommutative.NCPoly
5 (Function)Math.Algebra.Field.Extension
6 (Function)Math.Projects.KnotTheory.LaurentMPoly
ltIdealMath.CommutativeAlgebra.GroebnerBasis
lunitMath.QuantumAlgebra.TensorCategory
lvarMath.Algebras.LaurentPoly
M 
1 (Type/Class)Math.Common.IntegerAsType
2 (Data Constructor)Math.Common.IntegerAsType
3 (Data Constructor)Math.CommutativeAlgebra.Polynomial
4 (Data Constructor)Math.Combinatorics.Matroid
5 (Data Constructor)Math.Algebra.NonCommutative.NCPoly
m 
1 (Function)Math.Projects.ChevalleyGroup.Exceptional
2 (Function)Math.Projects.KnotTheory.IwahoriHecke
m11sgsMath.Combinatorics.Design
m12Math.Combinatorics.Design
m12sgsMath.Combinatorics.Design
m22sgsMath.Combinatorics.Design
m23sgsMath.Combinatorics.Design
m24Math.Combinatorics.Design
m24sgsMath.Combinatorics.Design
M2q 
1 (Type/Class)Math.QuantumAlgebra.QuantumPlane
2 (Data Constructor)Math.QuantumAlgebra.QuantumPlane
m2qMath.QuantumAlgebra.QuantumPlane
M3Math.Algebras.Matrix
markedfcimMath.Combinatorics.Matroid
markNonInitialRCsMath.Combinatorics.Matroid
Mat2Math.Algebras.Matrix
Mat2'Math.Algebras.Matrix
MatroidMath.Combinatorics.Matroid
matroidAGMath.Combinatorics.Matroid
matroidAutsMath.Combinatorics.Matroid
matroidIsosMath.Combinatorics.Matroid
matroidPGMath.Combinatorics.Matroid
matroidUnionMath.Combinatorics.Matroid
maxPermMath.Combinatorics.CombinatorialHopfAlgebra
mbasisMath.CommutativeAlgebra.GroebnerBasis
mbasisQA 
1 (Function)Math.CommutativeAlgebra.GroebnerBasis
2 (Function)Math.Algebra.NonCommutative.GSBasis
MCMath.Algebras.Structures
MCategoryMath.QuantumAlgebra.TensorCategory
mcLaughlinMath.Combinatorics.StronglyRegularGraph
mcLaughlin'Math.Combinatorics.StronglyRegularGraph
mcoprimeMath.CommutativeAlgebra.Polynomial
mdegMath.CommutativeAlgebra.Polynomial
mdivMath.CommutativeAlgebra.Polynomial
mdividesMath.CommutativeAlgebra.Polynomial
memberGBMath.CommutativeAlgebra.GroebnerBasis
memberIMath.CommutativeAlgebra.GroebnerBasis
mergeMath.Algebra.Group.StringRewriting
mergeByMath.CommutativeAlgebra.GroebnerBasis
mergeTerms 
1 (Function)Math.Algebra.NonCommutative.NCPoly
2 (Function)Math.Projects.KnotTheory.LaurentMPoly
MFunctorMath.QuantumAlgebra.TensorCategory
mgcdMath.CommutativeAlgebra.Polynomial
MidMath.Combinatorics.Matroid
mindicesMath.CommutativeAlgebra.Polynomial
minimalMath.Combinatorics.Matroid
minimalBlockMath.Algebra.Group.Subquotients
minimalFlatMath.Combinatorics.Matroid
minPermMath.Combinatorics.CombinatorialHopfAlgebra
minsuppMath.Algebra.Group.PermutationGroup
Minus 
1 (Data Constructor)Math.QuantumAlgebra.Tangle
2 (Data Constructor)Math.QuantumAlgebra.OrientedTangle
mlcmMath.CommutativeAlgebra.Polynomial
mmultMath.Algebras.Structures
mobiusKantorMath.Combinatorics.Graph
ModuleMath.Algebras.Structures
modUPMath.Algebra.Field.Extension
MonMath.Algebras.Structures
MonImplMath.CommutativeAlgebra.Polynomial
MonoidalMath.QuantumAlgebra.TensorCategory
MonoidCoalgebraMath.Algebras.Structures
Monomial 
1 (Type/Class)Math.CommutativeAlgebra.Polynomial
2 (Type/Class)Math.Algebras.NonCommutative
3 (Type/Class)Math.Algebras.Commutative
4 (Type/Class)Math.Algebra.NonCommutative.NCPoly
monomialMath.Algebra.Field.Extension
MonomialConstructorMath.CommutativeAlgebra.Polynomial
mproperlydividesMath.CommutativeAlgebra.Polynomial
mu 
1 (Function)Math.Combinatorics.CombinatorialHopfAlgebra
2 (Function)Math.QuantumAlgebra.OrientedTangle
mu'Math.QuantumAlgebra.OrientedTangle
muBMath.Combinatorics.IncidenceAlgebra
muCMath.Combinatorics.IncidenceAlgebra
muIAMath.Combinatorics.IncidenceAlgebra
muIA1Math.Combinatorics.IncidenceAlgebra
muLMath.Combinatorics.IncidenceAlgebra
MultMath.QuantumAlgebra.TensorCategory
multMath.Algebras.Structures
multisetSumAscMath.Core.Utils
multisetSumDescMath.Core.Utils
multisplitsMath.Combinatorics.CombinatorialHopfAlgebra
munitMath.Algebras.Structures
mvarMath.CommutativeAlgebra.Polynomial
mw4Math.Combinatorics.Matroid
nbrsMath.Combinatorics.Graph
NCMMath.Algebras.NonCommutative
ncmMath.Algebras.NonCommutative
NCPolyMath.Algebras.NonCommutative
negatevMath.Algebras.VectorSpace
newLevelMath.Algebra.Group.SchreierSims
newLevel'Math.Algebra.Group.SchreierSims
nextPrimeMath.NumberTheory.Prime, Math.NumberTheory.Factor
nextProdReplMath.Algebra.Group.RandomSchreierSims
nf 
1 (Function)Math.Algebras.VectorSpace
2 (Function)Math.Combinatorics.Digraph
3 (Function)Math.Combinatorics.Graph
4 (Function)Math.Projects.ChevalleyGroup.Exceptional
nfsMath.Algebra.Group.StringRewriting
nodecountMath.Combinatorics.CombinatorialHopfAlgebra
nodeCountTreeMath.Combinatorics.CombinatorialHopfAlgebra
NonComMonomialMath.Algebras.NonCommutative
nonPappusMath.Combinatorics.Matroid
noRepeatedBlocksMath.Combinatorics.Design
normMath.Projects.MiniquaternionGeometry
normalClosure 
1 (Function)Math.Algebra.Group.PermutationGroup
2 (Function)Math.Algebra.Group.SchreierSims
3 (Function)Math.Algebra.Group.Subquotients
normalizerMath.Algebra.Group.PermutationGroup
normalSubgpsMath.Algebra.Group.PermutationGroup
notElemAscMath.Core.Utils
notPrimeMath.NumberTheory.Prime, Math.NumberTheory.Factor
NPMath.Algebra.NonCommutative.NCPoly
NPolyMath.Algebra.NonCommutative.NCPoly
NSym 
1 (Type/Class)Math.Combinatorics.CombinatorialHopfAlgebra
2 (Data Constructor)Math.Combinatorics.CombinatorialHopfAlgebra
nsymMath.Combinatorics.CombinatorialHopfAlgebra
nsymToSSymMath.Combinatorics.CombinatorialHopfAlgebra
nsymToSymHMath.Combinatorics.CombinatorialHopfAlgebra
nullGraphMath.Combinatorics.Graph
nullGraph'Math.Combinatorics.Graph
numBasesMath.Combinatorics.Matroid
numberedMath.Combinatorics.CombinatorialHopfAlgebra
numChainsIAMath.Combinatorics.IncidenceAlgebra
numeratorQ 
1 (Function)Math.Core.Field
2 (Function)Math.Algebra.Field.Base
numFlatsAGMath.Combinatorics.FiniteGeometry
numFlatsPGMath.Combinatorics.FiniteGeometry
numIndepsMath.Combinatorics.Matroid
numMaximalChainsIAMath.Combinatorics.IncidenceAlgebra
numMonomialsMath.CommutativeAlgebra.GroebnerBasis
numPtsAGMath.Projects.ChevalleyGroup.Classical
numPtsPGMath.Projects.ChevalleyGroup.Classical
numRootsMath.Projects.RootSystem
numSpanningMath.Combinatorics.Matroid
O 
1 (Data Constructor)Math.Algebras.Octonions
2 (Data Constructor)Math.Projects.ChevalleyGroup.Exceptional
3 (Data Constructor)Math.QuantumAlgebra.TensorCategory
oMath.Projects.ChevalleyGroup.Classical
ObMath.QuantumAlgebra.TensorCategory, Math.QuantumAlgebra.TensorCategory, Math.QuantumAlgebra.Tangle, Math.QuantumAlgebra.OrientedTangle
OBasisMath.Algebras.Octonions
octadMath.Combinatorics.Design
octahedronMath.Combinatorics.Graph
Octonion 
1 (Type/Class)Math.Algebras.Octonions
2 (Type/Class)Math.Projects.ChevalleyGroup.Exceptional
octonionsMath.Projects.ChevalleyGroup.Exceptional
oloopMath.QuantumAlgebra.OrientedTangle
omegaMath.Projects.MiniquaternionGeometry
omega0Math.Projects.MiniquaternionGeometry
omega2Math.Projects.MiniquaternionGeometry
omegaDMath.Projects.MiniquaternionGeometry
omegaD1Math.Projects.MiniquaternionGeometry
omegaD2Math.Projects.MiniquaternionGeometry
omegaevenMath.Projects.ChevalleyGroup.Classical
omegaoddMath.Projects.ChevalleyGroup.Classical
One 
1 (Data Constructor)Math.Algebras.Quaternions
2 (Data Constructor)Math.Combinatorics.FiniteGeometry
3 (Data Constructor)Math.NumberTheory.QuadraticField
one'Math.Algebras.Quaternions
Op 
1 (Type/Class)Math.Algebras.Structures
2 (Data Constructor)Math.Algebras.Structures
orbitMath.Algebra.Group.PermutationGroup
orbitBMath.Algebra.Group.PermutationGroup
orbitEMath.Algebra.Group.PermutationGroup
orbitPMath.Algebra.Group.PermutationGroup
orbitsMath.Algebra.Group.PermutationGroup
orbitVMath.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
orderAffMath.Combinatorics.FiniteGeometry
orderAuts1Math.Combinatorics.Poset
orderBSGS 
1 (Function)Math.Algebra.Group.PermutationGroup
2 (Function)Math.Algebra.Group.SchreierSims
orderEltMath.Algebra.Group.PermutationGroup
orderGLMath.Combinatorics.FiniteGeometry
orderIsosMath.Combinatorics.Poset
orderIsos01Math.Combinatorics.Poset
orderLMath.Projects.ChevalleyGroup.Classical
orderPGLMath.Combinatorics.FiniteGeometry
orderSMath.Projects.ChevalleyGroup.Classical
orderS2Math.Projects.ChevalleyGroup.Classical
orderSGSMath.Algebra.Group.PermutationGroup
orderTGSMath.Algebra.Group.PermutationGroup
orderWeylMath.Projects.RootSystem
ordpair 
1 (Function)Math.Algebra.Group.StringRewriting
2 (Function)Math.Core.Utils
Oriented 
1 (Type/Class)Math.QuantumAlgebra.Tangle
2 (Type/Class)Math.QuantumAlgebra.OrientedTangle
OrientedTangleMath.QuantumAlgebra.OrientedTangle
orthogonalLinesPG2Math.Projects.MiniquaternionGeometry
OT 
1 (Data Constructor)Math.QuantumAlgebra.Tangle
2 (Data Constructor)Math.QuantumAlgebra.OrientedTangle
otrefoilMath.QuantumAlgebra.OrientedTangle
otrefoil'Math.QuantumAlgebra.OrientedTangle
overMath.QuantumAlgebra.Tangle
OverTMath.QuantumAlgebra.Tangle
P 
1 (Data Constructor)Math.Algebra.Group.PermutationGroup
2 (Data Constructor)Math.Combinatorics.StronglyRegularGraph
p 
1 (Function)Math.Algebra.Group.PermutationGroup
2 (Function)Math.Algebras.GroupAlgebra
p1Math.Algebras.TensorProduct
p2Math.Algebras.TensorProduct
p8Math.Combinatorics.Matroid
p8'Math.Combinatorics.Matroid
p8mMath.Combinatorics.Matroid
p8mmMath.Combinatorics.Matroid
pairDesignMath.Combinatorics.Design
pairingMath.Algebras.Structures
pairing'Math.Algebras.Structures
pairsMath.Core.Utils
pairWithMath.CommutativeAlgebra.GroebnerBasis
paleyDesignMath.Combinatorics.Design
paleyGraphMath.Combinatorics.StronglyRegularGraph
pappusMath.Combinatorics.Matroid
pappusConfigurationMath.Combinatorics.Hypergraph
pappusGraphMath.Combinatorics.Hypergraph
ParMath.QuantumAlgebra.TensorCategory
parallelConnectionMath.Combinatorics.Matroid
parityMath.Algebra.Group.PermutationGroup
ParT 
1 (Data Constructor)Math.QuantumAlgebra.Tangle
2 (Data Constructor)Math.QuantumAlgebra.OrientedTangle
partialMatchingsMath.Combinatorics.Matroid
partitionsMath.Combinatorics.Poset
PBTMath.Combinatorics.CombinatorialHopfAlgebra
permsMath.Combinatorics.Digraph
PermutationMath.Algebra.Group.PermutationGroup
permutationMatrixMath.Algebra.Group.PermutationGroup
petersenMath.Combinatorics.Graph
petersen2Math.Combinatorics.Graph
pfactorsMath.NumberTheory.Factor
pfactorsToMath.NumberTheory.Factor
pgMath.Combinatorics.Design
pg2Math.Combinatorics.Design
phiMath.Projects.MiniquaternionGeometry
phi'Math.Projects.MiniquaternionGeometry
picksMath.Core.Utils
Plus 
1 (Data Constructor)Math.QuantumAlgebra.Tangle
2 (Data Constructor)Math.QuantumAlgebra.OrientedTangle
pnfMath.Combinatorics.FiniteGeometry
poincarePolyMath.Projects.RootSystem
pointResidualMath.Combinatorics.Design
pointsMath.Combinatorics.Design
PolynomialAsTypeMath.Algebra.Field.Extension
polysMath.Algebra.Field.Extension
Poset 
1 (Type/Class)Math.Combinatorics.Poset
2 (Data Constructor)Math.Combinatorics.Poset
posetMath.Combinatorics.Poset
posetBMath.Combinatorics.Poset
posetDMath.Combinatorics.Poset
posetIPMath.Combinatorics.Poset
posetLMath.Combinatorics.Poset
posetPMath.Combinatorics.Poset
powers 
1 (Function)Math.Core.Field
2 (Function)Math.Algebra.Field.Base
3 (Function)Math.Algebras.NonCommutative
4 (Function)Math.Algebras.Commutative
powerset 
1 (Function)Math.Combinatorics.Graph
2 (Function)Math.Combinatorics.Poset
powersetbfsMath.Core.Utils
powersetdfsMath.Core.Utils
ppfactorsMath.NumberTheory.Factor
ppfactorsToMath.NumberTheory.Factor
predecessorsMath.Combinatorics.Digraph
prefixMath.Combinatorics.CombinatorialHopfAlgebra
prevPrimeMath.NumberTheory.Prime, Math.NumberTheory.Factor
primesMath.NumberTheory.Prime, Math.NumberTheory.Factor
primitiveEltMath.Algebra.Field.Base
prismMath.Combinatorics.Graph
prism'Math.Combinatorics.Graph
prodfMath.Algebras.TensorProduct
productIMath.CommutativeAlgebra.GroebnerBasis
projectTCMath.Algebras.TensorAlgebra
prop_AssociativeMath.Combinatorics.CombinatorialHopfAlgebra
psiMath.Projects.MiniquaternionGeometry
psi2Math.Projects.MiniquaternionGeometry
ptsAGMath.Combinatorics.FiniteGeometry
ptsPGMath.Combinatorics.FiniteGeometry
ptsPG2Math.Projects.MiniquaternionGeometry
ptStab 
1 (Function)Math.Algebra.Group.PermutationGroup
2 (Function)Math.Algebra.Group.Subquotients
pvalueMath.Algebra.Field.Extension
Q 
1 (Type/Class)Math.Core.Field
2 (Data Constructor)Math.Core.Field
3 (Type/Class)Math.Algebra.Field.Base
4 (Data Constructor)Math.Algebra.Field.Base
q 
1 (Function)Math.Combinatorics.Graph
2 (Function)Math.Algebras.LaurentPoly
3 (Function)Math.Projects.KnotTheory.IwahoriHecke
q' 
1 (Function)Math.Combinatorics.Graph
2 (Function)Math.Algebras.LaurentPoly
3 (Function)Math.Projects.KnotTheory.IwahoriHecke
QNFMath.NumberTheory.QuadraticField
QNFBasisMath.NumberTheory.QuadraticField
qnomialMath.Combinatorics.FiniteGeometry
qnomialsMath.Combinatorics.FiniteGeometry
QSqrt2Math.Algebra.Field.Extension
QSqrt3Math.Algebra.Field.Extension
QSqrt5Math.Algebra.Field.Extension
QSqrt7Math.Algebra.Field.Extension
QSqrtMinus1Math.Algebra.Field.Extension
QSqrtMinus2Math.Algebra.Field.Extension
QSqrtMinus3Math.Algebra.Field.Extension
QSqrtMinus5Math.Algebra.Field.Extension
QSymF 
1 (Type/Class)Math.Combinatorics.CombinatorialHopfAlgebra
2 (Data Constructor)Math.Combinatorics.CombinatorialHopfAlgebra
qsymFMath.Combinatorics.CombinatorialHopfAlgebra
qsymFtoMMath.Combinatorics.CombinatorialHopfAlgebra
QSymM 
1 (Type/Class)Math.Combinatorics.CombinatorialHopfAlgebra
2 (Data Constructor)Math.Combinatorics.CombinatorialHopfAlgebra
qsymMMath.Combinatorics.CombinatorialHopfAlgebra
qsymMtoFMath.Combinatorics.CombinatorialHopfAlgebra
qsymPolyMath.Combinatorics.CombinatorialHopfAlgebra
qtorialMath.Combinatorics.FiniteGeometry
qtorialsMath.Combinatorics.FiniteGeometry
quasiShufflesMath.Combinatorics.CombinatorialHopfAlgebra
QuaternionMath.Algebras.Quaternions
quotientGpMath.Algebra.Group.PermutationGroup
quotientIMath.CommutativeAlgebra.GroebnerBasis
quotientPMath.CommutativeAlgebra.GroebnerBasis
quotRemLPMath.Projects.KnotTheory.LaurentMPoly
quotRemMP 
1 (Function)Math.CommutativeAlgebra.Polynomial
2 (Function)Math.Algebras.Commutative
quotRemNP 
1 (Function)Math.Algebras.NonCommutative
2 (Function)Math.Algebra.NonCommutative.NCPoly
quotRemUPMath.Algebra.Field.Extension
qvarMath.QuantumAlgebra.QuantumPlane
RMath.Combinatorics.Matroid
rMath.Projects.Rubik
rank 
1 (Function)Math.Algebra.LinearAlgebra
2 (Function)Math.Combinatorics.Matroid
rankfunMath.Combinatorics.Matroid
rankPolyMath.Combinatorics.Matroid
rankPoly1Math.Combinatorics.Matroid
reachabilityPosetMath.Combinatorics.Poset
reduce 
1 (Function)Math.CommutativeAlgebra.GroebnerBasis
2 (Function)Math.Algebra.NonCommutative.GSBasis
reducedRowEchelonFormMath.Algebra.LinearAlgebra
reduceGens 
1 (Function)Math.Algebra.Group.PermutationGroup
2 (Function)Math.Algebra.Group.SchreierSims
reduceGensBSGSMath.Algebra.Group.SchreierSims
reduceLPMath.Projects.KnotTheory.LaurentMPoly
refinementsMath.Combinatorics.CombinatorialHopfAlgebra
reflMath.Algebras.Quaternions
regularParamMath.Combinatorics.Graph
reifyMath.Algebras.TensorProduct
relaxationMath.Combinatorics.Matroid
remNP 
1 (Function)Math.Algebras.NonCommutative
2 (Function)Math.Algebra.NonCommutative.NCPoly
remNP2Math.Algebra.NonCommutative.NCPoly
removeTermMath.Algebras.VectorSpace
representationsMath.Combinatorics.Matroid
representations1Math.Combinatorics.Matroid
representations2Math.Combinatorics.Matroid
reprSO3Math.Algebras.Quaternions
reprSO3'Math.Algebras.Quaternions
reprSO4Math.Algebras.Quaternions
reprSO4'Math.Algebras.Quaternions
reprSO4dMath.Algebras.Quaternions
restriction 
1 (Function)Math.Combinatorics.Graph
2 (Function)Math.Combinatorics.Matroid
restriction1Math.Combinatorics.Matroid
restrictLeftMath.Algebra.Group.Subquotients
rewrite 
1 (Function)Math.Algebra.Group.StringRewriting
2 (Function)Math.CommutativeAlgebra.Polynomial
3 (Function)Math.QuantumAlgebra.TensorCategory
rewrite1Math.Algebra.Group.StringRewriting
rightLinesPG2Math.Projects.MiniquaternionGeometry
rootSystemMath.Projects.RootSystem
rotateLMath.Algebra.Group.PermutationGroup
rowEchelonFormMath.Algebra.LinearAlgebra
rrefsMath.Combinatorics.FiniteGeometry
rrprMath.Algebra.Group.PermutationGroup
rrpr'Math.Algebra.Group.PermutationGroup
rssMath.Algebra.Group.RandomSchreierSims
rss'Math.Algebra.Group.RandomSchreierSims
rubikCubeMath.Projects.Rubik
runitMath.QuantumAlgebra.TensorCategory
S 
1 (Data Constructor)Math.Algebra.Group.StringRewriting
2 (Data Constructor)Math.Projects.KnotTheory.Braid
sMath.Projects.ChevalleyGroup.Classical
s1 
1 (Function)Math.Algebra.Group.StringRewriting
2 (Function)Math.Projects.KnotTheory.Braid
s2 
1 (Function)Math.Algebra.Group.StringRewriting
2 (Function)Math.Projects.ChevalleyGroup.Classical
3 (Function)Math.Projects.KnotTheory.Braid
s3 
1 (Function)Math.Algebra.Group.StringRewriting
2 (Function)Math.Projects.KnotTheory.Braid
s4Math.Projects.KnotTheory.Braid
sameMath.Combinatorics.Hypergraph
SCMath.Algebras.Structures
scalarPartMath.Algebras.Quaternions
schlafliMath.Combinatorics.StronglyRegularGraph
schlafli'Math.Combinatorics.StronglyRegularGraph
schreierGeneratorsGxMath.Algebra.Group.SchreierSims
SeqMath.QuantumAlgebra.TensorCategory
SeqT 
1 (Data Constructor)Math.QuantumAlgebra.Tangle
2 (Data Constructor)Math.QuantumAlgebra.OrientedTangle
seriesConnectionMath.Combinatorics.Matroid
setMath.Combinatorics.Graph
SetCoalgebraMath.Algebras.Structures
setDiagMath.Projects.RootSystem
setStabMath.Algebra.Group.PermutationGroup
setUnionAscMath.Core.Utils
setUnionDescMath.Core.Utils
SGenMath.Algebra.Group.StringRewriting
sgs 
1 (Function)Math.Algebra.Group.SchreierSims
2 (Function)Math.Algebra.Group.RandomSchreierSims
ShMath.Combinatorics.CombinatorialHopfAlgebra
shMath.Combinatorics.CombinatorialHopfAlgebra
shapeMath.Combinatorics.CombinatorialHopfAlgebra
shapeSignatureMath.Combinatorics.CombinatorialHopfAlgebra
shiftedConcatMath.Combinatorics.CombinatorialHopfAlgebra
shortlex 
1 (Function)Math.Algebra.Group.StringRewriting
2 (Function)Math.Combinatorics.Matroid
showUPMath.Algebra.Field.Extension
ShuffleMath.Combinatorics.CombinatorialHopfAlgebra
shufflesMath.Combinatorics.CombinatorialHopfAlgebra
siftMath.Algebra.Group.SchreierSims
signMath.Algebra.Group.PermutationGroup
signedSortMath.Algebras.TensorAlgebra
simpleFromGeoRepMath.Combinatorics.Matroid
simpleSystemMath.Projects.RootSystem
sizeMath.Combinatorics.Graph
slMath.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
sl2qMath.QuantumAlgebra.QuantumPlane
sl2VarMath.Algebras.AffinePlane
smultLMath.Algebras.VectorSpace
smultRMath.Algebras.VectorSpace
solveLinearSystemMath.Algebra.LinearAlgebra
sortDescMath.Core.Utils
sourceMath.QuantumAlgebra.TensorCategory
spMath.Combinatorics.StronglyRegularGraph
sp2 
1 (Function)Math.Combinatorics.StronglyRegularGraph
2 (Function)Math.Projects.ChevalleyGroup.Classical
splitsMath.Combinatorics.CombinatorialHopfAlgebra
splitSubstringMath.Algebra.Group.StringRewriting
sPoly 
1 (Function)Math.CommutativeAlgebra.GroebnerBasis
2 (Function)Math.Algebra.NonCommutative.GSBasis
sqnorm 
1 (Function)Math.Algebras.Quaternions
2 (Function)Math.Projects.ChevalleyGroup.Exceptional
Sqrt 
1 (Type/Class)Math.Algebra.Field.Extension
2 (Data Constructor)Math.Algebra.Field.Extension
3 (Data Constructor)Math.NumberTheory.QuadraticField
sqrtMath.NumberTheory.QuadraticField
sqrt2 
1 (Function)Math.Algebra.Field.Extension
2 (Function)Math.NumberTheory.QuadraticField
sqrt3 
1 (Function)Math.Algebra.Field.Extension
2 (Function)Math.NumberTheory.QuadraticField
sqrt5 
1 (Function)Math.Algebra.Field.Extension
2 (Function)Math.NumberTheory.QuadraticField
sqrt6Math.NumberTheory.QuadraticField
sqrt7 
1 (Function)Math.Algebra.Field.Extension
2 (Function)Math.NumberTheory.QuadraticField
sqrtminus2Math.Algebra.Field.Extension
sqrtminus3Math.Algebra.Field.Extension
sqrtminus5Math.Algebra.Field.Extension
sqrtvarMath.Projects.KnotTheory.LaurentMPoly
squaresF9Math.Projects.MiniquaternionGeometry
srgParamsMath.Combinatorics.StronglyRegularGraph
srgParamsOAMath.Combinatorics.LatinSquares
ssMath.Algebra.Group.SchreierSims
ss'Math.Algebra.Group.SchreierSims
SSymF 
1 (Type/Class)Math.Combinatorics.CombinatorialHopfAlgebra
2 (Data Constructor)Math.Combinatorics.CombinatorialHopfAlgebra
ssymFMath.Combinatorics.CombinatorialHopfAlgebra
ssymFtoDualMath.Combinatorics.CombinatorialHopfAlgebra
ssymFtoMMath.Combinatorics.CombinatorialHopfAlgebra
SSymM 
1 (Type/Class)Math.Combinatorics.CombinatorialHopfAlgebra
2 (Data Constructor)Math.Combinatorics.CombinatorialHopfAlgebra
ssymMMath.Combinatorics.CombinatorialHopfAlgebra
ssymMtoFMath.Combinatorics.CombinatorialHopfAlgebra
stabilizerMath.Algebra.Group.PermutationGroup
StarMath.Combinatorics.FiniteGeometry
starSubstitutionsVMath.Combinatorics.Matroid
StrictMonoidalMath.QuantumAlgebra.TensorCategory
subgpActionMath.Algebra.Group.PermutationGroup
subgpsMath.Algebra.Group.PermutationGroup
subposetMath.Combinatorics.Poset
subsetDesignMath.Combinatorics.Design
subspacesMath.Combinatorics.Poset
subst 
1 (Function)Math.CommutativeAlgebra.Polynomial
2 (Function)Math.Algebra.NonCommutative.NCPoly
3 (Function)Math.Projects.KnotTheory.LaurentMPoly
substStarsMath.Combinatorics.Matroid
successorsMath.Combinatorics.Digraph
sugarMath.CommutativeAlgebra.GroebnerBasis
sumfMath.Algebras.VectorSpace
sumIMath.CommutativeAlgebra.GroebnerBasis
sumvMath.Algebras.VectorSpace
suppMath.Algebra.Group.PermutationGroup
switchMath.Combinatorics.StronglyRegularGraph
SymMath.Algebras.TensorAlgebra
symDiffMath.Common.ListSet
SymE 
1 (Type/Class)Math.Combinatorics.CombinatorialHopfAlgebra
2 (Data Constructor)Math.Combinatorics.CombinatorialHopfAlgebra
symEMath.Combinatorics.CombinatorialHopfAlgebra
symEtoMMath.Combinatorics.CombinatorialHopfAlgebra
SymH 
1 (Type/Class)Math.Combinatorics.CombinatorialHopfAlgebra
2 (Data Constructor)Math.Combinatorics.CombinatorialHopfAlgebra
symHMath.Combinatorics.CombinatorialHopfAlgebra
symHtoMMath.Combinatorics.CombinatorialHopfAlgebra
SymM 
1 (Type/Class)Math.Combinatorics.CombinatorialHopfAlgebra
2 (Data Constructor)Math.Combinatorics.CombinatorialHopfAlgebra
symMMath.Combinatorics.CombinatorialHopfAlgebra
SymmetricMath.QuantumAlgebra.TensorCategory
SymmetricAlgebraMath.Algebras.TensorAlgebra
symmetricBasisMath.Algebra.NonCommutative.TensorAlgebra
symMultMath.Combinatorics.CombinatorialHopfAlgebra
symnfMath.Algebra.NonCommutative.TensorAlgebra
symRelationsMath.Algebra.NonCommutative.TensorAlgebra
symToQSymMMath.Combinatorics.CombinatorialHopfAlgebra
synthemesMath.Combinatorics.Hypergraph
s_ 
1 (Function)Math.Algebra.Group.StringRewriting
2 (Function)Math.Projects.KnotTheory.Braid
s_3_6_22Math.Combinatorics.Design
s_4_5_11Math.Combinatorics.Design
s_4_7_23Math.Combinatorics.Design
s_5_6_12Math.Combinatorics.Design
s_5_8_24Math.Combinatorics.Design
s_5_8_24'Math.Combinatorics.Design
T 
1 (Data Constructor)Math.Combinatorics.CombinatorialHopfAlgebra
2 (Data Constructor)Math.Projects.KnotTheory.IwahoriHecke
t 
1 (Function)Math.Combinatorics.StronglyRegularGraph
2 (Function)Math.Projects.KnotTheory.LaurentMPoly
3 (Function)Math.QuantumAlgebra.TensorCategory
t' 
1 (Function)Math.Combinatorics.StronglyRegularGraph
2 (Function)Math.QuantumAlgebra.TensorCategory
t1Math.Projects.KnotTheory.IwahoriHecke
T11Math.Common.IntegerAsType
T13Math.Common.IntegerAsType
T17Math.Common.IntegerAsType
T19Math.Common.IntegerAsType
T2Math.Common.IntegerAsType
t2Math.Projects.KnotTheory.IwahoriHecke
T23Math.Common.IntegerAsType
T29Math.Common.IntegerAsType
T3Math.Common.IntegerAsType
t3Math.Projects.KnotTheory.IwahoriHecke
T31Math.Common.IntegerAsType
T37Math.Common.IntegerAsType
t4Math.Projects.KnotTheory.IwahoriHecke
T41Math.Common.IntegerAsType
T43Math.Common.IntegerAsType
T47Math.Common.IntegerAsType
T5Math.Common.IntegerAsType
T53Math.Common.IntegerAsType
T59Math.Common.IntegerAsType
T61Math.Common.IntegerAsType
T67Math.Common.IntegerAsType
T7Math.Common.IntegerAsType
T71Math.Common.IntegerAsType
T73Math.Common.IntegerAsType
T79Math.Common.IntegerAsType
T83Math.Common.IntegerAsType
T89Math.Common.IntegerAsType
T97Math.Common.IntegerAsType
TAMath.Algebras.TensorAlgebra
tamariCoversMath.Combinatorics.CombinatorialHopfAlgebra
tamariOrderMath.Combinatorics.CombinatorialHopfAlgebra
tamariUpSetMath.Combinatorics.CombinatorialHopfAlgebra
TangleMath.QuantumAlgebra.Tangle
TangleRepMath.QuantumAlgebra.Tangle
tarMath.QuantumAlgebra.TensorCategory
targetMath.QuantumAlgebra.TensorCategory
tauMath.Projects.KnotTheory.IwahoriHecke
tau'Math.Projects.KnotTheory.IwahoriHecke
TCMath.Algebras.TensorAlgebra
tDesignParamsMath.Combinatorics.Design
tdivMath.CommutativeAlgebra.Polynomial
tdividesMath.CommutativeAlgebra.Polynomial
teMath.Algebras.TensorProduct
TemperleyLiebGensMath.Projects.KnotTheory.TemperleyLieb
TensorMath.Algebras.TensorProduct
TensorAlgebraMath.Algebras.TensorAlgebra
tensorBasisMath.Algebra.NonCommutative.TensorAlgebra
TensorCoalgebraMath.Algebras.TensorAlgebra
termsMath.Algebras.VectorSpace
testcc'Math.QuantumAlgebra.OrientedTangle
testProdReplMath.Algebra.Group.RandomSchreierSims
tetrahedronMath.Combinatorics.Graph
tfMath.Algebras.TensorProduct
tgcdMath.CommutativeAlgebra.Polynomial
tgsFromSgsMath.Algebra.Group.PermutationGroup
tlBasisMath.Projects.KnotTheory.TemperleyLieb
tlnfMath.Projects.KnotTheory.TemperleyLieb
tlRelationsMath.Projects.KnotTheory.TemperleyLieb
tminusMath.QuantumAlgebra.OrientedTangle
TMinus1Math.Common.IntegerAsType
tmultMath.CommutativeAlgebra.Polynomial
to1n 
1 (Function)Math.Combinatorics.Graph
2 (Function)Math.Combinatorics.Matroid
3 (Function)Math.Combinatorics.Design
tobMath.QuantumAlgebra.TensorCategory
toCyclesMath.Algebra.Group.PermutationGroup
toDesignMath.Combinatorics.Design
toEBMath.Algebras.Matrix
toEB2Math.Algebras.Matrix
toElimFstMath.CommutativeAlgebra.GroebnerBasis
toElimSndMath.CommutativeAlgebra.GroebnerBasis
toExtMath.Algebras.TensorAlgebra
toGraphMath.Combinatorics.Graph
toHypergraphMath.Combinatorics.Hypergraph
toIsoClassesMath.Combinatorics.IncidenceAlgebra
toIsoClasses'Math.Combinatorics.IncidenceAlgebra
ToLMath.QuantumAlgebra.OrientedTangle
toListMath.Projects.ChevalleyGroup.Exceptional
toListSetMath.Common.ListSet
toMat2Math.Algebras.Matrix
toMonic 
1 (Function)Math.CommutativeAlgebra.Polynomial
2 (Function)Math.Algebra.NonCommutative.NCPoly
TOneMath.Common.IntegerAsType
toPairsMath.Algebra.Group.PermutationGroup
ToRMath.QuantumAlgebra.OrientedTangle
toSetMath.Core.Utils
toShortlexMath.Combinatorics.Matroid
toSnMath.Algebra.Group.PermutationGroup
toSymMath.Algebras.TensorAlgebra
toTransMath.Algebra.Group.CayleyGraph
toTranspositionsMath.Algebra.Group.CayleyGraph
toUPolyMath.Algebra.Field.Extension
tplusMath.QuantumAlgebra.OrientedTangle
trMath.Projects.KnotTheory.TemperleyLieb
tr'Math.Projects.KnotTheory.TemperleyLieb
transitiveConstituentHomomorphismMath.Algebra.Group.Subquotients
transitiveConstituentHomomorphism'Math.Algebra.Group.Subquotients
transversalGraphMath.Combinatorics.Matroid
transversalMatroidMath.Combinatorics.Matroid
treesMath.Combinatorics.CombinatorialHopfAlgebra
trefoilTMath.QuantumAlgebra.Tangle
triMath.Algebra.Group.StringRewriting
TrieSetMath.Combinatorics.Matroid
triplesMath.Combinatorics.StronglyRegularGraph
TrivialMath.Algebras.VectorSpace
TSMath.Combinatorics.Matroid
tsemptyMath.Combinatorics.Matroid
tsfromlistMath.Combinatorics.Matroid
tsinsertMath.Combinatorics.Matroid
tsmemberMath.Combinatorics.Matroid
tsshowMath.Combinatorics.Matroid
tssubmemberMath.Combinatorics.Matroid
tstolistMath.Combinatorics.Matroid
tunitMath.QuantumAlgebra.TensorCategory
tutteCoxeterGraphMath.Combinatorics.Hypergraph
twist 
1 (Function)Math.Algebras.TensorProduct
2 (Function)Math.QuantumAlgebra.TensorCategory
twoSumMath.Combinatorics.Matroid
TypeMath.Projects.RootSystem
TZeroMath.Common.IntegerAsType
t_Math.Projects.KnotTheory.IwahoriHecke
u 
1 (Function)Math.Combinatorics.Matroid
2 (Function)Math.Projects.Rubik
3 (Function)Math.QuantumAlgebra.QuantumPlane
udMath.Projects.Rubik
under 
1 (Function)Math.Combinatorics.CombinatorialHopfAlgebra
2 (Function)Math.QuantumAlgebra.Tangle
underCompositionMath.Combinatorics.CombinatorialHopfAlgebra
underDecompositionMath.Combinatorics.CombinatorialHopfAlgebra
UnderTMath.QuantumAlgebra.Tangle
undistrLMath.Algebras.TensorProduct
undistrRMath.Algebras.TensorProduct
uniformMatroidMath.Combinatorics.Matroid
unionMath.Common.ListSet
uniqueMath.Combinatorics.Matroid
UnitMath.QuantumAlgebra.TensorCategory
unitMath.Algebras.Structures
unit'Math.Algebras.Structures
unitIAMath.Combinatorics.IncidenceAlgebra
unitImagOctonionsMath.Projects.ChevalleyGroup.Exceptional
unitInLMath.Algebras.TensorProduct
unitInRMath.Algebras.TensorProduct
unitOutLMath.Algebras.TensorProduct
unitOutRMath.Algebras.TensorProduct
unRightMath.Algebra.Group.Subquotients
unwrapMath.Algebras.VectorSpace
UPMath.Algebra.Field.Extension
updateArrayMath.Algebra.Group.RandomSchreierSims
updateLevelsMath.Algebra.Group.RandomSchreierSims
updateLevels'Math.Algebra.Group.RandomSchreierSims
UPolyMath.Algebra.Field.Extension
VMath.Algebras.VectorSpace
vMath.QuantumAlgebra.QuantumPlane
v8Math.Combinatorics.Matroid
valenciesMath.Combinatorics.Graph
valencyMath.Combinatorics.Graph
valencyPartitionMath.Combinatorics.Graph
valueMath.Common.IntegerAsType
vamosMatroidMath.Combinatorics.Matroid
vamosMatroid1Math.Combinatorics.Matroid
VarMath.Algebra.NonCommutative.NCPoly
var 
1 (Function)Math.CommutativeAlgebra.Polynomial
2 (Function)Math.Algebras.NonCommutative
3 (Function)Math.Algebras.Commutative
4 (Function)Math.Algebra.NonCommutative.NCPoly
5 (Function)Math.Projects.KnotTheory.LaurentMPoly
varsMath.CommutativeAlgebra.Polynomial
Vect 
1 (Type/Class)Math.Algebras.VectorSpace
2 (Type/Class)Math.QuantumAlgebra.TensorCategory
VectArMath.QuantumAlgebra.TensorCategory
VectObMath.QuantumAlgebra.TensorCategory
vectorMatroidMath.Combinatorics.Matroid
vectorMatroid'Math.Combinatorics.Matroid
vectorPartMath.Algebras.Quaternions
vertices 
1 (Function)Math.Combinatorics.Digraph
2 (Function)Math.Combinatorics.Graph
w 
1 (Function)Math.Projects.MiniquaternionGeometry
2 (Function)Math.Projects.RootSystem
w4Math.Combinatorics.Matroid
w4'Math.Combinatorics.Matroid
WeakMonoidalMath.QuantumAlgebra.TensorCategory
weakOrderMath.Combinatorics.CombinatorialHopfAlgebra
weylBasisMath.Algebra.NonCommutative.TensorAlgebra
weylBasis'Math.Algebra.NonCommutative.TensorAlgebra
WeylGensMath.Algebra.NonCommutative.TensorAlgebra
weylMatricesMath.Projects.RootSystem
weylnfMath.Algebra.NonCommutative.TensorAlgebra
weylnf'Math.Algebra.NonCommutative.TensorAlgebra
weylPermsMath.Projects.RootSystem
weylRelationsMath.Algebra.NonCommutative.TensorAlgebra
weylRelations'Math.Algebra.NonCommutative.TensorAlgebra
wheelGraphMath.Combinatorics.Matroid
whitney1stMath.Combinatorics.Matroid
whitney2ndMath.Combinatorics.Matroid
wMxMath.Projects.RootSystem
wrMath.Algebra.Group.PermutationGroup
wrapMath.Algebras.VectorSpace
writheMath.Projects.KnotTheory.Braid
X 
1 (Data Constructor)Math.Algebras.AffinePlane
2 (Data Constructor)Math.Algebra.NonCommutative.NCPoly
3 (Data Constructor)Math.Algebra.NonCommutative.TensorAlgebra
4 (Data Constructor)Math.NumberTheory.QuadraticField
x 
1 (Function)Math.Combinatorics.Matroid
2 (Function)Math.Algebras.AffinePlane
3 (Function)Math.Algebra.NonCommutative.NCPoly
4 (Function)Math.Algebra.Field.Extension
5 (Function)Math.Projects.KnotTheory.LaurentMPoly
6 (Function)Math.QuantumAlgebra.QuantumPlane
x1Math.Algebra.NonCommutative.TensorAlgebra
x2Math.Algebra.NonCommutative.TensorAlgebra
x3Math.Algebra.NonCommutative.TensorAlgebra
XMinusMath.QuantumAlgebra.OrientedTangle
xminusMath.QuantumAlgebra.OrientedTangle
XPlusMath.QuantumAlgebra.OrientedTangle
xplusMath.QuantumAlgebra.OrientedTangle
XVarMath.NumberTheory.QuadraticField
XYMath.Algebras.AffinePlane
x_Math.Algebra.NonCommutative.TensorAlgebra
Y 
1 (Data Constructor)Math.Algebras.AffinePlane
2 (Data Constructor)Math.Algebra.NonCommutative.NCPoly
y 
1 (Function)Math.Combinatorics.Matroid
2 (Function)Math.Algebras.AffinePlane
3 (Function)Math.Algebra.NonCommutative.NCPoly
4 (Function)Math.Projects.KnotTheory.LaurentMPoly
5 (Function)Math.QuantumAlgebra.QuantumPlane
ybMath.QuantumAlgebra.QuantumPlane
yminusMath.QuantumAlgebra.OrientedTangle
yplusMath.QuantumAlgebra.OrientedTangle
YSymF 
1 (Type/Class)Math.Combinatorics.CombinatorialHopfAlgebra
2 (Data Constructor)Math.Combinatorics.CombinatorialHopfAlgebra
ysymFMath.Combinatorics.CombinatorialHopfAlgebra
ysymFtoMMath.Combinatorics.CombinatorialHopfAlgebra
YSymM 
1 (Type/Class)Math.Combinatorics.CombinatorialHopfAlgebra
2 (Data Constructor)Math.Combinatorics.CombinatorialHopfAlgebra
ysymMMath.Combinatorics.CombinatorialHopfAlgebra
ysymMtoFMath.Combinatorics.CombinatorialHopfAlgebra
ysymmToShMath.Combinatorics.CombinatorialHopfAlgebra
ZMath.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
ZeroMath.Combinatorics.FiniteGeometry
zerofMath.Algebras.VectorSpace
ZeroOneStarMath.Combinatorics.FiniteGeometry
zerovMath.Algebras.VectorSpace
zetaMath.Combinatorics.CombinatorialHopfAlgebra
zetaIAMath.Combinatorics.IncidenceAlgebra
zminusMath.QuantumAlgebra.OrientedTangle
zMxMath.Algebra.LinearAlgebra
zplusMath.QuantumAlgebra.OrientedTangle
\\Math.Common.ListSet
\\\Math.Combinatorics.Matroid
^- 
1 (Function)Math.Core.Utils
2 (Function)Math.Algebras.Quaternions
3 (Function)Math.Algebra.NonCommutative.NCPoly
^^^Math.Projects.KnotTheory.LaurentMPoly
_AMath.Algebra.Group.PermutationGroup
_BMath.Projects.Rubik
_bMath.Projects.Rubik
_CMath.Algebra.Group.PermutationGroup
_D 
1 (Function)Math.Algebra.Group.StringRewriting
2 (Function)Math.Algebra.Group.PermutationGroup
3 (Function)Math.Projects.Rubik
_dMath.Projects.Rubik
_D2Math.Algebra.Group.PermutationGroup
_FMath.Projects.Rubik
_fMath.Projects.Rubik
_HSMath.Combinatorics.StronglyRegularGraph
_HS2Math.Combinatorics.StronglyRegularGraph
_LMath.Projects.Rubik
_lMath.Projects.Rubik
_McLMath.Combinatorics.StronglyRegularGraph
_McL2Math.Combinatorics.StronglyRegularGraph
_RMath.Projects.Rubik
_rMath.Projects.Rubik
_S 
1 (Function)Math.Algebra.Group.StringRewriting
2 (Function)Math.Algebra.Group.PermutationGroup
_S'Math.Algebra.Group.StringRewriting
_UMath.Projects.Rubik
_uMath.Projects.Rubik
~^Math.Algebra.Group.PermutationGroup
~^^Math.Algebra.Group.PermutationGroup
~~^Math.Algebra.Group.PermutationGroup