HaskellForMaths-0.4.9: Combinatorics, group theory, commutative algebra, non-commutative algebra
Contents
Index
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
!
%
*
+
.
/
<
>
\
^
-
~
_
All
Index - I
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