Coxeter Groups
- Introduction
- Constructing Coxeter Groups
CoxeterGroup(grpcat, N): Cat, MonStgElt → grpcatCoxeterGroup(N): MonStgElt → GrpIrreducibleCoxeterGroup(grpcat, X, n): Cat, MonStgElt, RngIntElt → grpcatIrreducibleCoxeterGroup(X, n): MonStgElt, RngIntElt → .Example: Construct By NameCoxeterGroup(grpcat, M): Cat, AlgMatElt → grpcatCoxeterGroup(grpcat, G): Cat, GrphUnd → grpcatCoxeterGroup(grpcat, D): Cat, GrphDir → grpcatCoxeterGroup(M): AlgMatElt → GrpCoxeterGroup(G): GrphUnd → GrpCoxeterGroup(D): GrphDir → GrpExample: Construct From MatrixCoxeterGroup(grpcat, R): Cat, RootStr → grpcatCoxeterGroup(R): RootStr → GrpPermCoxCoxeterGroup(A, B): Mtrx, Mtrx → GrpPermCoxCoxeterGroup(grpcat, A, B): Cat, Mtrx, Mtrx → grpcatExample: Construct By Root
- Converting Between Types of Coxeter Group
- Operations on Coxeter Groups
IsIsomorphic(W1, W2): GrpPermCox, GrpPermCox → BoolEltIsCoxeterIsomorphic(W1, W2): GrpFPCox, GrpFPCox → BoolEltIsCoxeterIsomorphic(W1, W2): GrpPermCox, GrpPermCox → BoolEltIsCartanEquivalent(W1, W2): GrpPermCox, GrpPermCox → BoolEltExample: Coxeter IsomorphismRootSystem(W): GrpPermCox → RootDtmRootDatum(W): GrpPermCox → RootDtmExample: Group To RootCartanName(W): GrpFPCox → ListCartanName(W): GrpPermCox → MonStgEltCoxeterDiagram(W): GrpFPCoxCoxeterDiagram(W): GrpPermCoxDynkinDiagram(W): GrpPermCoxExample: Names DiagramsCoxeterMatrix(W): GrpFPCox → AlgMatEltCoxeterMatrix(W): GrpPermCox → AlgMatEltCoxeterGraph(W): GrpFPCox → GrphUndCoxeterGraph(W): GrpPermCox → GrphUndCartanMatrix(W): GrpPermCox → AlgMatEltDynkinDigraph(W): GrpPermCox → GrphDirRank(W): GrpFPCox → RngIntEltRank(W): GrpPermCox → RngIntEltNumberOfGenerators(W): GrpFPCox → RngIntEltNumberOfGenerators(W): GrpPermCox → RngIntEltNumberOfPositiveRoots(W): GrpFPCox → RngIntEltNumberOfPositiveRoots(W): GrpPermCox → RngIntEltNumPosRoots(W): GrpFPCox → RngIntEltNumPosRoots(W): GrpPermCox → RngIntEltDimension(W): GrpPermCox → RngIntEltExample: Rank DimensionConjugacyClasses(W): GrpFPCox → [GrpFPCoxElt]ConjugacyClasses(W): GrpPermCox → [GrpPermElt]FundamentalGroup(W): GrpPermCox → GrpAbIsogenyGroup(W): GrpPermCox → GrpAbCoisogenyGroup(W): GrpPermCox → GrpAbBasicDegrees(W): GrpFPCox → RngIntEltBasicDegrees(W): GrpPermCox → RngIntEltBasicCodegrees(W): GrpFPCox → RngIntEltBasicCodegrees(W): GrpPermCox → RngIntEltExample: Basic DegreesBruhatLessOrEqual(x, y): GrpPermElt, GrpPermElt → BoolEltBruhatDescendants(x): GrpPermElt → SetEnumBruhatDescendants(X): SetEnum → SetEnumExample: Bruhat Descendants
- Properties of Coxeter Groups
- Operations on Elements
Example: Word Arithmetic# w: GrpFPCoxElt → RngIntEltLength(w): GrpFPCoxElt → RngIntEltLength(W, w): GrpPermCox, GrpPermElt → RngIntEltCoxeterLength(w): GrpFPCoxElt → RngIntEltCoxeterLength(W, w): GrpPermCox, GrpPermElt → RngIntEltLongestElement(W): GrpFPCox → SeqEnumLongestElement(W): GrpPermCox → GrpPermEltCoxeterElement(W): GrpFPCox → SeqEnumCoxeterElement(W): GrpPermCox → GrpPermEltCoxeterNumber(W): GrpFPCox → SeqEnumCoxeterNumber(W): GrpPermCox → GrpPermEltExample: Longest Coxeter ElementsLeftDescentSet(W, w): GrpFPCox, GrpFPCoxElt → SetEnumLeftDescentSet(W, w): GrpPermCox, GrpPermElt → SetEnumRightDescentSet(W, w): GrpFPCox, GrpFPCoxElt → SetEnumRightDescentSet(W, w): GrpPermCox, GrpPermElt → SetEnumExample: Descent Sets
- Roots, Coroots and Reflections
- Accessing Roots and Coroots
RootSpace(W): GrpPermCox → .CorootSpace(W): GrpPermCox → .SimpleRoots(W): GrpPermCox → MtrxSimpleCoroots(W): GrpPermCox → MtrxExample: Root SpaceNumberOfPositiveRoots(W): GrpPermCox → RngIntEltNumPosRoots(W): GrpPermCox → RngIntEltRoots(W): GrpPermCox → SetIndxCoroots(W): GrpPermCox → SetIndxPositiveRoots(W): GrpPermCox → SetIndxPositiveCoroots(W): GrpPermCox → SetIndxRoot(W, r): GrpPermCox, RngIntElt → SetIndxCoroot(W, r): GrpPermCox, RngIntElt → SetIndxRootPosition(W, v): GrpPermCox, . → SetIndxCorootPosition(W, v): GrpPermCox, . → SetIndxExample: Roots CorootsHighestRoot(W): GrpPermCox → .HighestLongRoot(W): GrpPermCox → .HighestShortRoot(W): GrpPermCox → .Example: Heighest RootsCoxeterForm(W): GrpPermCox → AlgMatEltDualCoxeterForm(W): GrpPermCox → AlgMatEltAdditiveOrder(W): GrpPermCox → SeqEnumPapiOrder(W,w): GrpPermCox, GrpPermElt → SeqEnumPapiOrder(W, wd): GrpPermCox, SeqEnum[RngIntElt] → SeqEnum
- Operations and Properties for Root and Coroot Indices
Sum(W, r, s): GrpPermCox, RngIntElt, RngIntElt → RngIntEltIsPositive(W, r): GrpPermCox, RngIntElt → BoolEltIsNegative(W, r): GrpPermCox, RngIntElt → BoolEltNegative(W, r): GrpPermCox, RngIntElt → RngIntEltLeftString(W, r, s): GrpPermCox, RngIntElt, RngIntElt → RngIntEltRightString(W, r, s): GrpPermCox, RngIntElt, RngIntElt → RngIntEltLeftStringLength(W, r, s): GrpPermCox, RngIntElt, RngIntElt → RngIntEltRightStringLength(W, r, s): GrpPermCox, RngIntElt, RngIntElt → RngIntEltExample: Root ArithmeticRootHeight(W, r): GrpPermCox, RngIntElt → RngIntEltCorootHeight(W, r): GrpPermCox, RngIntElt → RngIntEltRootNorms(W): GrpPermCox → [RngIntElt]CorootNorms(W): GrpPermCox → [RngIntElt]RootNorm(W, r): GrpPermCox, RngIntElt → RngIntEltCorootNorm(W, r): GrpPermCox, RngIntElt → RngIntEltIsLongRoot(W, r): GrpPermCox, RngIntElt → BoolEltIsShortRoot(W, r): GrpPermCox, RngIntElt → BoolEltExample: Root Operations
- Weights
- Reflections
IsReflection(w): GrpFPElt → BoolEltIsReflection(w): GrpPermElt → BoolElt, ., ., RngIntReflections(W): GrpFPCox → [GrpFPCoxElt]Reflections(W): GrpPermCox → [GrpPermElt]Example: ReflectionsSimpleReflections(W): GrpFPCox → [GrpFPCoxElt]SimpleReflections(W): GrpPermCox → [GrpPermElt]SimpleReflectionPermutations(W): GrpPermCox → [GrpPermElt]Reflection(W, r): GrpPermCox, RngIntElt → GrpPermEltReflectionPermutation(W, r): GrpPermCox, RngIntElt → GrpPermEltSimpleReflectionMatrices(W): GrpPermCox → []SimpleCoreflectionMatrices(W): GrpPermCox → []ReflectionMatrices(W): GrpPermCox → []CoreflectionMatrices(W): GrpPermCox → []ReflectionMatrix(W, r): GrpPermCox, RngIntElt → []CoreflectionMatrix(W, r): GrpPermCox, RngIntElt → []ReflectionWords(W): GrpPermCox → []ReflectionWord(W, r): GrpPermCox, RngIntElt → []Example: Action
- Reflection Subgroups
ReflectionSubgroup(W, a): GrpPermCox, SetEnum → GrpPermCoxReflectionSubgroup(W, s): GrpPermCox, [] → GrpPermCoxStandardParabolicSubgroup(W, J): GrpPermCox, SetEnum → GrpPermCoxIsReflectionSubgroup(W, H): GrpPermCox, GrpPermCox → BoolEltIsParabolicSubgroup(W, H): GrpPermCox, GrpPermCox → BoolEltIsStandardParabolicSubgroup(W, H): GrpPermCox, GrpPermCox → BoolEltOvergroup(H): GrpPermCox → GrpPermCoxOverdatum(H): GrpPermCox → RootDtmLocalCoxeterGroup(H): GrpPermCox → GrpPermCox, MapExample: Reflection SubgroupsTransversal(W, H): GrpPermCox, GrpPermCox → SetIndxTransversalWords(W, H): GrpPermCox, GrpPermCox → SetIndxTransversalElt(W, H, x): GrpPermCox, GrpPermCox, GrpPermElt → GrpPermEltExample: TransversalsTransversalElt(W, x, H): GrpPermCox, GrpPermElt, GrpPermCox → GrpPermEltTransversalElt(W, H, x, J): GrpPermCox, GrpPermCox, GrpPermElt, GrpPermCox → GrpPermEltTransversal(W, J): GrpFPCox, \{RngIntElt\} → \{@ GrpFPCoxElt @\}Transversal(W, J, L): GrpFPCox, \{RngIntElt\}, RngIntElt → \{@ GrpFPCoxElt @\}Transversal(W, J, K): GrpFPCox, \{RngIntElt\}, \{RngIntElt\} → [ GrpFPCoxElt ], [ ]DirectProduct(W1, W2): GrpPermCox, GrpPermCox → GrpPermCoxDual(W): GrpPermCox → GrpPermCoxExample: Sum Dual
- Root Actions
- Standard Action
- Braid Groups
- \(W\)-graphs
SetVerbose("WGraph", v): MonStgElt, RngIntEltMij2EltRootTable(seq): SeqEnum → SeqEnum[SeqEnum[RngIntElt]]Name2Mij(name): MonStgElt → SeqEnumExample: mijseqPartition2WGtable(pi): SeqEnum → SeqEnum, GrpFPCoxWGtable2WG(table): SeqEnum → GrphUndTestWG(W,wg): GrpFPCox, GrphUnd → .TestWG(W,wg): GrpFPCox, GrphDir → .TestWG(tp,wg): MonStgElt, GrphDir → .TestWG(tp,wg): MonStgElt, GrphDir → .Example: Specht WgraphWGelement2WGtable(g,K): GrpFPCoxElt, SetEnum → SeqEnum, SeqEnumExample: B5WgraphGetCells(wg): GrphUnd → SeqEnumGetCells(wg): GrphDir → SeqEnumInduceWG(W,wg,seq): GrpFPCox, GrphUnd, SeqEnum → GrphUndInduceWG(W,wg,seq): GrpFPCox, GrphDir, SeqEnum → GrphDirInduceWGtable(J, table, W): SeqEnum, SeqEnum, GrpFPCox → SeqEnum[SeqEnum[RngIntElt]]IsWGsymmetric(dwg): GrphDir → BoolElt, GrphDirMakeDirected(uwg): GrphUnd → GrphDirTestHeckeRep(W,r): GrpFPCox, SeqEnum → .WG2GroupRep(wg): GrphUnd → SeqEnumWG2GroupRep(wg): GrphDir → SeqEnumWG2HeckeRep(W,wg): GrpFPCox, GrphUnd → SeqEnumWG2HeckeRep(W,wg): GrpFPCox, GrphDir → SeqEnumWGidealgens2WGtable(dgens,K): SeqEnum, SetEnum → SeqEnum[SeqEnum[RngIntElt]], SetIndxExample: Wgraph IdealWriteWG(file,uwg): MonStgElt, GrphUnd → .WriteWG(file,dwg): MonStgElt, GrphDir → .
- Related Structures
