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

Subindex: coxeter  ..  CoxeterGroupOrder


coxeter

   Construction of the Standard Presentation for a Coxeter Group (FINITELY PRESENTED GROUPS)
   COXETER GROUPS
   COXETER SYSTEMS

coxeter-description

   COXETER SYSTEMS

coxeter-groups

   COXETER GROUPS

coxeter-todd

   Lat_coxeter-todd (Example H30E23)

CoxeterDiagram

   CoxeterDiagram(M) : AlgMatElt ->
   CoxeterDiagram(W) : GrpFPCox ->
   CoxeterDiagram(G) : GrpLie ->
   CoxeterDiagram(W) : GrpMat ->
   CoxeterDiagram(R) : RootStr ->
   CoxeterDiagram(R) : RootSys ->
   Cartan_CoxeterDiagram (Example H95E18)

CoxeterElement

   CoxeterElement(W) : GrpFPCox -> SeqEnum
   CoxeterElement(G) : GrpLie -> GrpPermElt
   CoxeterElement(W) : GrpMat -> SeqEnum

CoxeterFinite

   GrpFP_1_CoxeterFinite (Example H70E23)

CoxeterForm

   DualCoxeterForm(W) : GrpPermCox -> AlgMatElt
   CoxeterForm(W) : GrpPermCox -> AlgMatElt
   CoxeterForm(R) : RootDtm -> AlgMatElt
   CoxeterForm(R) : RootSys -> AlgMatElt

CoxeterGraph

   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

coxetergraph

   Coxeter Graphs (COXETER SYSTEMS)

CoxeterGraphOperations

   Cartan_CoxeterGraphOperations (Example H95E4)

CoxeterGraphProperties

   Cartan_CoxeterGraphProperties (Example H95E5)

CoxeterGroup

   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(M) : Cat, AlgMatElt -> GrpPermCox
   CoxeterGroup(GrpFP, W) : Cat, GrpFPCox -> GrpFP, Map
   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(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(A, B) : Mtrx, Mtrx -> GrpPermCox
   CoxeterGroup(R) : RootDtm -> GrpPermCox
   CoxeterGroup(R) : RootSys -> RngIntElt
   ReflectionGroup(W) : GrpFPCox -> GrpMat, Map
   ReflectionGroup(W) : GrpPermCox -> GrpMat
   ReflectionGroup(W) : GrpPermCox -> GrpMat, Map
   ReflectionGroup(R) : RootDtm -> GrpMat
   ReflectionGroup(R) : RootSys -> GrpMat

CoxeterGroupFactoredOrder

   CoxeterGroupFactoredOrder(C) : AlgMatElt -> .
   CoxeterGroupOrder(C) : AlgMatElt -> .
   CoxeterGroupOrder(M) : AlgMatElt -> .
   CoxeterGroupOrder(D) : GrphDir -> .
   CoxeterGroupOrder(G) : GrphUnd -> .
   CoxeterGroupOrder(N) : MonStgElt -> .

CoxeterGroupOrder

   CoxeterGroupFactoredOrder(C) : AlgMatElt -> .
   CoxeterGroupOrder(C) : AlgMatElt -> .
   CoxeterGroupOrder(M) : AlgMatElt -> .
   CoxeterGroupOrder(D) : GrphDir -> .
   CoxeterGroupOrder(G) : GrphUnd -> .
   CoxeterGroupOrder(N) : MonStgElt -> .
   CoxeterGroupOrder(R) : RootStr -> RngIntElt
   CoxeterGroupOrder(R) : RootSys -> RngIntElt

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

Version: V2.19 of Wed Apr 24 15:09:57 EST 2013