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

Subindex: lie  ..  Line


lie

   GROUPS OF LIE TYPE
   INTRODUCTION TO LIE THEORY [LIE THEORY]
   lie-theory (OVERVIEW)

lie-introduction

   INTRODUCTION TO LIE THEORY [LIE THEORY]

lie-theory

   lie-theory (OVERVIEW)

lie_alg

   LIE ALGEBRAS

liealg

   AlgAss_liealg (Example H67E1)

LieAlgebra

   LieAlgebra(A) : AlgAss -> AlgGen, Map
   LieAlgebra(A) : AlgAss -> AlgLie
   LieAlgebra(A) : AlgAss -> AlgLie
   LieAlgebra( C, k ) : AlgMatElt -> AlgLie
   LieAlgebra( W, R ) : GrpMat, Rng -> AlgLie
   LieAlgebra( W, R ) : GrpPermCox, Rng -> AlgLie
   LieAlgebra< R, n | Q : parameters > : Rng, RngIntElt, SeqEnum -> AlgLie
   LieAlgebra< R, n | T : parameters > : Rng, RngIntElt, SeqEnum -> AlgLie
   LieAlgebra< R, n | Q > : Rng, RngIntElt, SeqEnum -> AlgLie
   LieAlgebra( R, k ) : RootDtm, Rng -> AlgLie
   LieAlgebra( R, k ) : RootSys -> GrpMat
   ReductiveLieAlgebra( R, k ) : RootDtm, Rng -> AlgLie
   ReductiveLieAlgebra( R, k ) : RootSys, Rng -> AlgLie
   SemisimpleLieAlgebra( C, k ) : AlgMatElt, Rng -> AlgLie
   SemisimpleLieAlgebra( D, k ) : GrphDir, Rng -> AlgLie
   SemisimpleLieAlgebra( N, k ) : MonStrElt, Rng -> AlgLie

LieBracket

   (a, b) : AlgAssElt, AlgAssElt -> AlgAssElt
   LieBracket(a, b) : AlgAssElt, AlgAssElt -> AlgAssElt

LieConstant

   LieConstant_epsilon( R, r, s ) : RootDtm, RngIntElt, RngIntElt -> RngIntElt
   LieConstant_eta( R, r, s ) : RootDtm, RngIntElt, RngIntElt -> RngIntElt
   LieConstant_N( R, r, s ) : RootDtm, RngIntElt, RngIntElt -> RngIntElt
   LieConstant_p( R, r, s ) : RootDtm, RngIntElt, RngIntElt -> RngIntElt
   LieConstant_q( R, r, s ) : RootDtm, RngIntElt, RngIntElt -> RngIntElt
   LieConstant_M( R, r, s, i ) : RootDtm, RngIntElt, RngIntElt, RngIntElt -> RngIntElt
   LieConstant_C( R, i, j, r, s ) : RootDtm, RngIntElt, RngIntElt, RngIntElt, RngIntElt -> RngIntElt

Lift

   HenselLift(f, x) : RngUPolElt, RngPadElt -> RngPadElt
   HenselLift(f, s, P) : RngUPolElt, [ RngUPolElt ], RngUPol -> [ RngUPolElt ]
   HenselLift(f, s) : RngUPolElt, [RngUPolElt] -> [RngUPolElt]
   Lift(a, P) : RngElt, PlcCrvElt -> FldFunElt
   Lift(a, P) : RngElt, PlcFunElt -> FldFunElt
   Lift(a, P) : RngElt, PlcFunElt -> FldFunElt
   LiftCharacter(x, f, G) : AlgChtrElt, MapHom, Grp -> AlgChtrElt
   LiftCharacters(T, f, G) : AlgChtrElt, MapHom, Grp -> AlgChtrElt
   LiftHomomorphism(x, n) : ModAlgElt, RngIntElt -> ModMatFldElt
   LiftHomomorphism(X, S) : SeqEnum[ModAlgElt], SeqEnum[RngIntElt] -> ModMatFldElt
   LiftNonsplitExtension(SQP, p, i, k : parameters) : SQProc, RngIntElt, RngIntElt, RngIntElt -> RngIntElt, SQProc
   LiftNonsplitExtensionRow(SQP, p, l) : SQProc, RngIntElt, RngIntElt -> RngIntElt, SQProc
   LiftPoint(P, n) : Pt, RngIntElt -> Pt
   LiftSplitExtension(SQP, p, i, k : parameters) : SQProc, RngIntElt, RngIntElt, RngIntElt -> RngIntElt, SQProc
   LiftSplitExtensionRow(SQP): SQProc -> RngIntElt, SQProc
   SubgroupsLift(G, A, B, Q: parameters) : GrpPerm, GrpPerm, GrpPerm, SeqEnum -> SeqEnum

