Documentation

splitting
- Splitting a Module (MODULES OVER AN ALGEBRA AND GROUP REPRESENTATIONS)
- Splitting Fields (ALGEBRAIC FUNCTION FIELDS)
splitting-fields
- Splitting Fields (ALGEBRAIC FUNCTION FIELDS)
SplittingCartanSubalgebra
- SplitMaximalToralSubalgebra(L) : AlgLie -> AlgLie
- SplittingCartanSubalgebra(L) : AlgLie -> AlgLie
SplittingField
- NormalClosure(F) : FldAlg -> FldAlg, SeqEnum
- SplittingField(F) : FldAlg -> FldAlg, SeqEnum
- SplittingField(F) : FldNum -> FldNum, SeqEnum
- SplittingField(f) : RngUPolElt -> FldAlg
- SplittingField(f) : RngUPolElt -> FldNum
- SplittingField(S) : RngUPolElt[FldFin] -> FldFin
- SplittingField(P) : RngUPolElt[FldFin] -> FldFin
- SplittingField(f) : RngUPolElt[FldPad] -> FldPad, SeqEnum
- SplittingField(f, R) : RngUPolElt[RngInt], RngPad -> RngPad
- SplittingField(L) : [RngUPolElt] -> FldNum, [FldNumElt]
- SplittingField(L) : [RngUPolElt] -> FldNum, [FldNumElt]
SplitToral
- AlgLie_SplitToral (Example H107E40)
SplitToralSubalgebra
- SplitToralSubalgebra(L) : AlgLie -> AlgLie
SpMatrix
- SuMatrix (r, c, A) : RngIntElt, RngIntElt, SeqEnum -> SuMat
- SpMatrix (A) : SeqEnum -> SpMat
SpMatrixSpace
- SuMatrixSpace (S, r, c) : SuRng, RngIntElt, RngIntElt -> SuMatRng
- SpMatrixSpace (S, r, c) : SpRng, RngIntElt, RngIntElt -> SpMatRng
SPolynomial
- SPolynomial(f, g) : ModMPolElt, ModMPolElt -> ModMPolElt
- SPolynomial(f, g) : RngMPolElt, RngMPolElt -> RngMPolElt
SporadicJ1
- GrpASim_SporadicJ1 (Example H71E23)
SPrincipal
- IsSPrincipal(D, S) : DivFunElt, SetEnum[PlcFunElt] -> BoolElt, FldFunElt
- SPrincipalDivisorMap(S) : SetEnum[PlcFunElt] -> Map
SPrincipalDivisorMap
- SPrincipalDivisorMap(S) : SetEnum[PlcFunElt] -> Map
SpRing
- SpRing (F) : FldPad -> SpRng
- SuRing (F) : FldPad -> SuRng
- SnuRing (F) : FldPad -> SnuRng
- SnuRing (F, nu) : FldPad, FldRatElt -> SnuRng
- SnuRing (S, nu) : RngSerPow, FldRatElt -> SnuRng
- SnuRing (S) : SpRng -> SnuRng
Sprint
- Sprint(x) : Elt -> MonStgElt
sprint
- Printing to a String (INPUT AND OUTPUT)
Sprintf
- Sprintf(F, ...) : MonStgElt, ... -> MonStgElt
- IO_Sprintf (Example H3E8)
SprsRD
- RootDtm_SprsRD (Example H104E6)
SprsRDsumsub
- RootDtm_SprsRDsumsub (Example H104E7)
SpSpace
- SuSpace (v) : SeqEnum -> SuSpc
- SpSpace (v) : SeqEnum -> SpSpc
- SpSpace (M) : SpMat -> SpSpc
- SpSpace (R, n) : SpRng, RngIntElt -> SpSpc
SpVector
- SuVector (e) : SeqEnum -> SuVec
- SpVector (e) : SeqEnum -> SpVec
Sqrt
- InverseSqrt(x) : RngPadElt -> RngPadElt
- InverseSquareRoot(x) : RngPadElt -> RngPadElt
- InverseSquareRoot(x, y) : RngPadElt, RngPadElt -> RngPadElt
- Sqrt(a) : FldNumElt -> FldNumElt
- Sqrt(x) : GrpDrchElt -> GrpDrchElt
- Sqrt(a) : RngIntResElt -> RngIntResElt
- Sqrt(a) : RngOrdElt -> RngOrdElt
- SquareRoot(a) : FldACElt -> FldACElt
- SquareRoot(c) : FldComElt -> FldComElt
- SquareRoot(a) : FldFinElt -> FldFinElt
- SquareRoot(I) : RngFunOrdIdl -> RngFunOrdIdl
- SquareRoot(I) : RngOrdFracIdl -> RngOrdFracIdl
- SquareRoot(x) : RngPadElt -> RngPadElt
- SquareRoot(s) : RngPowLazElt -> RngPowLazElt
- SquareRoot(f) : RngSerElt -> RngSerElt
Sqrts
- AllSqrts(a) : RngIntResElt -> [ RngIntResElt ]
- AllSquareRoots(a) : RngIntResElt -> [ RngIntResElt ]
Square
- AllSqrts(a) : RngIntResElt -> [ RngIntResElt ]
- AllSquareRoots(a) : RngIntResElt -> [ RngIntResElt ]
- AlternatingSquare(HS) : HodgeStruc -> HodgeStruc
- CompleteTheSquare(model) : ModelG1 -> ModelG1
- ExteriorSquare(a) : AlgMatElt -> AlgMatElt
- ExteriorSquare(L) : Lat -> Lat
- ExteriorSquare(M) : ModMat -> ModMat
- H1DimensionSymmetricSquare(G, f, K) : GrpFP, Map, Rng -> RngIntElt
- HasSquareSha(J) : JacHyp -> BoolElt
- InverseSquareRoot(x) : RngPadElt -> RngPadElt
- InverseSquareRoot(x, y) : RngPadElt, RngPadElt -> RngPadElt
- IsLocalSquare(a, p) : RngElt, RngOrdIdl -> BoolElt
- IsPower(a, k) : FldAlgElt, RngIntElt -> BoolElt, FldAlgElt
- IsPower(a, k) : FldNumElt, RngIntElt -> BoolElt, FldNumElt
- IsSquare(a) : FldACElt -> BoolElt
- IsSquare(a) : FldFinElt -> BoolElt
- IsSquare(I) : RngFunOrdIdl -> BoolElt, RngFunOrdIdl
- IsSquare(n) : RngIntElt -> BoolElt, RngIntElt
- IsSquare(n) : RngIntResElt -> BoolElt, RngIntResElt
- IsSquare(I) : RngOrdFracIdl -> BoolElt, RngOrdFracIdl
- IsSquare(x) : RngPadElt -> BoolElt, RngPadElt
- IsSquare(s) : RngPowLazElt -> BoolElt, RngPowLazElt
- NiceUnitSquareClassRepresentative(u, p) : RngElt, RngOrdIdl -> RngElt
- Sqrt(a) : FldNumElt -> FldNumElt
- Sqrt(a) : RngIntResElt -> RngIntResElt
- Sqrt(a) : RngOrdElt -> RngOrdElt
- SquareFreeFactorization(f) : RngUPolElt -> [ < RngUPolElt, RngIntElt > ]
- SquareLatticeGraph(n) : RngIntElt -> GrphUnd
- SquareRoot(a) : FldACElt -> FldACElt
- SquareRoot(c) : FldComElt -> FldComElt
- SquareRoot(a) : FldFinElt -> FldFinElt
- SquareRoot(I) : RngFunOrdIdl -> RngFunOrdIdl
- SquareRoot(I) : RngOrdFracIdl -> RngOrdFracIdl
- SquareRoot(x) : RngPadElt -> RngPadElt
- SquareRoot(s) : RngPowLazElt -> RngPowLazElt
- SquareRoot(f) : RngSerElt -> RngSerElt
- SymmetricSquare(a) : AlgMatElt -> AlgMatElt
- SymmetricSquare(L) : Lat -> Lat
- SymmetricSquare(M) : ModMat -> ModMat
- UnitSquareClassReps(p) : RngOrdIdl -> SeqEnum

V2.28, 13 July 2023

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