Documentation

reading-file
- Reading a Complete File (INPUT AND OUTPUT)
ReadObject
- ReadObject(I) : IO -> Any
- ReadObject(I) : IO -> Any
ReadObjectCheck
- ReadObjectCheck(I) : IO -> BoolElt, Any
Real
- GetDefaultRealField() : -> FldRe
- GetShowRealTime() : -> BoolElt
- IsReal(x) : AlgChtrElt -> BoolElt
- IsReal(c) : FldComElt -> BoolElt
- IsReal(a) : FldCycElt -> BoolElt
- IsReal(p) : PlcNumElt -> BoolElt
- IsReal(p) : PlcNumElt -> BoolElt
- IsReal(z) : SpcHypElt -> BoolElt
- IsRealReflectionGroup(G) : GrpMat -> BoolElt, [], []
- IsTotallyReal(K) : FldAlg -> BoolElt
- QuarticNumberOfRealRoots(q) : RngUPolElt -> RngUPolElt
- Re(z) : SpcHydElt -> FldReElt
- Real(c) : FldComElt -> FldReElt
- Real(z) : SpcHypElt -> FldReElt
- RealEmbeddings(a) : FldAlgElt -> []
- RealEmbeddings(a) : FldNumElt -> []
- RealField() : -> FldRe
- RealField(p) : RngIntElt -> FldRe
- RealHomology(A) : ModAbVar -> ModTupFld
- RealInjection(R) : RootSys -> .
- RealMatrix(phi) : MapModAbVar -> ModMatFldElt
- RealPeriod(E: parameters) : CrvEll -> FldReElt
- RealPlaces(K) : FldAlg -> [PlcNumElt]
- RealPlaces(K) : FldRat -> [PlcNumElt]
- RealSigns(a) : FldNumElt -> []
- RealTamagawaNumber(M) : ModSym -> RngIntElt
- RealVectorSpace(H) : ModAbVarHomol -> ModTupFld
- RealVolume(M, prec) : ModSym, RngIntElt -> FldPrElt
- SetDefaultRealField(R) : FldRe ->
- SetShowRealTime(v) : BoolElt ->
- SplitRealPlace(A) : AlgQuat -> PlcNum
real
- Construction of Real Reflection Groups (REFLECTION GROUPS)
- Real and Complex Embeddings (NUMBER FIELDS AND ORDERS)
- Real and Complex Embeddings (NUMBER FIELDS)
- REAL AND COMPLEX FIELDS
real-complex
- Real and Complex Embeddings (NUMBER FIELDS AND ORDERS)
- Real and Complex Embeddings (NUMBER FIELDS)
- REAL AND COMPLEX FIELDS
RealEmbeddings
- RealEmbeddings(a) : FldAlgElt -> []
- RealEmbeddings(a) : FldNumElt -> []
RealField
- RealField() : -> FldRe
- RealField(p) : RngIntElt -> FldRe
RealHomology
- RealHomology(A) : ModAbVar -> ModTupFld
RealInjection
- RealInjection(R) : RootSys -> .
RealIntro
- FldRe_RealIntro (Example H26E1)
Realisable
- IsRealisableOverSmallerField(M) : ModGrp -> BoolElt, ModGrp
- IsRealisableOverSubfield(M, F) : ModGrp, FldFin -> BoolElt, ModGrp
RealMatrix
- RealMatrix(phi) : MapModAbVar -> ModMatFldElt
RealPeriod
- RealPeriod(E: parameters) : CrvEll -> FldReElt
RealPlaces
- RealPlaces(K) : FldAlg -> [PlcNumElt]
- RealPlaces(K) : FldRat -> [PlcNumElt]
RealReflectionGroupByCartan
- GrpRfl_RealReflectionGroupByCartan (Example H106E6)
RealReflectionGroupByRootDatum
- GrpRfl_RealReflectionGroupByRootDatum (Example H106E7)
reals
- Real Numbers in Magma (REAL AND COMPLEX FIELDS)
RealSigns
- RealSigns(a) : FldNumElt -> []
RealTamagawaNumber
- RealTamagawaNumber(M) : ModSym -> RngIntElt
Realtime
- Realtime() : -> FldReElt
- Realtime(t) : FldReElt -> FldReElt
RealVectorSpace
- RealVectorSpace(H) : ModAbVarHomol -> ModTupFld
RealVolume
- RealVolume(M, prec) : ModSym, RngIntElt -> FldPrElt
rec
- Recognition Functions (ALMOST SIMPLE GROUPS)
- rec< F | L > : RecFormat, FieldAssignmentList -> Rec
recap
- Generalities (ALGEBRAIC SURFACES)
recformat
- recformat< L > : FieldnameList -> RecFormat
recipe-for-schur-index
- Chtr_recipe-for-schur-index (Example H98E5)
Reciprocal
- ReciprocalPolynomial(f) : RngUPolElt -> RngUPolElt
ReciprocalPolynomial
- ReciprocalPolynomial(f) : RngUPolElt -> RngUPolElt
recog
- Recognition of Arbitrary *-Algebras (ALGEBRAS WITH INVOLUTION)
- Recognition of Simple *-Algebras (ALGEBRAS WITH INVOLUTION)
Recognise
- RecogniseAbelian (G) : GrpMat -> GrpGPC, Map, Map
- RecogniseAlternating(G, n: parameters) : Grp, RngIntElt -> BoolElt, Map, Map, Map, Map, BoolElt
- RecogniseAlternating(G, n: parameters) : Grp, RngIntElt -> BoolElt, Map, Map, Map, Map, BoolElt
- RecogniseAlternatingOrSymmetric(G : parameters) : Grp, RngIntElt -> BoolElt, Map, Map, Map, Map, BoolElt
- RecogniseAlternatingOrSymmetric(G : parameters) : Grp, RngIntElt -> BoolElt, Map, Map, Map, Map, BoolElt
- RecogniseClassicalSSA(A) : AlgMat -> BoolElt, AlgMat, Map, Map
- RecogniseExchangeSSA(A) : AlgMat -> BoolElt, AlgMat, Map, Map
- RecogniseLargeRee(G : parameters) : GrpMat -> BoolElt, Map, Map, Map, Map
- RecogniseRee(G : parameters) : GrpMat -> BoolElt, Map, Map, Map, Map
- RecogniseSL(G, d, q) : Grp, RngIntElt, RngIntElt -> BoolElt, Map, Map
- RecogniseSL3(G) : GrpMat -> BoolElt, Map, Map, Map, Map
- RecogniseSU3(G, d, q) : Grp, RngIntElt, RngIntElt -> BoolElt, Map, Map
- RecogniseSU4(G, d, q) : Grp, RngIntElt, RngIntElt -> BoolElt, Map, Map
- RecogniseSmallDegree(G) : GrpMat -> BoolElt, GrpMat
- RecogniseSp4(G, q) : Grp, RngIntElt, RngIntElt -> BoolElt, Map, Map, Map, Map, SeqEnum, SeqEnum
- RecogniseSpOdd(G, d, q) : Grp, RngIntElt, RngIntElt -> BoolElt, Map, Map
- RecogniseStarAlgebra(A) : AlgMat -> BoolElt
- RecogniseSymmetric(G, n: parameters) : Grp, RngIntElt -> BoolElt, Map, Map, Map, Map, BoolElt
- RecogniseSymmetric(G, n: parameters) : Grp, RngIntElt -> BoolElt, Map, Map, Map, Map, BoolElt
- RecogniseSz(G : parameters) : GrpMat -> BoolElt, Map, Map, Map, Map
- RecognizeClassical(G : parameters): GrpMat -> BoolElt
- RecognizeSL2(G) : GrpMat -> BoolElt, Map, Map, Map, Map

V2.28, 13 July 2023

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