LiftCharacter

   Extension(x, f, G) : AlgChtrElt, MapHom, Grp -> AlgChtrElt
   LiftCharacter(x, f, G) : AlgChtrElt, MapHom, Grp -> AlgChtrElt

LiftCharacters

   Extension(T, f, G) : AlgChtrElt, MapHom, Grp -> AlgChtrElt
   LiftCharacters(T, f, G) : AlgChtrElt, MapHom, Grp -> AlgChtrElt

LiftHomomorphism

   LiftHomomorphism(x, n) : ModAlgElt, RngIntElt -> ModMatFldElt
   LiftHomomorphism(X, S) : SeqEnum[ModAlgElt], SeqEnum[RngIntElt] -> ModMatFldElt

lifting

   Lifting a Quotient (FINITELY PRESENTED GROUPS: ADVANCED)

lifting-quotient

   Lifting a Quotient (FINITELY PRESENTED GROUPS: ADVANCED)

LiftNonsplitExtension

   LiftNonsplitExtension(SQP, p, i, k : parameters) : SQProc, RngIntElt, RngIntElt, RngIntElt -> RngIntElt, SQProc

LiftNonsplitExtensionRow

   LiftNonsplitExtensionRow(SQP, p, l) : SQProc, RngIntElt, RngIntElt -> RngIntElt, SQProc

LiftPoint

   LiftPoint(P, n) : Pt, RngIntElt -> Pt

LiftSplitExtension

   LiftSplitExtension(SQP, p, i, k : parameters) : SQProc, RngIntElt, RngIntElt, RngIntElt -> RngIntElt, SQProc

LiftSplitExtensionRow

   LiftSplitExtensionRow(SQP): SQProc -> RngIntElt, SQProc

like

   Q as a Number Field (RING OF INTEGERS)

LIMIT

   MAGMA_MEMORY_LIMIT

Limit

   PrimitiveGroupDatabaseLimit() : -> RngIntElt
   SetMemoryLimit(n) : RngIntElt ->
   SmallGroupDatabaseLimit() : -> RngIntElt
   TransitiveGroupDatabaseLimit() : -> RngIntElt

limit

   Limits (FINITELY PRESENTED ALGEBRAS)

lin

   Linear Algebra (p-ADIC RINGS AND THEIR EXTENSIONS)
   LINEAR PROGRAMMING

lin-alg

   Linear Algebra (p-ADIC RINGS AND THEIR EXTENSIONS)

lin-opt

   LINEAR PROGRAMMING

linalg

   IsSubsystem(L,K) : LinSys,LinSys -> BoolElt
   Basic Algebra of Linear Systems (SCHEMES)

Line

   IsLineRegular(D) : IncNsp -> BoolElt, RngIntElt
   IsLineTransitive(P) : Plane -> BoolElt
   Line(C,p,q) : Crv, Pt,Pt -> Crv
   Line(D, p, q) : Inc, IncPt, IncPt -> IncBlk
   LineAtInfinity(A) : Aff -> Crv
   LineGraph(G) : Grph -> Grph
   LineGraph(P) : Plane -> Grph
   LineGraph(P) : Plane -> GrphUnd
   LineGroup(P) : Plane -> GrpPerm, PowMap, Map
   LineOrbits(G) : GrpMat -> [ SetIndx ]
   LineSet(P) : Plane -> PlaneLnSet
   SetLineEditor(b) : BoolElt ->
   TangentLine(p) : Crv,Pt -> Crv


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