[____] [____] [_____] [____] [__] [Index] [Root]
Index A
A-key
A
a-key
a
A5
Chtr_A5 (Example H18E1)
abelian
ABELIAN GROUPS
Abelian Quotients (FINITELY PRESENTED GROUPS)
AbelianGroup
AbelianGroup(GrpAb, Q) : Cat, [ RngIntElt ] -> GrpAb
AbelianGroup(C, Q) : Cat, [ RngIntElt ] -> GrpFin
AbelianGroup(GrpFP, [n_1,...,n_r]): Cat, [ RngIntElt ] -> GrpFP
AbelianGroup(GrpPC, Q) : Cat, [RngIntElt] -> GrpPC
AbelianGroup< X | R > : List(Var), List(GrpAbRel) -> GrpAb, Hom(GrpAb)
AbelianGroup(Q) : [ RngIntElt ] -> GrpPerm
Group< X | R > : List(Identifiers), List(GrpFPRel) -> GrpFP, Hom(Grp)
GrpAb_AbelianGroup (Example H13E3)
AbelianInvariants
AbelianInvariants(G) : GrpFin -> [ RngIntElt ]
AbelianInvariants(G) : GrpMat -> [ RngIntElt ]
AbelianInvariants(G) : GrpPC -> [RngIntElt]
AbelianInvariants(G) : GrpPerm -> [ RngIntElt ]
AbelianQuotient
AbelianQuotient(G) : Grp -> GrpAb, Hom
AbelianQuotientInvariants
AbelianQuotientInvariants(G) : GrpFP -> [ RngIntElt ]
AbelianSubgroups
AbelianSubgroups(G: parameters) : GrpFin -> [ rec< Grp, RngIntElt, RngIntElt, GrpFP> ]
Abs
AbsoluteValue(s) : FldPrElt-> FldPrElt
AbsoluteValue(q) : FldRatElt -> FldRatElt
AbsoluteValue(n) : RngIntElt -> RngIntElt
AbsoluteValue(p) : RngMPolElt -> RngMPolElt
AbsoluteValue(p) : RngUPolElt -> RngUPolElt
abs
Absolute Value and Sign (RATIONAL FIELD)
abs-and-sign
Absolute Value and Sign (RATIONAL FIELD)
AbsoluteDegree
AbsoluteDegree(O) : RngOrd -> RngIntElt
AbsoluteField
AbsoluteField(K) : FldNum -> FldNum
AbsoluteMinimalPolynomial
AbsoluteMinimalPolynomial(a) : FldNumElt -> AlgPolElt
AbsoluteOrder
AbsoluteOrder(O) : RngOrd -> RngOrd
AbsolutePrecision
AbsolutePrecision(a) : RngLocElt -> RngIntElt
AbsolutePrecision(f) : RngSerElt -> RngIntElt
AbsoluteRepresentationMatrix
AbsoluteRepresentationMatrix(a) : FldNumElt -> AlgMatElt
AbsoluteValue
AbsoluteValue(s) : FldPrElt-> FldPrElt
AbsoluteValue(q) : FldRatElt -> FldRatElt
AbsoluteValue(n) : RngIntElt -> RngIntElt
AbsoluteValue(p) : RngMPolElt -> RngMPolElt
AbsoluteValue(p) : RngUPolElt -> RngUPolElt
AbsoluteValues
AbsoluteValues(a) : FldNumElt -> [FldReElt]
Abstract
AlgFP_Abstract (Example H39E2)
abstract
Abstract Group Predicates (GROUPS)
Abstract Group Predicates (MATRIX GROUPS)
Abstract Group Predicates (PERMUTATION GROUPS)
The Abstract Structure of a Group (GROUPS)
The Abstract Structure of a Group (MATRIX GROUPS)
The Abstract Structure of a Group (PERMUTATION GROUPS)
abstract-group
Abstract Group Predicates (GROUPS)
Abstract Group Predicates (MATRIX GROUPS)
Abstract Group Predicates (PERMUTATION GROUPS)
abstract-structure
The Abstract Structure of a Group (GROUPS)
The Abstract Structure of a Group (MATRIX GROUPS)
The Abstract Structure of a Group (PERMUTATION GROUPS)
Access
RMod_Access (Example H36E9)
access
Access and Modification Functions (RECORDS)
Access Functions (ERROR-CORRECTING CODES)
Access Functions (LISTS)
Access Functions (SEQUENCES)
Access Functions (TUPLES AND CARTESIAN PRODUCTS)
Access Functions for PC-Groups (SOLUBLE GROUPS)
Access Operations (ELLIPTIC CURVES)
Accessing and Modifying a Matrix (THE MODULES Hom_(R)(M, N) AND End(M))
Accessing and Modifying Sets (SETS)
Accessing Class Functions (CHARACTERS OF FINITE GROUPS)
Accessing Components of a Codeword (ERROR-CORRECTING CODES)
Accessing functions (COPRODUCTS)
Accessing Group Information (GROUPS)
Accessing Group Information (MATRIX GROUPS)
Accessing Group Information (PERMUTATION GROUPS)
Accessing Information (FINITELY PRESENTED GROUPS)
Accessing Module Information (GENERAL MODULES)
Accessing Sets and their Associated Structures (SETS)
Accessing the Base and Strong Generating Set (MATRIX GROUPS)
Accessing the Base and Strong Generating Set (PERMUTATION GROUPS)
Accessing the data items in a MatGpTup (MATRIX GROUPS)
Accessing the Defining Generators and Relations (ABELIAN GROUPS)
Accessing the Defining Generators and Relations (FINITELY PRESENTED ALGEBRAS)
Accessing the Defining Generators and Relations (FINITELY PRESENTED GROUPS)
Accessing the Defining Generators and Relations (FINITELY PRESENTED SEMIGROUPS)
Accessing Vector Space Invariants (VECTOR SPACES)
access-modification
Access and Modification Functions (RECORDS)
Accessing and Modifying Sets (SETS)
ActingWord
ActingWord(G, x, y) : GrpPerm, Elt, Elt -> GrpFPElt
Action
Action(V) : GrpFPCos -> Map
Action(G, Y) : GrpPerm, GSet -> Hom(Grp), GrpPerm, GrpPerm
Action(Y) : GSet -> Map
Action(M) : ModTupRng -> AlgMat
action
Action of Automorphisms (GRAPHS)
Action of Automorphisms (INCIDENCE STRUCTURES AND DESIGNS)
Action of Collineations (FINITE PLANES)
Action on a Coset Space (GROUPS)
Action on a Coset Space (MATRIX GROUPS)
Action on a Coset Space (PERMUTATION GROUPS)
Action on a G-invariant Partition (PERMUTATION GROUPS)
Action on Orbits (PERMUTATION GROUPS)
Group Actions (MULTIVARIATE POLYNOMIAL RINGS)
Group Actions on Codes (ERROR-CORRECTING CODES)
Matrix Action on Forms (QUADRATIC FIELDS)
Natural Actions for Primitive Groups (PERMUTATION GROUPS)
The Homomorphism Induced by G-action on Orbits (MATRIX GROUPS)
action-primitive
Natural Actions for Primitive Groups (PERMUTATION GROUPS)
ActionGenerator
ActionGenerator(M, i) : ModTupRng, RngIntElt -> AlgMatElt
ActionImage
ActionImage(G, Y) : GrpPerm, GSet -> GrpPerm
ActionKernel
ActionKernel(G, Y) : GrpPerm, GSet -> GrpPerm
Actions
GrpMat_Actions (Example H17E15)
GrpPerm_Actions (Example H16E13)
AddColumn
AddColumn(~a, u, i, j) : AlgMatElt, RngElt, RngIntElt, RngIntElt ->
AddColumn(~a, u, i, j) : ModMatElt, RngElt, RngIntElt, RngIntElt ->
AddColumn(~a, u, i, j) : ModMatRngElt, RngElt, RngIntElt, RngIntElt ->
AddGenerator
AddGenerator(G) : GrpFP -> GrpFP
AddGenerator(S) : SgpFP -> SgpFP
addition
Operators (OVERVIEW)
AdditiveGroup
AdditiveGroup(F) : FldFin -> GrpAb, Map
AdditiveGroup(Z) : RngInt -> GrpAb, Map
AdditiveGroup(R) : RngIntRes -> GrpAb, Map
AddNormalizingGenerator
AddNormalizingGenerator(~H, x) : GrpPerm, GrpPermElt ->
AddRelation
AddRelation(G, r) : GrpFP, GrpFPRel -> GrpFP
AddRelation(S, r) : SgpFP, Rel -> SgpFP
address
Magma Updates (OVERVIEW)
AddRow
AddRow(~a, u, i, j) : AlgMatElt, RngElt, RngIntElt, RngIntElt ->
AddRow(~a, u, i, j) : ModMatElt, RngElt, RngIntElt, RngIntElt ->
AddRow(~a, u, i, j) : ModMatRngElt, RngElt, RngIntElt, RngIntElt ->
AddStrongGenerator
AddStrongGenerator(~H, x) : GrpPerm, GrpPermElt ->
adic
p-Adics (LOCAL FIELDS)
adj
u adj v : Vert, Vert -> BoolElt
u adj v : Vert, Vert -> BoolElt
adjacency
Adjacency, Degree and Distance (GRAPHS)
adjacency-degree-distance
Adjacency, Degree and Distance (GRAPHS)
AdjacencyMatrix
AdjacencyMatrix(G) : Grph -> AlgMatElt
Adjoint
[Future release] Adjoint(a) : AlgMatElt -> AlgMatElt
aff
The Connection between Projective and Affine Planes (FINITE PLANES)
affine
Combinatorial and Geometrical Structures (OVERVIEW)
AffineAction
AffineAction(G) : GrpPerm -> Hom, GrpPerm, GrpPerm
AffineGammaLinearGroup
AffineGammaLinearGroup(n, q) : RngIntElt, RngIntElt -> GrpPerm, {@ ModTupFldElt @}
AffineGeneralLinearGroup
AffineGeneralLinearGroup(n, q) : RngIntElt, RngIntElt -> GrpPerm, {@ ModTupFldElt @}
AffineImage
AffineImage(G) : GrpPerm -> GrpPerm
AffineKernel
AffineKernel(G) : GrpPerm -> GrpPerm
AffinePlane
AffinePlane(D) : Inc -> Plane, PlanePtSet, PlaneLnSet
AffinePlane< v | X : parameters > : RngIntElt, List -> AffPl
AffinePlane(P, l) : ProjPl, PlaneLn -> AffPl, Map
AffineSigmaLinearGroup
AffineSigmaLinearGroup(n, q) : RngIntElt, RngIntElt -> GrpPerm, {@ ModTupFldElt @}
AffineSpecialLinearGroup
AffineSpecialLinearGroup(n, q) : RngIntElt, RngIntElt -> GrpPerm, {@ ModTupFldElt @}
AffPl
Combinatorial and Geometrical Structures (OVERVIEW)
AGammaL
AffineGammaLinearGroup(n, q) : RngIntElt, RngIntElt -> GrpPerm, {@ ModTupFldElt @}
Agemo
Agemo(G, i) : GrpAb, RngIntElt -> GrpAb
Agemo(G, i) : GrpPC, RngIntElt -> GrpPC
aggregate
Aggregate (OVERVIEW)
AGL
AffineGeneralLinearGroup(n, q) : RngIntElt, RngIntElt -> GrpPerm, {@ ModTupFldElt @}
AGM
ArithmeticGeometricMean(x, y) : FldPrElt, FldPrElt -> FldPrElt
aInvariants
aInvariants(E) : GeomEC -> [ RngElt ]
Alarm
Alarm(s)
AlgChtr
Rings, Fields, and Algebras (OVERVIEW)
algebra
Finitely Presented Algebras (FINITELY PRESENTED ALGEBRAS)
Magmas (or Structures) (OVERVIEW)
Rings, Fields, and Algebras (OVERVIEW)
S-algebras (FINITELY PRESENTED ALGEBRAS)
algebras
Rings, Fields, and Algebras (OVERVIEW)
AlgFP
Rings, Fields, and Algebras (OVERVIEW)
AlgMat
Rings, Fields, and Algebras (OVERVIEW)
algorithm
Magma's Evaluation Process (MAGMA SEMANTICS)
Overview of Facilities (FINITELY PRESENTED GROUPS)
Sketch of the Algorithm (FINITELY PRESENTED ALGEBRAS)
Alldeg
Alldeg(G, n) : GrphDir, RngIntElt -> { Vert }
Alldeg(G, n) : GrphUnd, RngIntElt -> { Vert }
AllIrreduciblePolynomials
AllIrreduciblePolynomials(F, m) : FldFin, RngIntElt -> { RngPolElt }
AllPassants
ExternalLines(A) : { PlanePt } -> { PlaneLn }
AllSecants
AllSecants(A) : { PlanePt } -> { PlaneLn }
AllSqrts
AllSquareRoots(a) : RngIntResElt -> [ RngIntResElt ]
AllSquareRoots
AllSquareRoots(a) : RngIntResElt -> [ RngIntResElt ]
AllTangents
AllTangents(A) : { PlanePt } -> { PlaneLn }
AllTangents(U) : { PlanePt } -> { PlaneLn }
AlmostFermat
Set_AlmostFermat (Example H4E2)
AlmostFermatIndexed
Set_AlmostFermatIndexed (Example H4E3)
Alphabet
Alphabet(C) : Code -> FldFin
alphabet
Changing the Alphabet of a Code (ERROR-CORRECTING CODES)
Alt
AlternatingGroup(C, n) : Cat, RngIntElt -> GrpFin
AlternatingGroup(GrpFP, n) : Cat, RngIntElt -> GrpFP
AlternatingGroup(GrpPerm, n) : Cat, RngIntElt -> GrpPerm
AlternantCode
AlternantCode(A, Y, r, S) : [ FldFinElt ], [ FldFinElt ], RngIntElt, FldFin -> Code
Code_AlternantCode (Example H44E7)
AlternatingGroup
AlternatingGroup(C, n) : Cat, RngIntElt -> GrpFin
AlternatingGroup(GrpFP, n) : Cat, RngIntElt -> GrpFP
AlternatingGroup(GrpPerm, n) : Cat, RngIntElt -> GrpPerm
AlternatingSum
AlternatingSum(m, i) : Map, RngIntElt -> FldPrElt
AmbientSpace
AmbientSpace(C) : Code -> ModTupFld
Amicable
RngInt_Amicable (Example H21E4)
and
Absolute Value and Sign (RATIONAL FIELD)
Expression (OVERVIEW)
x and y : BoolElt, BoolElt -> BoolElt
angle
Generator Assignment (OVERVIEW)
angle-bracket
Generator Assignment (OVERVIEW)
Append
Append(S, x) : List, Elt -> List
Append(~S, x) : SeqEnum, Elt ->
application
Function Application (MAGMA SEMANTICS)
AQInvariants
AbelianQuotientInvariants(G) : GrpFP -> [ RngIntElt ]
arbitrary
Arbitrary versus fixed precision (LOCAL FIELDS)
arbitrary-fixed
Arbitrary versus fixed precision (LOCAL FIELDS)
Arccos
Arccos(s) : FldPrElt -> FldPrElt
Arccosec
Arccosec(s) : FldPrElt -> FldPrElt
Arccot
Arccot(s) : FldPrElt -> FldPrElt
arcs
Arcs (FINITE PLANES)
Plane_arcs (Example H43E4)
Arcsec
Arcsec(s) : FldPrElt -> FldPrElt
Arcsin
Arcsin(s) : FldPrElt -> FldPrElt
Arctan
Arctan(s) : FldPrElt -> FldPrElt
Arctan2
Arctan(s) : FldPrElt -> FldPrElt
Arg
Argument(c) : FldComElt -> FldReElt
Argcosech
Argcosech(s) : FldPrElt -> FldPrElt
Argcosh
Argcosh(s) : FldPrElt -> FldPrElt
Argcoth
Argcoth(s) : FldPrElt -> FldPrElt
Argsech
Argsech(s) : FldPrElt -> FldPrElt
Argsinh
Argsinh(s) : FldPrElt -> FldPrElt
Argtanh
Argtanh(s) : FldPrElt -> FldPrElt
Argument
Argument(c) : FldComElt -> FldReElt
argument
Intrinsics (OVERVIEW)
Reference Arguments (MAGMA SEMANTICS)
Arithmetic
GrpMat_Arithmetic (Example H17E3)
GrpPerm_Arithmetic (Example H16E3)
Grp_Arithmetic (Example H11E2)
KMod_Arithmetic (Example H35E5)
arithmetic
Addition and Subtraction (ABELIAN GROUPS)
Arithmetic (CHARACTERS OF FINITE GROUPS)
Arithmetic (CYCLOTOMIC FIELDS)
Arithmetic (ELLIPTIC CURVES)
Arithmetic (MATRIX ALGEBRAS)
Arithmetic (QUADRATIC FIELDS)
Arithmetic (QUADRATIC FIELDS)
Arithmetic (RATIONAL FUNCTION FIELDS)
Arithmetic (REAL AND COMPLEX FIELDS)
Arithmetic (RING OF INTEGERS)
Arithmetic Functions (RING OF INTEGERS)
Arithmetic Operations (INTRODUCTION [RINGS AND FIELDS])
Arithmetic Operations (RING OF INTEGERS)
Arithmetic Operations (VALUATION RINGS)
Arithmetic Operations on Elements (SOLUBLE GROUPS)
Arithmetic Operations on Ideals (INTRODUCTION [RINGS AND FIELDS])
Arithmetic Operators (FINITE FIELDS)
Arithmetic Operators (MULTIVARIATE POLYNOMIAL RINGS)
Arithmetic Operators (POWER SERIES AND LAURENT SERIES)
Arithmetic Operators (RATIONAL FIELD)
Arithmetic Operators (RESIDUE CLASS RINGS)
Arithmetic Operators (UNIVARIATE POLYNOMIAL RINGS)
Arithmetic with Elements (GROUPS)
Arithmetic with Matrices (MATRIX GROUPS)
Arithmetic with Permutations (PERMUTATION GROUPS)
Arithmetic with Vectors (VECTOR SPACES)
Creation of Vector Spaces and Arithmetic with Vectors (VECTOR SPACES)
Elementary Operators for Elements (FINITELY PRESENTED ALGEBRAS)
Generic Functions on Elements (LOCAL FIELDS)
Ideal Arithmetic (NUMBER FIELDS AND THEIR ORDERS)
Ideal Arithmetic (RESIDUE CLASS RINGS)
Ideal Arithmetic (UNIVARIATE POLYNOMIAL RINGS)
Multiplication and Exponentiation (FINITELY PRESENTED SEMIGROUPS)
Sequences (OVERVIEW)
Sets (OVERVIEW)
The Arithmetic Progression Constructors (SEQUENCES)
The Arithmetic Progression Constructors (SETS)
arithmetic-function
Arithmetic Functions (RING OF INTEGERS)
arithmetic-other
Ideal Arithmetic (RESIDUE CLASS RINGS)
arithmetic-progression
Sequences (OVERVIEW)
Sets (OVERVIEW)
The Arithmetic Progression Constructors (SEQUENCES)
The Arithmetic Progression Constructors (SETS)
ArithmeticGeometricMean
ArithmeticGeometricMean(x, y) : FldPrElt, FldPrElt -> FldPrElt
ASigmaL
AffineSigmaLinearGroup(n, q) : RngIntElt, RngIntElt -> GrpPerm, {@ ModTupFldElt @}
ASL
AffineSpecialLinearGroup(n, q) : RngIntElt, RngIntElt -> GrpPerm, {@ ModTupFldElt @}
AssertAttribute
AssertAttribute(x, "IsCharacter", b) : AlgChtrElt, MonStgElt, BoolElt ->
AssertAttribute(A, "Precision", n) : AlgPowSer, MonStgElt, RngIntElt ->
AssertAttribute(FldFin, "PowerPrinting", l) : Cat, MonStgElt, BoolElt ->
AssertAttribute(FldPr, "Precision", n) : Cat, MonStgElt, RngIntElt ->
AssertAttribute(R, "Precision", n) : FldPow, MonStgElt, RngIntElt -> Null
AssertAttribute(G, "Classes", Q) : GrpFin, MonStgElt, [ GrpFinElt ] ->
AssertAttribute(G, "Order", n) : GrpMat, MonStgElt, RngIntElt ->
AssertAttribute(G, "Classes", Q) : GrpMat, MonStgElt, [ GrpMatElt ] ->
AssertAttribute(G, "Classes", Q) : GrpPerm, MonStgElt, [ GrpPermElt ] ->
AssertAttribute(G, "Base", Q) : GrpPerm, MonStgElt, [ RngIntElt ] ->
AssertAttribute(A, "Precision", n) : RngPad, MonStgElt, RngIntElt ->
SetPowerPrinting(F, l) : FldFin, BoolElt ->
assign
Assignment (OVERVIEW)
assigned
Testing whether an identifier is assigned (OVERVIEW)
assigned r`fieldname : Rec, Fieldname -> BoolElt
assigned x : Var -> BoolElt
AssignForm
[Future release] AssignForm(V, F) : ModTupFld, AlgMatElt ->
assignment
Assignment (MAGMA LANGUAGE)
Assignment (MAGMA SEMANTICS)
Assignment (OVERVIEW)
Assignment and Deletion (MAGMA LANGUAGE)
Assignment Operator (LISTS)
Function Values Assigned to Identifiers (MAGMA SEMANTICS)
Generator Assignment (OVERVIEW)
Multiple Assignment (OVERVIEW)
assignment-deletion
Assignment and Deletion (MAGMA LANGUAGE)
AssignNames
AssignNames(~F, [f]) : FldFin, [ MonStgElt ]) ->
AssignNames(~P, s) : FldFun, [ MonStgElt ]) ->
AssignNames(~K, s) : FldNum, [ MonStgElt ]) ->
AssignNames(~R, ["x"]) : FldPow, [ MonStgElt ] ->
AssignNames(~C, [s]) : FldPr, [ MonStgElt ]) ->
AssignNames(~F, [s]) : FldQuad, [ MonStgElt ]) ->
AssignNames(~P, s) : RngMPol, [ MonStgElt ]) ->
AssignNames(~P, s) : RngUPol, [ MonStgElt ]) ->
AssignNames(~S, [s_1, ... s_n] ) : Struct, [ MonStgElt ] ->
RngMPol_AssignNames (Example H25E2)
assoc
The Structures Associated with a Plane (FINITE PLANES)
assoc-structs
The Structures Associated with a Plane (FINITE PLANES)
Attach
Attach(F); : file ->
attach
Attaching/Detaching package files (MAGMA LANGUAGE)
attach-detach
Attaching/Detaching package files (MAGMA LANGUAGE)
AttachSpec
AttachSpec(S) : file ->
attribute
Attribute (CHARACTERS OF FINITE GROUPS)
Attributes (INTRODUCTION [RINGS AND FIELDS])
Defining Values for Attributes (MATRIX GROUPS)
Defining Values for Attributes (PERMUTATION GROUPS)
AugmentCode
AugmentCode(C) : Code -> Code
auto
Automatic Printing (MAGMA LANGUAGE)
Design_auto (Example H42E10)
auto-print
Automatic Printing (MAGMA LANGUAGE)
Lang_auto-print (Example H1E9)
automatic
Automatic Coercion (INTRODUCTION [RINGS AND FIELDS])
Magmas (or Structures) (OVERVIEW)
automorphism
Action of Automorphisms (GRAPHS)
Action of Automorphisms (INCIDENCE STRUCTURES AND DESIGNS)
Automorphism Group Algorithm (SOLUBLE GROUPS)
Automorphism Group of a Design or Set System (GRAPHS)
Automorphism Group of a Graph or Digraph (GRAPHS)
Automorphisms and Isomorphisms (SOLUBLE GROUPS)
The Automorphism Group of an Incidence Structure (INCIDENCE STRUCTURES AND DESIGNS)
automorphism-action
Action of Automorphisms (GRAPHS)
Action of Automorphisms (INCIDENCE STRUCTURES AND DESIGNS)
automorphism-group
Automorphism Group Algorithm (SOLUBLE GROUPS)
automorphism-group-design
The Automorphism Group of an Incidence Structure (INCIDENCE STRUCTURES AND DESIGNS)
automorphism-group-design-set-system
Automorphism Group of a Design or Set System (GRAPHS)
automorphism-group-graph
Automorphism Group of a Graph or Digraph (GRAPHS)
automorphism-isomorphism
Automorphisms and Isomorphisms (SOLUBLE GROUPS)
AutomorphismGroup
AutomorphismGroup(C) : Code -> GrpPerm
AutomorphismGroup(G) : Grph -> GrpPerm, Grph
[Future release] AutomorphismGroup(G): GrpPC -> [Mtrx]
AutomorphismGroup(D) : Inc -> GrpPerm
AutomorphismGroup(p, B) : RngIntElt, [ { RngIntElt } ] -> GrpPerm
CollineationGroup(P) : Plane -> GrpPerm
Code_AutomorphismGroup (Example H44E17)
Graph_AutomorphismGroup (Example H41E5)
[____] [____] [_____] [____] [__] [Index] [Root]