- Incidence
- incidence
- incidence-geometry
- incidence-structure-design
- incidence-structure-hadamard
- IncidenceDigraph
- IncidenceGeometry
- IncidenceGraph
- IncidenceMatrix
- IncidenceStructure
- Incident
- IncidentEdges
- Include
- Include(~S, x) : SeqEnum, Elt ->
- Include(~S, x) : SetEnum, Elt ->
- IncludeAutomorphism(~C, p) : Code, GrpPermElt ->
- IncludeWeight(X,w) : GRK3,RngIntElt -> GRK3
- IncludeWeight(~X,w) : GRSch,RngIntElt ->
- Set_Include (Example H10E10)
- IncludeAutomorphism
- IncludeWeight
- Inclusion
- inclusion
- inclusion-equality
- InclusionMap
- Inclusions
- incr
- Increasing
- indecomposability
- Indecomposable
- IndecomposableSummands(A) : AlgAssV -> [ AlgAssV ], [ AlgAssVElt ]
- DirectSumDecomposition(A) : AlgAssV -> [ AlgAssV ], [ AlgAssVElt ]
- DirectSumDecomposition(ρ) : Map[AlgLie, AlgMatLie] -> SeqEnum
- DirectSumDecomposition(ρ) : Map[GrpLie, GrpMat] -> SeqEnum
- DirectSumDecomposition(V) : ModAlg -> SeqEnum
- DirectSumDecomposition(M) : ModRng -> [ ModRng ]
- DirectSumDecomposition(R) : RootDtm -> [], RootDtm, Map
- DirectSumDecomposition(R) : RootSys -> []
- IndecomposableSummands(L) : AlgLie -> [ AlgLie ]
- IsIndecomposable(A) : GalRep -> BoolElt
- IsIndecomposable(G) : GrpPC -> BoolElt
- IsIndecomposable(M, B) : ModBrdt, RngIntElt -> BoolElt
- IsIndecomposable(t) : TenSpcElt -> BoolElt
- ProjectiveIndecomposableDimensions(G, K) : Grp, FldFin -> SeqEnum
- ProjectiveIndecomposableModule(I: parameters) : ModGrp -> ModGrp
- ProjectiveIndecomposableModules(G, K: parameters) : Grp, FldFin -> SeqEnum
V2.28, 13 July 2023