[____] [____] [_____] [____] [__] [Index] [Root]
Index K
JacobiThetaNullK(q, k) : FldPrElt, RngIntElt -> FldPr
Elimination (k): elim (IDEAL THEORY AND GRÖBNER BASES)
Gathering the Data (THE K3 DATABASE)
Gathering the Data (THE K3 DATABASE)
k
K3Database() : -> SeqEnum
K3Surface(g,B) : RngIntElt,SeqEnum -> VSrfK3
K3Surface(DB,i) : SeqEnum,RngIntElt -> VSrfK3
K3SurfaceFromAFR(DB,c,n) : SeqEnum,RngIntElt,RngIntElt -> VSrfK3
K3SurfacesFromBasket(DB,B) : SeqEnum,SeqEnum -> SeqEnum
K3SurfacesFromWeights(DB,W) : SeqEnum,SeqEnum -> SeqEnum
EnriquesForm(X) : VSrfK3 -> SeqEnum
NoetherForm(X) : VSrfK3 -> SeqEnum
Accessing the K3 Database (THE K3 DATABASE)
An Example of Use of the Database (THE K3 DATABASE)
Building the K3 Database (THE K3 DATABASE)
Geometry and Basic Conventions (THE K3 DATABASE)
K3 Surfaces in the Database (THE K3 DATABASE)
Projection and Unprojection (THE K3 DATABASE)
Relations between K3 Surfaces (THE K3 DATABASE)
Searching the Database (THE K3 DATABASE)
The Database Itself (THE K3 DATABASE)
THE K3 DATABASE
Working with the Raw Elements (THE K3 DATABASE)
K3_k3-baskets (Example H91E4)
Building the K3 Database (THE K3 DATABASE)
Working with the Raw Elements (THE K3 DATABASE)
The Database Itself (THE K3 DATABASE)
EnriquesForm(X) : VSrfK3 -> SeqEnum
NoetherForm(X) : VSrfK3 -> SeqEnum
Accessing the K3 Database (THE K3 DATABASE)
THE K3 DATABASE
Geometry and Basic Conventions (THE K3 DATABASE)
An Example of Use of the Database (THE K3 DATABASE)
K3_k3-projection (Example H91E1)
Projection and Unprojection (THE K3 DATABASE)
Relations between K3 Surfaces (THE K3 DATABASE)
Searching the Database (THE K3 DATABASE)
EnriquesForm(X) : VSrfK3 -> SeqEnum
NoetherForm(X) : VSrfK3 -> SeqEnum
K3 Surfaces in the Database (THE K3 DATABASE)
K3_k3-unprojection (Example H91E2)
K3_k3-unprojection-chain (Example H91E3)
K3Database() : -> SeqEnum
K3Surface(g,B) : RngIntElt,SeqEnum -> VSrfK3
K3Surface(DB,i) : SeqEnum,RngIntElt -> VSrfK3
K3SurfaceFromAFR(DB,c,n) : SeqEnum,RngIntElt,RngIntElt -> VSrfK3
K3SurfaceFromBasket(DB,B) : SeqEnum,SeqEnum -> SeqEnum
K3SurfacesFromBasket(DB,B) : SeqEnum,SeqEnum -> SeqEnum
K3SurfaceFromWeights(DB,W) : SeqEnum,SeqEnum -> VSrfK3
K3SurfacesFromWeights(DB,W) : SeqEnum,SeqEnum -> SeqEnum
K3SurfaceFromBasket(DB,B) : SeqEnum,SeqEnum -> SeqEnum
K3SurfacesFromBasket(DB,B) : SeqEnum,SeqEnum -> SeqEnum
K3SurfaceFromWeights(DB,W) : SeqEnum,SeqEnum -> VSrfK3
K3SurfacesFromWeights(DB,W) : SeqEnum,SeqEnum -> SeqEnum
Construction of a K[G]-Module (MODULES OVER A MATRIX ALGEBRA)
General K[G]-Modules (MODULES OVER A MATRIX ALGEBRA)
Natural K[G]-Modules (MODULES OVER A MATRIX ALGEBRA)
Construction of a K[G]-Module (MODULES OVER A MATRIX ALGEBRA)
SetKantPrecision(O, n) : RngOrd, RngIntElt ->
SetKantPrinting(f) : BoolElt -> BoolElt
CompleteKArc(P, k) : Plane, RngIntElt -> SetEnum
kArc(P, k) : Plane, RngIntElt -> SetEnum
KBessel2(n, s) : FldPrElt, FldPrElt -> FldPrElt
KBessel(n, s) : FldPrElt, FldPrElt -> FldPrElt
KBessel2(n, s) : FldPrElt, FldPrElt -> FldPrElt
KBessel(n, s) : FldPrElt, FldPrElt -> FldPrElt
KCubeGraph(k) : RngIntElt -> GrphUnd
KCubeGraph(k) : RngIntElt -> GrphUnd
KeepAbelian(SQG, SQH) : SQProc, SQProc -> SeqEnum
[Future release] KeepDirect(SQG, SQH) : SQProc, SQProc -> SeqEnum
KeepElementary(SQG, SQH) : SQProc, SQProc -> SeqEnum
KeepElementaryAbelian(SQG, SQH) : SQProc, SQProc -> SeqEnum
KeepGeneratorAction(SQG, SQH) : SQProc, SQProc -> SeqEnum
KeepGeneratorOrder(SQG, SQH) : SQProc, SQProc -> SeqEnum
KeepPrimePower(SQP, p) : SQProc, RngIntElt -> SeqEnum
KeepSplit(SQG, SQH) : SQProc, SQProc -> SeqEnum
KeepSplitAbelian(SQG, SQH) : SQProc, SQProc -> SeqEnum
KeepSplitElementaryAbelian(SQG, SQH) : SQProc, SQProc -> SeqEnum
KeepAbelian(SQG, SQH) : SQProc, SQProc -> SeqEnum
[Future release] KeepDirect(SQG, SQH) : SQProc, SQProc -> SeqEnum
KeepElementary(SQG, SQH) : SQProc, SQProc -> SeqEnum
KeepElementaryAbelian(SQG, SQH) : SQProc, SQProc -> SeqEnum
KeepGeneratorAction(SQG, SQH) : SQProc, SQProc -> SeqEnum
KeepGeneratorOrder(SQG, SQH) : SQProc, SQProc -> SeqEnum
KeepPrimePower(SQP, p) : SQProc, RngIntElt -> SeqEnum
KeepSplit(SQG, SQH) : SQProc, SQProc -> SeqEnum
KeepSplitAbelian(SQG, SQH) : SQProc, SQProc -> SeqEnum
KeepSplitElementaryAbelian(SQG, SQH) : SQProc, SQProc -> SeqEnum
KerdockCode(m): RngIntElt, RngUPolElt -> Code
KerdockCode(m, h): RngIntElt, RngUPolElt -> Code
CodeRng_Kerdock (Example H98E11)
KerdockCode(m): RngIntElt, RngUPolElt -> Code
KerdockCode(m, h): RngIntElt, RngUPolElt -> Code
ActionKernel(A, Y) : GrpPerm, GSet -> GrpPerm
ActionKernel(G, Y) : GrpPerm, GSet -> GrpPerm
ActionKernel(G, Y) : GrpPerm, GSet -> GrpPerm
ActionKernel(G, Y) : GrpPerm, GSet -> GrpPerm
AffineKernel(G) : GrpPerm -> GrpPerm
BlocksKernel(G, P) : GrpPerm, GSet -> GrpPerm
CosetKernel(G, H) : GrpFP, GrpFP -> GrpFP
CosetKernel(G, H) : Grp, Grp -> Grp
CosetKernel(G, H) : Grp, Grp -> Grp
CosetKernel(G, H) : Grp, Grp -> Grp
CosetKernel(G, H) : Grp, Grp -> Grp
CosetKernel(V) : GrpFPCos -> GrpFP
CosetKernel(P) : GrpFPCosetEnumProc -> GrpFP
CosetKernel(G, H) : GrpGPC, GrpGPC -> GrpGPC
CosetKernel(G, H) : GrpMat, GrpMat -> GrpMat
IsogenyFromKernel(E, psi) : CrvEll, RngUPolElt -> CrvEll, Map
IsogenyFromKernel(G) : CrvEllSubgroup -> CrvEll, Map
IsogenyFromKernelFactored(E, psi) : CrvEllSubgroup -> CrvEll, Map
IsogenyFromKernelFactored(G) : CrvEllSubgroup -> CrvEll, Map
Kernel(x) : AlgChtrElt -> Grp
Kernel(a) : AlgMatElt -> ModTup
Kernel(f) : Map -> Grp
Kernel(f) : Map -> Struct
Kernel(I) : Map -> CrvEllSubgroup
Kernel(f) : Map -> Grp
Kernel(f) : Map -> Grp
Kernel(f) : Map -> GrpPC
Kernel(f) : ModMatCpxElt -> ModCpx, ModMatCpxElt
Kernel(a) : ModMatElt -> ModTupFld
Kernel(f) : ModMatFldElt -> ModAlg,ModMatFldElt
Kernel(a) : ModMatRngElt -> ModTupRng
Kernel(I, M) : [Tup], ModSym -> ModSym
ModularKernel(M) : ModSym -> GrpAb
Nullspace(A) : Mtrx -> ModTupRng
NullspaceMatrix(A) : Mtrx -> ModTupRng
OrbitKernel(G, T) : GrpMat, Set -> GrpMat
OrbitKernel(G, T) : GrpPerm, GSet -> GrpPerm
OrbitKernelBounded(G, T, b) : GrpMat, Set, RngIntElt -> BoolElt, GrpMat
PolyMapKernel(f) : Map -> RngMPol
SocleKernel(G) : GrpPerm -> GrpPerm
(Co)Domain and (Co)Kernel (MAPPINGS)
KernelMatrix(A) : Mtrx -> ModTupRng
NullspaceMatrix(A) : Mtrx -> ModTupRng
IntersectKernels(SQP, SQR) : SQProc, SQProc -> SQProc, Map, Map
Control-C key (OVERVIEW)
Key Bindings (Emacs and VI mode) (ENVIRONMENT AND OPTIONS)
Key Bindings in Emacs mode only (ENVIRONMENT AND OPTIONS)
Key Bindings in VI mode only (ENVIRONMENT AND OPTIONS)
Quitting (OVERVIEW)
<Meta>-F
Key Bindings in Emacs mode only (ENVIRONMENT AND OPTIONS)
Key Bindings (Emacs and VI mode) (ENVIRONMENT AND OPTIONS)
Key Bindings in VI mode only (ENVIRONMENT AND OPTIONS)
KillingMatrix(L) : AlgLie -> AlgMatElt
KillingMatrix(L) : AlgLie -> AlgMatElt
BasisOfHolomorphicDifferentials(F) : FldFunG -> SeqEnum[DiffFunElt]
BasisOfDifferentialsFirstKind(F) : FldFunG -> SeqEnum[DiffFunElt]
SpaceOfDifferentialsFirstKind(C) : Crv -> ModFld, Map
SpaceOfDifferentialsFirstKind(F) : FldFunG -> ModFld, Map
Kinds of Series (POWER, LAURENT AND PUISEUX SERIES)
KissingNumber(L) : Lat -> RngElt
KissingNumber(L) : Lat -> RngElt
Crv_klein-quartic-code (Example H82E22)
KMatrixSpace(K, m, n) : Fld, RngIntElt, RngIntElt -> ModMat
KMatrixSpaceWithBasis(Q) : [ ModMatRngElt ] -> ModMatRng
VectorSpace(V, F) : ModTupFld, Fld -> ModTupFld, Map
KMatrixSpace(K, m, n) : Fld, RngIntElt, RngIntElt -> ModMat
VectorSpace(V, F) : ModTupFld, Fld -> ModTupFld, Map
KMatrixSpaceWithBasis(Q) : [ ModMatRngElt ] -> ModMatRng
KModule(K, n) : Fld, RngIntElt -> ModTupFld
VectorSpace(V, F) : ModTupFld, Fld -> ModTupFld, Map
KMatrixSpace(V, F) : ModTupFld, Fld -> ModTupFld, Map
VectorSpaceWithBasis(B) : [ModTupFldElt] -> ModTupFld
KSpaceWithBasis(B) : [ModTupFldElt] -> ModTupFld
KModuleWithBasis(B) : [ModTupFldElt] -> ModTupFld
VectorSpaceWithBasis(B) : [ModTupFldElt] -> ModTupFld
Lat_Knapsack (Example H66E8)
Knot(P, C) : Plane, { PlanePt } -> PlanePt
BestKnownLinearCode(K, n, k) : FldFin,RngIntElt,RngIntElt -> Code
BKLC(K, n, k) : FldFin,RngIntElt,RngIntElt -> Code
KnownIrreducibles(R) : AlgChtr -> SeqEnum
PointsKnown(C) : CrvHyp -> BoolElt
KnownIrreducibles(R) : AlgChtr -> SeqEnum
KnuthEquivalent(w1, w2) : SeqEnum,SeqEnum -> BoolElt
KnuthEquivalent(w1, w2) : SeqEnum,SeqEnum -> BoolElt
Combinatorial and Geometrical Structures (OVERVIEW)
KodairaSymbol(E, p) : CrvEll, RngIntElt -> SymKod
KodairaSymbol(s) : MonStgElt -> SymKod
KodairaSymbols(E) : CrvEll -> [ SymKod ]
CrvEll_Kodaira (Example H85E15)
Kodaira Symbols (ELLIPTIC CURVES)
KodairaSymbol(E, p) : CrvEll, RngIntElt -> SymKod
KodairaSymbol(s) : MonStgElt -> SymKod
KodairaSymbols(E) : CrvEll -> [ SymKod ]
Combinatorial and Geometrical Structures (OVERVIEW)
InverseKrawchouk(A, K, n) : RngUPolElt, FldFin, RngIntElt -> RngUPolElt
KrawchoukPolynomial(K, n, k) : FldFin, RngIntElt, RngIntElt -> RngUPolElt
KrawchoukTransform(f, K, n) : RngUPolElt, FldFin, RngIntElt -> RngUPolElt
Krawchouk Polynomials (LINEAR CODES OVER FINITE FIELDS)
KrawchoukPolynomial(K, n, k) : FldFin, RngIntElt, RngIntElt -> RngUPolElt
KrawchoukTransform(f, K, n) : RngUPolElt, FldFin, RngIntElt -> RngUPolElt
KroneckerCharacter(D) :RngIntElt -> GrpDrchElt
KroneckerCharacter(D, R) : RngIntElt, Rng -> GrpDrchElt
KroneckerProduct(A, B) : Mtrx, Mtrx -> Mtrx
KroneckerSymbol(n, m) : RngIntElt, RngIntElt -> RngIntElt
KroneckerCharacter(D) :RngIntElt -> GrpDrchElt
KroneckerCharacter(D, R) : RngIntElt, Rng -> GrpDrchElt
KroneckerProduct(A, B) : Mtrx, Mtrx -> Mtrx
KroneckerSymbol(n, m) : RngIntElt, RngIntElt -> RngIntElt
KSpace(B) : AlgBas -> ModTupFld
VectorSpace(B) : AlgBas -> ModTupFld
VectorSpace(K, n) : Fld, RngIntElt -> ModTupFld
VectorSpace(K, n, F) : Fld, RngIntElt, Mtrx -> ModTupFld
VectorSpace(K, J) : FldCyc, Fld -> ModTupFld, Map
VectorSpace(V, F) : ModTupFld, Fld -> ModTupFld, Map
KMatrixSpace(V, F) : ModTupFld, Fld -> ModTupFld, Map
VectorSpaceWithBasis(B) : [ModTupFldElt] -> ModTupFld
KModuleWithBasis(B) : [ModTupFldElt] -> ModTupFld
KSpaceWithBasis(B) : [ModTupFldElt] -> ModTupFld
KModuleWithBasis(B) : [ModTupFldElt] -> ModTupFld
VectorSpaceWithBasis(B) : [ModTupFldElt] -> ModTupFld
KummerSurface(J) : JacHyp -> SrfKum
Arithmetic of Points (HYPERELLIPTIC CURVES)
Creation of a Kummer Surface (HYPERELLIPTIC CURVES)
Kummer Surfaces (HYPERELLIPTIC CURVES)
BaseExtend(K, n): SrfKum, RngIntElt -> SrfKum
Kummer Surfaces (HYPERELLIPTIC CURVES)
RationalPoints(J, P) : JacHyp, SrfKumPt -> SetIndx
Pullback to the Jacobian (HYPERELLIPTIC CURVES)
Rational Points on the Kummer Surface (HYPERELLIPTIC CURVES)
Structure Operations (HYPERELLIPTIC CURVES)
CrvHyp_KummerRationalPoints (Example H86E13)
KummerSurface(J) : JacHyp -> SrfKum
[____] [____] [_____] [____] [__] [Index] [Root]