Documentation

Kernels
- Kernels(C) : CosetGeom -> SeqEnum
KernelZ2CodeZ4
- KernelZ2CodeZ4(C) : CodeLinRng -> CodeLinRng
Kets
- SetPrintKetsInteger(b) : BoolElt ->
key
- Accessing the Key Data and Testing Equality (HILBERT SERIES OF POLARISED VARIETIES)
- Accessing the Key Data and Testing Equality (HILBERT SERIES OF POLARISED VARIETIES)
- 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)
key-binding-Emacs
- <Meta>-F
- Key Bindings in Emacs mode only (ENVIRONMENT AND OPTIONS)
key-binding-Emacs-VI
- Key Bindings (Emacs and VI mode) (ENVIRONMENT AND OPTIONS)
key-binding-VI
- Key Bindings in VI mode only (ENVIRONMENT AND OPTIONS)
key-data
- Accessing the Key Data and Testing Equality (HILBERT SERIES OF POLARISED VARIETIES)
Keys
- Keys(A): Assoc -> SetEnum
- MatRepKeys(A) : GrpAtlas -> SeqEnum[DBAtlasKeyMatRep]
- PermRepKeys(A) : GrpAtlas -> SeqEnum[DBAtlasKeyPermRep]
kg
- KG-Modules (FINITELY PRESENTED GROUPS)
kg-modules
- KG-Modules (FINITELY PRESENTED GROUPS)
Killing
- KillingMatrix(L) : AlgLie -> ModMatFldElt
- KillingForm(L) : AlgLie -> ModMatFldElt
KillingForm
- KillingMatrix(L) : AlgLie -> ModMatFldElt
- KillingForm(L) : AlgLie -> ModMatFldElt
KillingMatrix
- KillingMatrix(L) : AlgLie -> ModMatFldElt
- KillingForm(L) : AlgLie -> ModMatFldElt
Kind
- BasisOfHolomorphicDifferentials(C) : Crv -> [DiffCrvElt]
- BasisOfDifferentialsFirstKind(C) : Crv -> [DiffCrvElt]
- BasisOfDifferentialsFirstKind(F) : FldFunG -> SeqEnum[DiffFunElt]
- BesselFunctionSecondKind(n, r) : RngIntElt, FldReElt -> FldReElt
- SpaceOfDifferentialsFirstKind(C) : Crv -> ModFld, Map
- SpaceOfDifferentialsFirstKind(F) : FldFunG -> ModFld, Map
kinds
- Kinds of Series (POWER, LAURENT AND PUISEUX SERIES)
Kissing
- KissingNumber(L) : Lat -> RngElt
KissingNumber
- KissingNumber(L) : Lat -> RngElt
- Par_KissingNumber (Example H5E19)
Klein
- KleinBottle() : -> SmpCpx
klein-quartic-code
- Crv_klein-quartic-code (Example H124E39)
KleinBottle
- KleinBottle() : -> SmpCpx
KLPoly_RPoly
- LieReps_KLPoly_RPoly (Example H114E18)
KLPolynomial
- KLPolynomial(x, y) : GrpPermElt, GrpPermElt -> RngUPolElt
KMatrix
- KMatrixSpace(K, m, n) : Fld, RngIntElt, RngIntElt -> ModMatFld
- KMatrixSpaceWithBasis(Q) : [ ModMatRngElt ] -> ModMatRng
- VectorSpace(V, F) : ModTupFld, Fld -> ModTupFld, Map
KMatrixSpace
- KMatrixSpace(K, m, n) : Fld, RngIntElt, RngIntElt -> ModMatFld
- VectorSpace(V, F) : ModTupFld, Fld -> ModTupFld, Map
KMatrixSpaceWithBasis
- KMatrixSpaceWithBasis(Q) : [ ModMatRngElt ] -> ModMatRng
KModule
- KModule(K, n) : Fld, RngIntElt -> ModFld
- VectorSpace(V, F) : ModTupFld, Fld -> ModTupFld, Map
- VectorSpaceWithBasis(Q) : [ModTupFldElt] -> ModTupFld
KModuleWithBasis
- KSpaceWithBasis(Q) : [ModTupFldElt] -> ModTupFld
- KModuleWithBasis(Q) : [ModTupFldElt] -> ModTupFld
- VectorSpaceWithBasis(Q) : [ModTupFldElt] -> ModTupFld
Knapsack
- Lat_Knapsack (Example H31E14)
Knot
- Knot(A) : FldAb -> GrpAb
- Knot(P, C) : Plane, { PlanePt } -> PlanePt
Known
- BestKnownLinearCode(K, n, k) : FldFin, RngIntElt, RngIntElt -> Code, BoolElt
- BKLC(K, n, k) : FldFin, RngIntElt, RngIntElt -> Code, BoolElt
- HasKnownInverse(f) : MapSch -> Bool
- IsKnownIsomorphic(L, M) : AlgLie, AlgLie -> BoolElt, BoolElt, .
- IsKnownOrder(~R) : AlgEtQOrd ->
- KnownAutomorphismSubgroup(C) : Code -> GrpPerm
- KnownIrreducibles(R) : AlgChtr -> SeqEnum
- PointsKnown(C) : CrvHyp -> BoolElt
- QECC(F, n, k) : FldFin, RngIntElt, RngIntElt -> CodeQuantum, BoolElt
known
- Best Known Bounds (QUANTUM CODES)
- Best Known Quantum Codes (QUANTUM CODES)
KnownAutomorphismSubgroup
- KnownAutomorphismSubgroup(C) : Code -> GrpPerm
KnownIrreducibles
- KnownIrreducibles(R) : AlgChtr -> SeqEnum
Knuth
- IsKnuthEquivalent(w1, w2) : MonOrdElt, MonOrdElt -> BoolElt
Kodaira
- KodairaConfigurations(imat) : Mtrx -> List
- KodairaDimension(S) : Srfc -> RngIntElt
- KodairaEnriquesType(S) : Srfc -> RngIntElt, RngIntElt, MonStr
- KodairaSymbol(E, p) : CrvEll, RngIntElt -> SymKod
- KodairaSymbol(s) : MonStgElt -> SymKod
- KodairaSymbols(E) : CrvEll -> [ <SymKod, RngIntElt> ]
- KodairaSymbols(E) : CrvEll -> [ SymKod ]
- MinimalModelKodairaDimensionOne(S) : Srfc -> Map, Map
- MinimalModelKodairaDimensionZero(S) : Srfc -> Map
- CrvEllQNF_Kodaira (Example H133E2)
kodaira
- Kodaira Symbols (ELLIPTIC CURVES OVER Q AND NUMBER FIELDS)
KodairaConfigurations
- KodairaConfigurations(imat) : Mtrx -> List
KodairaDimension
- KodairaDimension(S) : Srfc -> RngIntElt
KodairaEnriquesType
- KodairaEnriquesType(S) : Srfc -> RngIntElt, RngIntElt, MonStr
KodairaSymbol
- KodairaSymbol(E, p) : CrvEll, RngIntElt -> SymKod
- KodairaSymbol(s) : MonStgElt -> SymKod

V2.29, 21 October 2025

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