Documentation

weil
- Heights and Regulator (HYPERELLIPTIC CURVES)
- Mordell-Weil Groups and Descent Methods (ELLIPTIC CURVES OVER Q AND NUMBER FIELDS)
- The Mordell--Weil Group (ELLIPTIC CURVES OVER FUNCTION FIELDS)
- The Mordell-Weil Group (HYPERELLIPTIC CURVES)
weil_descent
- Weil Descent (ALGEBRAIC FUNCTION FIELDS)
weil_pairing
- Weil Pairing (ELLIPTIC CURVES)
WeilDescent
- WeilDescent(E,k) : FldFun, FldFin -> FldFunG, Map
- WeilDescent(E, k, c) : FldFun, FldFin, FldFinElt -> CrvPln, Map
WeilDescentDegree
- WeilDescentDegree(E,k) : FldFun, FldFin -> RngIntElt
- WeilDescentDegree(E, k, c) : FldFun, FldFin, FldFinElt -> RngIntElt
WeilDescentGenus
- WeilDescentGenus(E,k) : FldFun, FldFin -> RngIntElt
- WeilDescentGenus(E, k, c) : FldFun, FldFin, FldFinElt -> RngIntElt
WeilHeight
- WeilHeight(P) : PtEll -> FldPrElt
- NaiveHeight(P) : PtEll -> FldPrElt
WeilPairing
- WeilPairing(P, Q, m) : JacHypPt, JacHypPt, RngIntElt -> RngElt
- WeilPairing(P, Q, n) : PtEll, PtEll, RngIntElt -> RngElt
- WeilPairing(P, Q, n) : PtEll, PtEll, RngIntElt -> RngElt
- CrvEll_WeilPairing (Example H128E27)
weilpairing
- Weil Pairing (HYPERELLIPTIC CURVES)
weilpoly
- Weil Polynomials (HILBERT SERIES OF POLARISED VARIETIES)
- GrdRng_weilpoly (Example H125E5)
weilpoly2
- GrdRng_weilpoly2 (Example H125E6)
WeilPolynomialOfDegree2K3Surface
- WeilPolynomialOfDegree2K3Surface(f6) : RngMPolElt -> RngUPolElt, RngUPolElt
WeilPolynomialOverFieldExtension
- WeilPolynomialOverFieldExtension(f, deg) : RngUPolElt, RngIntElt -> RngUPolElt
WeilPolynomialToRankBound
- WeilPolynomialToRankBound(f, q) : RngUPolElt, RngIntElt -> RngIntElt
WeilRepresentation
- WeilRepresentation(pi) : RepLoc -> GalRep
- GaloisRepresentation(pi) : RepLoc -> GalRep
WeilRestriction
- WeilRestriction(S, F) : Sch, Fld -> Sch, MapSch, UserProgram, Map
- RestrictionOfScalars(S, F) : Sch, Fld -> Sch, MapSch, UserProgram, Map
- WeilRestriction(E, n) : FldFun, RngIntElt -> FldFun, UserProgram
WeilToClassGroupsMap
- WeilToClassLatticesMap(C) : RngCox -> Map
- WeilToClassGroupsMap(C) : RngCox -> Map
WeilToClassLatticesMap
- WeilToClassLatticesMap(C) : RngCox -> Map
- WeilToClassGroupsMap(C) : RngCox -> Map
Weyl
- AlternatingWeylSum(R, v) : RootDtm, ModTupRngElt -> LieRepDec
- WeylDimension(R, w) : RootDtm, [ ] -> RngIntElt
- WeylGroup(L) : AlgLie -> GrpPermCox
- WeylGroup(GrpFPCox, L) : Cat, AlgLie -> GrpPermCox
- WeylGroup(GrpMat, L) : Cat, AlgLie -> GrpPermCox
- WeylGroup(GrpFPCox, G) : Cat, GrpLie -> GrpFPCox
- WeylGroup(GrpMat, G) : Cat, GrpLie -> GrpMat
- WeylGroup(G) : GrpLie -> GrpPermCox
- WeylWord(p) : PathLS -> SeqEnum
WeylDimension
- WeylDimension(R, w) : RootDtm, [ ] -> RngIntElt
WeylGroup
- WeylGroup(L) : AlgLie -> GrpPermCox
- WeylGroup(GrpFPCox, L) : Cat, AlgLie -> GrpPermCox
- WeylGroup(GrpMat, L) : Cat, AlgLie -> GrpPermCox
- WeylGroup(GrpFPCox, G) : Cat, GrpLie -> GrpFPCox
- WeylGroup(GrpMat, G) : Cat, GrpLie -> GrpMat
- WeylGroup(G) : GrpLie -> GrpPermCox
WeylWord
- WeylWord(p) : PathLS -> SeqEnum
WG
- InduceWG(W,wg,seq) : GrpFPCox, GrphUnd, SeqEnum -> GrphUnd
- TestWG(W,wg) : GrpFPCox, GrphUnd -> .
- WGtable2WG(table) : SeqEnum -> GrphUnd
- WriteWG(file,uwg) : MonStgElt, GrphUnd -> .
WG2
- WG2GroupRep(wg) : GrphUnd -> SeqEnum
- WG2HeckeRep(W,wg) : GrpFPCox, GrphUnd -> SeqEnum
WG2GroupRep
- WG2GroupRep(wg) : GrphUnd -> SeqEnum
WG2HeckeRep
- WG2HeckeRep(W,wg) : GrpFPCox, GrphUnd -> SeqEnum
WGelement2
- WGelement2WGtable(g,K) : GrpFPCoxElt, SetEnum -> SeqEnum, SeqEnum
WGelement2WGtable
- WGelement2WGtable(g,K) : GrpFPCoxElt, SetEnum -> SeqEnum, SeqEnum
WGidealgens2
- WGidealgens2WGtable(dgens,K) : SeqEnum, SetEnum -> SeqEnum[SeqEnum[RngIntElt]], SetIndx
WGidealgens2WGtable
- WGidealgens2WGtable(dgens,K) : SeqEnum, SetEnum -> SeqEnum[SeqEnum[RngIntElt]], SetIndx
WgraphIdeal
- GrpCox_WgraphIdeal (Example H105E35)
wgraphs
- W-graphs (COXETER GROUPS)
WGsymmetric
- IsWGsymmetric(dwg) : GrphDir -> BoolElt, GrphDir
WGtable
- InduceWGtable(J, table, W) : SeqEnum, SeqEnum, GrpFPCox -> SeqEnum[SeqEnum[RngIntElt]]
- Partition2WGtable(pi) : SeqEnum -> SeqEnum, GrpFPCox
- WGelement2WGtable(g,K) : GrpFPCoxElt, SetEnum -> SeqEnum, SeqEnum
- WGidealgens2WGtable(dgens,K) : SeqEnum, SetEnum -> SeqEnum[SeqEnum[RngIntElt]], SetIndx
WGtable2
- WGtable2WG(table) : SeqEnum -> GrphUnd
WGtable2WG
- WGtable2WG(table) : SeqEnum -> GrphUnd
where
- The where ... is Construction (STATEMENTS AND EXPRESSIONS)
- State_where (Example H1E9)
where-:=
- expression₁ where identifier := expression₂
- expression₁ where identifier is expression₂
where-is
- The where ... is Construction (STATEMENTS AND EXPRESSIONS)
- expression₁ where identifier is expression₂
while
- while
- State_while (Example H1E13)
- State_while (Example H1E14)

V2.28, 13 July 2023

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