Root Systems#
- Introduction
- Constructing Root Systems
RootSystem(N): MonStgElt → RootSysExample: Creating Root Systems NameRootSystem(M): AlgMatElt → RootSysRootSystem(G): GrphUnd → RootSysRootSystem(C): AlgMatElt → RootSysRootSystem(D): GrphDir → RootSysExample: Creating Root Systems MatrixRootSystem(A, B): Mtrx, Mtrx → RootSysExample: G2Root SystemIrreducibleRootSystem(X, n): MonStgElt, RngIntElt → RootSysStandardRootSystem(X, n): MonStgElt, RngIntElt → RootSysExample: Irreducible Root SystemToralRootSystem(n): RngIntElt → RootSysTrivialRootSystem() → RootSys
- Operators on Root Systems
R1 eq R2: RootSys, RootSys → BoolEltIsIsomorphic(R1, R2): RootSys, RootSys → BoolEltIsCartanEquivalent(R1, R2): RootSys, RootSys → BoolEltExample: IsomorphismCartanName(R): RootSys → ListCoxeterDiagram(R): RootSysDynkinDiagram(R): RootSysCoxeterMatrix(R): RootSys → AlgMatEltCoxeterGraph(R): RootSys → GrphUndCartanMatrix(R): RootSys → AlgMatEltDynkinDigraph(R): RootSys → GrphDirExample: DiagramsBaseField(R): RootSys → FldBaseRing(R): RootSys → FldRealInjection(R): RootSys → .Rank(R): RootSys → RngIntEltDimension(R): RootSys → RngIntEltCoxeterGroupOrder(R): RootSys → RngIntEltExample: Basic Operations
- Properties of Root Systems
- Roots and Coroots
- Accessing Roots and Coroots
RootSpace(R): RootSys → ModTupFldCorootSpace(R): RootSys → ModTupFldSimpleRoots(R): RootSys → MtrxSimpleCoroots(R): RootSys → MtrxExample: Root SpaceNumberOfPositiveRoots(R): RootSys → RngIntEltNumPosRoots(R): RootSys → RngIntEltRoots(R): RootSys → SetIndxCoroots(R): RootSys → SetIndxPositiveRoots(R): RootSys → SetIndxPositiveCoroots(R): RootSys → SetIndxRoot(R, r): RootSys, RngIntElt → SetIndxCoroot(R, r): RootSys, RngIntElt → SetIndxRootPosition(R, v): RootSys, . → SetIndxCorootPosition(R, v): RootSys, . → SetIndxExample: Roots CorootsHighestRoot(R): RootSys → .HighestCoroot(R): RootSys → .HighestLongRoot(R): RootSys → .HighestLongCoroot(R): RootSys → .HighestShortRoot(R): RootSys → .HighestShortCoroot(R): RootSys → .Example: Heighest RootsCoxeterForm(R): RootSys → AlgMatEltDualCoxeterForm(R): RootSys → AlgMatElt
- Reflections
SimpleReflectionMatrices(R): RootSys → []SimpleCoreflectionMatrices(R): RootSys → []ReflectionMatrices(R): RootSys → []CoreflectionMatrices(R): RootSys → []ReflectionMatrix(R, r): RootSys, RngIntElt → []CoreflectionMatrix(R, r): RootSys, RngIntElt → []SimpleReflectionPermutations(R): RootSys → []ReflectionPermutations(R): RootSys → []ReflectionPermutation(R, r): RootSys, RngIntElt → []ReflectionWords(R): RootSys → []ReflectionWord(R, r): RootSys, RngIntElt → []Example: Action
- Operations and Properties for Roots and Coroot Indices
Sum(R, r, s): RootSys, RngIntElt, RngIntElt → RngIntEltIsPositive(R, r): RootSys, RngIntElt → BoolEltIsNegative(R, r): RootSys, RngIntElt → BoolEltNegative(R, r): RootSys, RngIntElt → RngIntEltExample: Root ArithmeticRootHeight(R, r): RootSys, RngIntElt → RngIntEltCorootHeight(R, r): RootSys, RngIntElt → RngIntEltRootNorms(R): RootSys → [RngIntElt]CorootNorms(R): RootSys → [RngIntElt]RootNorm(R, r): RootSys, RngIntElt → RngIntEltCorootNorm(R, r): RootSys, RngIntElt → RngIntEltIsLongRoot(R, r): RootSys, RngIntElt → BoolEltIsShortRoot(R, r): RootSys, RngIntElt → BoolEltIsIndivisibleRoot(R, r): RootSys, RngIntElt → BoolEltLeftString(R, r, s): RootSys, RngIntElt, RngIntElt → RngIntEltRightString(R, r, s): RootSys, RngIntElt, RngIntElt → RngIntEltLeftStringLength(R, r, s): RootSys, RngIntElt, RngIntElt → RngIntEltRightStringLength(R, r, s): RootSys, RngIntElt, RngIntElt → RngIntEltExample: Root OperationsAdditiveOrder(R): RootSys → SeqEnumIsAdditiveOrder(R, Q): RootSys, [RngIntElt] → BoolEltExample: Additive Order
- Accessing Roots and Coroots
- Building Root Systems
sub<R | a>: RootSys, SetEnum → RootSyssub<R | s>: RootSys, SetEnum → RootSysR1 subset R2: RootSys, RootSys → BoolElt, .R1 + R2: RootSys, RootSys → RootSysDirectSum(R1, R2): RootSys, RootSys → RootSysR1 join R2: RootSys, RootSys → RootSysExample: Root Sys SumsDirectSumDecomposition(R): RootSys → []IndecomposableSummands(R): RootDtm → [], RootDtm, MapDual(R): RootSys → RootSysIndivisibleSubsystem(R): RootSys → RootSysExample: Direct Sum Dual
- Related Structures
RootDatum(R): RootSys → RootDtmCoxeterGroup(grpcat,R): Cat, RootSys → grpcatCoxeterGroup(R): RootSys → GrpPermCoxWeylGroup(R): RootSys → GrpPermCoxCoxeterGroup(GrpPermCox, R): Cat, RootSys → RngIntEltReflectionGroup(R): RootSys → GrpMatCoxeterGroup(GrpPermCox, W): Cat, RootSys → GrpPermCoxLieAlgebra(R, k): RootSys, Rng → AlgLieMatrixLieAlgebra(R, k): RootSys → GrpMatExample: Related