Documentation

restriction-of-scalars
- WeilRestriction(S, F) : Sch, Fld -> Sch, MapSch, UserProgram, Map
- Restriction of Scalars (SCHEMES)
restriction-to-center
- AlgBas_restriction-to-center (Example H92E13)
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 H111E17)
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
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
- Resultant and Discriminant (UNIVARIATE POLYNOMIAL RINGS)
- Resultants and Discriminants (MULTIVARIATE POLYNOMIAL RINGS)
resultant-discriminant
- Resultant and Discriminant (UNIVARIATE POLYNOMIAL RINGS)
- Resultants and Discriminants (MULTIVARIATE 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)
Rewind
- Rewind(I) : IO ->
Rewrite
- ClassicalRewrite(G, gens, type, dim, q, g : parameters): Grp, SeqEnum, MonStgElt, RngIntElt, RngIntElt, GrpElt -> BoolElt, GrpElt
- ClassicalRewriteNatural(type, CB, g): MonStgElt, GrpMatElt, GrpMatElt-> BoolElt, GrpElt
- ExceptionalRewrite(type, rank, q, X, Xm, g): MonStgElt, RngIntElt, RngIntElt,SeqEnum, SeqEnum, GrpElt -> BoolElt, GrpElt
- LieTypeRewrite(t,r,q,X,Y,g) : MonStgElt,RngIntElt,RngIntElt,SeqEnum,SeqEnum,GrpMatElt -> BoolElt, GrpSLPElt
- PrepareRewrite(t,r,q,X,Y) : MonStgElt,RngIntElt,RngIntElt,SeqEnum,SeqEnum -> UserProgram, Map
- Rewrite(G, ~H : parameters) : GrpFP, GrpFP ->
- Rewrite(G, H : parameters) : GrpFP, GrpFP -> GrpFP, Map
- GrpFPInt_Rewrite (Example H77E20)
- GrpFP_Rewrite (Example H78E41)
rewrite
- GROUPS DEFINED BY REWRITE SYSTEMS
- MONOIDS GIVEN BY REWRITE SYSTEMS

V2.28, 13 July 2023

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