Documentation

ExternalLines
- AllPassants(P, A) : Plane, { PlanePt } -> { PlaneLn }
- ExternalLines(P, A) : Plane, { PlanePt } -> { PlaneLn }
ExtGenerators
- ExtGenerators(G, U) : GrpPC, GrpPC -> [<AlgMatElt, RngIntElt>]
ExtOverAdj
- Multilinear_ExtOverAdj (Example H62E80)
Extra
- ExtraAutomorphism(CN,N,u): Crv, RngIntElt, RngElt -> MapAutSch
- ExtraSpecialAction(G, g) : GrpMat, GrpMatElt -> GrpMatElt
- ExtraSpecialBasis(G) : GrpMat -> GrpMatElt
- ExtraSpecialFPGroup(p, n : parameters) : RngIntElt, RngIntElt -> GrpFP
- ExtraSpecialGroup(G) : GrpMat -> GrpMat
- ExtraSpecialGroup(C, p, n : parameters) : Cat, RngIntElt, RngIntElt -> GrpFin
- ExtraSpecialGroup(GrpGPC, p, n : parameters) : Cat, RngIntElt, RngIntElt -> GrpGPC
- ExtraSpecialGroup(GrpPC, p, n : parameters) : Cat, RngIntElt, RngIntElt -> GrpPC
- ExtraSpecialGroup(GrpPerm, p, n : parameters) : Cat, RngIntElt, RngIntElt -> GrpPerm
- ExtraSpecialNormaliser(G) : GrpMat -> SeqEnum
- ExtraSpecialParameters(G) : GrpMat -> [RngIntElt, RngIntElt]
- IsExtraSpecial(G) : GrpFin -> BoolElt
- IsExtraSpecial(G) : GrpMat -> BoolElt
- IsExtraSpecial(G) : GrpPC -> BoolElt
- IsExtraSpecial(G) : GrpPerm -> BoolElt
- IsExtraSpecialNormaliser(G) : GrpMat -> BoolElt
extra
- Addition of Extra Generators (GROUPS OF STRAIGHT-LINE PROGRAMS)
extra-generators
- Addition of Extra Generators (GROUPS OF STRAIGHT-LINE PROGRAMS)
ExtraAutomorphism
- ExtraAutomorphism(CN,N,u): Crv, RngIntElt, RngElt -> MapAutSch
Extract
- ExtractGenerators(P) : GrpFPLixProc -> { GrpFPElt }
- ExtractGroup(P) : GrpFPLixProc -> GrpFP
- ExtractGroup(P) : GrpPCpQuotientProc -> GrpPC
- ExtractRep(~R, ~r) : SetEnum, Elt ->
- Submatrix(A, i, j, p, q) : Mtrx, RngIntElt, RngIntElt, RngIntElt, RngIntElt -> Mtrx
- Submatrix(a, i, j, p, q) : Mtrx, RngIntElt, RngIntElt, RngIntElt, RngIntElt -> Mtrx
- Submatrix(A, i, j, p, q) : MtrxSprs, RngIntElt, RngIntElt, RngIntElt, RngIntElt -> MtrxSprs
- SubmatrixRange(A, i, j, r, s) : Mtrx, RngIntElt, RngIntElt, RngIntElt, RngIntElt -> Mtrx
- SubmatrixRange(A, i, j, r, s) : MtrxSprs, RngIntElt, RngIntElt, RngIntElt, RngIntElt -> MtrxSprs
ExtractBlock
- ExtractBlock(A, i, j, p, q) : Mtrx, RngIntElt, RngIntElt, RngIntElt, RngIntElt -> Mtrx
- Submatrix(A, i, j, p, q) : Mtrx, RngIntElt, RngIntElt, RngIntElt, RngIntElt -> Mtrx
- Submatrix(a, i, j, p, q) : Mtrx, RngIntElt, RngIntElt, RngIntElt, RngIntElt -> Mtrx
- Submatrix(A, i, j, p, q) : MtrxSprs, RngIntElt, RngIntElt, RngIntElt, RngIntElt -> MtrxSprs
ExtractBlockRange
- ExtractBlockRange(A, i, j, r, s) : Mtrx, RngIntElt, RngIntElt, RngIntElt, RngIntElt -> Mtrx
- SubmatrixRange(A, i, j, r, s) : Mtrx, RngIntElt, RngIntElt, RngIntElt, RngIntElt -> Mtrx
- SubmatrixRange(A, i, j, r, s) : MtrxSprs, RngIntElt, RngIntElt, RngIntElt, RngIntElt -> MtrxSprs
ExtractGenerators
- ExtractGenerators(P) : GrpFPLixProc -> { GrpFPElt }
ExtractGroup
- ExtractGroup(P) : GrpFPLixProc -> GrpFP
- ExtractGroup(P) : GrpPCpQuotientProc -> GrpPC
extracting
- Extracting the Left and Right Modules From a Bimodule (MODULES OVER AN ALGEBRA AND GROUP REPRESENTATIONS)
extracting-left-right-modules
- Extracting the Left and Right Modules From a Bimodule (MODULES OVER AN ALGEBRA AND GROUP REPRESENTATIONS)
ExtractRep
- ExtractRep(~R, ~r) : SetEnum, Elt ->
- Set_ExtractRep (Example H10E9)
extradical
- FldForms_extradical (Example H30E7)
Extraspecial
- ExtraspecialPair(R,r) : RootDtm, RngIntElt -> SeqEnum
- ExtraspecialPairs(R) : RootDtm -> SeqEnum
- ExtraspecialSigns(R) : RootDtm -> []
- NumExtraspecialPairs(R) : RootDtm -> SeqEnum
extraspecial
- Normalisers of Extraspecial r-groups and Symplectic 2-groups (MATRIX GROUPS OVER FINITE FIELDS)
ExtraSpecialAction
- ExtraSpecialAction(G, g) : GrpMat, GrpMatElt -> GrpMatElt
ExtraSpecialBasis
- ExtraSpecialBasis(G) : GrpMat -> GrpMatElt
ExtraSpecialFPGroup
- ExtraSpecialFPGroup(p, n : parameters) : RngIntElt, RngIntElt -> GrpFP
ExtraSpecialGroup
- ExtraSpecialGroup(G) : GrpMat -> GrpMat
- ExtraSpecialGroup(C, p, n : parameters) : Cat, RngIntElt, RngIntElt -> GrpFin
- ExtraSpecialGroup(GrpGPC, p, n : parameters) : Cat, RngIntElt, RngIntElt -> GrpGPC
- ExtraSpecialGroup(GrpPC, p, n : parameters) : Cat, RngIntElt, RngIntElt -> GrpPC
- ExtraSpecialGroup(GrpPerm, p, n : parameters) : Cat, RngIntElt, RngIntElt -> GrpPerm
ExtraSpecialNormaliser
- ExtraSpecialNormaliser(G) : GrpMat -> SeqEnum
- GrpMatFF_ExtraSpecialNormaliser (Example H66E6)
ExtraspecialPair
- ExtraspecialPair(R,r) : RootDtm, RngIntElt -> SeqEnum
ExtraspecialPairs
- ExtraspecialPairs(R) : RootDtm -> SeqEnum
ExtraSpecialParameters
- ExtraSpecialParameters(G) : GrpMat -> [RngIntElt, RngIntElt]
ExtraspecialSigns
- ExtraspecialSigns(R) : RootDtm -> []
Extremal
- ExtremalLieAlgebra(K, G) : Rng, GrphUnd -> AlgLieExtr
- ExtremalLieAlgebra(K, n) : Rng, RngIntElt -> AlgLieExtr
- ExtremalRayContraction(X,i) : TorVar,RngIntElt -> TorVar,TorMap
- ExtremalRayContractionDivisor(X,i) : TorVar,RngIntElt -> DivTorElt
- ExtremalRays(X) : TorVar -> SeqEnum
ExtremalLieAlgebra
- ExtremalLieAlgebra(K, G) : Rng, GrphUnd -> AlgLieExtr
- ExtremalLieAlgebra(K, n) : Rng, RngIntElt -> AlgLieExtr
ExtremalRayContraction
- ExtremalRayContraction(X,i) : TorVar,RngIntElt -> TorVar,TorMap
ExtremalRayContractionDivisor
- ExtremalRayContractionDivisor(X,i) : TorVar,RngIntElt -> DivTorElt
ExtremalRayContractions
- ExtremalRayContractions(X) : TorVar,RngIntElt -> SeqEnum
- ExtremalRays(X) : TorVar -> SeqEnum
ExtremalRays
- ExtremalRayContractions(X) : TorVar,RngIntElt -> SeqEnum
- ExtremalRays(X) : TorVar -> SeqEnum

V2.28, 13 July 2023

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