Documentation

recformat
- recformat< L > : FieldnameList -> RecFormat
recipe-for-schur-index
- Chtr_recipe-for-schur-index (Example H100E5)
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
RecogniseAbelian
- RecogniseAbelian (G) : GrpMat -> GrpGPC, Map, Map
RecogniseAlternating
- 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
- RecogniseAlternatingOrSymmetric(G : parameters) : Grp, RngIntElt -> BoolElt, Map, Map, Map, Map, BoolElt
- RecogniseAlternatingOrSymmetric(G : parameters) : Grp, RngIntElt -> BoolElt, Map, Map, Map, Map, BoolElt
RecogniseAltsym2
- GrpASim_RecogniseAltsym2 (Example H72E3)
- GrpASim_RecogniseAltsym2 (Example H72E4)
- GrpPerm_RecogniseAltsym2 (Example H65E40)
- GrpPerm_RecogniseAltsym2 (Example H65E41)
RecogniseClassical
- RecogniseClassical(G : parameters): GrpMat -> BoolElt
- RecognizeClassical(G : parameters): GrpMat -> BoolElt
RecogniseClassicalSSA
- RecogniseClassicalSSA(A) : AlgMat -> BoolElt, AlgMat, Map, Map
- AlgInv_RecogniseClassicalSSA (Example H96E7)
RecogniseExchangeSSA
- RecogniseExchangeSSA(A) : AlgMat -> BoolElt, AlgMat, Map, Map
RecogniseLargeRee
- RecognizeLargeRee(G : parameters) : GrpMat -> BoolElt, Map, Map, Map, Map
- RecogniseLargeRee(G : parameters) : GrpMat -> BoolElt, Map, Map, Map, Map
RecogniseRee
- RecognizeRee(G : parameters) : GrpMat -> BoolElt, Map, Map, Map, Map
- RecogniseRee(G : parameters) : GrpMat -> BoolElt, Map, Map, Map, Map
RecogniseSL
- RecognizeSL(G, d, q) : Grp, RngIntElt, RngIntElt -> BoolElt, Map, Map
- RecogniseSL(G, d, q) : Grp, RngIntElt, RngIntElt -> BoolElt, Map, Map
RecogniseSL2
- RecogniseSL2(G) : GrpMat -> BoolElt, Map, Map, Map, Map
- RecognizeSL2(G) : GrpMat -> BoolElt, Map, Map, Map, Map
RecogniseSL2-2
- GrpASim_RecogniseSL2-2 (Example H72E11)
RecogniseSL3
- RecogniseSL3(G) : GrpMat -> BoolElt, Map, Map, Map, Map
- GrpASim_RecogniseSL3 (Example H72E12)
RecogniseSmallDegree
- RecogniseSmallDegree(G) : GrpMat -> BoolElt, GrpMat
- GrpASim_RecogniseSmallDegree (Example H72E13)
RecogniseSp4
- RecognizeSp4(G, q) : Grp, RngIntElt, RngIntElt -> BoolElt, Map, Map, Map, Map, SeqEnum, SeqEnum
- RecogniseSp4(G, q) : Grp, RngIntElt, RngIntElt -> BoolElt, Map, Map, Map, Map, SeqEnum, SeqEnum
RecogniseSpOdd
- RecognizeSpOdd(G, d, q) : Grp, RngIntElt, RngIntElt -> BoolElt, Map, Map
- RecogniseSpOdd(G, d, q) : Grp, RngIntElt, RngIntElt -> BoolElt, Map, Map
RecogniseStarAlgebra
- RecogniseStarAlgebra(A) : AlgMat -> BoolElt
RecogniseSU3
- RecognizeSU3(G, d, q) : Grp, RngIntElt, RngIntElt -> BoolElt, Map, Map
- RecogniseSU3(G, d, q) : Grp, RngIntElt, RngIntElt -> BoolElt, Map, Map
RecogniseSU4
- RecognizeSU4(G, d, q) : Grp, RngIntElt, RngIntElt -> BoolElt, Map, Map
- RecogniseSU4(G, d, q) : Grp, RngIntElt, RngIntElt -> BoolElt, Map, Map
RecogniseSymmetric
- 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
- RecognizeSz(G : parameters) : GrpMat -> BoolElt, Map, Map, Map, Map
- RecogniseSz(G : parameters) : GrpMat -> BoolElt, Map, Map, Map, Map
Recognition
- ClassicalConstructiveRecognition(G, type, d, q) : GrpMat[FldFin], MonStgElt, RngIntElt, RngIntElt ->BoolElt, Map, Map, Map, Map, SeqEnum, SeqEnum
- ExceptionalConstructiveRecognition(G, type, rank, q) : GrpMat[FldFin], MonStgElt, RngIntElt, RngIntElt ->BoolElt, Map, Map, Map, Map, SeqEnum, SeqEnum
recognition
- RecognizeSp4(G, q) : Grp, RngIntElt, RngIntElt -> BoolElt, Map, Map, Map, Map, SeqEnum, SeqEnum
- Constructive Recognition of Symplectic Groups (ALMOST SIMPLE GROUPS)
- Constructive Recognition of Linear Groups (ALMOST SIMPLE GROUPS)
- Constructive Recognition of Unitary Groups (ALMOST SIMPLE GROUPS)
- Group Recognition (ALMOST SIMPLE GROUPS)
- Recognition of *-Algebras (ALGEBRAS WITH INVOLUTION)
- Recognition Of Classical Groups in Low Degree (ALMOST SIMPLE GROUPS)
- Recognizing Classical Groups in their Natural Representation (ALMOST SIMPLE GROUPS)
Recognize
- RecognizeLargeRee(G : parameters) : GrpMat -> BoolElt, Map, Map, 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
- RecogniseSU3(G, d, q) : Grp, RngIntElt, RngIntElt -> BoolElt, Map, Map
- RecogniseSU4(G, d, q) : Grp, RngIntElt, RngIntElt -> BoolElt, Map, Map
- RecogniseSp4(G, q) : Grp, RngIntElt, RngIntElt -> BoolElt, Map, Map, Map, Map, SeqEnum, SeqEnum
- RecogniseSpOdd(G, d, q) : Grp, RngIntElt, RngIntElt -> BoolElt, Map, Map
- RecogniseSz(G : parameters) : GrpMat -> BoolElt, Map, Map, Map, Map
- RecognizeClassical(G : parameters): GrpMat -> BoolElt
- RecognizeSL2(G) : GrpMat -> BoolElt, Map, Map, Map, Map

V2.29, 21 October 2025

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