Documentation

IndivisibleSubsystem
- IndivisibleSubsystem(R) : RootSys -> RootSys
Induce
- Induce(X, i) : AlgMat, RngIntElt -> Map, AlgMat
- InduceWG(W,wg,seq) : GrpFPCox, GrphUnd, SeqEnum -> GrphUnd
- InduceWGtable(J, table, W) : SeqEnum, SeqEnum, GrpFPCox -> SeqEnum[SeqEnum[RngIntElt]]
Induced
- InducedAutomorphism(r, h, c) : Map, Map, RngIntElt -> Map
- InducedGammaGroup(A, B) : GGrp, Grp -> GGrp
- InducedMap(m1, m2, h, c) : Map, Map, Map, RngIntElt -> Map
- InducedMapOnHomology(f, n) : MapChn, RngIntElt -> ModTupFldElt
- InducedOneCocycle(AmodB, alpha) : GGrp, OneCoC -> OneCoC
- InducedPermutation(u) : GrpBrdElt -> GrpPermElt
- IsInduced(AmodB) : GGrp -> BoolElt, GGrp, GGrp, Map, Map
- IsTensorInduced(G : parameters) : GrpMat -> BoolElt
- Slice(T, grid) : TenSpcElt, [SetEnum] -> SeqEnum
- TensorInducedAction(G, g) : GrpMat, GrpMatElt -> GrpPermElt
- TensorInducedBasis(G) : GrpMat -> GrpMatElt
- TensorInducedPermutations(G) : GrpMat -> SeqEnum
induced
- Action on a G-Space (PERMUTATION GROUPS)
- Coset Spaces: Induced Homomorphism (FINITELY PRESENTED GROUPS)
induced-homomorphism
- Action on a G-Space (PERMUTATION GROUPS)
- Coset Spaces: Induced Homomorphism (FINITELY PRESENTED GROUPS)
InducedAutomorphism
- InducedAutomorphism(r, h, c) : Map, Map, RngIntElt -> Map
InducedGammaGroup
- InducedGammaGroup(A, B) : GGrp, Grp -> GGrp
InducedMap
- InducedMap(m1, m2, h, c) : Map, Map, Map, RngIntElt -> Map
inducedMap
- FldAb_inducedMap (Example H41E4)
InducedMapOnHomology
- InducedMapOnHomology(f, n) : MapChn, RngIntElt -> ModTupFldElt
InducedOneCocycle
- InducedOneCocycle(AmodB, alpha) : GGrp, OneCoC -> OneCoC
InducedPermutation
- InducedPermutation(u) : GrpBrdElt -> GrpPermElt
InducedTensor
- InducedTensor(T, grid) : TenSpcElt, [SetEnum] -> TenSpcElt
- Slice(T, grid) : TenSpcElt, [SetEnum] -> SeqEnum
InduceWG
- InduceWG(W,wg,seq) : GrpFPCox, GrphUnd, SeqEnum -> GrphUnd
InduceWGtable
- InduceWGtable(J, table, W) : SeqEnum, SeqEnum, GrpFPCox -> SeqEnum[SeqEnum[RngIntElt]]
Inducing
- CuspidalInducingDatum(pi) : RepLoc -> ModGrp
- Multilinear_Inducing (Example H62E39)
Induction
- Induction(x, G) : AlgChtrElt, Grp -> AlgChtrElt
- Induction(x, G) : AlgChtrElt, Grp -> AlgChtrElt
- Induction(A,K0) : GalRep,FldPad -> GalRep
- Induction(R, G) : Map, Grp -> Map
- Induction(M, G) : ModGrp, Grp -> ModGrp
- NormInduction(K, chi) : FldNum, GrpDrchElt -> GrpHeckeElt
induction
- Induction, Restriction and Inflation for K[G]-Modules (MODULES OVER AN ALGEBRA AND GROUP REPRESENTATIONS)
- Induction, Restriction and Lifting (CHARACTERS OF FINITE GROUPS)
- Induction, Restriction and Lifting (CHARACTERS OF FINITE GROUPS)
- Tensor-induced Groups (MATRIX GROUPS OVER FINITE FIELDS)
- ModAlg_induction (Example H97E38)
induction-restriction
- Induction, Restriction and Inflation for K[G]-Modules (MODULES OVER AN ALGEBRA AND GROUP REPRESENTATIONS)
induction-restriction-lifting
- Induction, Restriction and Lifting (CHARACTERS OF FINITE GROUPS)
- Induction, Restriction and Lifting (CHARACTERS OF FINITE GROUPS)
Ineffective
- IneffectiveRiemannRochBasis(X, I, J) : Sch, RngMPol, RngMPol -> SeqEnum, RngMPolElt, ShfCoh
- IneffectiveDivisorToSheaf(X, I, J) : Sch, RngMPol, RngMPol -> ShfCoh
- IneffectiveSubcanonicalCurves(g) : RngIntElt -> SeqEnum
IneffectiveDivisorToSheaf
- IneffectiveRiemannRochBasis(X, I, J) : Sch, RngMPol, RngMPol -> SeqEnum, RngMPolElt, ShfCoh
- IneffectiveDivisorToSheaf(X, I, J) : Sch, RngMPol, RngMPol -> ShfCoh
IneffectiveRiemannRochBasis
- IneffectiveRiemannRochBasis(X, I, J) : Sch, RngMPol, RngMPol -> SeqEnum, RngMPolElt, ShfCoh
- IneffectiveDivisorToSheaf(X, I, J) : Sch, RngMPol, RngMPol -> ShfCoh
IneffectiveSubcanonicalCurves
- IneffectiveSubcanonicalCurves(g) : RngIntElt -> SeqEnum
Inequalities
- ConeWithInequalities(B) : Set -> TorCon
- Inequalities(C) : TorCon -> SeqEnum
- MatrixOfInequalities(R,C) : Rng,TorCon -> ModMatRngElt
- PolyhedronWithInequalities(A,c) : SeqEnum,[RngIntElt] -> TorPol
inequalities
- OuterNormal(C) : TorCon -> TorLatElt
- Vertices and Inequalities (CONVEX POLYTOPES AND POLYHEDRA)
Inert
- IsInert(P) : RngFunOrdIdl -> BoolElt
- IsInert(P, O) : RngFunOrdIdl, RngFunOrd -> BoolElt
- IsInert(P) : RngOrdIdl -> BoolElt
- IsInert(P, O) : RngOrdIdl, RngOrd -> BoolElt
Inertia
- AbsoluteInertiaDegree(L) : FldXPad -> RngIntElt
- AbsoluteInertiaIndex(L) : FldXPad -> RngIntElt
- AbsoluteRamificationDegree(L) : FldXPad -> RngIntElt
- AbsoluteRamificationIndex(L) : FldXPad -> RngIntElt
- AbsoluteDegree(F) : FldXPad -> RngIntElt
- AbsoluteInertiaDegree(I) : RngOrdIdl -> RngIntElt
- AbsoluteInertiaDegree(L) : RngPad -> RngIntElt
- DecompositionGroup(L) : RngLocA -> GrpPerm
- Degree(I) : RngFunOrdIdl -> RngIntElt
- Degree(I) : RngOrdIdl -> RngIntElt
- InertiaDegree(L, K) : FldXPad, FldXPad -> RngIntElt
- InertiaDegree(P) : PlcFunElt -> RngIntElt
- InertiaDegree(P) : PlcNumElt -> RngIntElt
- InertiaDegree(P) : PlcNumElt -> RngIntElt
- InertiaDegree(L) : RngLocA -> RngIntElt
- InertiaDegree(L) : RngPad -> RngIntElt
- InertiaDegree(K, L) : RngPad, RngPad -> RngIntElt
- InertiaDegree(E) : RngSerExt -> RngIntElt
- InertiaField(p) : RngOrdIdl -> FldNum, Map
- InertiaGroup(A) : GalRep -> GrpPerm
- InertiaGroup(A,n) : GalRep,RngIntElt -> GrpPerm
- InertiaGroup(p) : RngOrdIdl -> GrpPerm
- InertiaInvariants(A) : GalRep -> GalRep

V2.28, 13 July 2023

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