Documentation

SchurIndexGroup
- SchurIndexGroup(n: parameters) : RngIntElt -> GrpPC
SchurIndices
- SchurIndices(x) : AlgChtrElt -> SeqEnum
SchurToElementaryMatrix
- SchurToElementaryMatrix(n): RngIntElt -> AlgMatElt
SchurToHomogeneousMatrix
- SchurToHomogeneousMatrix(n): RngIntElt -> AlgMatElt
SchurToMonomialMatrix
- SchurToMonomialMatrix(n): RngIntElt -> AlgMatElt
SchurToPowerSumMatrix
- SchurToPowerSumMatrix(n): RngIntElt -> AlgMatElt
SClass
- SClassGroup(S) : SetEnum[PlcFunElt] -> GrpAb, Map, Map
- SClassGroupAbelianInvariants(S) : SetEnum[PlcFunElt] -> SeqEnum
- SClassGroupExactSequence(S) : SetEnum[PlcFunElt] -> Map, Map, Map
- SClassNumber(S) : SetEnum[PlcFunElt] -> RngIntElt
SClassGroup
- SClassGroup(S) : SetEnum[PlcFunElt] -> GrpAb, Map, Map
SClassGroupAbelianInvariants
- SClassGroupAbelianInvariants(S) : SetEnum[PlcFunElt] -> SeqEnum
SClassGroupExactSequence
- SClassGroupExactSequence(S) : SetEnum[PlcFunElt] -> Map, Map, Map
SClassNumber
- SClassNumber(S) : SetEnum[PlcFunElt] -> RngIntElt
scope
- Scope (MAGMA SEMANTICS)
Scroll
- AbsoluteRationalScroll(k,S) : Fld,[RngIntElt] -> TorVar
- AbsoluteRationalScroll(k,N) : Rng,SeqEnum -> PrjScrl
- RationalScroll(k,s,A) : Fld, RngIntElt, [RngIntElt] -> TorVar
scroll-map-base-points
- Scheme_scroll-map-base-points (Example H119E44)
scrolls
- Scrolls and Products (SCHEMES)
SCStored
- Multilinear_SCStored (Example H62E8)
SCTensors
- Multilinear_SCTensors (Example H62E6)
sdiff
- R sdiff S : SetEnum, SetEnum -> SetEnum
SEA
- SEA(H : parameters) : SetPtEll -> RngIntElt
- CrvEllFldFin_SEA (Example H129E1)
Search
- BFSTree(u) : GrphVert -> Grph
- BreadthFirstSearchTree(u) : GrphVert -> Grph, GrphVertSet, GrphEdgeSet
- BreadthFirstSearchTree(u) : GrphVert -> GrphMult, GrphVertSet, GrphEdgeSet
- DepthFirstSearchTree(u) : GrphVert -> Grph, GrphVertSet, GrphEdgeSet, SeqEnum
- DepthFirstSearchTree(u) : GrphVert -> GrphMult, GrphVertSet, GrphEdgeSet, SeqEnum
- EllipticCurveSearch(N, Effort) : RngOrdIdl, RngIntElt -> SeqEnum
- EllipticCurveSearch(N, Effort) : [], RngIntElt -> SeqEnum
- HomogeneousWeightsSearch(S) : [ RngMPol ] -> BoolElt, [ RngIntElt ]
- PointSearch(S,H : parameters) : Sch[FldRat], RngIntElt -> SeqEnum
- Search(~P: parameters) : GrpFPTietzeProc ->
- SearchEqual(~P: parameters) : GrpFPTietzeProc ->
- SearchForDecomposition(G, S) : GrpMat, [GrpMatElt] -> BoolElt
- SearchForIsomorphism(F, G, m : parameters) : GrpFP, GrpFP, RngIntElt -> BoolElt, HomGrp, HomGrp
- SearchPGroups(p, n: parameters) : RngIntElt, RngIntElt -> SeqEnum
search
- Metacyclic p-groups (DATABASES OF GROUPS)
- Searching for Points (SCHEMES)
SearchEqual
- SearchEqual(~P: parameters) : GrpFPTietzeProc ->
SearchForDecomposition
- SearchForDecomposition(G, S) : GrpMat, [GrpMatElt] -> BoolElt
SearchForIso1
- GrpFPInt_SearchForIso1 (Example H77E26)
- GrpFP_SearchForIso1 (Example H78E57)
SearchForIso2
- GrpFPInt_SearchForIso2 (Example H77E27)
- GrpFP_SearchForIso2 (Example H78E58)
SearchForIsomorphism
- SearchForIsomorphism(F, G, m : parameters) : GrpFP, GrpFP, RngIntElt -> BoolElt, HomGrp, HomGrp
searching
- Searching with Predicates (DATABASES OF GROUPS)
SearchPGroups
- SearchPGroups(p, n: parameters) : RngIntElt, RngIntElt -> SeqEnum
Sec
- Sec(c) : FldComElt -> FldComElt
- Sec(f) : RngSerElt -> RngSerElt
sec
- Tangent and Secant Varieties and Isomorphic Projections (SCHEMES)
sec:autom
- Automorphisms (RATIONAL CURVES AND CONICS)
sec:introduction
- Introduction (RATIONAL CURVES AND CONICS)
sec:isoms
- Isomorphisms (RATIONAL CURVES AND CONICS)
sec:main
- Rational Curves and Conics (RATIONAL CURVES AND CONICS)
sec:models
- Conics (RATIONAL CURVES AND CONICS)
sec:ratpoints
- Rational Points on Conics (RATIONAL CURVES AND CONICS)
sec:siegel
- Siegel Transformations and Spin Groups (CLIFFORD ALGEBRAS)
sec:spinrep
- Spin Representations (CLIFFORD ALGEBRAS)
Secant
- IsInSecantVariety(X,P) : Sch,Pt -> BoolElt
- SecantVariety(X) : Sch -> Sch
secant
- Secant Varieties (SCHEMES)
secant-variety
- Secant Varieties (SCHEMES)
Secants
- AllSecants(P, A) : Plane, { PlanePt } -> { PlaneLn }
SecantVariety
- SecantVariety(X) : Sch -> Sch
- Scheme_SecantVariety (Example H119E56)
Sech
- Sech(r) : FldReElt -> FldReElt
Second
- BesselFunctionSecondKind(n, r) : RngIntElt, FldReElt -> FldReElt
- ChebyshevSecond(n) : RngIntElt -> RngUPolElt
- DicksonSecond(n, a) : RngIntElt, RngElt -> RngUPolElt
- DicksonSecond(n, a) : RngIntElt, RngElt -> RngUPolElt
- StirlingSecond(n, k) : RngIntElt, RngIntElt -> RngIntElt
- StirlingSecond(n, k) : RngIntElt, RngIntElt -> RngIntElt
second-affine-patch
- Crv_second-affine-patch (Example H121E14)

V2.28, 13 July 2023

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