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