Documentation

root
- Building Groups of Lie Type (GROUPS OF LIE TYPE)
- Building Root Data (ROOT DATA)
- Building Root Systems (ROOT SYSTEMS)
- Constants Associated with Root Data (ROOT DATA)
- Constructing Root Data (ROOT DATA)
- Constructing Root Systems (ROOT SYSTEMS)
- Constructing Sparse Root Data (ROOT DATA)
- Local Root Numbers (DIRICHLET AND HECKE CHARACTERS)
- Morphisms of Root Data (ROOT DATA)
- Nonreduced Root Data (ROOT DATA)
- Nonreduced Root Systems (ROOT SYSTEMS)
- Operations and Properties for Roots and Coroot Indices (ROOT SYSTEMS)
- Operations and Properties for Root and Coroot Indices (COXETER GROUPS)
- Operations and Properties for Root and Coroot Indices (GROUPS OF LIE TYPE)
- Operations and Properties for Root and Coroot Indices (ROOT DATA)
- Operations on Root Data (ROOT DATA)
- Operators on Root Systems (ROOT SYSTEMS)
- Order and Roots (FINITE FIELDS)
- Properties of Root Data (ROOT DATA)
- Properties of Root Systems (ROOT SYSTEMS)
- Root Actions (COXETER GROUPS)
- ROOT DATA
- ROOT SYSTEMS
- Roots (FINITE FIELDS)
- Roots (UNIVARIATE POLYNOMIAL RINGS)
- Roots, Coroots and Reflections (COXETER GROUPS)
- Square Root (POWER, LAURENT AND PUISEUX SERIES)
- Standard Action (COXETER GROUPS)
root-data
- ROOT DATA
root-data-roots
- Roots, Coroots and Reflections (COXETER GROUPS)
root-systems
- ROOT SYSTEMS
RootAction
- CorootAction(W) : GrpPermCox -> Map
- RootAction(W) : GrpPermCox -> Map
RootArithmetic
- GrpCox_RootArithmetic (Example H105E19)
- RootDtm_RootArithmetic (Example H104E21)
- RootSys_RootArithmetic (Example H103E13)
RootClosure
- RootClosure(R, S) : RootDtm, SetEnum[RngIntElt] -> SetEnum[RngIntElt]
rootdata
- Isogeny of Split Reduced Root Data (ROOT DATA)
RootDatum
- RootDatum(L) : AlgLie -> RootDtm
- RootDatum(C) : AlgMatElt -> RootDtm
- RootDatum(C) : AlgMatElt -> RootDtm
- RootDatum(U) : AlgQUE -> RootDtm
- RootDatum(D) : GrphDir -> RootDtm
- RootDatum(G) : GrpLie -> RootDtm
- RootDatum(W) : GrpMat -> RootDtm
- RootDatum(W) : GrpPermCox -> RootDtm
- RootDatum(D) : LieRepDec -> RootDtm
- RootDatum(V) : ModTupFld -> RootDtm
- RootDatum(N) : MonStgElt -> RootDtm
- RootDatum(A, B) : Mtrx, Mtrx -> RootDtm
- RootDatum(R) : RootDtmSprs -> RootDtm
- RootDatum(R) : RootSys -> RootDtm
- AlgLie_RootDatum (Example H107E33)
rootdatum
- The Coxeter Group (ROOT DATA)
rootdatum-cox-grps
- The Coxeter Group (ROOT DATA)
rootdtm
- Definition of a Split Root Datum (ROOT DATA)
- Extended Root Data (ROOT DATA)
RootDtmDecomp
- RootDtm_RootDtmDecomp (Example H104E28)
RootDtmSums
- RootDtm_RootDtmSums (Example H104E27)
Rooted
- IsRootedTree(G) : GrphDir -> BoolElt, GrphVert
RootGSet
- CorootGSet(W) : GrpPermCox -> GSet
- RootGSet(W) : GrpPermCox -> GSet
RootHeight
- CorootHeight(G, r) : GrpLie, RngIntElt -> RngIntElt
- RootHeight(G, r) : GrpLie, RngIntElt -> RngIntElt
- RootHeight(W, r) : GrpPermCox, RngIntElt -> RngIntElt
- RootHeight(R, r) : RootStr, RngIntElt -> RngIntElt
- RootHeight(R, r) : RootSys, RngIntElt -> RngIntElt
RootImages
- RootImages(phi) : Map -> [RngIntElt]
RootLattice
- CorootLattice(R) : RootDtm -> Lat, Map
- RootLattice(R) : RootDtm -> Lat, Map
rootno-27a
- Char_rootno-27a (Example H42E15)
RootNorm
- CorootNorm(G, r) : GrpLie, RngIntElt -> RngIntElt
- RootNorm(G, r) : GrpLie, RngIntElt -> RngIntElt
- RootNorm(W, r) : GrpPermCox, RngIntElt -> RngIntElt
- RootNorm(R, r) : RootStr, RngIntElt -> RngIntElt
- RootNorm(R, r) : RootSys, RngIntElt -> RngIntElt
RootNorms
- CorootNorms(G) : GrpLie -> [RngIntElt]
- RootNorms(G) : GrpLie -> [RngIntElt]
- RootNorms(W) : GrpPermCox -> [RngIntElt]
- RootNorms(R) : RootStr -> [RngIntElt]
- RootNorms(R) : RootSys -> [RngIntElt]

V2.28, 13 July 2023

Magma is maintained and distributed by the Computational Algebra Group, School of Mathematics and Statistics, University of Sydney.