[____] [____] [_____] [____] [__] [Index] [Root] 


Subindex: WeilPairing  ..    witt




WeilPairing

   WeilPairing(P, Q, m) : JacHypPt, JacHypPt, RngIntElt -> RngElt

   WeilPairing(P, Q, n) : PtEll, PtEll, RngIntElt -> RngElt

   CrvEll_WeilPairing (Example H91E18)


weilpairing

   Weil Pairing (HYPERELLIPTIC CURVES)


WeilRestriction

   WeilRestriction(E, n) : FldFun, RngIntElt -> FldFun, UserProgram


Weyl

   WeylGroup(L) : AlgLie -> GrpPermCox

   WeylGroup(GrpFPCox, L) : Cat, AlgLie -> GrpPermCox

   WeylGroup(GrpMat, L) : Cat, AlgLie -> GrpPermCox

   WeylGroup( G ) : GrpLie  -> GrpCox


WeylGroup

   WeylGroup(L) : AlgLie -> GrpPermCox

   WeylGroup(GrpFPCox, L) : Cat, AlgLie -> GrpPermCox

   WeylGroup(GrpMat, L) : Cat, AlgLie -> GrpPermCox

   WeylGroup( G ) : GrpLie  -> GrpCox


when

   The case statement (OVERVIEW)


where

   The where ... is Construction (STATEMENTS AND EXPRESSIONS)

   State_where (Example H1E9)


where-:=

   expression_1 where identifier := expression_2

   expression_1 where identifier is expression_2


where-is

   The where ... is Construction (STATEMENTS AND EXPRESSIONS)

   expression_1 where identifier is expression_2


while

   The while statement (OVERVIEW)

   while boolexpr do statements end while : ->

   State_while (Example H1E13)


Who

   K3WhoIs(G,X) : GrphDir, VSrfK3 -> GrphVert


Width

   CuspWidth(G,x) : GrpPSL2, SetCspElt -> RngIntElt


Widths

   Widths(FS) : SymFry -> SeqEnum


Wildly

   IsWildlyRamified(K) : FldAlg -> BoolElt

   IsWildlyRamified(O) : RngFunOrd -> BoolElt

   IsWildlyRamified(P) : RngFunOrdIdl -> BoolElt

   IsWildlyRamified(P, O) : RngFunOrdIdl, RngFunOrd -> BoolElt

   IsWildlyRamified(O) : RngOrd -> BoolElt

   IsWildlyRamified(P) : RngOrdIdl -> BoolElt

   IsWildlyRamified(P, O) : RngOrdIdl, RngOrd -> BoolElt


Williams

   MacWilliamsTransform(n, k, K, W) : RngIntElt, RngIntElt, FldFin, RngMPol -> RngMPol

   MacWilliamsTransform(n, k, q, W) : RngIntElt, RngIntElt, RngIntElt, [ <RngIntElt, RngIntElt> ] -> [ <RngIntElt, RngIntElt> ]


Winding

   TwistedWindingElement(M, i, eps) : ModSym, RngIntElt, GrpDrchElt -> ModSymElt

   TwistedWindingSubmodule(M, j, eps) : ModSym, RngIntElt,                                              GrpDrchElt -> ModTupFld

   WindingElement(M) : ModSym -> ModSymElt

   WindingElement(M, i) : ModSym, RngIntElt -> ModSymElt

   WindingLattice(M, j : parameters) : ModSym,                                      RngIntElt -> Lat

   WindingSubmodule(M, j : parameters) : ModSym, RngIntElt -> ModTupFld


winding

   Winding Elements (MODULAR SYMBOLS)


WindingElement

   WindingElement(M) : ModSym -> ModSymElt

   WindingElement(M, i) : ModSym, RngIntElt -> ModSymElt


WindingLattice

   WindingLattice(M, j : parameters) : ModSym,                                      RngIntElt -> Lat


WindingSubmodule

   WindingSubmodule(M, j : parameters) : ModSym, RngIntElt -> ModTupFld


With

   ConstituentsWithMultiplicities(M) : ModRng -> [ <ModRng, RngIntElt> ]

   ImageWithBasis(X, M) : ModMatRngElt, ModRng -> ModRng

   IntersectionWithNormalSubgroup(G, N: parameters) : GrpPerm, GrpPerm -> GrpPerm

   IsGlobalUnitWithPreimage(a) : FldFunElt -> BoolElt, GrpAbElt

   IsGlobalUnitWithPreimage(a) : FldFunElt -> BoolElt, GrpAbElt

   IsSUnitWithPreimage(a, S) : FldFunElt, SetEnum[PlcFunElt] -> BoolElt, GrpAbElt

   IsUnitWithPreimage(a) : RngFunOrdElt -> BoolElt, GrpAbElt

   KMatrixSpaceWithBasis(Q) : [ ModMatRngElt ] -> ModMatRng

   LatticeWithBasis(G, B) : GrpMat, ModMatRngElt -> Lat

   LatticeWithBasis(G, B, M) : GrpMat, ModMatRngElt, AlgMatElt -> Lat

   LatticeWithBasis(B) : ModMatRngElt -> Lat

   LatticeWithBasis(B, M) : ModMatRngElt, AlgMatElt -> Lat

   LatticeWithGram(F) : AlgMatElt -> Lat

   LatticeWithGram(G, F) : GrpMat, AlgMatElt -> Lat

   RMatrixSpaceWithBasis(Q) : [ ModMatRngElt ] -> ModMatRng

   RMatrixSpaceWithBasis(Q) : [ModTupRngElt] -> ModMatRng

   RModuleWithBasis(Q) : [ModRngElt] -> ModTupRng

   RandomProcess(G) : GrpFin -> Process

   TableauxOnShapeWithContent(S, C) : SeqEnum[RngIntElt], SeqEnum[RngIntElt] -> SetEnum

   TableauxWithContent(C) : SeqEnum[RngIntElt] -> SetEnum

   UpperHalfPlaneWithCusps() : -> SpcHyp

   VectorSpaceWithBasis(B) : [ModTupFldElt] -> ModTupFld


with

   Construction of a Module with Specified Basis (FREE MODULES)

   Modules Hom_(R)(M, N) with Given Basis (FREE MODULES)


Withj

   EllipticCurveWithjInvariant(j) : RngElt -> CrvEll

   EllipticCurveFromjInvariant(j) : RngElt -> CrvEll


Witt

   HasseWittInvariant(F) : FldFunG -> RngIntElt

   HasseWittInvariant(F) : FldFunG -> RngIntElt

   WittDesign(n) : RngIntElt -> Dsgn

   WittRing(F, n) : Fld, RngIntElt -> RngWitt


witt

   The Ring of Finite Witt Vectors (ALGEBRAIC FUNCTION FIELDS)

   The Witt Designs (INCIDENCE STRUCTURES AND DESIGNS)




[____] [____] [_____] [____] [__] [Index] [Root]