[____] [____] [_____] [____] [__] [Index] [Root]
Index E
E
d . eefpg : RngIntElt, RngIntElt, RngIntElt -> FldReElt
e
Quitting (OVERVIEW)
d . eefpg : RngIntElt, RngIntElt, RngIntElt -> FldReElt
E-key
E
e-key
e
EARNS
EARNS(G) : GrpPerm -> GrpPerm
EAS
GrpPC_EAS (Example H13E5)
EchelonForm
EchelonForm(a) : AlgMatElt -> AlgMatElt, AlgMatElt
EchelonForm(a) : ModMatElt -> ModMatElt, ModMatElt
EchelonForm(a) : ModMatRngElt -> ModMatRngElt, ModMatRngElt
AlgMat_EchelonForm (Example H36E6)
EcheloniseWord
EcheloniseWord(~P, ~r) : Process(pQuot) -> RngIntElt
edge
The Vertex-Set and Edge-Set of a Graph (GRAPHS)
EdgeGroup
EdgeGroup(G) : Grph -> GrpPerm
Edges
Edges(G) : Grph -> { Edge }
EdgeSet
EdgeSet(G) : Grph -> EdgeSet
EdgeUnion
EdgeUnion(G, H) : GrphDir, GrphDir -> GrphDir
editor
The Magma Line Editor (SYSTEM FEATURES)
EgyptianFractions
Seq_EgyptianFractions (Example H5E4)
Eigenspace
Eigenspace(a, e) : AlgMatElt, FldElt -> ModTup
Eigenspace(g, a) : GrpMatElt, FldElt -> Mod
Eigenvalues
Eigenvalues(a) : AlgMatElt -> { <FldElt, RngIntElt> }
Eigenvalues(g) : GrpMatElt -> { <RngElt, RngIntElt> }
element
Accessing and Modifying a Matrix (MATRIX ALGEBRAS)
Accessing and Modifying a Matrix (THE MODULES Hom_(R)(M, N) AND End(M))
Arithmetic (NUMBER FIELDS AND THEIR ORDERS)
Boolean Operators (MAGMA LANGUAGE)
Construction of a Matrix (MATRIX ALGEBRAS)
Construction of a Matrix (MATRIX GROUPS)
Construction of a Matrix (THE MODULES Hom_(R)(M, N) AND End(M))
Construction of a Permutation (PERMUTATION GROUPS)
Construction of a Vector (VECTOR SPACES)
Construction of an Element (ABELIAN GROUPS)
Construction of an Element (GROUPS)
Construction of Elements of Direct Sums and Tensor Products (MATRIX ALGEBRAS)
Coset Spaces: Selection of Cosets (FINITELY PRESENTED GROUPS)
Creating a Tuple (TUPLES AND CARTESIAN PRODUCTS)
Creation of Elements (CYCLOTOMIC FIELDS)
Creation of Elements (INTRODUCTION [RINGS AND FIELDS])
Creation of Elements (LOCAL FIELDS)
Creation of Elements (MULTIVARIATE POLYNOMIAL RINGS)
Creation of Elements (NUMBER FIELDS AND THEIR ORDERS)
Creation of Elements (POWER SERIES AND LAURENT SERIES)
Creation of Elements (QUADRATIC FIELDS)
Creation of Elements (RATIONAL FIELD)
Creation of Elements (RATIONAL FUNCTION FIELDS)
Creation of Elements (REAL AND COMPLEX FIELDS)
Creation of Elements (RESIDUE CLASS RINGS)
Creation of Elements (RING OF INTEGERS)
Creation of Elements (UNIVARIATE POLYNOMIAL RINGS)
Creation of Elements (VALUATION RINGS)
Definition of Soluble Groups using Power-conjugate Presentations (SOLUBLE GROUPS)
Element Constructors (FINITELY PRESENTED SEMIGROUPS)
Element Creation (CHARACTERS OF FINITE GROUPS)
Element Operations (CHARACTERS OF FINITE GROUPS)
Element Operations (CYCLOTOMIC FIELDS)
Element Operations (FINITE FIELDS)
Element Operations (MULTIVARIATE POLYNOMIAL RINGS)
Element Operations (NUMBER FIELDS AND THEIR ORDERS)
Element Operations (POWER SERIES AND LAURENT SERIES)
Element Operations (QUADRATIC FIELDS)
Element Operations (RATIONAL FIELD)
Element Operations (RATIONAL FUNCTION FIELDS)
Element Operations (REAL AND COMPLEX FIELDS)
Element Operations (RING OF INTEGERS)
Element Operations (SOLUBLE GROUPS)
Element Operations (THE MODULES Hom_(R)(M, N) AND End(M))
Element Operations (UNIVARIATE POLYNOMIAL RINGS)
Element Operations (VALUATION RINGS)
Elementary Functions for Words (FINITELY PRESENTED GROUPS)
Elementary Operations on Elements (MATRIX ALGEBRAS)
Elementary Operators for Words (FINITELY PRESENTED GROUPS)
Elements of Modules and Their Operations (GENERAL MODULES)
Elements of M_n(S) as Homomorphisms (MATRIX ALGEBRAS)
Elements Operations (RESIDUE CLASS RINGS)
Generic Element Functions (INTRODUCTION [RINGS AND FIELDS])
Matrix Operations (MATRIX GROUPS)
Operations on Codewords (ERROR-CORRECTING CODES)
Operations on Elements (ABELIAN GROUPS)
Operations on Elements of Ideals (MULTIVARIATE POLYNOMIAL RINGS)
Operations on Lattice Elements (GENERAL MODULES)
Operations on p-adic Elements (LOCAL FIELDS)
Operations on Poset Elements (GROUPS)
Operations on the Set of Elements (GROUPS)
Operations on the Set of Elements (MATRIX GROUPS)
Operations on the Set of Elements (PERMUTATION GROUPS)
Predicates on Ring Elements (CYCLOTOMIC FIELDS)
Predicates on Ring Elements (FINITE FIELDS)
Predicates on Ring Elements (INTRODUCTION [RINGS AND FIELDS])
Predicates on Ring Elements (MULTIVARIATE POLYNOMIAL RINGS)
Predicates on Ring Elements (POWER SERIES AND LAURENT SERIES)
Predicates on Ring Elements (RATIONAL FIELD)
Predicates on Ring Elements (RATIONAL FUNCTION FIELDS)
Predicates on Ring Elements (RESIDUE CLASS RINGS)
Predicates on Ring Elements (RING OF INTEGERS)
Predicates on Ring Elements (UNIVARIATE POLYNOMIAL RINGS)
Selecting Elements of Sets (SETS)
Selection Operators on Enumerated Sequences (SEQUENCES)
Specialised Operations on Words (FINITELY PRESENTED GROUPS)
Specification of a Word (FINITELY PRESENTED ALGEBRAS)
String Operations on Words (FINITELY PRESENTED SEMIGROUPS)
Structure Operations (POWER SERIES AND LAURENT SERIES)
element-access-modification
Accessing and Modifying a Matrix (THE MODULES Hom_(R)(M, N) AND End(M))
element-Boolean
Predicates on Ring Elements (CYCLOTOMIC FIELDS)
Predicates on Ring Elements (FINITE FIELDS)
Predicates on Ring Elements (INTRODUCTION [RINGS AND FIELDS])
Predicates on Ring Elements (MULTIVARIATE POLYNOMIAL RINGS)
Predicates on Ring Elements (POWER SERIES AND LAURENT SERIES)
Predicates on Ring Elements (RATIONAL FIELD)
Predicates on Ring Elements (RATIONAL FUNCTION FIELDS)
Predicates on Ring Elements (RESIDUE CLASS RINGS)
Predicates on Ring Elements (RING OF INTEGERS)
Predicates on Ring Elements (UNIVARIATE POLYNOMIAL RINGS)
ElementaryAbelianSeries
ElementaryAbelianSeries(G) : GrpAb -> [GrpAb]
ElementaryAbelianSeries(G) : GrpPC -> [GrpPC]
ElementaryAbelianSubgroups
ElementaryAbelianSubgroups(G: parameters) : GrpFin -> [ rec< Grp, RngIntElt, RngIntElt, GrpFP> ]
ElementaryDivisors
ElementaryDivisors(a) : AlgMatElt -> [RngElt]
ElementaryDivisors(a) : ModMatRngElt -> [RngElt]
AlgMat_ElementaryDivisors (Example H36E7)
ElementarySymmetricPolynomial
ElementarySymmetricPolynomial(P, k) : RngDPol, RngIntElt -> RngDPolElt
ElementOperations
RngDPol_ElementOperations (Example H23E12)
Elements
FldNum_Elements (Example H28E7)
RMod_Elements (Example H34E13)
ElementSet
ElementSet(G, H) : GrpFin, GrpFin -> { GrpFinElt }
ElementSet(G, H) : GrpPerm, GrpPerm -> { GrpPermElt }
ElementToSequence
Coefficients(a) : FldLocElt -> [ RngResElt ]
Coefficients(f) : RngPowSerElt -> [ RngElt ]
Coefficients(p) : RngUPolElt -> [ RngElt ]
ElementToSequence(a) : AlgMatElt -> [ RngElt ]
ElementToSequence(a) : FldFinElt -> [ FldFinElt ]
ElementToSequence(a) : FldNumElt -> [ FldRatElt ]
ElementToSequence(a) : FldNumElt -> [ FldRatElt ]
ElementToSequence(x) : GrpAbElt -> [RngIntElt]
ElementToSequence(u) : GrpFPElt -> [ RngIntElt ]
ElementToSequence(g) : GrpMatElt -> [ RngElt ]
ElementToSequence(x) : GrpPCElt -> [RngIntElt]
ElementToSequence(x) : GrpPCElt -> [RngIntElt]
ElementToSequence(a) : ModMatRngElt -> [ RngElt ]
ElementToSequence(u) : ModTupFldElt -> [RngElt]
ElementToSequence(u) : ModTupRngElt -> [RngElt]
Eltseq(a) : FldCycElt -> [ FldRatElt ]
Eltseq(a) : FldQuadElt -> [ FldRatElt ]
elif
The if statement (OVERVIEW)
Eliminate
Eliminate(u, x, v) : GrpFPElt, GrpFPElt, GrpFPElt -> GrpFPElt
Eliminate(u, x, v) : SgpFPElt, SgpFPElt, SgpFPElt -> SgpFPElt
EliminateGenerators
EliminateGenerators(~P: parameters) : Process(Tietze) ->
EliminateRedundancy
EliminateRedundancy(~P) : Process(pQuot) ->
elimination
Elimination Ideals (MULTIVARIATE POLYNOMIAL RINGS)
EliminationIdeal
EliminationIdeal(I, k) : RngDPol, RngIntElt -> RngDPol
RngDPol_EliminationIdeal (Example H23E14)
elliptic
ELLIPTIC CURVES
elliptic-curve
ELLIPTIC CURVES
EllipticCurve
EllipticCurve([a, b]) : [RngElt] -> GeomEC
else
Conditional Expression (OVERVIEW)
The case statement (OVERVIEW)
The if statement (OVERVIEW)
elt
Constructor (OVERVIEW)
C ! [a_1, ..., a_n] : Code, [ FldFinElt ] -> ModTupFldElt
K ! [a_0, ..., a_(m - 1)] : FldCyc, [FldCycElt] -> FldCycElt
F ! [a, b] : FldFun, RngPolElt, RngPolElt -> FldFunElt
K ! a : FldNum, RngIntElt -> FldNumElt
F ! [a_0, a_(1)] : FldQuad, [FldRatElt] -> FldQuadElt
Q ! [a, b] : FldRat, RngIntElt, RngIntElt -> FldRatElt
E ! [x, y, z] : GeomEC, [RngElt] -> GeomECElt
P ! s : RngUPol, RngElt -> RngPolElt
elt< R | a_1, ..., a_k> : AlgChtr, FldCycElt, ..., FldCycElt -> AlgChtrElt
elt< R | L > : AlgMat, RngElt -> AlgMatElt
elt<F | a> : FldFin, RngElt -> FldFinElt
elt<R | a> : FldLoc, RngElt -> FldLocElt
elt<R | m, n> : FldRe, FldReElt, RngIntElt -> FldReElt
elt< G | L > : Grp, List(Elt) -> GrpElt
elt< G | L > : GrpMat, List(RngElt) -> GrpMatElt
elt< G | L > : GrpPerm, List(Elt) -> GrpPermElt
elt< B | a, b, c> : MagForm, RngIntElt, RngIntElt, RngIntElt -> MagFormElt
elt<V | L> : ModTupFld, List -> ModTupFldElt
elt< M | a_1, ..., a_n > : ModTupRng, List -> ModTupRngElt
elt< R | a > : RngDPol, RngElt -> RngDPolElt
elt< Z | a_1a_2...a_r > : RngInt, RngIntElt -> RngIntElt
elt< R | e, [ a_1, ..., a_(d)], p > : RngIntElt, SeqEnum, RngIntElt -> FldLo
elt< R | v, [ a_1, ..., a_(d)], p > : RngIntElt, SeqEnum, RngIntElt -> RngPowSerElt
elt< R | k > : RngIntRes, RngIntElt -> RngIntResElt
elt< P | a_0, ..., a_(d) > : RngUPol, RngElt, ..., RngElt -> RngUPolElt
elt< C | a_1, a_2, ..., a_k > : SetCart, Elt, ..., Elt -> SetCartElt
Eltseq
Coefficients(a) : FldLocElt -> [ RngResElt ]
Coefficients(f) : RngPowSerElt -> [ RngElt ]
Coefficients(p) : RngUPolElt -> [ RngElt ]
ElementToSequence(a) : AlgMatElt -> [ RngElt ]
ElementToSequence(a) : FldFinElt -> [ FldFinElt ]
ElementToSequence(a) : FldNumElt -> [ FldRatElt ]
ElementToSequence(x) : GrpAbElt -> [RngIntElt]
ElementToSequence(u) : GrpFPElt -> [ RngIntElt ]
ElementToSequence(g) : GrpMatElt -> [ RngElt ]
ElementToSequence(x) : GrpPCElt -> [RngIntElt]
ElementToSequence(x) : GrpPCElt -> [RngIntElt]
ElementToSequence(a) : ModMatRngElt -> [ RngElt ]
ElementToSequence(u) : ModTupFldElt -> [RngElt]
ElementToSequence(u) : ModTupRngElt -> [RngElt]
Eltseq(a) : FldCycElt -> [ FldRatElt ]
Eltseq(a) : FldQuadElt -> [ FldRatElt ]
Eltseq(R) : SeqEnum -> SeqEnum
Emacs
Key Bindings (Emacs and VI mode) (SYSTEM FEATURES)
Key Bindings in Emacs mode only (SYSTEM FEATURES)
email
Magma Updates (OVERVIEW)
Embed
Embed(E, F) : FldFin, FldFin ->
embedding
Creating Relations (FINITE FIELDS)
empty
Sequences (OVERVIEW)
Sets (OVERVIEW)
EmptyDigraph
EmptyDigraph(p) : RngIntElt -> GrphDir
EmptyGraph
EmptyGraph(p) : RngIntElt -> GrphUnd
end
Control-C key (OVERVIEW)
Quitting (OVERVIEW)
EndomorphismAlgebra
EndomorphismAlgebra(M) : ModRng -> AlgMat
EndomorphismAlgebra(M) : ModTupRng -> AlgMat
EndoRing
RMod_EndoRing (Example H34E19)
EndVertices
EndVertices(e) : Edge -> [Vert]
EndVertices(e) : Edge -> { Vert }
enumerated
Enumerated Sequences (SEQUENCES)
Enumerated Sets (SETS)
Sequences (OVERVIEW)
Sets (OVERVIEW)
The Enumerated Sequence Constructor (SEQUENCES)
The Enumerated Set Constructor (SETS)
enumeration
Vector Enumeration (FINITELY PRESENTED ALGEBRAS)
Vector Enumeration (FINITELY PRESENTED ALGEBRAS)
enumerator
The Weight Enumerator (ERROR-CORRECTING CODES)
environment
Environment Variables (MAGMA LANGUAGE)
Interaction with the Environment (MAGMA LANGUAGE)
environment-variable
Environment Variables (MAGMA LANGUAGE)
eq
Comparison (OVERVIEW)
u eq v : AlgFPElt, AlgFPElt -> BoolElt
R eq T : AlgMat, AlgMat -> BoolElt
a eq b : AlgMatElt, AlgMatElt -> BoolElt
x eq y : BoolElt, BoolElt -> BoolElt
C eq D : Code, Code -> BoolElt
C_1 eq C_2 : Elt, Elt -> BoolElt
C_1 eq C_2 : Elt, Elt -> BoolElt
x eq y : Elt, Elt -> BoolElt
[Future release] C_1 eq C_2 : Elt, Elt -> BoolElt
K eq L : FldNum, FldNum -> BoolElt
E eq F : GeomEC, GeomEC -> BoolElt
P eq Q : GeomECElt, GeomECElt -> BoolElt
G eq H : GrpAb, GrpAb -> BoolElt
u eq v : GrpAbElt, GrpAbElt -> BoolElt
g eq h : GrpElt, GrpElt -> BoolElt
H eq G : GrpFin, GrpFin -> BoolElt
H eq K : GrpFP, GrpFP -> BoolElt
C1 eq C2 : GrpFPCosElt, GrpFPCosElt -> BoolElt
u eq v : GrpFPElt, GrpFPElt -> BoolElt
G eq H : GrphDir, GrphDir -> BoolElt
H eq G : GrpMat, GrpMat -> BoolElt
g eq h : GrpMatElt, GrpMatElt -> BoolElt
G eq H : GrpPC, GrpPC -> BoolElt
g eq h : GrpPCElt, GrpPCElt -> BoolElt
H eq G : GrpPerm, GrpPerm -> BoolElt
g eq h : GrpPermElt, GrpPermElt -> BoolElt
h eq k : KodSym, KodSym -> BoolElt
e eq f : ModLatElt, ModLatElt -> ModLatElt
U eq V : ModTupFld, ModTupFld -> BoolElt
N eq M : ModTupRng, ModTupRng -> BoolElt
s eq t : MonStgElt, MonStgElt -> BoolElt
R eq S : Rng, Rng -> BoolElt
R eq S : Rng, Rng -> Rng
I eq J : RngDPol, RngDPol -> BoolElt
a eq b : RngElt, RngElt -> BoolElt
I eq J : RngIdl, RngIdl -> BoolElt
S eq T : SeqEnum, SeqEnum -> BoolElt
T eq U : SetCartElt, SetCartElt -> BoolElt
R eq S : SetIndx, SetIndx -> BoolElt
u eq v : SgpFPElt, SgpFPElt -> BoolElt
e eq f : SubGrpLatElt, SubGrpLatElt -> SubGrpLatElt
S eq T : VertSet, VertSet -> BoolElt
equal
Comparison (OVERVIEW)
equality
Comparison (OVERVIEW)
Equality (LOCAL FIELDS)
Equality (LOCAL FIELDS)
Equality (POWER SERIES AND LAURENT SERIES)
Equality and Membership (CYCLOTOMIC FIELDS)
Equality and Membership (MULTIVARIATE POLYNOMIAL RINGS)
Equality and Membership (NUMBER FIELDS AND THEIR ORDERS)
Equality and Membership (POWER SERIES AND LAURENT SERIES)
Equality and Membership (QUADRATIC FIELDS)
Equality and Membership (RATIONAL FUNCTION FIELDS)
Equality and Membership (UNIVARIATE POLYNOMIAL RINGS)
Equality and Membership (VALUATION RINGS)
equality-membership
Equality and Membership (CYCLOTOMIC FIELDS)
Equality and Membership (MULTIVARIATE POLYNOMIAL RINGS)
Equality and Membership (NUMBER FIELDS AND THEIR ORDERS)
Equality and Membership (POWER SERIES AND LAURENT SERIES)
Equality and Membership (QUADRATIC FIELDS)
Equality and Membership (RATIONAL FUNCTION FIELDS)
Equality and Membership (UNIVARIATE POLYNOMIAL RINGS)
Equality and Membership (VALUATION RINGS)
equals
Comparison (OVERVIEW)
equation
Solution of a System of Linear Equations (VECTOR SPACES)
Solutions of Systems of Linear Equations (MATRIX ALGEBRAS)
Solutions of Systems of Linear Equations (THE MODULES Hom_(R)(M, N) AND End(M))
Solving equations (NUMBER FIELDS AND THEIR ORDERS)
Solving Linear Equations in Z/mZ (RESIDUE CLASS RINGS)
The Solution of Modular Equations (RING OF INTEGERS)
EquationOrder
EquationOrder(f) : AlgPolElt -> RngOrd
EquationOrder(F) : FldQuad -> RngQuad
EquitablePartition
EquitablePartition(P, G) : { { Vert } }, GrphUnd -> { { Vert } }
Erf
ErrorFunction(r) : FldReElt -> FldReElt
Erfc
ComplementaryErrorFunction(r) : FldReElt -> FldReElt
error
error statement (OVERVIEW)
ERROR-CORRECTING CODES
Possibility of Errors in Database of Groups of Order Dividing 256 (OVERVIEW)
Possibility of Errors in Database of Groups of Order Dividing 729 (OVERVIEW)
error expression, ..., expression;
error-correcting-linear-code
ERROR-CORRECTING CODES
error-if
error if boolexpr, expression, ..., expression;
ErrorFunction
ErrorFunction(r) : FldReElt -> FldReElt
errors
Forcing errors (MAGMA LANGUAGE)
escape
Performing shell commands from Magma (OVERVIEW)
Euclidean
Canonical Forms for Matrices over Euclidean Domains (MATRIX ALGEBRAS)
Euclidean-domain
Canonical Forms for Matrices over Euclidean Domains (MATRIX ALGEBRAS)
EuclideanNorm
EuclideanNorm(n) : RngIntElt -> RngIntElt
EuclideanNorm(p) : RngUPol -> RngIntElt
EuclideanNorm(v) : RngValElt -> RngIntElt
EulerGamma
EulerGamma(R) : FldPr -> FldPrElt
EulerianCircuit
[Future release] EulerianCircuit(G) : GrphUnd -> [Vert]
EulerPhi
EulerPhi(n) : RngIntElt -> RngIntElt
Evaluate
Evaluate(f, r) : FldFunElt, RngElt -> FldFunElt
Evaluate(p, s) : RngDPolElt, [ RngElt ] -> RngElt
Evaluate(f, s) : RngSerElt, RngElt -> RngElt
Evaluate(p, r) : RngUPolElt, RngElt -> RngElt
evaluate
Evaluation (RATIONAL FUNCTION FIELDS)
Expression (OVERVIEW)
evaluation
Evaluation and Derivative (POWER SERIES AND LAURENT SERIES)
Evaluation in Magma (MAGMA SEMANTICS)
Evaluation, Interpolation (MULTIVARIATE POLYNOMIAL RINGS)
Evaluation, Interpolation (UNIVARIATE POLYNOMIAL RINGS)
Expression (OVERVIEW)
The Evaluation Process Revisited (MAGMA SEMANTICS)
evaluation-derivative
Evaluation and Derivative (POWER SERIES AND LAURENT SERIES)
evaluation-interpolation
Evaluation, Interpolation (MULTIVARIATE POLYNOMIAL RINGS)
example
Example (OVERVIEW)
Example for Database of Groups of Order Dividing 256 (OVERVIEW)
Example for Database of Groups of Order Dividing 729 (OVERVIEW)
AlgFP_Abstract (Example H37E2)
AlgFP_FreeAlgebra (Example H37E1)
AlgFP_PermutationActionD8 (Example H37E3)
AlgFP_Quotient (Example H37E4)
AlgFP_TwoGenerator (Example H37E5)
AlgMat_Cambridge (Example H36E2)
AlgMat_CanonicalForms (Example H36E8)
AlgMat_Creation (Example H36E1)
AlgMat_EchelonForm (Example H36E6)
AlgMat_ElementaryDivisors (Example H36E7)
AlgMat_Invariants (Example H36E3)
AlgMat_Products (Example H36E5)
AlgMat_SubAlgebra (Example H36E4)
Chtr_A5 (Example H16E1)
Code_AlternantCode (Example H40E7)
Code_AutomorphismGroup (Example H40E17)
Code_BCHCode (Example H40E8)
Code_CodeFromMatrix (Example H40E2)
Code_CosetLeaders (Example H40E13)
Code_CyclicCode (Example H40E6)
Code_Distance (Example H40E12)
Code_GRSCode (Example H40E10)
Code_GoppaCode (Example H40E9)
Code_HammingCode (Example H40E4)
Code_PermutationCode (Example H40E3)
Code_QuadraticResidueCode (Example H40E11)
Code_ReedMullerCode (Example H40E5)
Code_StandardForm (Example H40E14)
Code_TernaryGolayCode (Example H40E1)
Code_WeightDistribution (Example H40E15)
Code_WeightEnumerator (Example H40E16)
FldCyc_GaussianPeriods (Example H27E1)
FldFin_Extensions (Example H21E1)
FldFin_Functions (Example H21E3)
FldFin_VectorSpace (Example H21E2)
FldFun_FunctionField (Example H24E1)
FldLoc_Creation (Example H31E1)
FldLoc_FieldCreation (Example H31E2)
FldNum_Bases (Example H28E9)
FldNum_BetterPoly (Example H28E4)
FldNum_Compositum (Example H28E3)
FldNum_Creation (Example H28E2)
FldNum_Discriminant (Example H28E12)
FldNum_Elements (Example H28E7)
FldNum_Homomorphisms (Example H28E1)
FldNum_IdealFactorization (Example H28E14)
FldNum_Ideals (Example H28E8)
FldNum_MultiplicationTable (Example H28E10)
FldNum_NormsEtc (Example H28E13)
FldNum_Orders (Example H28E5)
FldNum_Round2 (Example H28E6)
FldNum_UnitGroup (Example H28E11)
FldQuad_Forms (Example H26E4)
FldQuad_Represent (Example H26E5)
FldQuad_creation (Example H26E2)
FldQuad_hom (Example H26E1)
FldQuad_norm-equation (Example H26E3)
FldRat_Coercion (Example H18E1)
FldRat_homomorphism (Example H18E2)
FldRat_numerator (Example H18E3)
FldRe_CreateComplexField (Example H29E3)
FldRe_CreateElements (Example H29E4)
FldRe_FixedPrecision (Example H29E1)
FldRe_Homomorphisms (Example H29E2)
FldRe_Integral (Example H29E7)
FldRe_Roots (Example H29E5)
FldRe_RootsNonExact (Example H29E6)
Graph_AutomorphismGroup (Example H39E5)
Graph_BlockAutomorphismGroup (Example H39E4)
Graph_ChromaticNumber (Example H39E3)
Graph_Constructors (Example H39E1)
Graph_Grotzch (Example H39E2)
GrpAb_AbelianGroup (Example H11E3)
GrpAb_FreeAbelianGroup (Example H11E1)
GrpAb_Relations (Example H11E2)
GrpFP_BuildSubgroups (Example H12E20)
GrpFP_Co1 (Example H12E24)
GrpFP_ControlExtn (Example H12E11)
GrpFP_Coxeter (Example H12E8)
GrpFP_DerSub (Example H12E22)
GrpFP_DirectProduct (Example H12E12)
GrpFP_ExcludedConjugates (Example H12E23)
GrpFP_F27 (Example H12E26)
GrpFP_F276 (Example H12E36)
GrpFP_F29 (Example H12E37)
GrpFP_Family (Example H12E18)
GrpFP_Free (Example H12E1)
GrpFP_G23 (Example H12E25)
GrpFP_G8723 (Example H12E16)
GrpFP_HN (Example H12E17)
GrpFP_Lix1 (Example H12E38)
GrpFP_Lix2 (Example H12E39)
GrpFP_Lix3 (Example H12E40)
GrpFP_Lix4 (Example H12E41)
GrpFP_Modular (Example H12E7)
GrpFP_Relations (Example H12E2)
GrpFP_Replace (Example H12E9)
GrpFP_Rewrite (Example H12E35)
GrpFP_SubgroupOps (Example H12E19)
GrpFP_Subgroups1 (Example H12E14)
GrpFP_Subgroups2 (Example H12E15)
GrpFP_Sym8 (Example H12E10)
GrpFP_Symmetric1 (Example H12E3)
GrpFP_Symmetric2 (Example H12E4)
GrpFP_Tetrahedral (Example H12E5)
GrpFP_ThreeInvols (Example H12E6)
GrpFP_ToddCoxeter (Example H12E21)
GrpFP_WordOps (Example H12E13)
GrpFP_pQuotient1 (Example H12E27)
GrpFP_pQuotient2 (Example H12E28)
GrpFP_pQuotient3 (Example H12E29)
GrpFP_pQuotient4 (Example H12E30)
GrpFP_pQuotient5 (Example H12E31)
GrpFP_pQuotient6 (Example H12E32)
GrpFP_pQuotient7 (Example H12E33)
GrpFP_pQuotient8 (Example H12E34)
GrpMat_Actions (Example H15E15)
GrpMat_Arithmetic (Example H15E3)
GrpMat_Constructions (Example H15E11)
GrpMat_Constructor (Example H15E5)
GrpMat_CosetAction (Example H15E16)
GrpMat_Create (Example H15E1)
GrpMat_GLSylow (Example H15E6)
GrpMat_Invariants (Example H15E4)
GrpMat_Matrices (Example H15E2)
GrpMat_Orbits (Example H15E14)
GrpMat_Order (Example H15E12)
GrpMat_Quotient (Example H15E8)
GrpMat_Random (Example H15E13)
GrpMat_Series (Example H15E17)
GrpMat_Smash1 (Example H15E18)
GrpMat_Smash2 (Example H15E19)
GrpMat_Subgroups (Example H15E7)
GrpMat_Suzuki (Example H15E10)
GrpMat_Symplectic (Example H15E9)
GrpPC_CompactPresentation (Example H13E12)
GrpPC_EAS (Example H13E5)
GrpPC_GeneratepGroups (Example H13E9)
GrpPC_Hall (Example H13E4)
GrpPC_Interactive (Example H13E7)
GrpPC_IsGood (Example H13E10)
GrpPC_PolycyclicGroup (Example H13E1)
GrpPC_PowerGroup (Example H13E8)
GrpPC_PowerGroupTwo (Example H13E11)
GrpPC_Set (Example H13E3)
GrpPC_Standard (Example H13E2)
GrpPC_StandardPresentation (Example H13E6)
GrpPerm_Actions (Example H14E13)
GrpPerm_Arithmetic (Example H14E3)
GrpPerm_BSGS (Example H14E21)
GrpPerm_BasicAccess (Example H14E9)
GrpPerm_BlocksActions (Example H14E15)
GrpPerm_Classes (Example H14E20)
GrpPerm_CompFactors (Example H14E19)
GrpPerm_Constructors (Example H14E5)
GrpPerm_Extensions (Example H14E8)
GrpPerm_Hessian (Example H14E4)
GrpPerm_OrbitActions (Example H14E14)
GrpPerm_Order (Example H14E10)
GrpPerm_Permutations (Example H14E2)
GrpPerm_PrimitiveStructure (Example H14E18)
GrpPerm_Quotient (Example H14E6)
GrpPerm_RandomSchreier (Example H14E22)
GrpPerm_Series (Example H14E17)
GrpPerm_SetOperations (Example H14E11)
GrpPerm_Stabilizers (Example H14E12)
GrpPerm_StandardGroups (Example H14E7)
GrpPerm_SubgroupConstructions (Example H14E16)
GrpPerm_Sym (Example H14E1)
Grp_Arithmetic (Example H9E2)
Grp_Classes (Example H9E13)
Grp_CosetAction (Example H9E8)
Grp_CreateSubgroupPoset (Example H9E15)
Grp_Extensions (Example H9E7)
Grp_FPGroup (Example H9E9)
Grp_Generators (Example H9E10)
Grp_GroupConstructors (Example H9E3)
Grp_Homomorphisms (Example H9E1)
Grp_LatticeOperations (Example H9E16)
Grp_Modules (Example H9E17)
Grp_Order (Example H9E11)
Grp_Quotient (Example H9E5)
Grp_SetOperations (Example H9E12)
Grp_StandardGroups (Example H9E6)
Grp_Subgroup (Example H9E4)
Grp_Subgroups (Example H9E14)
HMod_Create (Example H35E1)
HMod_Forms1 (Example H35E6)
HMod_Forms2 (Example H35E7)
HMod_Indexing (Example H35E4)
HMod_Matrix (Example H35E2)
HMod_Operations (Example H35E3)
HMod_RowOps (Example H35E5)
KMod_Arithmetic (Example H33E5)
KMod_Basis (Example H33E12)
KMod_CreateK35 (Example H33E2)
KMod_CreateQ6 (Example H33E1)
KMod_Indexing (Example H33E6)
KMod_LinearTrans (Example H33E13)
KMod_Matrices (Example H33E4)
KMod_Quotients1 (Example H33E9)
KMod_Quotients2 (Example H33E10)
KMod_Quotients3 (Example H33E11)
KMod_Rowops (Example H33E14)
KMod_Subspace1 (Example H33E7)
KMod_Subspace2 (Example H33E8)
KMod_Vectors (Example H33E3)
Lang_Booleans (Example H1E19)
Lang_GeneratorNaming (Example H1E6)
Lang_Identifiers (Example H1E3)
Lang_InLineConditional (Example H1E9)
Lang_Indexing (Example H1E5)
Lang_MultipleReturns (Example H1E4)
Lang_MutationAssignment (Example H1E7)
Lang_Procedures (Example H1E16)
Lang_Read (Example H1E1)
Lang_Recursion (Example H1E15)
Lang_Strings (Example H1E20)
Lang_Time (Example H1E2)
Lang_Various (Example H1E18)
Lang_break (Example H1E12)
Lang_case (Example H1E11)
Lang_forward (Example H1E17)
Lang_if (Example H1E10)
Lang_repeat (Example H1E14)
Lang_where (Example H1E8)
Lang_while (Example H1E13)
Map_Homomorphisms (Example H8E2)
Map_Images (Example H8E5)
Map_Maps (Example H8E1)
Map_PartialMap (Example H8E4)
Map_nonHomomorphisms (Example H8E3)
RMod_Access (Example H34E8)
RMod_CompSeries (Example H34E17)
RMod_Constructions (Example H34E10)
RMod_CreateA4wrC3 (Example H34E7)
RMod_CreateA7 (Example H34E5)
RMod_CreateK6 (Example H34E2)
RMod_CreateL27 (Example H34E3)
RMod_CreateLattice (Example H34E20)
RMod_CreateM11 (Example H34E6)
RMod_CreateM12 (Example H34E4)
RMod_CreateZ6 (Example H34E1)
RMod_Dual (Example H34E9)
RMod_Elements (Example H34E13)
RMod_EndoRing (Example H34E19)
RMod_GModules1 (Example H34E11)
RMod_GModules2 (Example H34E12)
RMod_LatticeOps (Example H34E21)
RMod_Meataxe (Example H34E16)
RMod_Minimals (Example H34E18)
RMod_Operations (Example H34E14)
RMod_Submodule (Example H34E15)
Rec_Record (Example H7E2)
Rec_RecordAccess (Example H7E3)
Rec_RecordFormat (Example H7E1)
RngDPol_AssignNames (Example H23E2)
RngDPol_Coefficients (Example H23E3)
RngDPol_Coordinates (Example H23E10)
RngDPol_ElementOperations (Example H23E12)
RngDPol_EliminationIdeal (Example H23E14)
RngDPol_Groebner (Example H23E8)
RngDPol_GroebnerWalk (Example H23E9)
RngDPol_GroupActions (Example H23E18)
RngDPol_GroupActions (Example H23E19)
RngDPol_Heron (Example H23E7)
RngDPol_Homomorphism (Example H23E1)
RngDPol_IdealArithmetic (Example H23E11)
RngDPol_Interpolate (Example H23E4)
RngDPol_MinimalPolynomial (Example H23E17)
RngDPol_RelationIdeal (Example H23E15)
RngDPol_SyzygyModule (Example H23E16)
RngDPol_Trinomials (Example H23E5)
RngDPol_Vandermonde (Example H23E6)
RngDPol_Variety (Example H23E13)
RngIntRes_Coercion (Example H20E1)
RngInt_Amicable (Example H19E4)
RngInt_Certificate (Example H19E6)
RngInt_Integers (Example H19E2)
RngInt_IsPrime (Example H19E3)
RngInt_Perfect (Example H19E7)
RngInt_RepUnits (Example H19E5)
RngInt_hom (Example H19E1)
RngInt_norm-equation (Example H19E8)
RngPol_ChangeRing (Example H22E3)
RngPol_Hensel (Example H22E4)
RngPol_Homomorphism (Example H22E1)
RngPol_Polynomials (Example H22E2)
Seq_EgyptianFractions (Example H5E4)
Seq_Farey (Example H5E3)
Seq_NestedIteration (Example H5E6)
Seq_PowerSequence (Example H5E2)
Seq_Progression (Example H5E1)
Seq_Self (Example H5E5)
Set_AlmostFermat (Example H4E2)
Set_AlmostFermatIndexed (Example H4E3)
Set_Exists (Example H4E11)
Set_ExtractRep (Example H4E8)
Set_Include (Example H4E9)
Set_Join (Example H4E10)
Set_Miscellaneous (Example H4E6)
Set_NestedExists (Example H4E12)
Set_PowerSet (Example H4E5)
Set_Progression (Example H4E4)
Set_Random (Example H4E7)
Set_Reduction (Example H4E13)
Set_Universe (Example H4E1)
SgpFP_FreeSemigroup (Example H10E1)
SgpFP_Monoid (Example H10E2)
Tup_CartesianProduct (Example H6E1)
Tup_Tuple (Example H6E2)
Tup_TupleAccess (Example H6E3)
Example-A5
Chtr_A5 (Example H16E1)
Example-AbelianGroup
GrpAb_AbelianGroup (Example H11E3)
Example-Abstract
AlgFP_Abstract (Example H37E2)
Example-Access
RMod_Access (Example H34E8)
Example-Actions
GrpMat_Actions (Example H15E15)
GrpPerm_Actions (Example H14E13)
Example-AlmostFermat
Set_AlmostFermat (Example H4E2)
Example-AlmostFermatIndexed
Set_AlmostFermatIndexed (Example H4E3)
Example-AlternantCode
Code_AlternantCode (Example H40E7)
Example-Amicable
RngInt_Amicable (Example H19E4)
Example-Arithmetic
GrpMat_Arithmetic (Example H15E3)
GrpPerm_Arithmetic (Example H14E3)
Grp_Arithmetic (Example H9E2)
KMod_Arithmetic (Example H33E5)
Example-AssignNames
RngDPol_AssignNames (Example H23E2)
Example-AutomorphismGroup
Code_AutomorphismGroup (Example H40E17)
Graph_AutomorphismGroup (Example H39E5)
Example-Bases
FldNum_Bases (Example H28E9)
Example-BasicAccess
GrpPerm_BasicAccess (Example H14E9)
Example-Basis
KMod_Basis (Example H33E12)
Example-BCHCode
Code_BCHCode (Example H40E8)
Example-BetterPoly
FldNum_BetterPoly (Example H28E4)
Example-BlockAutomorphismGroup
Graph_BlockAutomorphismGroup (Example H39E4)
Example-BlocksActions
GrpPerm_BlocksActions (Example H14E15)
Example-Booleans
Lang_Booleans (Example H1E19)
Example-break
Lang_break (Example H1E12)
Example-BSGS
GrpPerm_BSGS (Example H14E21)
Example-BuildSubgroups
GrpFP_BuildSubgroups (Example H12E20)
Example-Cambridge
AlgMat_Cambridge (Example H36E2)
Example-CanonicalForms
AlgMat_CanonicalForms (Example H36E8)
Example-CartesianProduct
Tup_CartesianProduct (Example H6E1)
Example-case
Lang_case (Example H1E11)
Example-Certificate
RngInt_Certificate (Example H19E6)
Example-ChangeRing
RngPol_ChangeRing (Example H22E3)
Example-ChromaticNumber
Graph_ChromaticNumber (Example H39E3)
Example-Classes
GrpPerm_Classes (Example H14E20)
Grp_Classes (Example H9E13)
Example-Co1
GrpFP_Co1 (Example H12E24)
Example-CodeFromMatrix
Code_CodeFromMatrix (Example H40E2)
Example-Coefficients
RngDPol_Coefficients (Example H23E3)
Example-Coercion
FldRat_Coercion (Example H18E1)
RngIntRes_Coercion (Example H20E1)
Example-CompactPresentation
GrpPC_CompactPresentation (Example H13E12)
Example-CompFactors
GrpPerm_CompFactors (Example H14E19)
Example-Compositum
FldNum_Compositum (Example H28E3)
Example-CompSeries
RMod_CompSeries (Example H34E17)
Example-Constructions
GrpMat_Constructions (Example H15E11)
RMod_Constructions (Example H34E10)
Example-Constructor
GrpMat_Constructor (Example H15E5)
Example-Constructors
Graph_Constructors (Example H39E1)
GrpPerm_Constructors (Example H14E5)
Example-ControlExtn
GrpFP_ControlExtn (Example H12E11)
Example-Coordinates
RngDPol_Coordinates (Example H23E10)
Example-CosetAction
GrpMat_CosetAction (Example H15E16)
Grp_CosetAction (Example H9E8)
Example-CosetLeaders
Code_CosetLeaders (Example H40E13)
Example-Coxeter
GrpFP_Coxeter (Example H12E8)
Example-Create
GrpMat_Create (Example H15E1)
HMod_Create (Example H35E1)
Example-CreateA4wrC3
RMod_CreateA4wrC3 (Example H34E7)
Example-CreateA7
RMod_CreateA7 (Example H34E5)
Example-CreateComplexField
FldRe_CreateComplexField (Example H29E3)
Example-CreateElements
FldRe_CreateElements (Example H29E4)
Example-CreateK35
KMod_CreateK35 (Example H33E2)
Example-CreateK6
RMod_CreateK6 (Example H34E2)
Example-CreateL27
RMod_CreateL27 (Example H34E3)
Example-CreateLattice
RMod_CreateLattice (Example H34E20)
Example-CreateM11
RMod_CreateM11 (Example H34E6)
Example-CreateM12
RMod_CreateM12 (Example H34E4)
Example-CreateQ6
KMod_CreateQ6 (Example H33E1)
Example-CreateSubgroupPoset
Grp_CreateSubgroupPoset (Example H9E15)
Example-CreateZ6
RMod_CreateZ6 (Example H34E1)
Example-Creation
AlgMat_Creation (Example H36E1)
FldLoc_Creation (Example H31E1)
FldNum_Creation (Example H28E2)
Example-creation
FldQuad_creation (Example H26E2)
Example-CyclicCode
Code_CyclicCode (Example H40E6)
Example-DerSub
GrpFP_DerSub (Example H12E22)
Example-DirectProduct
GrpFP_DirectProduct (Example H12E12)
Example-Discriminant
FldNum_Discriminant (Example H28E12)
Example-Distance
Code_Distance (Example H40E12)
Example-Dual
RMod_Dual (Example H34E9)
Example-EAS
GrpPC_EAS (Example H13E5)
Example-EchelonForm
AlgMat_EchelonForm (Example H36E6)
Example-EgyptianFractions
Seq_EgyptianFractions (Example H5E4)
Example-ElementaryDivisors
AlgMat_ElementaryDivisors (Example H36E7)
Example-ElementOperations
RngDPol_ElementOperations (Example H23E12)
Example-Elements
FldNum_Elements (Example H28E7)
RMod_Elements (Example H34E13)
Example-EliminationIdeal
RngDPol_EliminationIdeal (Example H23E14)
Example-EndoRing
RMod_EndoRing (Example H34E19)
Example-ExcludedConjugates
GrpFP_ExcludedConjugates (Example H12E23)
Example-Exists
Set_Exists (Example H4E11)
Example-Extensions
FldFin_Extensions (Example H21E1)
GrpPerm_Extensions (Example H14E8)
Grp_Extensions (Example H9E7)
Example-ExtractRep
Set_ExtractRep (Example H4E8)
Example-F27
GrpFP_F27 (Example H12E26)
Example-F276
GrpFP_F276 (Example H12E36)
Example-F29
GrpFP_F29 (Example H12E37)
Example-Family
GrpFP_Family (Example H12E18)
Example-Farey
Seq_Farey (Example H5E3)
Example-FieldCreation
FldLoc_FieldCreation (Example H31E2)
Example-FixedPrecision
FldRe_FixedPrecision (Example H29E1)
Example-Forms
FldQuad_Forms (Example H26E4)
Example-Forms1
HMod_Forms1 (Example H35E6)
Example-Forms2
HMod_Forms2 (Example H35E7)
Example-forward
Lang_forward (Example H1E17)
Example-FPGroup
Grp_FPGroup (Example H9E9)
Example-Free
GrpFP_Free (Example H12E1)
Example-FreeAbelianGroup
GrpAb_FreeAbelianGroup (Example H11E1)
Example-FreeAlgebra
AlgFP_FreeAlgebra (Example H37E1)
Example-FreeSemigroup
SgpFP_FreeSemigroup (Example H10E1)
Example-FunctionField
FldFun_FunctionField (Example H24E1)
Example-Functions
FldFin_Functions (Example H21E3)
Example-G23
GrpFP_G23 (Example H12E25)
Example-G8723
GrpFP_G8723 (Example H12E16)
Example-GaussianPeriods
FldCyc_GaussianPeriods (Example H27E1)
Example-GeneratepGroups
GrpPC_GeneratepGroups (Example H13E9)
Example-GeneratorNaming
Lang_GeneratorNaming (Example H1E6)
Example-Generators
Grp_Generators (Example H9E10)
Example-GLSylow
GrpMat_GLSylow (Example H15E6)
Example-GModules1
RMod_GModules1 (Example H34E11)
Example-GModules2
RMod_GModules2 (Example H34E12)
Example-GoppaCode
Code_GoppaCode (Example H40E9)
Example-Groebner
RngDPol_Groebner (Example H23E8)
Example-GroebnerWalk
RngDPol_GroebnerWalk (Example H23E9)
Example-Grotzch
Graph_Grotzch (Example H39E2)
Example-GroupActions
RngDPol_GroupActions (Example H23E18)
RngDPol_GroupActions (Example H23E19)
Example-GroupConstructors
Grp_GroupConstructors (Example H9E3)
Example-GRSCode
Code_GRSCode (Example H40E10)
Example-Hall
GrpPC_Hall (Example H13E4)
Example-HammingCode
Code_HammingCode (Example H40E4)
Example-Hensel
RngPol_Hensel (Example H22E4)
Example-Heron
RngDPol_Heron (Example H23E7)
Example-Hessian
GrpPerm_Hessian (Example H14E4)
Example-HN
GrpFP_HN (Example H12E17)
Example-hom
FldQuad_hom (Example H26E1)
RngInt_hom (Example H19E1)
Example-Homomorphism
RngDPol_Homomorphism (Example H23E1)
RngPol_Homomorphism (Example H22E1)
Example-homomorphism
FldRat_homomorphism (Example H18E2)
Example-Homomorphisms
FldNum_Homomorphisms (Example H28E1)
FldRe_Homomorphisms (Example H29E2)
Grp_Homomorphisms (Example H9E1)
Map_Homomorphisms (Example H8E2)
Example-IdealArithmetic
RngDPol_IdealArithmetic (Example H23E11)
Example-IdealFactorization
FldNum_IdealFactorization (Example H28E14)
Example-Ideals
FldNum_Ideals (Example H28E8)
Example-Identifiers
Lang_Identifiers (Example H1E3)
Example-if
Lang_if (Example H1E10)
Example-Images
Map_Images (Example H8E5)
Example-Include
Set_Include (Example H4E9)
Example-Indexing
HMod_Indexing (Example H35E4)
KMod_Indexing (Example H33E6)
Lang_Indexing (Example H1E5)
Example-InLineConditional
Lang_InLineConditional (Example H1E9)
Example-Integers
RngInt_Integers (Example H19E2)
Example-Integral
FldRe_Integral (Example H29E7)
Example-Interactive
GrpPC_Interactive (Example H13E7)
Example-Interpolate
RngDPol_Interpolate (Example H23E4)
Example-Invariants
AlgMat_Invariants (Example H36E3)
GrpMat_Invariants (Example H15E4)
Example-IsGood
GrpPC_IsGood (Example H13E10)
Example-IsPrime
RngInt_IsPrime (Example H19E3)
Example-Join
Set_Join (Example H4E10)
Example-LatticeOperations
Grp_LatticeOperations (Example H9E16)
Example-LatticeOps
RMod_LatticeOps (Example H34E21)
Example-LinearTrans
KMod_LinearTrans (Example H33E13)
Example-Lix1
GrpFP_Lix1 (Example H12E38)
Example-Lix2
GrpFP_Lix2 (Example H12E39)
Example-Lix3
GrpFP_Lix3 (Example H12E40)
Example-Lix4
GrpFP_Lix4 (Example H12E41)
Example-Maps
Map_Maps (Example H8E1)
Example-Matrices
GrpMat_Matrices (Example H15E2)
KMod_Matrices (Example H33E4)
Example-Matrix
HMod_Matrix (Example H35E2)
Example-Meataxe
RMod_Meataxe (Example H34E16)
Example-MinimalPolynomial
RngDPol_MinimalPolynomial (Example H23E17)
Example-Minimals
RMod_Minimals (Example H34E18)
Example-Miscellaneous
Set_Miscellaneous (Example H4E6)
Example-Modular
GrpFP_Modular (Example H12E7)
Example-Modules
Grp_Modules (Example H9E17)
Example-Monoid
SgpFP_Monoid (Example H10E2)
Example-MultipleReturns
Lang_MultipleReturns (Example H1E4)
Example-MultiplicationTable
FldNum_MultiplicationTable (Example H28E10)
Example-MutationAssignment
Lang_MutationAssignment (Example H1E7)
Example-NestedExists
Set_NestedExists (Example H4E12)
Example-NestedIteration
Seq_NestedIteration (Example H5E6)
Example-nonHomomorphisms
Map_nonHomomorphisms (Example H8E3)
Example-norm-equation
FldQuad_norm-equation (Example H26E3)
RngInt_norm-equation (Example H19E8)
Example-NormsEtc
FldNum_NormsEtc (Example H28E13)
Example-numerator
FldRat_numerator (Example H18E3)
Example-Operations
HMod_Operations (Example H35E3)
RMod_Operations (Example H34E14)
Example-OrbitActions
GrpPerm_OrbitActions (Example H14E14)
Example-Orbits
GrpMat_Orbits (Example H15E14)
Example-Order
GrpMat_Order (Example H15E12)
GrpPerm_Order (Example H14E10)
Grp_Order (Example H9E11)
Example-Orders
FldNum_Orders (Example H28E5)
Example-PartialMap
Map_PartialMap (Example H8E4)
Example-Perfect
RngInt_Perfect (Example H19E7)
Example-PermutationActionD8
AlgFP_PermutationActionD8 (Example H37E3)
Example-PermutationCode
Code_PermutationCode (Example H40E3)
Example-Permutations
GrpPerm_Permutations (Example H14E2)
Example-PolycyclicGroup
GrpPC_PolycyclicGroup (Example H13E1)
Example-Polynomials
RngPol_Polynomials (Example H22E2)
Example-PowerGroup
GrpPC_PowerGroup (Example H13E8)
Example-PowerGroupTwo
GrpPC_PowerGroupTwo (Example H13E11)
Example-PowerSequence
Seq_PowerSequence (Example H5E2)
Example-PowerSet
Set_PowerSet (Example H4E5)
Example-pQuotient1
GrpFP_pQuotient1 (Example H12E27)
Example-pQuotient2
GrpFP_pQuotient2 (Example H12E28)
Example-pQuotient3
GrpFP_pQuotient3 (Example H12E29)
Example-pQuotient4
GrpFP_pQuotient4 (Example H12E30)
Example-pQuotient5
GrpFP_pQuotient5 (Example H12E31)
Example-pQuotient6
GrpFP_pQuotient6 (Example H12E32)
Example-pQuotient7
GrpFP_pQuotient7 (Example H12E33)
Example-pQuotient8
GrpFP_pQuotient8 (Example H12E34)
Example-PrimitiveStructure
GrpPerm_PrimitiveStructure (Example H14E18)
Example-Procedures
Lang_Procedures (Example H1E16)
Example-Products
AlgMat_Products (Example H36E5)
Example-Progression
Seq_Progression (Example H5E1)
Set_Progression (Example H4E4)
Example-QuadraticResidueCode
Code_QuadraticResidueCode (Example H40E11)
Example-Quotient
AlgFP_Quotient (Example H37E4)
GrpMat_Quotient (Example H15E8)
GrpPerm_Quotient (Example H14E6)
Grp_Quotient (Example H9E5)
Example-Quotients1
KMod_Quotients1 (Example H33E9)
Example-Quotients2
KMod_Quotients2 (Example H33E10)
Example-Quotients3
KMod_Quotients3 (Example H33E11)
Example-Random
GrpMat_Random (Example H15E13)
Set_Random (Example H4E7)
Example-RandomSchreier
GrpPerm_RandomSchreier (Example H14E22)
Example-Read
Lang_Read (Example H1E1)
Example-Record
Rec_Record (Example H7E2)
Example-RecordAccess
Rec_RecordAccess (Example H7E3)
Example-RecordFormat
Rec_RecordFormat (Example H7E1)
Example-Recursion
Lang_Recursion (Example H1E15)
Example-Reduction
Set_Reduction (Example H4E13)
Example-ReedMullerCode
Code_ReedMullerCode (Example H40E5)
Example-RelationIdeal
RngDPol_RelationIdeal (Example H23E15)
Example-Relations
GrpAb_Relations (Example H11E2)
GrpFP_Relations (Example H12E2)
Example-repeat
Lang_repeat (Example H1E14)
Example-Replace
GrpFP_Replace (Example H12E9)
Example-Represent
FldQuad_Represent (Example H26E5)
Example-RepUnits
RngInt_RepUnits (Example H19E5)
Example-Rewrite
GrpFP_Rewrite (Example H12E35)
Example-Roots
FldRe_Roots (Example H29E5)
Example-RootsNonExact
FldRe_RootsNonExact (Example H29E6)
Example-Round2
FldNum_Round2 (Example H28E6)
Example-RowOps
HMod_RowOps (Example H35E5)
Example-Rowops
KMod_Rowops (Example H33E14)
Example-Self
Seq_Self (Example H5E5)
Example-Series
GrpMat_Series (Example H15E17)
GrpPerm_Series (Example H14E17)
Example-Set
GrpPC_Set (Example H13E3)
Example-SetOperations
GrpPerm_SetOperations (Example H14E11)
Grp_SetOperations (Example H9E12)
Example-Smash1
GrpMat_Smash1 (Example H15E18)
Example-Smash2
GrpMat_Smash2 (Example H15E19)
Example-Stabilizers
GrpPerm_Stabilizers (Example H14E12)
Example-Standard
GrpPC_Standard (Example H13E2)
Example-StandardForm
Code_StandardForm (Example H40E14)
Example-StandardGroups
GrpPerm_StandardGroups (Example H14E7)
Grp_StandardGroups (Example H9E6)
Example-StandardPresentation
GrpPC_StandardPresentation (Example H13E6)
Example-Strings
Lang_Strings (Example H1E20)
Example-SubAlgebra
AlgMat_SubAlgebra (Example H36E4)
Example-Subgroup
Grp_Subgroup (Example H9E4)
Example-SubgroupConstructions
GrpPerm_SubgroupConstructions (Example H14E16)
Example-SubgroupOps
GrpFP_SubgroupOps (Example H12E19)
Example-Subgroups
GrpMat_Subgroups (Example H15E7)
Grp_Subgroups (Example H9E14)
Example-Subgroups1
GrpFP_Subgroups1 (Example H12E14)
Example-Subgroups2
GrpFP_Subgroups2 (Example H12E15)
Example-Submodule
RMod_Submodule (Example H34E15)
Example-Subspace1
KMod_Subspace1 (Example H33E7)
Example-Subspace2
KMod_Subspace2 (Example H33E8)
Example-Suzuki
GrpMat_Suzuki (Example H15E10)
Example-Sym
GrpPerm_Sym (Example H14E1)
Example-Sym8
GrpFP_Sym8 (Example H12E10)
Example-Symmetric1
GrpFP_Symmetric1 (Example H12E3)
Example-Symmetric2
GrpFP_Symmetric2 (Example H12E4)
Example-Symplectic
GrpMat_Symplectic (Example H15E9)
Example-SyzygyModule
RngDPol_SyzygyModule (Example H23E16)
Example-TernaryGolayCode
Code_TernaryGolayCode (Example H40E1)
Example-Tetrahedral
GrpFP_Tetrahedral (Example H12E5)
Example-ThreeInvols
GrpFP_ThreeInvols (Example H12E6)
Example-Time
Lang_Time (Example H1E2)
Example-ToddCoxeter
GrpFP_ToddCoxeter (Example H12E21)
Example-Trinomials
RngDPol_Trinomials (Example H23E5)
Example-Tuple
Tup_Tuple (Example H6E2)
Example-TupleAccess
Tup_TupleAccess (Example H6E3)
Example-TwoGenerator
AlgFP_TwoGenerator (Example H37E5)
Example-UnitGroup
FldNum_UnitGroup (Example H28E11)
Example-Universe
Set_Universe (Example H4E1)
Example-Vandermonde
RngDPol_Vandermonde (Example H23E6)
Example-Variety
RngDPol_Variety (Example H23E13)
Example-Various
Lang_Various (Example H1E18)
Example-Vectors
KMod_Vectors (Example H33E3)
Example-VectorSpace
FldFin_VectorSpace (Example H21E2)
Example-WeightDistribution
Code_WeightDistribution (Example H40E15)
Example-WeightEnumerator
Code_WeightEnumerator (Example H40E16)
Example-where
Lang_where (Example H1E8)
Example-while
Lang_while (Example H1E13)
Example-WordOps
GrpFP_WordOps (Example H12E13)
Exclude
Exclude(~S, x) : SeqEnum, Elt ->
Exclude(~S, x) : SetEnum, Elt ->
ExcludedConjugates
ExcludedConjugates(V) : GrpFPCos -> { GrpFPElt }
GrpFP_ExcludedConjugates (Example H12E23)
Exists
Set_Exists (Example H4E11)
exists
exists(t){ e(x) : x in E | P(x) }
ExistsConwayPolynomial
ExistsConwayPolynomial(p, n) : RngIntElt, RngIntElt -> BoolElt, RngUPolElt
exit
Control-C key (OVERVIEW)
Quitting (OVERVIEW)
Exp
Exp(f) : FldLocElt -> RngIntElt
Exp(s) : FldPrElt -> FldPrElt
Exp(f) : RngSerElt -> RngSerElt
ExplicitCoset
ExplicitCoset(V, i) : GrpFPCos, RngIntElt -> GrpFPCosElt
Explore
Explore(G) : GrpMat -> Boolean, SetCartElt
Exponent
Exponent(G) : GrpAb -> RngIntElt
Exponent(G) : GrpFin -> RngIntElt
Exponent(G) : GrpMat -> RngIntElt
Exponent(G) : GrpPC -> RngIntElt
Exponent(G) : GrpPerm -> RngIntElt
exponential
Exponential, Logarithmic and Polylogarithmic Functions (REAL AND COMPLEX FIELDS)
ExponentialIntegral
ExponentialIntegral(r) : FldReElt -> FldReElt
exponentiation
Operators (OVERVIEW)
ExponentLaw
ExponentLaw(~P : parameters) : Proc(pQuot) ->
ExponentSum
ExponentSum(u, x) : GrpFPElt, GrpFPElt -> RngIntElt
expression
Conditional Expression (OVERVIEW)
Expression (OVERVIEW)
Function Expressions (MAGMA SEMANTICS)
Function Expressions (OVERVIEW)
Procedure Expressions (MAGMA SEMANTICS)
Procedure Expressions (OVERVIEW)
ExpurgateCode
ExpurgateCode(C) : Code -> Code
ext
Constructor (OVERVIEW)
[Future release] LocalField(p, P) : RngIntElt, URngPolElt -> FldLoc
ext<F | n> : FldFin, RngIntElt -> FldFin, Map
ext< Q | f > : FldRat, AlgPolElt -> FldNum
ext< O | a_1, ..., a_r > : RngOrd, RngOrdElt, ..., RngOrdElt -> RngOrd
ExtendBasis
ExtendBasis(Q, U) : [ModTupFldElt], ModTupFld -> [ModTupFldElt]
ExtendBasis(Q, M) : [ModTupRngElt], ModTupRng -> [ModTupRngElt]
ExtendCode
ExtendCode(C) : Code -> Code
ExtendedGreatestCommonDivisor
ExtendedGreatestCommonDivisor(m, n) : RngIntElt, RngIntElt -> RngIntElt, RngIntElt, RngIntElt
ExtendedGreatestCommonDivisor(f, g) : RngUPolElt, RngUPolElt -> RngUPolElt, RngUPolElt, RngUPolElt
ExtendedGreatestCommonDivisor(v, w) : RngValElt, RngValElt -> RngValElt, RngValElt, RngValElt
ExtendField
ExtendField(C, L) : Code, FldFin -> Code, Map
ExtendField(G, L) : GrpMat, FldFin -> GrpMat, Map
ExtendField(V, L) : ModTupFld, Fld -> ModTupFld, MapHom
ExtendField(V, L) : ModTupFld, Fld -> ModTupFld, MapHom
ExtendPresentation
ExtendPresentation(~P, k): StdPresP, RngIntElt ->
Extension
Extension(x, f, G) : AlgChtrElt, MapHom, Grp -> AlgChtrElt
Extension(G, H, f) : GrpPC, GrpPC, [Map] -> GrpPC
Extension(P, Q) : Process -> GrpFinFP
Extension(P, Q) : Process -> GrpFP
extension
Construction of Extensions (FINITELY PRESENTED GROUPS)
Construction of Extensions (GROUPS)
Construction of Extensions (MATRIX GROUPS)
Construction of Extensions (PERMUTATION GROUPS)
Construction of Extensions (SOLUBLE GROUPS)
Constructor (OVERVIEW)
Extensions (FINITELY PRESENTED SEMIGROUPS)
Ground Field and Relationships (FINITE FIELDS)
Induction, Restriction, Extension (CHARACTERS OF FINITE GROUPS)
Standard Constructions for General Modules (GENERAL MODULES)
Standard Groups and Extensions (FINITELY PRESENTED GROUPS)
Standard Groups and Extensions (GROUPS)
Standard Groups and Extensions (MATRIX GROUPS)
Standard Groups and Extensions (PERMUTATION GROUPS)
Subgroups, Quotient Groups and Extensions (SOLUBLE GROUPS)
The Construction of Extensions and their Elements (MATRIX ALGEBRAS)
extension-standard-group
Standard Groups and Extensions (FINITELY PRESENTED GROUPS)
Standard Groups and Extensions (GROUPS)
Standard Groups and Extensions (MATRIX GROUPS)
Standard Groups and Extensions (PERMUTATION GROUPS)
ExtensionField
ExtensionField<F, x | P> : FldFin, RngIntElt -> FldFin, Map
ExtensionProcess
ExtensionProcess(G, M, F) : GrpFin, ModRng, GrpFinFP -> Process
ExtensionProcess(G, M, F) : GrpPerm, ModRng, GrpFP -> Process
Extensions
FldFin_Extensions (Example H21E1)
GrpPerm_Extensions (Example H14E8)
Grp_Extensions (Example H9E7)
ExteriorSquare
ExteriorSquare(a) : AlgMat -> AlgMatElt
ExteriorSquare(M) : ModTupRng -> ModTupRng
ExtractAutomorphisms
ExtractAutomorphisms(P) : Process(pgaProc) -> [Mat]
ExtractAutomorphisms(P) : StdPresP -> [Map]
ExtractGenerators
ExtractGenerators(P) : Process(Lix) -> { GrpFPElt }
ExtractGroup
ExtractGroup(P) : Process(Lix) -> GrpFP
ExtractGroup(P) : Process(pgaProc) -> GrpPC
ExtractGroup(P) : Process(pQuot) -> GrpPC
ExtractGroup(P) : Process(Tietze) -> GrpFP
ExtractGroup(P) : StdPresP -> GrpPC
ExtractMapping
ExtractMapping(P) : StdPresP -> Map
ExtractRep
ExtractRep(~R, ~r) : SetEnum, Elt ->
Set_ExtractRep (Example H4E8)
ExtraSpecialGroup
ExtraSpecialGroup(C, p, n) : Cat, RngIntElt, RngIntElt -> GrpFin
ExtraSpecialGroup(GrpPC, p, n) : Cat, RngIntElt, RngIntElt -> GrpPC
ExtraSpecialGroup(GrpPerm, p, n) : Cat, RngIntElt, RngIntElt -> GrpPC
ExtraSpecialInfoTup
ExtraSpecialInfoTup(MGT) : SetCartElt -> SetCartElt
ExtraSpecialTup
ExtraSpecialTup(MGT) : SetCartElt -> MonStgElt
[____] [____] [_____] [____] [__] [Index] [Root]