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

Subindex: coxeter  ..  CoxeterIsomorphism


coxeter

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

coxeter-description

   COXETER SYSTEMS

coxeter-groups

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

CoxeterDiagram

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

CoxeterElement

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

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(W) : GrpPermCox -> GrphUnd
   CoxeterGraph(N) : MonStgElt -> GrpUnd
   CoxeterGraph(R) : RootStr -> GrphUnd
   CoxeterGraph(R) : RootSys -> GrphUnd

coxetergraph

   Coxeter Graphs (COXETER SYSTEMS)

CoxeterGraphOperations

   Cartan_CoxeterGraphOperations (Example H83E4)

CoxeterGraphProperties

   Cartan_CoxeterGraphProperties (Example H83E5)

CoxeterGroup

   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
   ReflectionGroup(W) : GrpFPCox -> GrpMat
   ReflectionGroup(W) : GrpPermCox -> GrpMat
   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

CoxeterIsomorphism

   GrpFPCox_CoxeterIsomorphism (Example H86E3)


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