Documentation

InflationMapImage
- LiftCocycle(M, c) : Map, UserProgram -> UserProgram
- InflationMapImage(M, c) : Map, UserProgram -> UserProgram
inflations
- Restrictions and Inflations (BASIC ALGEBRAS)
Inflection
- InflectionPoints(C) : Sch -> Sch
- Flexes(C) : Sch -> Sch
- IsInflectionPoint(p) : Pt -> BoolElt,RngIntElt
InflectionPoints
- InflectionPoints(C) : Sch -> Sch
- Flexes(C) : Sch -> Sch
Info
- CompositionTreeReductionInfo(G, t) : Grp, RngIntElt -> MonStgElt,Grp, Grp
- IsolInfo(n, p, i) : RngIntElt, RngIntElt, RngIntElt -> MonStgElt
info
- ListTypes() : ->
- Other Information Procedures (ENVIRONMENT AND OPTIONS)
- Properties of Ordered Partition Stacks (PERMUTATION GROUPS)
info_space_and_sets
- Information Space and Information Sets (LINEAR CODES OVER THE INTEGER RESIDUE RING Z₄)
Information
- AllInformationSets(C) : Code -> [ [ RngIntElt ] ]
- AnalyticInformation(E) : CrvEll[FldFunG] -> Tup
- ChangeLocalInformation(L,bp) : LSer, List -> LSer
- ChangeLocalInformation(L,p,d,f) : LSer, RngIntElt, RngIntElt, RngUPolElt -> LSer
- HadamardDatabaseInformation(D : parameters) : DB -> Rec
- HadamardDatabaseInformationEmpty(: parameters) : -> Rec
- InformationRate(C) : Code -> FldPrElt
- InformationRate(C) : Code -> FldPrElt
- InformationRate(C) : Code -> RngPrElt
- InformationSet(C) : Code -> [ RngIntElt ]
- InformationSet(C) : CodeLinRng -> ModTupRng, ModTupFld, Map, Map
- InformationSpace(C) : Code -> ModTupFld
- InformationSpace(C) : CodeLinRng -> ModTupRng, ModTupFld, Map, Map
- IsInformationSet(C, I) : CodeLinRng, [RngIntElt] -> BoolElt, BoolElt
- LocalInformation(E) : CrvEll -> Tup, CrvEll
- LocalInformation(E) : CrvEll -> [ < Tup > ]
- LocalInformation(E) : CrvEll -> [ Tup ]
- LocalInformation(E) : CrvEll -> [ Tup ]
- LocalInformation(E, p) : CrvEll, RngIntElt -> <RngIntElt, RngIntElt, RngIntElt, RngIntElt, SymKod, BoolElt>, CrvEll
- LocalInformation(E, P) : CrvEll, RngOrdIdl -> Tup, CrvEll
- LocalInformation(E, Pl) : CrvEll[FldFun], PlcFunElt -> Tup, CrvEll
- MordellWeilShaInformation(E: parameters) : CrvEll -> [RngIntElt], [PtEll], [Tup]
- SocketInformation(S) : IO -> Tup, Tup
information
- Asymptotic Bounds on the Information Rate (LINEAR CODES OVER FINITE FIELDS)
- Class Information from a Conjugacy Class Poset (GROUPS)
- Database Information (LATTICES)
- The Information Space and Information Sets (LINEAR CODES OVER FINITE FIELDS)
information-set
- The Information Space and Information Sets (LINEAR CODES OVER FINITE FIELDS)
InformationRate
- InformationRate(C) : Code -> FldPrElt
- InformationRate(C) : Code -> FldPrElt
- InformationRate(C) : Code -> RngPrElt
InformationSet
- InformationSet(C) : Code -> [ RngIntElt ]
- InformationSet(C) : CodeLinRng -> ModTupRng, ModTupFld, Map, Map
InformationSpace
- InformationSpace(C) : Code -> ModTupFld
- InformationSpace(C) : CodeLinRng -> ModTupRng, ModTupFld, Map, Map
infrastructure
- Infrastructure (FINITE SOLUBLE GROUPS)
Init
- PlaceEnumInit(K) : FldFun -> PlcEnum
- PlaceEnumInit(K, Pos) : FldFun, [RngIntElt]) -> PlcEnum
- PlaceEnumInit(P) : PlcFunElt -> PlcEnum
Initial
- InitialCoefficients(X) : GRSch -> SeqEnum
- InitialVertex(e) : GrphEdge -> GrphVert
- InitialVertex(e) : GrphEdge -> GrphVert
initial
- The Initial Context (MAGMA SEMANTICS)
initial-context
- The Initial Context (MAGMA SEMANTICS)
InitialCoefficients
- InitialCoefficients(X) : GRSch -> SeqEnum
Initialise
- InitialiseProspector(G:parameters): GrpMat ->
InitialiseProspector
- InitialiseProspector(G:parameters): GrpMat ->
Initialize
- InitializeEvaluation(R, S) : RngSLPol, [RngElt] ->
InitializeEvaluation
- InitializeEvaluation(R, S) : RngSLPol, [RngElt] ->
InitialVertex
- InitialVertex(e) : GrphEdge -> GrphVert
- InitialVertex(e) : GrphEdge -> GrphVert
Injection
- Injection(B, i, v) : AlgBas, RngIntElt, ModRngElt -> AlgBasElt
- RealInjection(R) : RootSys -> .
Injections
- Injections(C) : Cop -> [ Map ]
Injective
- CompactInjectiveResolution(M, n) : ModAlg, RngIntElt -> Rec
- DimensionsOfInjectiveModules(B) : AlgBas -> SeqEnum
- InjectiveHull(M) : ModAlg -> ModAlg, ModMatFldElt, SeqEnum[ModMatFldElt], SeqEnum[ModMatFldElt], SeqEnum[RngIntElt]
- InjectiveHull(M) : ModGrp -> ModGrp, ModMatGrpElt
- InjectiveModule(B, i) : AlgBas, RngIntElt -> ModAlg
- InjectiveResolution(M, n) : ModAlg, RngIntElt -> ModCpx, ModMatFldElt
- InjectiveSyzygyModule(M, n) : ModAlg, RngIntElt -> ModAlg
- IsInjective(f) : MapChn -> BoolElt
- IsInjective(phi) : MapModAbVar -> BoolElt
- IsInjective(M) : ModAlg -> BoolElt, SeqEnum
- IsInjective(a) : ModMatRngElt -> BoolElt
- IsInjective(f) : ModMPolHom -> BoolElt

V2.28, 13 July 2023

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