Documentation

submatrix
- Extracting and Inserting Blocks (MATRIX ALGEBRAS)
- Joining Matrices (MATRIX ALGEBRAS)
SubmatrixRange
- ExtractBlockRange(A, i, j, r, s) : Mtrx, RngIntElt, RngIntElt, RngIntElt, RngIntElt -> Mtrx
- SubmatrixRange(A, i, j, r, s) : Mtrx, RngIntElt, RngIntElt, RngIntElt, RngIntElt -> Mtrx
- SubmatrixRange(A, i, j, r, s) : MtrxSprs, RngIntElt, RngIntElt, RngIntElt, RngIntElt -> MtrxSprs
Submodule
- GlobalSectionSubmodule(S) : ShfCoh -> ModMPol
- IsSubmodule(M, N) : ModDed, ModDed -> BoolElt, Map
- MinimalSubmodule(M) : ModRng -> ModRng
- Submodule(I) : RngMPol -> ModMPol
- SubmoduleAction(G, S) : GrpMat -> Map, GrpMat
- SubmoduleImage(G, S) : GrpMat -> GrpMat
- SubmoduleLattice(M) : ModRng -> SubModLat, BoolElt
- SubmoduleLatticeAbort(M, n) : ModRng, RngIntElt -> BoolElt, SubModLat
- TwistedWindingSubmodule(M, j, eps) : ModSym, RngIntElt, GrpDrchElt -> ModTupFld
- WindingSubmodule(M, j : parameters) : ModSym, RngIntElt -> ModTupFld
- ModAlg_Submodule (Example H97E15)
- ModRng_Submodule (Example H59E4)
submodule
- Construction (MODULES OVER AN ALGEBRA AND GROUP REPRESENTATIONS)
- Construction of Submodules (FREE MODULES)
- Lattice of Submodules (MODULES OVER AN ALGEBRA AND GROUP REPRESENTATIONS)
- Operations on Submodules (FREE MODULES)
- Submodules (FREE MODULES)
submodule-construction
- Construction (MODULES OVER AN ALGEBRA AND GROUP REPRESENTATIONS)
submodule-lattice
- Lattice of Submodules (MODULES OVER AN ALGEBRA AND GROUP REPRESENTATIONS)
SubmoduleAction
- SubmoduleAction(G, S) : GrpMat -> Map, GrpMat
SubmoduleImage
- SubmoduleImage(G, S) : GrpMat -> GrpMat
SubmoduleLattice
- SubmoduleLattice(M) : ModRng -> SubModLat, BoolElt
SubmoduleLatticeAbort
- SubmoduleLatticeAbort(M, n) : ModRng, RngIntElt -> BoolElt, SubModLat
Submodules
- MaximalSubmodules(M) : ModRng -> [ ModRng ], BoolElt
- MaximalSubmodules(e) : SubModLatElt -> { SubModLatElt }
- MinimalSubmodules(M) : ModRng -> [ ModRng ], BoolElt
- MinimalSubmodules(M, F) : ModRng, ModRng -> [ ModRng ], BoolElt
- Submodules(M) : ModRng -> [ModRng]
submodules
- Minimal and Maximal Submodules (MODULES OVER AN ALGEBRA AND GROUP REPRESENTATIONS)
- Submodules and Quotient Modules (MODULES OVER AN ALGEBRA AND GROUP REPRESENTATIONS)
Subnormal
- IsSubnormal(G, H) : GrpFin, GrpFin -> BoolElt
- IsSubnormal(G, H) : GrpMat, GrpMat -> BoolElt
- IsSubnormal(G, H) : GrpPC, GrpPC -> BoolElt
- IsSubnormal(G, H) : GrpPerm, GrpPerm -> BoolElt
- SubnormalSeries(G, H) : GrpAb, GrpAb -> [ GrpAb ]
- SubnormalSeries(G, H) : GrpFin, GrpFin -> [ GrpFin ]
- SubnormalSeries(G, H) : GrpMat, GrpMat -> [ GrpMat ]
- SubnormalSeries(G, H) : GrpPC, GrpPC -> [GrpPC]
- SubnormalSeries(G, H) : GrpPerm, GrpPerm -> [ GrpPerm ]
SubnormalSeries
- SubnormalSeries(G, H) : GrpAb, GrpAb -> [ GrpAb ]
- SubnormalSeries(G, H) : GrpFin, GrpFin -> [ GrpFin ]
- SubnormalSeries(G, H) : GrpMat, GrpMat -> [ GrpMat ]
- SubnormalSeries(G, H) : GrpPC, GrpPC -> [GrpPC]
- SubnormalSeries(G, H) : GrpPerm, GrpPerm -> [ GrpPerm ]
SubOrder
- SubOrder(O) : RngFunOrd -> RngFunOrd
- SubOrder(O) : RngOrd -> RngOrd
Subplane
- BaerSubplane(P) : PlaneProj -> PlaneProj, PlanePtSet, PlaneLnSet
- SubfieldSubplane(P, F) : Plane, FldFin -> Plane, PlanePtSet, PlaneLnSet
subplane
- Subplanes (FINITE PLANES)
SubQuoEmbedded
- PMod_SubQuoEmbedded (Example H116E3)
SubQuoReduced
- PMod_SubQuoReduced (Example H116E4)
Subrank
- JacobianSubrankScheme(X) : Sch -> Sch
Subring
- Subring(phi) : MapModAbVar -> HomModAbVar
- Subring(X) : [MapModAbVar] -> HomModAbVar
subring
- Construction of Subalgebras, Ideals and Quotient Algebras (GROUP ALGEBRAS)
- Construction of Subalgebras, Ideals and Quotient Rings (MATRIX ALGEBRAS)
subring-ideal-quotient
- Construction of Subalgebras, Ideals and Quotient Algebras (GROUP ALGEBRAS)
- Construction of Subalgebras, Ideals and Quotient Rings (MATRIX ALGEBRAS)
subs
- Construction of Subalgebras, Ideals and Quotient Algebras (ALGEBRAS)
- Subalgebras and Ideals (ALGEBRAS)
subs-quos
- Construction of Subalgebras, Ideals and Quotient Algebras (ALGEBRAS)
Subscheme
- DefiningSubschemePolynomial(G) : SchGrpEll -> RngUPolElt
- EmptyScheme(X) : Sch -> Sch
- IsSubscheme(C,D) : Sch,Sch -> BoolElt
- IsSubscheme(X, Y) : Sch,Sch -> BoolElt
- ReducedSubscheme(X) : Sch -> Sch, MapSch
- SingularSubscheme(X) : Sch -> Sch
- ZeroSubscheme(S, s) : ShfCoh, ModMPolElt -> Sch
subschemes
- Schemes in Toric Varieties (TORIC VARIETIES)
subsec:access
- Access Functions (RATIONAL CURVES AND CONICS)
subsec:autom
- Automorphisms of Conics (RATIONAL CURVES AND CONICS)
- Automorphisms of Rational Curves (RATIONAL CURVES AND CONICS)

V2.28, 13 July 2023

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