[____] [____] [_____] [____] [__] [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 H15E5)
EchelonForm
EchelonForm(a) : AlgMatElt -> AlgMatElt, AlgMatElt
EchelonForm(a) : ModMatElt -> ModMatElt, ModMatElt
EchelonForm(a) : ModMatRngElt -> ModMatRngElt, ModMatRngElt
AlgMat_EchelonForm (Example H38E6)
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 Coproduct Elements (COPRODUCTS)
Creation of Elements (CYCLOTOMIC FIELDS)
Creation of Elements (INTRODUCTION [RINGS AND FIELDS])
Creation of Elements (LOCAL FIELDS)
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)
Creation of Polynomials (MULTIVARIATE POLYNOMIAL RINGS)
Definition of Soluble Groups using Power-conjugate Presentations (SOLUBLE GROUPS)
Element Constructors (FINITELY PRESENTED SEMIGROUPS)
Element Constructors and Selectors (LOCAL FIELDS)
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 Construction and Operations (GENERAL MODULES)
Elements of M_n 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 H38E7)
ElementarySymmetricPolynomial
ElementarySymmetricPolynomial(P, k) : RngMPol, RngIntElt -> RngMPolElt
ElementOperations
RngMPol_ElementOperations (Example H25E13)
Elements
FldNum_Elements (Example H30E7)
RMod_Elements (Example H36E14)
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(P): GeomECElt -> [ RngElt ]
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(f) : RngIntEltFact -> SeqEnum
aInvariants(E) : GeomEC -> [ RngElt ]
elif
The if statement (OVERVIEW)
elim
Elimination (k) Order (elim) (MULTIVARIATE POLYNOMIAL RINGS)
Elimination List Order (elim) (MULTIVARIATE POLYNOMIAL RINGS)
elim-k
Elimination (k) Order (elim) (MULTIVARIATE POLYNOMIAL RINGS)
elim-list
Elimination List Order (elim) (MULTIVARIATE POLYNOMIAL RINGS)
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
Construction of Elimination Ideals (MULTIVARIATE POLYNOMIAL RINGS)
Elimination (MULTIVARIATE POLYNOMIAL RINGS)
Univariate Elimination Ideal Generators (MULTIVARIATE POLYNOMIAL RINGS)
elimination-ideal
Construction of Elimination Ideals (MULTIVARIATE POLYNOMIAL RINGS)
EliminationIdeal
EliminationIdeal(I, k) : RngMPol, RngIntElt -> RngMPol
RngMPol_EliminationIdeal (Example H25E15)
elliptic
Combinatorial and Geometrical Structures (OVERVIEW)
Elliptic and Modular Functions (REAL AND COMPLEX FIELDS)
ELLIPTIC CURVES
elliptic-curve
ELLIPTIC CURVES
elliptic-modular
Elliptic and Modular Functions (REAL AND COMPLEX FIELDS)
EllipticCurve
EllipticCurve([a, b]) : [RngElt] -> GeomEC
else
The case statement (OVERVIEW)
The if statement (OVERVIEW)
The select expression (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< Z | a_1a_2...a_r > : RngInt, RngIntElt -> RngIntElt
elt< R | v, [ a_1, ..., a_d], p > : RngIntElt, SeqEnum, RngIntElt -> RngPowSerElt
elt< R | k > : RngIntRes, RngIntElt -> RngIntResElt
elt< R | a > : RngMPol, RngElt -> RngMPolElt
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(f) : RngIntEltFact -> SeqEnum
Eltseq(R) : SeqEnum -> SeqEnum
aInvariants(E) : GeomEC -> [ RngElt ]
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 H36E20)
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
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
D eq E : Inc, Inc -> 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
P eq Q : Plane, Plane -> BoolElt
l eq m : PlaneLn, PlaneLn -> BoolElt
p eq q : PlanePt, PlanePt -> BoolElt
R eq S : Rng, Rng -> BoolElt
R eq S : Rng, Rng -> Rng
a eq b : RngElt, RngElt -> BoolElt
I eq J : RngIdl, RngIdl -> BoolElt
I eq J : RngMPol, RngMPol -> BoolElt
S eq T : SeqEnum, SeqEnum -> BoolElt
R eq S : Set, Set -> BoolElt
T eq U : SetCartElt, SetCartElt -> BoolElt
u eq v : SgpFPElt, SgpFPElt -> BoolElt
e eq f : SubGrpLatElt, SubGrpLatElt -> SubGrpLatElt
S eq T : VertSet, VertSet -> BoolElt
equal
Comparison (OVERVIEW)
Equality
Lang_Equality (Example H1E28)
equality
Comparison (OVERVIEW)
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 testing (MAGMA LANGUAGE)
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
Combinatorial and Geometrical Structures (OVERVIEW)
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) : RngMPolElt, [ 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 H39E2)
AlgFP_FreeAlgebra (Example H39E1)
AlgFP_PermutationActionD8 (Example H39E3)
AlgFP_Quotient (Example H39E4)
AlgMat_Cambridge (Example H38E2)
AlgMat_CanonicalForms (Example H38E8)
AlgMat_Creation (Example H38E1)
AlgMat_EchelonForm (Example H38E6)
AlgMat_ElementaryDivisors (Example H38E7)
AlgMat_Invariants (Example H38E3)
AlgMat_Products (Example H38E5)
AlgMat_SubAlgebra (Example H38E4)
Chtr_A5 (Example H18E1)
Code_AlternantCode (Example H44E7)
Code_AutomorphismGroup (Example H44E17)
Code_BCHCode (Example H44E8)
Code_CodeFromMatrix (Example H44E2)
Code_CosetLeaders (Example H44E13)
Code_CyclicCode (Example H44E6)
Code_Distance (Example H44E12)
Code_GRSCode (Example H44E10)
Code_GoppaCode (Example H44E9)
Code_HammingCode (Example H44E4)
Code_PermutationCode (Example H44E3)
Code_QuadraticResidueCode (Example H44E11)
Code_ReedMullerCode (Example H44E5)
Code_StandardForm (Example H44E14)
Code_TernaryGolayCode (Example H44E1)
Code_WeightDistribution (Example H44E15)
Code_WeightEnumerator (Example H44E16)
Coproduct_cop (Example H8E1)
Design_Constructors (Example H42E1)
Design_DevelopDifferenceSet (Example H42E6)
Design_auto (Example H42E10)
Design_conv (Example H42E9)
Design_design-invar (Example H42E7)
Design_graphs (Example H42E11)
Design_hadamard (Example H42E5)
Design_points-blocks (Example H42E2)
Design_pts-blks-ops (Example H42E8)
Design_related (Example H42E3)
Design_wittex (Example H42E4)
Elcu_Creation (Example H40E1)
Elcu_Kodaira (Example H40E4)
Elcu_Models (Example H40E2)
Elcu_MordellWeil (Example H40E3)
FldCyc_GaussianPeriods (Example H29E1)
FldFin_Extensions (Example H23E1)
FldFin_Functions (Example H23E3)
FldFin_VectorSpace (Example H23E2)
FldFun_FunctionField (Example H26E1)
FldLoc_Creation (Example H33E1)
FldNum_Bases (Example H30E9)
FldNum_BetterPoly (Example H30E4)
FldNum_Compositum (Example H30E3)
FldNum_Creation (Example H30E2)
FldNum_Discriminant (Example H30E12)
FldNum_Elements (Example H30E7)
FldNum_Homomorphisms (Example H30E1)
FldNum_IdealFactorization (Example H30E14)
FldNum_Ideals (Example H30E8)
FldNum_MultiplicationTable (Example H30E10)
FldNum_NormsEtc (Example H30E13)
FldNum_Orders (Example H30E5)
FldNum_Round2 (Example H30E6)
FldNum_UnitGroup (Example H30E11)
FldQuad_Forms (Example H28E4)
FldQuad_Represent (Example H28E5)
FldQuad_creation (Example H28E2)
FldQuad_hom (Example H28E1)
FldQuad_norm-equation (Example H28E3)
FldRat_Coercion (Example H20E1)
FldRat_homomorphism (Example H20E2)
FldRat_numerator (Example H20E3)
FldRe_CreateComplexField (Example H31E3)
FldRe_CreateElements (Example H31E4)
FldRe_FixedPrecision (Example H31E1)
FldRe_Homomorphisms (Example H31E2)
FldRe_Integral (Example H31E7)
FldRe_Roots (Example H31E5)
FldRe_RootsNonExact (Example H31E6)
Graph_AutomorphismGroup (Example H41E5)
Graph_BlockAutomorphismGroup (Example H41E4)
Graph_ChromaticNumber (Example H41E3)
Graph_Constructors (Example H41E1)
Graph_Grotzch (Example H41E2)
GrpAb_AbelianGroup (Example H13E3)
GrpAb_FreeAbelianGroup (Example H13E1)
GrpAb_Relations (Example H13E2)
GrpFP_BuildSubgroups (Example H14E20)
GrpFP_Co1 (Example H14E24)
GrpFP_ControlExtn (Example H14E11)
GrpFP_Coxeter (Example H14E8)
GrpFP_DerSub (Example H14E22)
GrpFP_DirectProduct (Example H14E12)
GrpFP_ExcludedConjugates (Example H14E23)
GrpFP_F27 (Example H14E26)
GrpFP_F276 (Example H14E36)
GrpFP_F29 (Example H14E37)
GrpFP_Family (Example H14E18)
GrpFP_Free (Example H14E1)
GrpFP_G23 (Example H14E25)
GrpFP_G8723 (Example H14E16)
GrpFP_HN (Example H14E17)
GrpFP_Lix1 (Example H14E38)
GrpFP_Lix2 (Example H14E39)
GrpFP_Lix3 (Example H14E40)
GrpFP_Lix4 (Example H14E41)
GrpFP_Modular (Example H14E7)
GrpFP_Relations (Example H14E2)
GrpFP_Replace (Example H14E9)
GrpFP_Rewrite (Example H14E35)
GrpFP_SubgroupOps (Example H14E19)
GrpFP_Subgroups1 (Example H14E14)
GrpFP_Subgroups2 (Example H14E15)
GrpFP_Sym8 (Example H14E10)
GrpFP_Symmetric1 (Example H14E3)
GrpFP_Symmetric2 (Example H14E4)
GrpFP_Tetrahedral (Example H14E5)
GrpFP_ThreeInvols (Example H14E6)
GrpFP_ToddCoxeter (Example H14E21)
GrpFP_WordOps (Example H14E13)
GrpFP_pQuotient1 (Example H14E27)
GrpFP_pQuotient2 (Example H14E28)
GrpFP_pQuotient3 (Example H14E29)
GrpFP_pQuotient4 (Example H14E30)
GrpFP_pQuotient5 (Example H14E31)
GrpFP_pQuotient6 (Example H14E32)
GrpFP_pQuotient7 (Example H14E33)
GrpFP_pQuotient8 (Example H14E34)
GrpMat_Actions (Example H17E15)
GrpMat_Arithmetic (Example H17E3)
GrpMat_Constructions (Example H17E11)
GrpMat_Constructor (Example H17E5)
GrpMat_CosetAction (Example H17E16)
GrpMat_Create (Example H17E1)
GrpMat_GLSylow (Example H17E6)
GrpMat_Invariants (Example H17E4)
GrpMat_Matrices (Example H17E2)
GrpMat_Orbits (Example H17E14)
GrpMat_Order (Example H17E12)
GrpMat_Quotient (Example H17E8)
GrpMat_Random (Example H17E13)
GrpMat_Series (Example H17E17)
GrpMat_Smash1 (Example H17E18)
GrpMat_Smash2 (Example H17E19)
GrpMat_Subgroups (Example H17E7)
GrpMat_Suzuki (Example H17E10)
GrpMat_Symplectic (Example H17E9)
GrpPC_CompactPresentation (Example H15E12)
GrpPC_EAS (Example H15E5)
GrpPC_GeneratepGroups (Example H15E9)
GrpPC_Hall (Example H15E4)
GrpPC_Interactive (Example H15E7)
GrpPC_IsGood (Example H15E10)
GrpPC_PolycyclicGroup (Example H15E1)
GrpPC_PowerGroup (Example H15E8)
GrpPC_PowerGroupTwo (Example H15E11)
GrpPC_Set (Example H15E3)
GrpPC_Standard (Example H15E2)
GrpPC_StandardPresentation (Example H15E6)
GrpPerm_Actions (Example H16E13)
GrpPerm_Arithmetic (Example H16E3)
GrpPerm_BSGS (Example H16E21)
GrpPerm_BasicAccess (Example H16E9)
GrpPerm_BlocksActions (Example H16E15)
GrpPerm_Classes (Example H16E20)
GrpPerm_CompFactors (Example H16E19)
GrpPerm_Constructors (Example H16E5)
GrpPerm_Extensions (Example H16E8)
GrpPerm_Hessian (Example H16E4)
GrpPerm_OrbitActions (Example H16E14)
GrpPerm_Order (Example H16E10)
GrpPerm_Permutations (Example H16E2)
GrpPerm_PrimitiveStructure (Example H16E18)
GrpPerm_Quotient (Example H16E6)
GrpPerm_RandomSchreier (Example H16E22)
GrpPerm_Series (Example H16E17)
GrpPerm_SetOperations (Example H16E11)
GrpPerm_Stabilizers (Example H16E12)
GrpPerm_StandardGroups (Example H16E7)
GrpPerm_SubgroupConstructions (Example H16E16)
GrpPerm_Sym (Example H16E1)
Grp_Arithmetic (Example H11E2)
Grp_Classes (Example H11E13)
Grp_CosetAction (Example H11E8)
Grp_CreateSubgroupPoset (Example H11E15)
Grp_Extensions (Example H11E7)
Grp_FPGroup (Example H11E9)
Grp_Generators (Example H11E10)
Grp_GroupConstructors (Example H11E3)
Grp_Homomorphisms (Example H11E1)
Grp_LatticeOperations (Example H11E16)
Grp_Modules (Example H11E17)
Grp_Order (Example H11E11)
Grp_Quotient (Example H11E5)
Grp_SetOperations (Example H11E12)
Grp_StandardGroups (Example H11E6)
Grp_Subgroup (Example H11E4)
Grp_Subgroups (Example H11E14)
HMod_Create (Example H37E1)
HMod_Forms1 (Example H37E6)
HMod_Forms2 (Example H37E7)
HMod_Indexing (Example H37E4)
HMod_Matrix (Example H37E2)
HMod_Operations (Example H37E3)
HMod_RowOps (Example H37E5)
KMod_Arithmetic (Example H35E5)
KMod_Basis (Example H35E12)
KMod_CreateK35 (Example H35E2)
KMod_CreateQ6 (Example H35E1)
KMod_Indexing (Example H35E6)
KMod_LinearTrans (Example H35E13)
KMod_Matrices (Example H35E4)
KMod_Quotients1 (Example H35E9)
KMod_Quotients2 (Example H35E10)
KMod_Quotients3 (Example H35E11)
KMod_Rowops (Example H35E14)
KMod_Subspace1 (Example H35E7)
KMod_Subspace2 (Example H35E8)
KMod_Vectors (Example H35E3)
Lang_Booleans (Example H1E27)
Lang_Equality (Example H1E28)
Lang_GeneratorNaming (Example H1E7)
Lang_Identifiers (Example H1E4)
Lang_InLineConditional (Example H1E11)
Lang_Indexing (Example H1E6)
Lang_MultipleReturns (Example H1E5)
Lang_MutationAssignment (Example H1E8)
Lang_Parameters (Example H1E18)
Lang_Printf (Example H1E2)
Lang_Procedures (Example H1E19)
Lang_Read (Example H1E1)
Lang_Recursion (Example H1E17)
Lang_Strings (Example H1E29)
Lang_Time (Example H1E3)
Lang_Various (Example H1E26)
Lang_auto-print (Example H1E9)
Lang_break (Example H1E14)
Lang_case (Example H1E13)
Lang_forward (Example H1E20)
Lang_if (Example H1E12)
Lang_import (Example H1E22)
Lang_intrinsic (Example H1E21)
Lang_repeat (Example H1E16)
Lang_require (Example H1E23)
Lang_spec (Example H1E24)
Lang_startup-spec (Example H1E25)
Lang_where (Example H1E10)
Lang_while (Example H1E15)
Plane_Collineation (Example H43E5)
Plane_Constructors (Example H43E1)
Plane_Stab (Example H43E6)
Plane_arcs (Example H43E4)
Plane_points-lines (Example H43E2)
Plane_sub (Example H43E3)
RMod_Access (Example H36E9)
RMod_CompSeries (Example H36E18)
RMod_Constructions (Example H36E11)
RMod_CreateA4wrC3 (Example H36E7)
RMod_CreateA7 (Example H36E5)
RMod_CreateK6 (Example H36E2)
RMod_CreateL27 (Example H36E3)
RMod_CreateLattice (Example H36E21)
RMod_CreateM11 (Example H36E6)
RMod_CreateM12 (Example H36E4)
RMod_CreateMatrices (Example H36E8)
RMod_CreateZ6 (Example H36E1)
RMod_Dual (Example H36E10)
RMod_Elements (Example H36E14)
RMod_EndoRing (Example H36E20)
RMod_GModules1 (Example H36E12)
RMod_GModules2 (Example H36E13)
RMod_LatticeOps (Example H36E22)
RMod_Meataxe (Example H36E17)
RMod_Minimals (Example H36E19)
RMod_Operations (Example H36E15)
RMod_Submodule (Example H36E16)
Rec_Record (Example H9E2)
Rec_RecordAccess (Example H9E3)
Rec_RecordFormat (Example H9E1)
RngIntRes_Coercion (Example H22E1)
RngInt_Amicable (Example H21E4)
RngInt_Certificate (Example H21E6)
RngInt_Integers (Example H21E2)
RngInt_IsPrime (Example H21E3)
RngInt_Perfect (Example H21E7)
RngInt_RepUnits (Example H21E5)
RngInt_hom (Example H21E1)
RngInt_norm-equation (Example H21E8)
RngMPol_AssignNames (Example H25E2)
RngMPol_ChangeOrder (Example H25E18)
RngMPol_Coefficients (Example H25E4)
RngMPol_Coordinates (Example H25E11)
RngMPol_ElementOperations (Example H25E13)
RngMPol_EliminationIdeal (Example H25E15)
RngMPol_Groebner (Example H25E9)
RngMPol_GroebnerWalk (Example H25E10)
RngMPol_GroupActions (Example H25E25)
RngMPol_Heron (Example H25E8)
RngMPol_Hilbert (Example H25E21)
RngMPol_Homomorphism (Example H25E1)
RngMPol_IdealArithmetic (Example H25E12)
RngMPol_Interpolate (Example H25E5)
RngMPol_IsSymmetric (Example H25E24)
RngMPol_MinimalPolynomial (Example H25E23)
RngMPol_Order (Example H25E3)
RngMPol_PrimaryDecomposition (Example H25E20)
RngMPol_Radical (Example H25E19)
RngMPol_RelationIdeal (Example H25E17)
RngMPol_SyzygyModule (Example H25E22)
RngMPol_Trinomials (Example H25E6)
RngMPol_Vandermonde (Example H25E7)
RngMPol_Variety (Example H25E14)
RngMPol_ZRadical (Example H25E16)
RngPol_ChangeRing (Example H24E3)
RngPol_Hensel (Example H24E4)
RngPol_Homomorphism (Example H24E1)
RngPol_Polynomials (Example H24E2)
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 H4E12)
Set_ExtractRep (Example H4E9)
Set_Include (Example H4E10)
Set_Join (Example H4E11)
Set_Miscellaneous (Example H4E7)
Set_Multiset (Example H4E4)
Set_NestedExists (Example H4E13)
Set_PowerSet (Example H4E6)
Set_Progression (Example H4E5)
Set_Random (Example H4E8)
Set_Reduction (Example H4E14)
Set_Universe (Example H4E1)
SgpFP_FreeSemigroup (Example H12E1)
SgpFP_Monoid (Example H12E2)
Tup_CartesianProduct (Example H6E1)
Tup_Tuple (Example H6E2)
Tup_TupleAccess (Example H6E3)
Example-A5
Chtr_A5 (Example H18E1)
Example-AbelianGroup
GrpAb_AbelianGroup (Example H13E3)
Example-Abstract
AlgFP_Abstract (Example H39E2)
Example-Access
RMod_Access (Example H36E9)
Example-Actions
GrpMat_Actions (Example H17E15)
GrpPerm_Actions (Example H16E13)
Example-AlmostFermat
Set_AlmostFermat (Example H4E2)
Example-AlmostFermatIndexed
Set_AlmostFermatIndexed (Example H4E3)
Example-AlternantCode
Code_AlternantCode (Example H44E7)
Example-Amicable
RngInt_Amicable (Example H21E4)
Example-arcs
Plane_arcs (Example H43E4)
Example-Arithmetic
GrpMat_Arithmetic (Example H17E3)
GrpPerm_Arithmetic (Example H16E3)
Grp_Arithmetic (Example H11E2)
KMod_Arithmetic (Example H35E5)
Example-AssignNames
RngMPol_AssignNames (Example H25E2)
Example-auto
Design_auto (Example H42E10)
Example-auto-print
Lang_auto-print (Example H1E9)
Example-AutomorphismGroup
Code_AutomorphismGroup (Example H44E17)
Graph_AutomorphismGroup (Example H41E5)
Example-Bases
FldNum_Bases (Example H30E9)
Example-BasicAccess
GrpPerm_BasicAccess (Example H16E9)
Example-Basis
KMod_Basis (Example H35E12)
Example-BCHCode
Code_BCHCode (Example H44E8)
Example-BetterPoly
FldNum_BetterPoly (Example H30E4)
Example-BlockAutomorphismGroup
Graph_BlockAutomorphismGroup (Example H41E4)
Example-BlocksActions
GrpPerm_BlocksActions (Example H16E15)
Example-Booleans
Lang_Booleans (Example H1E27)
Example-break
Lang_break (Example H1E14)
Example-BSGS
GrpPerm_BSGS (Example H16E21)
Example-BuildSubgroups
GrpFP_BuildSubgroups (Example H14E20)
Example-Cambridge
AlgMat_Cambridge (Example H38E2)
Example-CanonicalForms
AlgMat_CanonicalForms (Example H38E8)
Example-CartesianProduct
Tup_CartesianProduct (Example H6E1)
Example-case
Lang_case (Example H1E13)
Example-Certificate
RngInt_Certificate (Example H21E6)
Example-ChangeOrder
RngMPol_ChangeOrder (Example H25E18)
Example-ChangeRing
RngPol_ChangeRing (Example H24E3)
Example-ChromaticNumber
Graph_ChromaticNumber (Example H41E3)
Example-Classes
GrpPerm_Classes (Example H16E20)
Grp_Classes (Example H11E13)
Example-Co1
GrpFP_Co1 (Example H14E24)
Example-CodeFromMatrix
Code_CodeFromMatrix (Example H44E2)
Example-Coefficients
RngMPol_Coefficients (Example H25E4)
Example-Coercion
FldRat_Coercion (Example H20E1)
RngIntRes_Coercion (Example H22E1)
Example-Collineation
Plane_Collineation (Example H43E5)
Example-CompactPresentation
GrpPC_CompactPresentation (Example H15E12)
Example-CompFactors
GrpPerm_CompFactors (Example H16E19)
Example-Compositum
FldNum_Compositum (Example H30E3)
Example-CompSeries
RMod_CompSeries (Example H36E18)
Example-Constructions
GrpMat_Constructions (Example H17E11)
RMod_Constructions (Example H36E11)
Example-Constructor
GrpMat_Constructor (Example H17E5)
Example-Constructors
Design_Constructors (Example H42E1)
Graph_Constructors (Example H41E1)
GrpPerm_Constructors (Example H16E5)
Plane_Constructors (Example H43E1)
Example-ControlExtn
GrpFP_ControlExtn (Example H14E11)
Example-conv
Design_conv (Example H42E9)
Example-Coordinates
RngMPol_Coordinates (Example H25E11)
Example-cop
Coproduct_cop (Example H8E1)
Example-CosetAction
GrpMat_CosetAction (Example H17E16)
Grp_CosetAction (Example H11E8)
Example-CosetLeaders
Code_CosetLeaders (Example H44E13)
Example-Coxeter
GrpFP_Coxeter (Example H14E8)
Example-Create
GrpMat_Create (Example H17E1)
HMod_Create (Example H37E1)
Example-CreateA4wrC3
RMod_CreateA4wrC3 (Example H36E7)
Example-CreateA7
RMod_CreateA7 (Example H36E5)
Example-CreateComplexField
FldRe_CreateComplexField (Example H31E3)
Example-CreateElements
FldRe_CreateElements (Example H31E4)
Example-CreateK35
KMod_CreateK35 (Example H35E2)
Example-CreateK6
RMod_CreateK6 (Example H36E2)
Example-CreateL27
RMod_CreateL27 (Example H36E3)
Example-CreateLattice
RMod_CreateLattice (Example H36E21)
Example-CreateM11
RMod_CreateM11 (Example H36E6)
Example-CreateM12
RMod_CreateM12 (Example H36E4)
Example-CreateMatrices
RMod_CreateMatrices (Example H36E8)
Example-CreateQ6
KMod_CreateQ6 (Example H35E1)
Example-CreateSubgroupPoset
Grp_CreateSubgroupPoset (Example H11E15)
Example-CreateZ6
RMod_CreateZ6 (Example H36E1)
Example-Creation
AlgMat_Creation (Example H38E1)
Elcu_Creation (Example H40E1)
FldLoc_Creation (Example H33E1)
FldNum_Creation (Example H30E2)
Example-creation
FldQuad_creation (Example H28E2)
Example-CyclicCode
Code_CyclicCode (Example H44E6)
Example-DerSub
GrpFP_DerSub (Example H14E22)
Example-design-invar
Design_design-invar (Example H42E7)
Example-DevelopDifferenceSet
Design_DevelopDifferenceSet (Example H42E6)
Example-DirectProduct
GrpFP_DirectProduct (Example H14E12)
Example-Discriminant
FldNum_Discriminant (Example H30E12)
Example-Distance
Code_Distance (Example H44E12)
Example-Dual
RMod_Dual (Example H36E10)
Example-EAS
GrpPC_EAS (Example H15E5)
Example-EchelonForm
AlgMat_EchelonForm (Example H38E6)
Example-EgyptianFractions
Seq_EgyptianFractions (Example H5E4)
Example-ElementaryDivisors
AlgMat_ElementaryDivisors (Example H38E7)
Example-ElementOperations
RngMPol_ElementOperations (Example H25E13)
Example-Elements
FldNum_Elements (Example H30E7)
RMod_Elements (Example H36E14)
Example-EliminationIdeal
RngMPol_EliminationIdeal (Example H25E15)
Example-EndoRing
RMod_EndoRing (Example H36E20)
Example-Equality
Lang_Equality (Example H1E28)
Example-ExcludedConjugates
GrpFP_ExcludedConjugates (Example H14E23)
Example-Exists
Set_Exists (Example H4E12)
Example-Extensions
FldFin_Extensions (Example H23E1)
GrpPerm_Extensions (Example H16E8)
Grp_Extensions (Example H11E7)
Example-ExtractRep
Set_ExtractRep (Example H4E9)
Example-F27
GrpFP_F27 (Example H14E26)
Example-F276
GrpFP_F276 (Example H14E36)
Example-F29
GrpFP_F29 (Example H14E37)
Example-Family
GrpFP_Family (Example H14E18)
Example-Farey
Seq_Farey (Example H5E3)
Example-FixedPrecision
FldRe_FixedPrecision (Example H31E1)
Example-Forms
FldQuad_Forms (Example H28E4)
Example-Forms1
HMod_Forms1 (Example H37E6)
Example-Forms2
HMod_Forms2 (Example H37E7)
Example-forward
Lang_forward (Example H1E20)
Example-FPGroup
Grp_FPGroup (Example H11E9)
Example-Free
GrpFP_Free (Example H14E1)
Example-FreeAbelianGroup
GrpAb_FreeAbelianGroup (Example H13E1)
Example-FreeAlgebra
AlgFP_FreeAlgebra (Example H39E1)
Example-FreeSemigroup
SgpFP_FreeSemigroup (Example H12E1)
Example-FunctionField
FldFun_FunctionField (Example H26E1)
Example-Functions
FldFin_Functions (Example H23E3)
Example-G23
GrpFP_G23 (Example H14E25)
Example-G8723
GrpFP_G8723 (Example H14E16)
Example-GaussianPeriods
FldCyc_GaussianPeriods (Example H29E1)
Example-GeneratepGroups
GrpPC_GeneratepGroups (Example H15E9)
Example-GeneratorNaming
Lang_GeneratorNaming (Example H1E7)
Example-Generators
Grp_Generators (Example H11E10)
Example-GLSylow
GrpMat_GLSylow (Example H17E6)
Example-GModules1
RMod_GModules1 (Example H36E12)
Example-GModules2
RMod_GModules2 (Example H36E13)
Example-GoppaCode
Code_GoppaCode (Example H44E9)
Example-graphs
Design_graphs (Example H42E11)
Example-Groebner
RngMPol_Groebner (Example H25E9)
Example-GroebnerWalk
RngMPol_GroebnerWalk (Example H25E10)
Example-Grotzch
Graph_Grotzch (Example H41E2)
Example-GroupActions
RngMPol_GroupActions (Example H25E25)
Example-GroupConstructors
Grp_GroupConstructors (Example H11E3)
Example-GRSCode
Code_GRSCode (Example H44E10)
Example-hadamard
Design_hadamard (Example H42E5)
Example-Hall
GrpPC_Hall (Example H15E4)
Example-HammingCode
Code_HammingCode (Example H44E4)
Example-Hensel
RngPol_Hensel (Example H24E4)
Example-Heron
RngMPol_Heron (Example H25E8)
Example-Hessian
GrpPerm_Hessian (Example H16E4)
Example-Hilbert
RngMPol_Hilbert (Example H25E21)
Example-HN
GrpFP_HN (Example H14E17)
Example-hom
FldQuad_hom (Example H28E1)
RngInt_hom (Example H21E1)
Example-Homomorphism
RngMPol_Homomorphism (Example H25E1)
RngPol_Homomorphism (Example H24E1)
Example-homomorphism
FldRat_homomorphism (Example H20E2)
Example-Homomorphisms
FldNum_Homomorphisms (Example H30E1)
FldRe_Homomorphisms (Example H31E2)
Grp_Homomorphisms (Example H11E1)
Example-IdealArithmetic
RngMPol_IdealArithmetic (Example H25E12)
Example-IdealFactorization
FldNum_IdealFactorization (Example H30E14)
Example-Ideals
FldNum_Ideals (Example H30E8)
Example-Identifiers
Lang_Identifiers (Example H1E4)
Example-if
Lang_if (Example H1E12)
Example-import
Lang_import (Example H1E22)
Example-Include
Set_Include (Example H4E10)
Example-Indexing
HMod_Indexing (Example H37E4)
KMod_Indexing (Example H35E6)
Lang_Indexing (Example H1E6)
Example-InLineConditional
Lang_InLineConditional (Example H1E11)
Example-Integers
RngInt_Integers (Example H21E2)
Example-Integral
FldRe_Integral (Example H31E7)
Example-Interactive
GrpPC_Interactive (Example H15E7)
Example-Interpolate
RngMPol_Interpolate (Example H25E5)
Example-intrinsic
Lang_intrinsic (Example H1E21)
Example-Invariants
AlgMat_Invariants (Example H38E3)
GrpMat_Invariants (Example H17E4)
Example-IsGood
GrpPC_IsGood (Example H15E10)
Example-IsPrime
RngInt_IsPrime (Example H21E3)
Example-IsSymmetric
RngMPol_IsSymmetric (Example H25E24)
Example-Join
Set_Join (Example H4E11)
Example-Kodaira
Elcu_Kodaira (Example H40E4)
Example-LatticeOperations
Grp_LatticeOperations (Example H11E16)
Example-LatticeOps
RMod_LatticeOps (Example H36E22)
Example-LinearTrans
KMod_LinearTrans (Example H35E13)
Example-Lix1
GrpFP_Lix1 (Example H14E38)
Example-Lix2
GrpFP_Lix2 (Example H14E39)
Example-Lix3
GrpFP_Lix3 (Example H14E40)
Example-Lix4
GrpFP_Lix4 (Example H14E41)
Example-Matrices
GrpMat_Matrices (Example H17E2)
KMod_Matrices (Example H35E4)
Example-Matrix
HMod_Matrix (Example H37E2)
Example-Meataxe
RMod_Meataxe (Example H36E17)
Example-MinimalPolynomial
RngMPol_MinimalPolynomial (Example H25E23)
Example-Minimals
RMod_Minimals (Example H36E19)
Example-Miscellaneous
Set_Miscellaneous (Example H4E7)
Example-Models
Elcu_Models (Example H40E2)
Example-Modular
GrpFP_Modular (Example H14E7)
Example-Modules
Grp_Modules (Example H11E17)
Example-Monoid
SgpFP_Monoid (Example H12E2)
Example-MordellWeil
Elcu_MordellWeil (Example H40E3)
Example-MultipleReturns
Lang_MultipleReturns (Example H1E5)
Example-MultiplicationTable
FldNum_MultiplicationTable (Example H30E10)
Example-Multiset
Set_Multiset (Example H4E4)
Example-MutationAssignment
Lang_MutationAssignment (Example H1E8)
Example-NestedExists
Set_NestedExists (Example H4E13)
Example-NestedIteration
Seq_NestedIteration (Example H5E6)
Example-norm-equation
FldQuad_norm-equation (Example H28E3)
RngInt_norm-equation (Example H21E8)
Example-NormsEtc
FldNum_NormsEtc (Example H30E13)
Example-numerator
FldRat_numerator (Example H20E3)
Example-Operations
HMod_Operations (Example H37E3)
RMod_Operations (Example H36E15)
Example-OrbitActions
GrpPerm_OrbitActions (Example H16E14)
Example-Orbits
GrpMat_Orbits (Example H17E14)
Example-Order
GrpMat_Order (Example H17E12)
GrpPerm_Order (Example H16E10)
Grp_Order (Example H11E11)
RngMPol_Order (Example H25E3)
Example-Orders
FldNum_Orders (Example H30E5)
Example-Parameters
Lang_Parameters (Example H1E18)
Example-Perfect
RngInt_Perfect (Example H21E7)
Example-PermutationActionD8
AlgFP_PermutationActionD8 (Example H39E3)
Example-PermutationCode
Code_PermutationCode (Example H44E3)
Example-Permutations
GrpPerm_Permutations (Example H16E2)
Example-points-blocks
Design_points-blocks (Example H42E2)
Example-points-lines
Plane_points-lines (Example H43E2)
Example-PolycyclicGroup
GrpPC_PolycyclicGroup (Example H15E1)
Example-Polynomials
RngPol_Polynomials (Example H24E2)
Example-PowerGroup
GrpPC_PowerGroup (Example H15E8)
Example-PowerGroupTwo
GrpPC_PowerGroupTwo (Example H15E11)
Example-PowerSequence
Seq_PowerSequence (Example H5E2)
Example-PowerSet
Set_PowerSet (Example H4E6)
Example-pQuotient1
GrpFP_pQuotient1 (Example H14E27)
Example-pQuotient2
GrpFP_pQuotient2 (Example H14E28)
Example-pQuotient3
GrpFP_pQuotient3 (Example H14E29)
Example-pQuotient4
GrpFP_pQuotient4 (Example H14E30)
Example-pQuotient5
GrpFP_pQuotient5 (Example H14E31)
Example-pQuotient6
GrpFP_pQuotient6 (Example H14E32)
Example-pQuotient7
GrpFP_pQuotient7 (Example H14E33)
Example-pQuotient8
GrpFP_pQuotient8 (Example H14E34)
Example-PrimaryDecomposition
RngMPol_PrimaryDecomposition (Example H25E20)
Example-PrimitiveStructure
GrpPerm_PrimitiveStructure (Example H16E18)
Example-Printf
Lang_Printf (Example H1E2)
Example-Procedures
Lang_Procedures (Example H1E19)
Example-Products
AlgMat_Products (Example H38E5)
Example-Progression
Seq_Progression (Example H5E1)
Set_Progression (Example H4E5)
Example-pts-blks-ops
Design_pts-blks-ops (Example H42E8)
Example-QuadraticResidueCode
Code_QuadraticResidueCode (Example H44E11)
Example-Quotient
AlgFP_Quotient (Example H39E4)
GrpMat_Quotient (Example H17E8)
GrpPerm_Quotient (Example H16E6)
Grp_Quotient (Example H11E5)
Example-Quotients1
KMod_Quotients1 (Example H35E9)
Example-Quotients2
KMod_Quotients2 (Example H35E10)
Example-Quotients3
KMod_Quotients3 (Example H35E11)
Example-Radical
RngMPol_Radical (Example H25E19)
Example-Random
GrpMat_Random (Example H17E13)
Set_Random (Example H4E8)
Example-RandomSchreier
GrpPerm_RandomSchreier (Example H16E22)
Example-Read
Lang_Read (Example H1E1)
Example-Record
Rec_Record (Example H9E2)
Example-RecordAccess
Rec_RecordAccess (Example H9E3)
Example-RecordFormat
Rec_RecordFormat (Example H9E1)
Example-Recursion
Lang_Recursion (Example H1E17)
Example-Reduction
Set_Reduction (Example H4E14)
Example-ReedMullerCode
Code_ReedMullerCode (Example H44E5)
Example-related
Design_related (Example H42E3)
Example-RelationIdeal
RngMPol_RelationIdeal (Example H25E17)
Example-Relations
GrpAb_Relations (Example H13E2)
GrpFP_Relations (Example H14E2)
Example-repeat
Lang_repeat (Example H1E16)
Example-Replace
GrpFP_Replace (Example H14E9)
Example-Represent
FldQuad_Represent (Example H28E5)
Example-RepUnits
RngInt_RepUnits (Example H21E5)
Example-require
Lang_require (Example H1E23)
Example-Rewrite
GrpFP_Rewrite (Example H14E35)
Example-Roots
FldRe_Roots (Example H31E5)
Example-RootsNonExact
FldRe_RootsNonExact (Example H31E6)
Example-Round2
FldNum_Round2 (Example H30E6)
Example-RowOps
HMod_RowOps (Example H37E5)
Example-Rowops
KMod_Rowops (Example H35E14)
Example-Self
Seq_Self (Example H5E5)
Example-Series
GrpMat_Series (Example H17E17)
GrpPerm_Series (Example H16E17)
Example-Set
GrpPC_Set (Example H15E3)
Example-SetOperations
GrpPerm_SetOperations (Example H16E11)
Grp_SetOperations (Example H11E12)
Example-Smash1
GrpMat_Smash1 (Example H17E18)
Example-Smash2
GrpMat_Smash2 (Example H17E19)
Example-spec
Lang_spec (Example H1E24)
Example-Stab
Plane_Stab (Example H43E6)
Example-Stabilizers
GrpPerm_Stabilizers (Example H16E12)
Example-Standard
GrpPC_Standard (Example H15E2)
Example-StandardForm
Code_StandardForm (Example H44E14)
Example-StandardGroups
GrpPerm_StandardGroups (Example H16E7)
Grp_StandardGroups (Example H11E6)
Example-StandardPresentation
GrpPC_StandardPresentation (Example H15E6)
Example-startup-spec
Lang_startup-spec (Example H1E25)
Example-Strings
Lang_Strings (Example H1E29)
Example-sub
Plane_sub (Example H43E3)
Example-SubAlgebra
AlgMat_SubAlgebra (Example H38E4)
Example-Subgroup
Grp_Subgroup (Example H11E4)
Example-SubgroupConstructions
GrpPerm_SubgroupConstructions (Example H16E16)
Example-SubgroupOps
GrpFP_SubgroupOps (Example H14E19)
Example-Subgroups
GrpMat_Subgroups (Example H17E7)
Grp_Subgroups (Example H11E14)
Example-Subgroups1
GrpFP_Subgroups1 (Example H14E14)
Example-Subgroups2
GrpFP_Subgroups2 (Example H14E15)
Example-Submodule
RMod_Submodule (Example H36E16)
Example-Subspace1
KMod_Subspace1 (Example H35E7)
Example-Subspace2
KMod_Subspace2 (Example H35E8)
Example-Suzuki
GrpMat_Suzuki (Example H17E10)
Example-Sym
GrpPerm_Sym (Example H16E1)
Example-Sym8
GrpFP_Sym8 (Example H14E10)
Example-Symmetric1
GrpFP_Symmetric1 (Example H14E3)
Example-Symmetric2
GrpFP_Symmetric2 (Example H14E4)
Example-Symplectic
GrpMat_Symplectic (Example H17E9)
Example-SyzygyModule
RngMPol_SyzygyModule (Example H25E22)
Example-TernaryGolayCode
Code_TernaryGolayCode (Example H44E1)
Example-Tetrahedral
GrpFP_Tetrahedral (Example H14E5)
Example-ThreeInvols
GrpFP_ThreeInvols (Example H14E6)
Example-Time
Lang_Time (Example H1E3)
Example-ToddCoxeter
GrpFP_ToddCoxeter (Example H14E21)
Example-Trinomials
RngMPol_Trinomials (Example H25E6)
Example-Tuple
Tup_Tuple (Example H6E2)
Example-TupleAccess
Tup_TupleAccess (Example H6E3)
Example-UnitGroup
FldNum_UnitGroup (Example H30E11)
Example-Universe
Set_Universe (Example H4E1)
Example-Vandermonde
RngMPol_Vandermonde (Example H25E7)
Example-Variety
RngMPol_Variety (Example H25E14)
Example-Various
Lang_Various (Example H1E26)
Example-Vectors
KMod_Vectors (Example H35E3)
Example-VectorSpace
FldFin_VectorSpace (Example H23E2)
Example-WeightDistribution
Code_WeightDistribution (Example H44E15)
Example-WeightEnumerator
Code_WeightEnumerator (Example H44E16)
Example-where
Lang_where (Example H1E10)
Example-while
Lang_while (Example H1E15)
Example-wittex
Design_wittex (Example H42E4)
Example-WordOps
GrpFP_WordOps (Example H14E13)
Example-ZRadical
RngMPol_ZRadical (Example H25E16)
Exclude
Exclude(~S, x) : SeqEnum, Elt ->
Exclude(~S, x) : SetEnum, Elt ->
ExcludedConjugates
ExcludedConjugates(V) : GrpFPCos -> { GrpFPElt }
GrpFP_ExcludedConjugates (Example H14E23)
Exists
Set_Exists (Example H4E12)
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
Explode
Explode(R) : SeqEnum -> List
Explode(T) : SetCartElt -> List
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
Expression (OVERVIEW)
Function Expressions (MAGMA SEMANTICS)
Function Expressions (OVERVIEW)
Procedure Expressions (MAGMA SEMANTICS)
Procedure Expressions (OVERVIEW)
ExpurgateCode
ExpurgateCode(C) : Code -> Code
ext
Constructor (OVERVIEW)
ext<F | n> : FldFin, RngIntElt -> FldFin, Map
ext< Q | f > : FldRat, AlgPolElt -> FldNum
ext< R | > : Rng -> RngUPol
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(I, U) : RngMPol, [ RngIntElt ] -> RngMPol, Map
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)
Extension and Contraction of Ideals (MULTIVARIATE POLYNOMIAL RINGS)
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)
Transcendental Extension (INTRODUCTION [RINGS AND FIELDS])
Variable Extension of Ideals (MULTIVARIATE POLYNOMIAL RINGS)
extension-contraction
Extension and Contraction of Ideals (MULTIVARIATE POLYNOMIAL RINGS)
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 H23E1)
GrpPerm_Extensions (Example H16E8)
Grp_Extensions (Example H11E7)
Exterior
Exterior(C) : { PlanePt } -> { PlanePt }
ExteriorSquare
ExteriorSquare(a) : AlgMat -> AlgMatElt
ExteriorSquare(M) : ModTupRng -> ModTupRng
ExternalLines
ExternalLines(A) : { PlanePt } -> { PlaneLn }
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 H4E9)
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]