[____] [____] [_____] [____] [__] [Index] [Root] 


Subindex: Coweights  ..    Coxeter




Coweights

   FundamentalCoweights(R) : RootDtm -> Mtrx

   FundamentalWeights(G) : GrpLie -> Mtrx

   FundamentalWeights(W) : GrpMat -> Mtrx

   FundamentalWeights(W) : GrpPermCox -> SeqEnum


cox

   The Coxeter Group (ROOT DATA)


Coxeter

   Implicit Invocation of the Todd- Coxeter Algorithm (FINITELY PRESENTED GROUPS)

   Index of a Subgroup: The Todd- Coxeter Algorithm (FINITELY PRESENTED GROUPS)

   CoxeterDiagram(M) : AlgMatElt ->

   CoxeterDiagram(W) : GrpFPCox ->

   CoxeterDiagram(G) : GrpLie ->

   CoxeterDiagram(W) : GrpMat ->

   CoxeterDiagram(W) : GrpPermCox ->

   CoxeterDiagram(R) : RootStr ->

   CoxeterDiagram(R) : RootSys ->

   CoxeterElement(W) : GrpFPCox -> SeqEnum

   CoxeterElement(G) : GrpLie -> GrpPermElt

   CoxeterElement(W) : GrpMat -> SeqEnum

   CoxeterElement(W) : GrpPermCox -> GrpPermElt

   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(W) : GrpPermCox -> GrphUnd

   CoxeterGraph(N) : MonStgElt -> GrpUnd

   CoxeterGraph(R) : RootStr -> GrphUnd

   CoxeterGraph(R) : RootSys -> GrphUnd

   CoxeterGroup(M) : AlgMatElt -> GrpPermCox

   CoxeterGroup(GrpFPCox, M) : Cat, AlgMatElt -> GrpFPCox

   CoxeterGroup(GrpFPCox, M) : Cat, AlgMatElt -> GrpFPCox

   CoxeterGroup(GrpPermCox, M) : Cat, AlgMatElt -> GrpPermCox

   CoxeterGroup(M) : Cat, AlgMatElt -> GrpPermCox

   CoxeterGroup(GrpFP, W) : Cat, GrpFPCox -> GrpFP, Map

   CoxeterGroup(GrpPermCox, W) : Cat, GrpFPCox -> GrpPermCox

   CoxeterGroup(W) : Cat, GrpFPCox -> GrpPermCox

   CoxeterGroup(GrpPermCox, W) : Cat, GrpFPCox -> GrpPermCox, Map

   CoxeterGroup(GrpFPCox, W) : Cat, GrpMat -> GrpFPCox

   CoxeterGroup(GrpFPCox, W) : Cat, GrpMat -> GrpPermCox

   CoxeterGroup(GrpPermCox, W) : Cat, GrpMat -> GrpPermCox

   CoxeterGroup(GrpPermCox, W) : Cat, GrpMat -> GrpPermCox, Map

   CoxeterGroup(GrpFP, W) : Cat, GrpPermCox -> GrpFPCox

   CoxeterGroup(GrpFPCox, W) : Cat, GrpPermCox -> GrpFPCox

   CoxeterGroup(GrpFPCox, W) : Cat, GrpPermCox -> GrpFPCox, Map

   CoxeterGroup(GrpFP, t) : Cat, MonStgElt -> GrpFP

   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(N) : MonStgElt -> GrpPermCox

   CoxeterGroup(A, B) : Mtrx, Mtrx -> GrpPermCox

   CoxeterGroup(R) : RootDtm -> GrpPermCox

   CoxeterGroup(R) : RootSys -> GrpPermCox

   CoxeterGroup(R) : RootSys -> RngIntElt

   CoxeterGroupOrder(C) : AlgMatElt -> .

   CoxeterGroupOrder(M) : AlgMatElt -> .

   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(W) : GrpPermCox -> AlgMatElt

   CoxeterMatrix(N) : MonStgElt -> AlgMatElt

   CoxeterMatrix(R) : RootStr -> AlgMatElt

   CoxeterMatrix(R) : RootSys -> AlgMatElt

   CoxeterNumber(W) : GrpFPCox -> SeqEnum

   CoxeterNumber(W) : GrpMat -> SeqEnum

   CoxeterNumber(W) : GrpPermCox -> GrpPermElt

   HyperbolicCoxeterGraph(i) : RngIntElt -> GrphUnd

   HyperbolicCoxeterMatrix(i) : RngIntElt -> AlgMatElt

   IrreducibleCoxeterGraph(X, n) : MonStgElt, RngIntElt -> GrpUnd

   IrreducibleCoxeterGroup(GrpFPCox, X, n) : Cat, MonStgElt, RngIntElt -> GrpFPCox

   IrreducibleCoxeterGroup(X, n) : MonStgElt, RngIntElt -> GrpPermCox

   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(C1, C2) : AlgMatElt, AlgMatElt -> RngIntElt

   IsCoxeterIsomorphic(M1, M2) : AlgMatElt, AlgMatElt -> RngIntElt

   IsCoxeterIsomorphic(W1, W2) : GrpFPCox, GrpFPCox -> BoolElt

   IsCoxeterIsomorphic(W1, W2) : GrpMat, GrpMat -> BoolElt

   IsCoxeterIsomorphic(W1, W2) : GrpPermCox, GrpPermCox -> BoolElt

   IsCoxeterIsomorphic(N1, N2) : MonStgElt, MonStgElt -> BoolElt

   IsCoxeterMatrix(M) : AlgMatElt -> BoolElt

   Length(w) : GrpMatElt -> RngIntElt

   Length(w) : GrpPermCox, GrpPermElt -> RngIntElt

   LocalCoxeterGroup(H) : GrpPermCox -> GrpPermCox, Map

   ReflectionGroup(W) : GrpFPCox -> GrpMat

   ReflectionGroup(W) : GrpPermCox -> GrpMat

   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 : ->

   # w : GrpFPCoxElt -> RngIntElt

   GrpFP_1_Coxeter (Example H30E10)




[____] [____] [_____] [____] [__] [Index] [Root]