- Covariants
- covariants
- Cover
- CoverAlgebra(A) : AlgBas -> AlgBas, ModMatFldElt
- FourCoverPullback(C, pt) : Crv[FldRat], PtEll[FldRat] -> [Pt]
- GradedCoverAlgebra(A) : AlgBas -> AlgBas, ModMatFldElt
- NaturalFreeAlgebraCover(A) : AlgMat -> Map
- NaturalFreeAlgebraCover(A) : AlgMat -> Map
- ProjectiveCover(M) : ModAlg -> ModAlg, ModMatFldElt, SeqEnum[ModMatFldElt], SeqEnum[ModMatFldElt], SeqEnum[RngIntElt]
- ProjectiveCover(M) : ModGrp -> ModGrp, ModMatGrpElt
- TwoCover(e) : FldNumElt -> CrvHyp, Map
- TwoCoverDescent(C) : CrvHyp -> SetEnum, Map, [Map, SeqEnum]
- TwoCoverPullback(H, pt) : CrvHyp[FldRat], PtEll[FldRat] -> [PtHyp]
- qCoverDescent(f,q) : RngUPolElt, RngIntElt -> Set, Map
- qCoverPartialDescent(f,factors,q) : RngUPolElt, [* RngUPolElt *], RngIntElt -> Set, Map
- CoverAlgebra
- Covering
- CoveringCovariants
- CoveringRadius
- coverings
- CoveringStructure
- Covers
- covers
- Coweight
- CoweightLattice
- Coweights
- Cox
- cox
- cox-ring-example
- cox-rings
- Coxeter
- Implicit Invocation of the Todd- Coxeter Algorithm (FINITELY PRESENTED GROUPS)
- The Todd-Coxeter Algorithm (FINITELY PRESENTED GROUPS)
- # w : GrpFPCoxElt -> RngIntElt
- CohenCoxeterName(k) : RngIntElt -> MonStgElt, RngIntElt
- CoxeterDiagram(M) : AlgMatElt ->
- CoxeterDiagram(W) : GrpFPCox ->
- CoxeterDiagram(G) : GrpLie ->
- CoxeterDiagram(W) : GrpMat ->
- CoxeterDiagram(G) : GrpPerm -> GrphUnd
- CoxeterDiagram(R) : RootStr ->
- CoxeterDiagram(R) : RootSys ->
- CoxeterElement(W) : GrpFPCox -> SeqEnum
- CoxeterElement(G) : GrpLie -> GrpPermElt
- CoxeterElement(W) : GrpMat -> SeqEnum
- CoxeterFPGroup(W) : GrpFPCox -> GrpFP, Map
- CoxeterFPGroup(t) : MonStgElt -> GrpFP
- CoxeterForm(W) : GrpPermCox -> AlgMatElt
- CoxeterForm(R) : RootDtm -> AlgMatElt
- CoxeterForm(R) : RootSys -> AlgMatElt
- CoxeterGraph(M) : AlgMatElt -> GrphUnd
- CoxeterGraph(W) : GrpFPCox -> GrphUnd
- CoxeterGraph(G) : GrpLie -> GrphUnd
- CoxeterGraph(W) : GrpMat -> GrphUnd
- CoxeterGraph(N) : MonStgElt -> GrpUnd
- CoxeterGraph(R) : RootStr -> GrphUnd
- CoxeterGraph(R) : RootSys -> GrphUnd
- CoxeterGroup(M) : AlgMatElt -> GrpPermCox
- CoxeterGroup(GrpFPCox, C) : Cat, AlgMatElt -> GrpFPCox
- CoxeterGroup(GrpFPCox, M) : Cat, AlgMatElt -> GrpFPCox
- CoxeterGroup(GrpFPCox, M) : Cat, AlgMatElt -> GrpFPCox
- CoxeterGroup(GrpPermCox, M) : Cat, AlgMatElt -> GrpPermCox
- CoxeterGroup(GrpFP, W) : Cat, GrpFPCox -> GrpFP, Map
- CoxeterGroup(GrpPerm, W) : Cat, GrpFPCox -> GrpPerm, Map
- CoxeterGroup(GrpPermCox, W) : Cat, GrpFPCox -> GrpPermCox, Map
- CoxeterGroup(GrpFPCox, D) : Cat, GrphDir -> GrpFPCox
- CoxeterGroup(GrpFPCox, G) : Cat, GrphUnd -> GrpFPCox
- CoxeterGroup(GrpFPCox, W) : Cat, GrpMat -> GrpFPCox
- CoxeterGroup(GrpFPCox, W) : Cat, GrpMat -> GrpPermCox
- CoxeterGroup(GrpPermCox, W) : Cat, GrpMat -> GrpPermCox
- CoxeterGroup(GrpFP, W) : Cat, GrpMat -> GrpPermCox, Map
- CoxeterGroup(GrpPerm, W) : Cat, GrpMat -> GrpPermCox, Map
- CoxeterGroup(GrpPermCox, W) : Cat, GrpMat -> GrpPermCox, Map
- CoxeterGroup(GrpFP, W) : Cat, GrpPermCox -> GrpFP, Map
- CoxeterGroup(GrpFP, W) : Cat, GrpPermCox -> GrpFPCox
- CoxeterGroup(GrpFPCox, W) : Cat, GrpPermCox -> GrpFPCox, Map
- CoxeterGroup(GrpPerm, W) : Cat, GrpPermCox -> GrpPerm, Map
- CoxeterGroup(GrpFPCox, N) : Cat, MonStgElt -> GrpFPCox
- CoxeterGroup(GrpFPCox, R) : Cat, RootDtm -> GrpFPCox
- CoxeterGroup(GrpFPCox, R) : Cat, RootSys -> GrpFPCox
- CoxeterGroup(GrpFPCox, R) : Cat, RootSys -> RngIntElt
- CoxeterGroup(A, B) : Mtrx, Mtrx -> GrpPermCox
- CoxeterGroup(R) : RootDtm -> GrpPermCox
- CoxeterGroup(R) : RootSys -> RngIntElt
- CoxeterGroupOrder(C) : AlgMatElt -> .
- CoxeterGroupOrder(M) : AlgMatElt -> RngIntElt
- CoxeterGroupOrder(D) : GrphDir -> .
- CoxeterGroupOrder(G) : GrphUnd -> .
- CoxeterGroupOrder(N) : MonStgElt -> .
- CoxeterGroupOrder(R) : RootStr -> RngIntElt
- CoxeterGroupOrder(R) : RootSys -> RngIntElt
- CoxeterMatrix(W) : GrpFPCox -> AlgMatElt
- CoxeterMatrix(G) : GrphUnd -> AlgMatElt
- CoxeterMatrix(G) : GrpLie -> AlgMatElt
- CoxeterMatrix(W) : GrpMat -> AlgMatElt
- CoxeterMatrix(N) : MonStgElt -> AlgMatElt
- CoxeterMatrix(R) : RootStr -> AlgMatElt
- CoxeterMatrix(R) : RootSys -> AlgMatElt
- CoxeterNumber(W) : GrpFPCox -> SeqEnum
- CoxeterNumber(G) : GrpLie -> RngIntElt
- CoxeterNumber(W) : GrpMat -> SeqEnum
- HyperbolicCoxeterGraph(i) : RngIntElt -> GrphUnd
- HyperbolicCoxeterMatrix(i) : RngIntElt -> AlgMatElt
- IrreducibleCoxeterGraph(X, n) : MonStgElt, RngIntElt -> GrpUnd
- IrreducibleCoxeterGroup(GrpFPCox, X, n) : Cat, MonStgElt, RngIntElt -> GrpFPCox
- IrreducibleCoxeterMatrix(X, n) : MonStgElt, RngIntElt -> AlgMatElt
- IsCoxeterAffine(M) : AlgMatElt -> BoolElt
- IsCoxeterFinite(M) : AlgMatElt -> BoolElt
- IsCoxeterGraph(G) : GrphUnd -> BoolElt
- IsCoxeterHyperbolic(M) : AlgMatElt -> BoolElt
- IsCoxeterHyperbolic(G) : GrphUnd -> BoolElt
- IsCoxeterIrreducible(C) : AlgMatElt -> BoolElt
- IsCoxeterIrreducible(M) : AlgMatElt -> BoolElt
- IsCoxeterIsomorphic(M1, M2) : AlgMatElt, AlgMatElt -> BoolElt, SeqEnum
- IsCoxeterIsomorphic(C1, C2) : AlgMatElt, AlgMatElt -> RngIntElt
- IsCoxeterIsomorphic(W1, W2) : GrpFPCox, GrpFPCox -> BoolElt
- IsCoxeterIsomorphic(W1, W2) : GrpMat, GrpMat -> BoolElt
- IsCoxeterIsomorphic(N1, N2) : MonStgElt, MonStgElt -> BoolElt
- IsCoxeterMatrix(M) : AlgMatElt -> BoolElt
- Length(w) : GrpMatElt -> RngIntElt
- LocalCoxeterGroup(H) : GrpPermCox -> GrpPermCox, Map
- ReflectionGroup(W) : GrpFPCox -> GrpMat, Map
- ReflectionGroup(W) : GrpPermCox -> GrpMat
- ReflectionGroup(W) : GrpPermCox -> GrpMat, Map
- ReflectionGroup(R) : RootDtm -> GrpMat
- ReflectionGroup(R) : RootSys -> GrpMat
- ToddCoxeter(G, H: parameters) : GrpFP, GrpFP -> RngIntElt, Map, RngIntElt, RngIntElt
- ToddCoxeterSchreier(G) : GrpMat : ->
- ToddCoxeterSchreier(G: parameters) : GrpPerm ->
- GrpFPInt_Coxeter (Example H77E5)
- GrpFP_Coxeter (Example H78E6)
V2.28, 13 July 2023