Documentation

restriction
- Compatibility (SEQUENCES)
- Compatibility (SETS)
- 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)
- Introduction to Matrix Groups (MATRIX GROUPS OVER GENERAL RINGS)
- Restriction of Scalars (SCHEMES)
- Restrictions on Sets and Sequences (INTRODUCTION TO AGGREGATES [SETS, SEQUENCES, AND MAPPINGS])
- The Restriction to a Subgroup (COHOMOLOGY AND EXTENSIONS)
- GrpCoh_restriction (Example H75E12)
restriction-of-scalars
- WeilRestriction(S, F) : Sch, Fld -> Sch, MapSch, UserProgram, Map
- Restriction of Scalars (SCHEMES)
restriction-to-center
- AlgBas_restriction-to-center (Example H94E13)
RestrictionChainMap
- RestrictionChainMap(P1,P2) : Rec, Rec -> MapChn
RestrictionData
- RestrictionData(A,B) : AlgBasGrpP, AlgBasGrpP -> ModMatFldElt, ModMatFldElt, SeqEnum
RestrictionMap
- pMap(L) : AlgLie -> Map
- RestrictionMap(L) : AlgLie -> Map
RestrictionMatrix
- RestrictionMatrix( G, k ) : GrphDir, RngIntElt ) -> AlgMatElt
- RestrictionMatrix(G, H) : MonStgElt, MonStgElt -> AlgMatElt
- RestrictionMatrix(R, S) : RootDtm, RootDtm -> AlgMatElt
- RestrictionMatrix(R, Q) : RootDtm, SeqEnum -> AlgMatElt
- LieReps_RestrictionMatrix (Example H114E17)
RestrictionOfGenerators
- RestrictionOfGenerators(PR1, PR2, AC1, AC2, REL2) : Rec, Rec, Rec, Rec, Rec -> SeqEnum
RestrictionOfScalars
- RestrictionOfScalars(O) : AlgAssVOrd[RngOrd] -> AlgAssVOrd, Map
- RestrictionOfScalars(A) : AlgAss[FldAlg] -> AlgAss, Map
- RestrictionOfScalars(S, F) : Sch, Fld -> Sch, MapSch, UserProgram, Map
RestrictionOfScalarsToZ
- RestrictionOfScalarsToZ(L) : LatNF -> Lat
- ZLattice(L) : LatNF -> Lat
Restrictions
- Restrictions (SYMMETRIC FUNCTIONS)
restrictions
- Explicit Restrictions (SCHEMES)
- Geometric Restrictions: Affine Plane Curves with Non-ordinary Singularities (SCHEMES)
- Geometric Restrictions: Points (SCHEMES)
- Geometric Restrictions: Schemes (SCHEMES)
- Geometric Restrictions: Trace on a Scheme (SCHEMES)
- Restrictions and Inflations (BASIC ALGEBRAS)
restrictions-inflations
- Restrictions and Inflations (BASIC ALGEBRAS)
RestrictionToImage
- RestrictionToImage(phi, i) : MapModAbVar, MapModAbVar -> MapModAbVar
RestrictionToPatch
- RestrictionToPatch(f, Xi) : FldFunFracSchElt, Sch -> FldFracElt
- RestrictionToPatch(f,j) : MapSch,RngIntElt -> MapSch
- RestrictionToPatch(f,i,j) : MapSch,RngIntElt,RngIntElt -> MapSch
RestrictionToSubtorus
- RestrictionToSubtorus(Z) : Sch -> Sch, TorMap
RestrictPartitionLength
- RestrictPartitionLength(a, n): AlgSymElt, RngIntElt -> AlgSymElt
RestrictParts
- RestrictParts(a, n): AlgSymElt, RngIntElt -> AlgSymElt
RestrictResolution
- RestrictResolution(PR, RD) : Rec, Rec -> ModCpx
Resultant
- HasResultant(X) : Sch -> BoolElt
- Resultant(f, g, i) : RngMPolElt, RngMPolElt, RngIntElt -> RngMPolElt
- Resultant(f, g) : RngUPolElt, RngUPolElt -> RngElt
- Resultant(f, g) : RngUPolXPadElt, RngUPolXPadElt -> RngAnyXPadElt
resultant
- Resultants and Discriminants (MULTIVARIATE POLYNOMIAL RINGS)
- Sylvester Matrix, Resultant and Discriminant (UNIVARIATE POLYNOMIAL RINGS)
resultant-discriminant
- Resultants and Discriminants (MULTIVARIATE POLYNOMIAL RINGS)
- Sylvester Matrix, Resultant and Discriminant (UNIVARIATE POLYNOMIAL RINGS)
Results
- Nresults() : -> RngIntElt, [ BoolElt ]
- NumberOfResults() : -> RngIntElt, [ BoolElt ]
results
- Alternative Results Handling (PARALLELISM)
Resume
- ResumeEnumeration(~P: parameters) : GrpFPCosetEnumProc ->
ResumeEnumeration
- ResumeEnumeration(~P: parameters) : GrpFPCosetEnumProc ->
Retrieve
- Retrieve(x) : CopElt -> Elt
retrieve
- Retrieve (COPRODUCTS)
return
- The Number of Results (FUNCTIONS, PROCEDURES AND PACKAGES)
return-key
- <Return>
return-values
- The Number of Results (FUNCTIONS, PROCEDURES AND PACKAGES)
Reverse
- IsReverseLatticeWord(w) : MonOrdElt -> BoolElt
- Reverse(L) : List -> List
- Reverse(~S) : SeqEnum ->
- ReverseColumns(A) : Mtrx -> Mtrx
- ReverseColumns(A) : MtrxSprs -> MtrxSprs
- ReverseRows(A) : Mtrx -> Mtrx
- ReverseRows(A) : MtrxSprs -> MtrxSprs
- Reversion(f) : RngSerElt -> RngSerElt
ReverseColumns
- ReverseColumns(A) : Mtrx -> Mtrx
- ReverseColumns(A) : MtrxSprs -> MtrxSprs
ReverseRows
- ReverseRows(A) : Mtrx -> Mtrx
- ReverseRows(A) : MtrxSprs -> MtrxSprs
Reversion
- Reverse(f) : RngSerElt -> RngSerElt
- Reversion(f) : RngSerElt -> RngSerElt
reversion
- Composition and Reversion (POWER, LAURENT AND PUISEUX SERIES)
Revert
- RevertClass(~P) : GrpPCpQuotientProc ->
RevertClass
- RevertClass(~P) : GrpPCpQuotientProc ->
revisedminus
- FldForms_revisedminus (Example H30E10)

V2.29, 21 October 2025

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