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

Index

! 
1 (Function)Math.CommutativeAlgebra.GroebnerBasis
2 (Function)Math.Algebra.LinearAlgebra
%% 
1 (Function)Math.Algebra.NonCommutative.NCPoly
2 (Function)Math.Algebras.Commutative
3 (Function)Math.Algebras.NonCommutative
4 (Function)Math.CommutativeAlgebra.Polynomial
%^Math.Projects.ChevalleyGroup.Exceptional
*-Math.Algebra.Group.PermutationGroup
*->Math.CommutativeAlgebra.Polynomial
*.Math.Algebras.Structures
*> 
1 (Function)Math.Algebras.VectorSpace
2 (Function)Math.Algebra.LinearAlgebra
*>>Math.Algebra.LinearAlgebra
+-+Math.Projects.RootSystem
+^Math.Combinatorics.StronglyRegularGraph
+^^Math.Combinatorics.StronglyRegularGraph
+|+Math.Projects.RootSystem
-*Math.Algebra.Group.PermutationGroup
-*-Math.Algebra.Group.PermutationGroup
->^Math.Combinatorics.GraphAuts
-^Math.Algebra.Group.PermutationGroup
-^^Math.Algebra.Group.PermutationGroup
.^Math.Algebra.Group.PermutationGroup
.^^Math.Algebra.Group.PermutationGroup
//Math.Algebra.Group.PermutationGroup
///Math.Combinatorics.Matroid
/>Math.Algebra.Field.Extension
<* 
1 (Function)Math.Algebras.VectorSpace
2 (Function)Math.Projects.MiniquaternionGeometry
<*> 
1 (Function)Math.Algebra.Field.Extension
2 (Function)Math.Algebra.LinearAlgebra
<*>>Math.Algebra.LinearAlgebra
<+> 
1 (Function)Math.Algebras.VectorSpace
2 (Function)Math.Algebra.Field.Extension
3 (Function)Math.Algebra.LinearAlgebra
<-> 
1 (Function)Math.Algebras.VectorSpace
2 (Function)Math.Algebra.LinearAlgebra
<.> 
1 (Function)Math.Algebras.Quaternions
2 (Function)Math.Algebra.LinearAlgebra
<<*>Math.Algebra.LinearAlgebra
<<*>>Math.Algebra.LinearAlgebra
<<+>> 
1 (Function)Math.Algebras.VectorSpace
2 (Function)Math.Algebra.LinearAlgebra
<<->>Math.Algebra.LinearAlgebra
>>>Math.QuantumAlgebra.TensorCategory
A 
1 (Data Constructor)Math.Algebras.AffinePlane
2 (Data Constructor)Math.Projects.RootSystem
a 
1 (Function)Math.Algebras.AffinePlane
2 (Function)Math.Projects.KnotTheory.TemperleyLieb
3 (Function)Math.QuantumAlgebra.QuantumPlane
a'Math.Projects.KnotTheory.TemperleyLieb
a16 
1 (Function)Math.Algebra.Field.Extension
2 (Function)Math.Core.Field
a25 
1 (Function)Math.Algebra.Field.Extension
2 (Function)Math.Core.Field
a27Math.Algebra.Field.Extension
a32Math.Algebra.Field.Extension
a4 
1 (Function)Math.Algebra.Field.Extension
2 (Function)Math.Core.Field
a8 
1 (Function)Math.Algebra.Field.Extension
2 (Function)Math.Core.Field
a9 
1 (Function)Math.Algebra.Field.Extension
2 (Function)Math.Core.Field
ABMath.QuantumAlgebra.TensorCategory
ABCDMath.Algebras.AffinePlane
action 
1 (Function)Math.Algebras.Structures
2 (Function)Math.Algebra.Group.PermutationGroup
addMath.Algebras.VectorSpace
addmergeMath.Algebras.VectorSpace
adjacencyMatrixMath.Combinatorics.Graph
adjLists 
1 (Function)Math.Combinatorics.Digraph
2 (Function)Math.Combinatorics.GraphAuts
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
ASMath.QuantumAlgebra.TensorCategory
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.QuantumAlgebra.QuantumPlane
3 (Function)Math.Projects.Rubik
4 (Function)Math.Projects.ChevalleyGroup.Classical
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.Algebras.Commutative
2 (Function)Math.Algebras.NonCommutative
3 (Function)Math.CommutativeAlgebra.Polynomial
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
BraidGensMath.Projects.KnotTheory.Braid
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.Algebras.AffinePlane
2 (Function)Math.QuantumAlgebra.QuantumPlane
3 (Function)Math.Combinatorics.Graph
4 (Function)Math.QuantumAlgebra.OrientedTangle
c'Math.QuantumAlgebra.OrientedTangle
capMath.QuantumAlgebra.Tangle
capLRMath.QuantumAlgebra.OrientedTangle
capRLMath.QuantumAlgebra.OrientedTangle
CapT 
1 (Data Constructor)Math.QuantumAlgebra.OrientedTangle
2 (Data Constructor)Math.QuantumAlgebra.Tangle
cartanMatrixMath.Projects.RootSystem
cartProdMath.Algebra.Group.SchreierSims
CategoryMath.QuantumAlgebra.TensorCategory
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
Cob2Math.QuantumAlgebra.TensorCategory
cobindTCMath.Algebras.TensorAlgebra
cocircuitsMath.Combinatorics.Matroid
coeffMath.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
comm 
1 (Function)Math.Algebra.NonCommutative.TensorAlgebra
2 (Function)Math.Algebra.Group.PermutationGroup
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
ComultMath.QuantumAlgebra.TensorCategory
comultMath.Algebras.Structures
concurrentMath.Projects.MiniquaternionGeometry
conj 
1 (Function)Math.Algebras.Quaternions
2 (Function)Math.Projects.MiniquaternionGeometry
3 (Function)Math.Projects.ChevalleyGroup.Exceptional
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.OrientedTangle
2 (Data Constructor)Math.QuantumAlgebra.Tangle
cycleMatroidMath.Combinatorics.Matroid
cycleMatroid'Math.Combinatorics.Matroid
cycleOfMath.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.Algebras.AffinePlane
2 (Function)Math.Projects.KnotTheory.TemperleyLieb
3 (Function)Math.QuantumAlgebra.QuantumPlane
4 (Function)Math.Projects.Rubik
5 (Function)Math.Projects.ChevalleyGroup.Classical
d'Math.Projects.KnotTheory.TemperleyLieb
d1Math.Algebra.NonCommutative.TensorAlgebra
d2Math.Algebra.NonCommutative.TensorAlgebra
d3Math.Algebra.NonCommutative.TensorAlgebra
dagIsosMath.Combinatorics.Digraph
deg 
1 (Function)Math.Algebra.Field.Extension
2 (Function)Math.CommutativeAlgebra.Polynomial
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.Algebra.Field.Base
2 (Function)Math.Core.Field
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
DesignMath.Combinatorics.Design
designMath.Combinatorics.Design
designAutsMath.Combinatorics.Design
designAuts1Math.Combinatorics.Design
designParamsMath.Combinatorics.Design
DesignVertexMath.Combinatorics.StronglyRegularGraph
detMath.Algebra.LinearAlgebra
detqMath.QuantumAlgebra.QuantumPlane
dfsEquitableMath.Combinatorics.GraphAuts
DG 
1 (Data Constructor)Math.Combinatorics.Digraph
2 (Data Constructor)Math.Algebra.Group.CayleyGraph
diameterMath.Combinatorics.Graph
Digraph 
1 (Type/Class)Math.Combinatorics.Digraph
2 (Type/Class)Math.Algebra.Group.CayleyGraph
digraphIsos1Math.Combinatorics.Digraph
digraphIsos2Math.Combinatorics.Digraph
dim 
1 (Function)Math.Algebra.NonCommutative.TensorAlgebra
2 (Function)Math.CommutativeAlgebra.GroebnerBasis
dim'Math.CommutativeAlgebra.GroebnerBasis
dimIHMath.Projects.KnotTheory.IwahoriHecke
dimTLMath.Projects.KnotTheory.TemperleyLieb
disjointMath.Common.ListSet
distanceMath.Combinatorics.Graph
distancePartitionMath.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.Commutative
2 (Type/Class)Math.Algebras.NonCommutative
divisorsMath.Combinatorics.Poset
divLMMath.Projects.KnotTheory.LaurentMPoly
divM 
1 (Function)Math.Algebra.NonCommutative.NCPoly
2 (Function)Math.Algebras.NonCommutative
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.Design
3 (Function)Math.Combinatorics.Poset
4 (Function)Math.Combinatorics.Matroid
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.Algebra.NonCommutative.TensorAlgebra
3 (Data Constructor)Math.Projects.KnotTheory.TemperleyLieb
4 (Data Constructor)Math.Projects.RootSystem
e 
1 (Function)Math.Algebras.VectorSpace
2 (Function)Math.Projects.MiniquaternionGeometry
e'Math.Algebras.VectorSpace
e1 
1 (Function)Math.Algebras.VectorSpace
2 (Function)Math.Algebra.NonCommutative.TensorAlgebra
3 (Function)Math.Projects.KnotTheory.TemperleyLieb
e1'Math.Algebras.VectorSpace
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
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
eqgraphMath.Combinatorics.GraphAuts
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.Algebra.Field.Extension
2 (Data Constructor)Math.Algebras.TensorAlgebra
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.Algebra.Field.Base
2 (Type/Class)Math.Core.Field
3 (Data Constructor)Math.Core.Field
f11 
1 (Function)Math.Algebra.Field.Base
2 (Function)Math.Core.Field
F13 
1 (Type/Class)Math.Algebra.Field.Base
2 (Type/Class)Math.Core.Field
3 (Data Constructor)Math.Core.Field
f13 
1 (Function)Math.Algebra.Field.Base
2 (Function)Math.Core.Field
F16 
1 (Type/Class)Math.Algebra.Field.Extension
2 (Type/Class)Math.Core.Field
3 (Data Constructor)Math.Core.Field
f16 
1 (Function)Math.Algebra.Field.Extension
2 (Function)Math.Core.Field
F17 
1 (Type/Class)Math.Algebra.Field.Base
2 (Type/Class)Math.Core.Field
3 (Data Constructor)Math.Core.Field
f17 
1 (Function)Math.Algebra.Field.Base
2 (Function)Math.Core.Field
F19 
1 (Type/Class)Math.Algebra.Field.Base
2 (Type/Class)Math.Core.Field
3 (Data Constructor)Math.Core.Field
f19 
1 (Function)Math.Algebra.Field.Base
2 (Function)Math.Core.Field
F2 
1 (Type/Class)Math.Algebra.Field.Base
2 (Type/Class)Math.Core.Field
3 (Data Constructor)Math.Core.Field
f2 
1 (Function)Math.Algebra.Field.Base
2 (Function)Math.Core.Field
F23 
1 (Type/Class)Math.Algebra.Field.Base
2 (Type/Class)Math.Core.Field
3 (Data Constructor)Math.Core.Field
f23 
1 (Function)Math.Algebra.Field.Base
2 (Function)Math.Core.Field
F25 
1 (Type/Class)Math.Algebra.Field.Extension
2 (Type/Class)Math.Core.Field
3 (Data Constructor)Math.Core.Field
f25 
1 (Function)Math.Algebra.Field.Extension
2 (Function)Math.Core.Field
F27Math.Algebra.Field.Extension
f27Math.Algebra.Field.Extension
F29Math.Algebra.Field.Base
f29Math.Algebra.Field.Base
F3 
1 (Type/Class)Math.Algebra.Field.Base
2 (Type/Class)Math.Core.Field
3 (Data Constructor)Math.Core.Field
f3 
1 (Function)Math.Algebra.Field.Base
2 (Function)Math.Core.Field
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.Algebra.Field.Extension
2 (Type/Class)Math.Core.Field
3 (Data Constructor)Math.Core.Field
f4 
1 (Function)Math.Algebra.Field.Extension
2 (Function)Math.Core.Field
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.Algebra.Field.Base
2 (Type/Class)Math.Core.Field
3 (Data Constructor)Math.Core.Field
f5 
1 (Function)Math.Algebra.Field.Base
2 (Function)Math.Core.Field
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.Algebra.Field.Base
2 (Type/Class)Math.Core.Field
3 (Data Constructor)Math.Core.Field
f7 
1 (Function)Math.Algebra.Field.Base
2 (Function)Math.Core.Field
3 (Function)Math.Combinatorics.Matroid
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.Algebra.Field.Extension
2 (Type/Class)Math.Core.Field
3 (Data Constructor)Math.Core.Field
f8 
1 (Function)Math.Algebra.Field.Extension
2 (Function)Math.Core.Field
F83Math.Algebra.Field.Base
f83Math.Algebra.Field.Base
F89Math.Algebra.Field.Base
f89Math.Algebra.Field.Base
F9 
1 (Type/Class)Math.Algebra.Field.Extension
2 (Type/Class)Math.Core.Field
3 (Data Constructor)Math.Core.Field
4 (Type/Class)Math.Projects.MiniquaternionGeometry
5 (Data Constructor)Math.Projects.MiniquaternionGeometry
f9 
1 (Function)Math.Algebra.Field.Extension
2 (Function)Math.Core.Field
3 (Function)Math.Projects.MiniquaternionGeometry
F97Math.Algebra.Field.Base
f97Math.Algebra.Field.Base
factorialMath.Projects.RootSystem
fanoPlane 
1 (Function)Math.Combinatorics.Design
2 (Function)Math.Combinatorics.Hypergraph
fcigMath.Combinatorics.Matroid
fcimMath.Combinatorics.Matroid
fcim'Math.Combinatorics.Matroid
findArcsMath.Combinatorics.GraphAuts
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
FinSetMath.Core.Utils
flatsMath.Combinatorics.Matroid
flats1Math.Combinatorics.Matroid
flatsAGMath.Combinatorics.FiniteGeometry
flatsDesignAGMath.Combinatorics.Design
flatsDesignPGMath.Combinatorics.Design
flatsPGMath.Combinatorics.FiniteGeometry
flipbindMath.CommutativeAlgebra.Polynomial
fmapExtMath.Algebras.TensorAlgebra
fmapExt'Math.Algebras.TensorAlgebra
fmapSymMath.Algebras.TensorAlgebra
fmapSym'Math.Algebras.TensorAlgebra
fmapTAMath.Algebras.TensorAlgebra
fmapTA'Math.Algebras.TensorAlgebra
fMatrixMath.Algebra.LinearAlgebra
fMatrix'Math.Algebra.LinearAlgebra
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.TemperleyLieb
2 (Function)Math.Projects.KnotTheory.IwahoriHecke
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.Algebra.NonCommutative.GSBasis
2 (Function)Math.CommutativeAlgebra.GroebnerBasis
gb'Math.Algebra.NonCommutative.GSBasis
gb1 
1 (Function)Math.Algebra.NonCommutative.GSBasis
2 (Function)Math.CommutativeAlgebra.GroebnerBasis
gb2 
1 (Function)Math.Algebra.NonCommutative.GSBasis
2 (Function)Math.CommutativeAlgebra.GroebnerBasis
gb2'Math.Algebra.NonCommutative.GSBasis
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 (Data Constructor)Math.Algebras.Commutative
2 (Type/Class)Math.CommutativeAlgebra.Polynomial
3 (Data Constructor)Math.CommutativeAlgebra.Polynomial
GlexMonomialMath.Algebras.Commutative
GlexPoly 
1 (Type/Class)Math.Algebras.Commutative
2 (Type/Class)Math.CommutativeAlgebra.Polynomial
glexVarMath.Algebras.Commutative
glexvarMath.CommutativeAlgebra.Polynomial
gpMath.Combinatorics.Graph
GraphMath.Combinatorics.Graph
graphMath.Combinatorics.Graph
graphAutsMath.Combinatorics.GraphAuts
graphAuts1Math.Combinatorics.GraphAuts
graphAuts2Math.Combinatorics.GraphAuts
graphAuts3Math.Combinatorics.GraphAuts
graphAuts4Math.Combinatorics.GraphAuts
graphAutsConMath.Combinatorics.GraphAuts
graphIsosMath.Combinatorics.GraphAuts
graphIsosConMath.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
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.Algebra.Field.Extension
2 (Function)Math.Projects.KnotTheory.IwahoriHecke
3 (Function)Math.Algebras.Quaternions
4 (Function)Math.Projects.MiniquaternionGeometry
i'Math.Algebras.Quaternions
i0 
1 (Function)Math.Algebras.Octonions
2 (Function)Math.Projects.ChevalleyGroup.Exceptional
i1 
1 (Function)Math.Algebras.TensorProduct
2 (Function)Math.Algebras.Octonions
3 (Function)Math.Projects.ChevalleyGroup.Exceptional
i2 
1 (Function)Math.Algebras.TensorProduct
2 (Function)Math.Algebras.Octonions
3 (Function)Math.Projects.ChevalleyGroup.Exceptional
i3 
1 (Function)Math.Algebras.Octonions
2 (Function)Math.Projects.ChevalleyGroup.Exceptional
i4 
1 (Function)Math.Algebras.Octonions
2 (Function)Math.Projects.ChevalleyGroup.Exceptional
i5 
1 (Function)Math.Algebras.Octonions
2 (Function)Math.Projects.ChevalleyGroup.Exceptional
i6 
1 (Function)Math.Algebras.Octonions
2 (Function)Math.Projects.ChevalleyGroup.Exceptional
icosahedronMath.Combinatorics.Graph
IdMath.QuantumAlgebra.TensorCategory
idMxMath.Algebra.LinearAlgebra
IdT 
1 (Data Constructor)Math.QuantumAlgebra.OrientedTangle
2 (Data Constructor)Math.QuantumAlgebra.Tangle
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
incidenceAutsConMath.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
incidenceIsosConMath.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
inSpanREMath.Algebra.LinearAlgebra
IntegerAsTypeMath.Common.IntegerAsType
intersectMath.Common.ListSet
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
inv 
1 (Function)Math.Algebra.NonCommutative.NCPoly
2 (Function)Math.Algebras.GroupAlgebra
inverse 
1 (Function)Math.Core.Utils
2 (Function)Math.Algebra.LinearAlgebra
inverse1Math.Algebra.LinearAlgebra
inverse2Math.Algebra.LinearAlgebra
inversionsMath.Algebra.Group.CayleyGraph
InvertibleMath.Algebra.NonCommutative.NCPoly
invIAMath.Combinatorics.IncidenceAlgebra
invIA'Math.Combinatorics.IncidenceAlgebra
invIA1Math.Combinatorics.IncidenceAlgebra
is2ArcTransitiveMath.Combinatorics.GraphAuts
is2DesignMath.Combinatorics.Design
is3ArcTransitiveMath.Combinatorics.GraphAuts
isAntisymmetricMath.Combinatorics.Poset
isArcTransitiveMath.Combinatorics.GraphAuts
isArcTransitive'Math.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
isIncidenceIsoMath.Combinatorics.GraphAuts
isIndependentMath.Combinatorics.Matroid
isIntervalMath.Combinatorics.Poset
isIntervalIsoMath.Combinatorics.IncidenceAlgebra
isIsoMath.Combinatorics.GraphAuts
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
isMillerRabinPrime'Math.NumberTheory.Prime
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
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
isSingletonMath.Combinatorics.GraphAuts
isSpanningMath.Combinatorics.Matroid
isSquareMath.Combinatorics.Design
isSRGMath.Combinatorics.StronglyRegularGraph
isStrongPseudoPrimeMath.NumberTheory.Prime
isStrongPseudoPrime'Math.NumberTheory.Prime
isStructureMath.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
isSubspaceMath.Combinatorics.Poset
isTernaryMath.Combinatorics.Matroid
isTransitive 
1 (Function)Math.Algebra.Group.Subquotients
2 (Function)Math.Combinatorics.Poset
isTrialDivisionPrimeMath.NumberTheory.Prime
isUniformMath.Combinatorics.Hypergraph
isUnitMath.Projects.ChevalleyGroup.Exceptional
isValidMath.Combinatorics.Design
isVertexTransitiveMath.Combinatorics.GraphAuts
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.KnotTheory.IwahoriHecke
2 (Function)Math.Projects.Rubik
3 (Function)Math.Projects.ChevalleyGroup.Classical
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.Algebra.NonCommutative.NCPoly
2 (Function)Math.Algebras.NonCommutative
3 (Function)Math.Projects.KnotTheory.LaurentMPoly
4 (Function)Math.CommutativeAlgebra.Polynomial
lcmLMMath.Projects.KnotTheory.LaurentMPoly
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.Algebra.NonCommutative.NCPoly
2 (Function)Math.Algebras.NonCommutative
3 (Function)Math.Projects.KnotTheory.LaurentMPoly
4 (Function)Math.CommutativeAlgebra.Polynomial
LMRMath.Combinatorics.Matroid
loopMath.QuantumAlgebra.Tangle
loopTMath.QuantumAlgebra.Tangle
LPMath.Projects.KnotTheory.LaurentMPoly
LPQMath.Projects.KnotTheory.Braid
lt 
1 (Function)Math.Algebra.Field.Extension
2 (Function)Math.Algebra.NonCommutative.NCPoly
3 (Function)Math.Algebras.Commutative
4 (Function)Math.Algebras.NonCommutative
5 (Function)Math.Projects.KnotTheory.LaurentMPoly
6 (Function)Math.CommutativeAlgebra.Polynomial
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.Algebra.NonCommutative.NCPoly
4 (Data Constructor)Math.CommutativeAlgebra.Polynomial
5 (Data Constructor)Math.Combinatorics.Matroid
m 
1 (Function)Math.Projects.KnotTheory.IwahoriHecke
2 (Function)Math.Projects.ChevalleyGroup.Exceptional
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
maybeInverseMath.Algebras.GroupAlgebra
mbasisMath.CommutativeAlgebra.GroebnerBasis
mbasisQA 
1 (Function)Math.Algebra.NonCommutative.GSBasis
2 (Function)Math.CommutativeAlgebra.GroebnerBasis
MCMath.Algebras.Structures
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
mergeSetMath.Core.Utils
mergeTerms 
1 (Function)Math.Algebra.NonCommutative.NCPoly
2 (Function)Math.Projects.KnotTheory.LaurentMPoly
mgcdMath.CommutativeAlgebra.Polynomial
MidMath.Combinatorics.Matroid
mindicesMath.CommutativeAlgebra.Polynomial
minimalMath.Combinatorics.Matroid
minimalBlockMath.Algebra.Group.Subquotients
minimalFlatMath.Combinatorics.Matroid
minsuppMath.Algebra.Group.PermutationGroup
Minus 
1 (Data Constructor)Math.QuantumAlgebra.OrientedTangle
2 (Data Constructor)Math.QuantumAlgebra.Tangle
mlcmMath.CommutativeAlgebra.Polynomial
mmultMath.Algebras.Structures
mobiusKantorMath.Combinatorics.Graph
ModuleMath.Algebras.Structures
modUPMath.Algebra.Field.Extension
MonMath.Algebras.Structures
MonImplMath.CommutativeAlgebra.Polynomial
MonoidCoalgebraMath.Algebras.Structures
Monomial 
1 (Type/Class)Math.Algebra.NonCommutative.NCPoly
2 (Type/Class)Math.Algebras.Commutative
3 (Type/Class)Math.Algebras.NonCommutative
4 (Type/Class)Math.CommutativeAlgebra.Polynomial
monomialMath.Algebra.Field.Extension
MonomialConstructorMath.CommutativeAlgebra.Polynomial
mproperlydividesMath.CommutativeAlgebra.Polynomial
muMath.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
munitMath.Algebras.Structures
mvarMath.CommutativeAlgebra.Polynomial
mw4Math.Combinatorics.Matroid
nbrsMath.Combinatorics.Graph
NCMMath.Algebras.NonCommutative
ncmMath.Algebras.NonCommutative
NCPolyMath.Algebras.NonCommutative
negMath.Algebras.VectorSpace
newLevelMath.Algebra.Group.SchreierSims
newLevel'Math.Algebra.Group.SchreierSims
nextPrimeMath.NumberTheory.Prime
nextProdReplMath.Algebra.Group.RandomSchreierSims
nf 
1 (Function)Math.Combinatorics.Digraph
2 (Function)Math.Algebras.VectorSpace
3 (Function)Math.Combinatorics.Graph
4 (Function)Math.Projects.ChevalleyGroup.Exceptional
nfsMath.Algebra.Group.StringRewriting
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
notPrimeMath.NumberTheory.Prime
NPMath.Algebra.NonCommutative.NCPoly
NPolyMath.Algebra.NonCommutative.NCPoly
nullGraphMath.Combinatorics.Graph
nullGraph'Math.Combinatorics.Graph
numBasesMath.Combinatorics.Matroid
numChainsIAMath.Combinatorics.IncidenceAlgebra
numeratorQ 
1 (Function)Math.Algebra.Field.Base
2 (Function)Math.Core.Field
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.QuantumAlgebra.TensorCategory
2 (Data Constructor)Math.Algebras.Octonions
3 (Data Constructor)Math.Projects.ChevalleyGroup.Exceptional
oMath.Projects.ChevalleyGroup.Classical
OBMath.QuantumAlgebra.TensorCategory
ObMath.QuantumAlgebra.TensorCategory
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
one'Math.Algebras.Quaternions
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
orderBSGSMath.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.OrientedTangle
2 (Type/Class)Math.QuantumAlgebra.Tangle
OrientedTangleMath.QuantumAlgebra.OrientedTangle
orthogonalLinesPG2Math.Projects.MiniquaternionGeometry
OSMath.QuantumAlgebra.TensorCategory
OT 
1 (Data Constructor)Math.QuantumAlgebra.OrientedTangle
2 (Data Constructor)Math.QuantumAlgebra.Tangle
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
pairs 
1 (Function)Math.Core.Utils
2 (Function)Math.Combinatorics.Poset
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.OrientedTangle
2 (Data Constructor)Math.QuantumAlgebra.Tangle
partialMatchingsMath.Combinatorics.Matroid
partitionsMath.Combinatorics.Poset
permsMath.Combinatorics.Digraph
PermutationMath.Algebra.Group.PermutationGroup
permutationMatrixMath.Algebra.Group.PermutationGroup
petersenMath.Combinatorics.Graph
petersen2Math.Combinatorics.Graph
pfactorsMath.NumberTheory.Factor
pfactors1Math.NumberTheory.Prime
pfactors2Math.NumberTheory.Prime
pgMath.Combinatorics.Design
pg2Math.Combinatorics.Design
phiMath.Projects.MiniquaternionGeometry
phi'Math.Projects.MiniquaternionGeometry
Plus 
1 (Data Constructor)Math.QuantumAlgebra.OrientedTangle
2 (Data Constructor)Math.QuantumAlgebra.Tangle
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
posetLMath.Combinatorics.Poset
posetPMath.Combinatorics.Poset
powers 
1 (Function)Math.Algebra.Field.Base
2 (Function)Math.Algebras.Commutative
3 (Function)Math.Algebras.NonCommutative
4 (Function)Math.Core.Field
powerset 
1 (Function)Math.Combinatorics.Graph
2 (Function)Math.Combinatorics.Poset
powersetbfsMath.Core.Utils
powersetdfsMath.Core.Utils
power_modMath.NumberTheory.Prime
predecessorsMath.Combinatorics.Digraph
prevPrimeMath.NumberTheory.Prime
primesMath.NumberTheory.Prime
primitiveEltMath.Algebra.Field.Base
prismMath.Combinatorics.Graph
prodfMath.Algebras.TensorProduct
productIMath.CommutativeAlgebra.GroebnerBasis
projectTCMath.Algebras.TensorAlgebra
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.Algebra.Field.Base
2 (Data Constructor)Math.Algebra.Field.Base
3 (Type/Class)Math.Core.Field
4 (Data Constructor)Math.Core.Field
q 
1 (Function)Math.Algebras.LaurentPoly
2 (Function)Math.Projects.KnotTheory.IwahoriHecke
3 (Function)Math.Combinatorics.Graph
q' 
1 (Function)Math.Algebras.LaurentPoly
2 (Function)Math.Projects.KnotTheory.IwahoriHecke
3 (Function)Math.Combinatorics.Graph
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
qtorialMath.Combinatorics.FiniteGeometry
qtorialsMath.Combinatorics.FiniteGeometry
QuaternionMath.Algebras.Quaternions
quotientGpMath.Algebra.Group.PermutationGroup
quotientIMath.CommutativeAlgebra.GroebnerBasis
quotientPMath.CommutativeAlgebra.GroebnerBasis
quotRemLPMath.Projects.KnotTheory.LaurentMPoly
quotRemMP 
1 (Function)Math.Algebras.Commutative
2 (Function)Math.CommutativeAlgebra.Polynomial
quotRemNP 
1 (Function)Math.Algebra.NonCommutative.NCPoly
2 (Function)Math.Algebras.NonCommutative
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.Algebra.NonCommutative.GSBasis
2 (Function)Math.CommutativeAlgebra.GroebnerBasis
reducedRowEchelonFormMath.Algebra.LinearAlgebra
reduceGens 
1 (Function)Math.Algebra.Group.PermutationGroup
2 (Function)Math.Algebra.Group.SchreierSims
reduceGensBSGSMath.Algebra.Group.SchreierSims
reduceLPMath.Projects.KnotTheory.LaurentMPoly
refineMath.Combinatorics.GraphAuts
refine'Math.Combinatorics.GraphAuts
reflMath.Algebras.Quaternions
regularParamMath.Combinatorics.Graph
reifyMath.Algebras.TensorProduct
relaxationMath.Combinatorics.Matroid
remNP 
1 (Function)Math.Algebra.NonCommutative.NCPoly
2 (Function)Math.Algebras.NonCommutative
remNP2Math.Algebra.NonCommutative.NCPoly
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
s 
1 (Function)Math.QuantumAlgebra.TensorCategory
2 (Function)Math.Projects.ChevalleyGroup.Classical
s1 
1 (Function)Math.Algebra.Group.StringRewriting
2 (Function)Math.Projects.KnotTheory.Braid
s2 
1 (Function)Math.Algebra.Group.StringRewriting
2 (Function)Math.Projects.KnotTheory.Braid
3 (Function)Math.Projects.ChevalleyGroup.Classical
s3 
1 (Function)Math.Algebra.Group.StringRewriting
2 (Function)Math.Projects.KnotTheory.Braid
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.OrientedTangle
2 (Data Constructor)Math.QuantumAlgebra.Tangle
seriesConnectionMath.Combinatorics.Matroid
setMath.Combinatorics.Graph
SetCoalgebraMath.Algebras.Structures
setDiagMath.Projects.RootSystem
setStabMath.Algebra.Group.PermutationGroup
SGenMath.Algebra.Group.StringRewriting
sgs 
1 (Function)Math.Algebra.Group.SchreierSims
2 (Function)Math.Algebra.Group.RandomSchreierSims
shortlex 
1 (Function)Math.Algebra.Group.StringRewriting
2 (Function)Math.Combinatorics.Matroid
showUPMath.Algebra.Field.Extension
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
sourceMath.QuantumAlgebra.TensorCategory
spMath.Combinatorics.StronglyRegularGraph
sp2 
1 (Function)Math.Combinatorics.StronglyRegularGraph
2 (Function)Math.Projects.ChevalleyGroup.Classical
split2sMath.NumberTheory.Prime
splitNumNbrsMath.Combinatorics.GraphAuts
splitSubstringMath.Algebra.Group.StringRewriting
sPoly 
1 (Function)Math.Algebra.NonCommutative.GSBasis
2 (Function)Math.CommutativeAlgebra.GroebnerBasis
sqnorm 
1 (Function)Math.Algebras.Quaternions
2 (Function)Math.Projects.ChevalleyGroup.Exceptional
Sqrt 
1 (Type/Class)Math.Algebra.Field.Extension
2 (Data Constructor)Math.Algebra.Field.Extension
sqrt2Math.Algebra.Field.Extension
sqrt3Math.Algebra.Field.Extension
sqrt5Math.Algebra.Field.Extension
sqrt7Math.Algebra.Field.Extension
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
stabilizerMath.Algebra.Group.PermutationGroup
StarMath.Combinatorics.FiniteGeometry
starSubstitutionsVMath.Combinatorics.Matroid
StrictTensorCategoryMath.QuantumAlgebra.TensorCategory
subgpActionMath.Algebra.Group.PermutationGroup
subgpsMath.Algebra.Group.PermutationGroup
subposetMath.Combinatorics.Poset
subsetDesignMath.Combinatorics.Design
subspacesMath.Combinatorics.Poset
subst 
1 (Function)Math.Algebra.NonCommutative.NCPoly
2 (Function)Math.Projects.KnotTheory.LaurentMPoly
3 (Function)Math.CommutativeAlgebra.Polynomial
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
SymmetricAlgebraMath.Algebras.TensorAlgebra
symmetricBasisMath.Algebra.NonCommutative.TensorAlgebra
SymmetricGroupoidMath.QuantumAlgebra.TensorCategory
symnfMath.Algebra.NonCommutative.TensorAlgebra
symRelationsMath.Algebra.NonCommutative.TensorAlgebra
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
TMath.Projects.KnotTheory.IwahoriHecke
t 
1 (Function)Math.Projects.KnotTheory.LaurentMPoly
2 (Function)Math.Combinatorics.StronglyRegularGraph
t'Math.Combinatorics.StronglyRegularGraph
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
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
TensorCategoryMath.QuantumAlgebra.TensorCategory
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.Design
3 (Function)Math.Combinatorics.Matroid
tobMath.QuantumAlgebra.TensorCategory
toCyclesMath.Algebra.Group.PermutationGroup
toDesignMath.Combinatorics.Design
toEBMath.Algebras.Matrix
toEB2Math.Algebras.Matrix
toElimFstMath.CommutativeAlgebra.GroebnerBasis
toElimSndMath.CommutativeAlgebra.GroebnerBasis
toEquitableMath.Combinatorics.GraphAuts
toEquitable2Math.Combinatorics.GraphAuts
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.Algebra.NonCommutative.NCPoly
2 (Function)Math.CommutativeAlgebra.Polynomial
TOneMath.Common.IntegerAsType
toPairsMath.Algebra.Group.PermutationGroup
ToRMath.QuantumAlgebra.OrientedTangle
toSet 
1 (Function)Math.Combinatorics.Digraph
2 (Function)Math.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
trefoilMath.QuantumAlgebra.Tangle
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
twistMath.Algebras.TensorProduct
twoSumMath.Combinatorics.Matroid
TypeMath.Projects.RootSystem
TZeroMath.Common.IntegerAsType
t_Math.Projects.KnotTheory.IwahoriHecke
u 
1 (Function)Math.QuantumAlgebra.QuantumPlane
2 (Function)Math.Projects.Rubik
3 (Function)Math.Combinatorics.Matroid
udMath.Projects.Rubik
underMath.QuantumAlgebra.Tangle
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.Algebra.NonCommutative.NCPoly
2 (Function)Math.Algebras.Commutative
3 (Function)Math.Algebras.NonCommutative
4 (Function)Math.Projects.KnotTheory.LaurentMPoly
5 (Function)Math.CommutativeAlgebra.Polynomial
varsMath.CommutativeAlgebra.Polynomial
VectMath.Algebras.VectorSpace
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.RootSystem
2 (Function)Math.Projects.MiniquaternionGeometry
w4Math.Combinatorics.Matroid
w4'Math.Combinatorics.Matroid
WeakTensorCategoryMath.QuantumAlgebra.TensorCategory
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.Algebra.NonCommutative.NCPoly
2 (Data Constructor)Math.Algebra.NonCommutative.TensorAlgebra
3 (Data Constructor)Math.Algebras.AffinePlane
4 (Type/Class)Math.Algebras.GroupAlgebra
5 (Data Constructor)Math.Algebras.GroupAlgebra
x 
1 (Function)Math.Algebra.Field.Extension
2 (Function)Math.Algebra.NonCommutative.NCPoly
3 (Function)Math.Algebras.AffinePlane
4 (Function)Math.Projects.KnotTheory.LaurentMPoly
5 (Function)Math.QuantumAlgebra.QuantumPlane
6 (Function)Math.Combinatorics.Matroid
x1Math.Algebra.NonCommutative.TensorAlgebra
x2Math.Algebra.NonCommutative.TensorAlgebra
x3Math.Algebra.NonCommutative.TensorAlgebra
XMinusMath.QuantumAlgebra.OrientedTangle
xminusMath.QuantumAlgebra.OrientedTangle
XPlusMath.QuantumAlgebra.OrientedTangle
xplusMath.QuantumAlgebra.OrientedTangle
XYMath.Algebras.AffinePlane
x_Math.Algebra.NonCommutative.TensorAlgebra
Y 
1 (Data Constructor)Math.Algebra.NonCommutative.NCPoly
2 (Data Constructor)Math.Algebras.AffinePlane
y 
1 (Function)Math.Algebra.NonCommutative.NCPoly
2 (Function)Math.Algebras.AffinePlane
3 (Function)Math.Projects.KnotTheory.LaurentMPoly
4 (Function)Math.QuantumAlgebra.QuantumPlane
5 (Function)Math.Combinatorics.Matroid
ybMath.QuantumAlgebra.QuantumPlane
yminusMath.QuantumAlgebra.OrientedTangle
yplusMath.QuantumAlgebra.OrientedTangle
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
zeroMath.Algebras.VectorSpace
zerofMath.Algebras.VectorSpace
ZeroOneStarMath.Combinatorics.FiniteGeometry
zerovMath.Algebras.VectorSpace
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.Algebra.NonCommutative.NCPoly
3 (Function)Math.Algebras.Quaternions
^^^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