[____] [____] [_____] [____] [__] [Index] [Root]
Index E
d.eef P g : RngIntElt, RngIntElt, RngIntElt -> FldReElt
d.eef p g : RngIntElt, RngIntElt, RngIntElt -> FldReElt
d.e E fpg : RngIntElt, RngIntElt, RngIntElt -> FldReElt
d.e e fpg : RngIntElt, RngIntElt, RngIntElt -> FldReElt
d . eefpg : RngIntElt, RngIntElt, RngIntElt -> FldReElt
Quitting (OVERVIEW)
d . eefpg : RngIntElt, RngIntElt, RngIntElt -> FldReElt
E
e
ExponentialIntegralE1(r) : FldReElt -> FldReElt
EARNS(G) : GrpPerm -> GrpPerm
GrpPC_EAS (Example H25E20)
EasyIdeal(I) : RngMPol -> RngMPol
EasyIdeal(I) : RngMPol -> RngMPol
CrvEll_ecdb1 (Example H85E24)
CrvEll_ecdb2 (Example H85E25)
CrvEll_ECDL (Example H85E31)
RngLoc_ech-man (Example H59E12)
RngPad_ech-man (Example H42E10)
EchelonForm(a) : AlgMatElt -> AlgMatElt, AlgMatElt
EchelonForm(A) : Mtrx -> Mtrx, AlgMatElt
EchelonForm(a) : AlgMatElt -> AlgMatElt, AlgMatElt
EchelonForm(A) : Mtrx -> Mtrx, AlgMatElt
AlgMat_EchelonForm (Example H72E6)
EcheloniseWord(~P, ~r) : Process(pQuot) -> RngIntElt
EcheloniseWord(~P, ~r) : Process(pQuot) -> RngIntElt
GetEchoInput() : ->
SetEchoInput(b) : BoolElt ->
SetEchoInput(b) : BoolElt ->
SetEchoInput(b) : BoolElt ->
ECM(n) : RngIntElt -> RngIntEltFact, [ RngIntElt ]
G +:= i, j : GrphUnd, { RngIntElt, RngIntElt } ->
AddEdge(~G, i, j) : Grph, RngIntElt, RngIntElt ->
AddEdge(~G, i, j, l) : Grph, RngIntElt, RngIntElt, . ->
EdgeDeterminant(u,v) : GrphSplVert,GrphSplVert -> RngIntElt
EdgeGroup(G : parameters ) : Grph -> GrpPerm, GSet
EdgeLabel(G, i, j) : Grph, RngIntElt, RngIntElt -> .
EdgeLabels(G) : Grph -> SeqEnum
EdgeLabels(G, S) : Grph, SeqEnum -> SeqEnum
EdgeLabels(s) : GrphSpl -> SeqEnum
EdgeSet(G) : Grph -> GrphEdgeSet
EdgeUnion(G, H) : GrphDir, GrphDir -> GrphDir
IsEdgeTransitive(G : parameters) : GrphUnd -> BoolElt
IsLabelledEdge(G, i, j) : Grph, RngIntElt, RngIntElt -> BoolElt
OptimalEdgeColouring(G) : GrphUnd -> SeqEnum
RemoveEdge(~G, i, j) : Grph, RngIntElt, RngIntElt ->
The Vertex--Set and Edge--Set of a Graph (GRAPHS)
EdgeDeterminant(u,v) : GrphSplVert,GrphSplVert -> RngIntElt
EdgeGroup(G : parameters ) : Grph -> GrpPerm, GSet
EdgeLabel(G, i, j) : Grph, RngIntElt, RngIntElt -> .
EdgeLabels(G) : Grph -> SeqEnum
EdgeLabels(G, S) : Grph, SeqEnum -> SeqEnum
EdgeLabels(s) : GrphSpl -> SeqEnum
AddEdges(~G, S) : Grph, SeqEnum ->
AddEdges(~G, S, L) : Grph, SeqEnum, SeqEnum ->
Edges(G) : Grph -> {@ GrphEdge @}
IncidentEdges(u) : GrphVert -> { GrphEdge }
InternalEdges(FS) : SymFry -> SeqEnum
RemoveEdges(~G, S) : Grph, SeqEnum ->
EdgeSet(G) : Grph -> GrphEdgeSet
Graph_EdgeSets (Example H93E6)
EdgeUnion(G, H) : GrphDir, GrphDir -> GrphDir
GetLineEditor() : BoolElt ->
SetLineEditor(b) : BoolElt ->
The Magma Line Editor (ENVIRONMENT AND OPTIONS)
EFAModuleMaps(G) : GrpGPC -> [ModGrp]
SemisimpleEFAModuleMaps(G) : GrpGPC -> [ModGrp]
EFAModuleMaps(G) : GrpGPC -> [ModGrp]
EFAModules(G) : GrpGPC -> [ModGrp]
SemisimpleEFAModules(G) : GrpGPC -> [ModGrp]
EFASeries(G) : GrpGPC -> [GrpGPC]
SemisimpleEFASeries(G) : GrpGPC -> [GrpGPC]
IsPositive(D) : DivCrvElt -> BoolElt
IsEffective(D) : DivCrvElt -> BoolElt
Seq_EgyptianFractions (Example H8E4)
Eigenspace(A, e) : AlgMatElt, FldElt -> ModTup
Eigenspace(a, e) : AlgMatElt, FldElt -> ModTup
HeckeEigenvalueField(M) : ModSym -> Fld, Map
HeckeEigenvalueRing(M : parameters) : ModSym -> Rng, Map
Eigenvalues(a) : AlgMatElt -> { <FldElt, RngIntElt> }
Eigenvalues(A) : Mtrx -> { <FldElt, RngIntElt> }
SystemOfEigenvalues(M, prec) : ModSym, RngIntElt -> SeqEnum
Eisenstein(k, t) : RngIntElt, FldPrElt> -> FldPrElt
Eisenstein(k, F) : RngIntElt, QuadBinElt -> RngSerElt
Eisenstein(k, f) : RngIntElt, QuadBinElt -> RngSerElt
Eisenstein(k, z) : RngIntElt, RngSerElt -> RngSerElt
Eisenstein(k, L) : RngIntElt, SeqEnum -> FldPrElt
EisensteinData(f) : ModFrmElt -> Tup
EisensteinPolynomial(L) : RngLoc -> RngUPolElt
EisensteinSeries(M) : ModFrm -> List
EisensteinSubspace(M) : ModBrdt -> ModBrdt
EisensteinSubspace(M) : ModFrm -> ModFrm
EisensteinSubspace(M) : ModSym -> ModSym
IsEisenstein(M) : ModBrdt -> BoolElt
IsEisenstein(M) : ModFrm -> BoolElt
IsEisenstein(M) : ModSym -> BoolElt
IsEisenstein(g) : RngUPolElt -> BoolElt
IsEisensteinSeries(f) : ModFrmElt -> BoolElt
IsEisensteinSeries(f) : ModFrmElt -> BoolElt
FldRe_Eisenstein (Example H43E7)
FldRe_Eisenstein (Example H43E8)
Eisenstein Series (MODULAR FORMS)
Eisenstein Series (REAL AND COMPLEX FIELDS)
Eisenstein Series (MODULAR FORMS)
EisensteinData(f) : ModFrmElt -> Tup
EisensteinPolynomial(L) : RngLoc -> RngUPolElt
EisensteinSeries(M) : ModFrm -> List
ModForm_EisensteinSeries (Example H90E13)
EisensteinSubspace(M) : ModBrdt -> ModBrdt
EisensteinSubspace(M) : ModFrm -> ModFrm
EisensteinSubspace(M) : ModSym -> ModSym
Elementary Operations (FINITE PLANES)
AlgGrp_el-creation (Example H73E2)
Elementary Operations (FINITE PLANES)
RngLoc_el_creation (Example H59E1)
Creation of Elements (BRANDT MODULES)
Operations on Elements (BRANDT MODULES)
BasisElement(A, i) : AlgGen, RngIntElt -> AlgGenElt
BasisElement(R, i) : AlgMat, RngIntElt -> AlgMatElt
BasisElement(M, i) : ModMPol, RngIntElt -> RngMPolElt
BasisElement(V, i) : ModTupFld, RngIntElt -> ModTupFldElt
BasisElement(I, i) : RngMPol, RngIntElt -> RngMPolElt
Coefficients(f) : RngSerElt -> [ RngElt ], RngIntElt, RngIntElt
Coefficients(p) : RngUPolElt -> [ RngElt ]
CoordinatesToElement(L, C) : Lat, [ RngIntElt ] -> LatElt
CoxeterElement( G ) : GrpCox -> GrpPermElt
CoxeterElement( W ) : GrpCox -> GrpPermElt
CoxeterElement( F ) : GrpFP -> SeqEnum
ElementSequence (G) : GrpPC -> SeqEnum
ElementSet(G, H) : GrpPerm, GrpPerm -> { GrpPermElt }
ElementToSequence(a) : AlgGenElt -> SeqEnum
ElementToSequence(a) : AlgGrpElt -> SeqEnum
ElementToSequence(a) : AlgMatElt -> [ RngElt ]
ElementToSequence(x) : AlgQuatOrdElt -> SeqEnum
Coordinates(x) : AlgQuatElt -> SeqEnum
ElementToSequence(a) : FldAlgElt -> [ FldAlgElt ]
ElementToSequence(a) : FldFinElt -> [ FldFinElt ]
ElementToSequence(a, E) : FldFinElt, FldFin -> [ FldFinElt ]
ElementToSequence(a) : FldFunElt -> SeqEnum[FldFunRatUElt]
ElementToSequence(a) : FldRatElt -> [FldRatElt]
ElementToSequence(x) : GrpAbElt -> [RngIntElt]
ElementToSequence(u) : GrpAtcElt -> [ RngIntElt ]
ElementToSequence(w) : GrpFPElt -> [ RngIntElt ]
ElementToSequence(x) : GrpGPCElt -> [RngIntElt]
ElementToSequence(g) : GrpMatElt -> [ RngElt ]
ElementToSequence(x) : GrpPCElt -> [RngIntElt]
ElementToSequence(g) : GrpPermElt -> [ Elt ]
ElementToSequence(u) : GrpRWSElt -> [ RngIntElt ]
ElementToSequence(v) : LatElt -> [ RngElt ]
ElementToSequence(a) : ModOrdElt -> SeqEnum
ElementToSequence(u) : ModTupFldElt -> [RngElt]
ElementToSequence(u) : ModTupRngElt -> [RngElt]
ElementToSequence(u) : ModTupRngElt -> [RngElt]
ElementToSequence(u) : MonRWSElt -> [ RngIntElt ]
ElementToSequence(s) : MonStgElt -> [ MonStgElt ]
ElementToSequence(A) : Mtrx -> [ RngElt ]
ElementToSequence(l) : PlaneLn -> [ FldFinElt ]
ElementToSequence(p) : PlanePt -> [ FldFinElt ]
ElementToSequence(P): PtEll -> [ RngElt ]
ElementToSequence(a) : RngFunOrdElt -> SeqEnum[RngElt]
ElementToSequence(a) : RngGalElt -> [ RngIntResElt ]
ElementToSequence(x) : RngLocElt -> [ RngElt ]
ElementToSequence(x) : RngLocElt -> [ RngIntElt ]
ElementToSequence(u) : SgpFPElt -> [ SgpFPElt ]
ElementType(S) : Str -> Cat
Eltseq(P) : PtHyp -> SeqEnum
Eltseq(P) : PtHyp -> SeqEnum, RngIntElt
Eltseq(f) : QuadBinElt -> SeqEnum[RngIntElt]
Eltseq(f) : RngIntEltFact -> SeqEnum
Eltseq(a) : RngOrdResElt -> []
Eltseq(P) : SrfKumPt -> SeqEnum
InertiaElement(L) : RngLoc -> RngLocElt
LocalUniformizer(P) : PlcFunElt -> FldFunGElt
LongestElement( W ) : GrpCox -> GrpPermElt
LongestElement( F ) : GrpFP -> SeqEnum
NonNilpotentElement(L) : AlgLie -> AlgLieElt
NormalElement(F) : FldFin -> FldFinElt
NormalElement(F, E) : FldFin, FldFin -> FldFinElt
Prime(P) : FldLoc -> RngIntElt
P . 1 : RngLoc -> RngLocElt
PrimitiveElement(F) : FldFin -> FldFinElt
PrimitiveElement(K) : FldNum -> FldNumElt
PrimitiveElement(R) : RngIntRes -> RngIntResElt
PrimitiveElement(I) : RngOrdIdl -> RngOrdElt
Representation(g) : GrpAbGenElt -> [RngIntElt]
SeparatingElement(F) : FldFunG -> FldFunGElt
SequenceToElement(s, F) : [ FldFinElt ] -> FldFinElt
SetPrimitiveElement(F, x) : FldFin, FldFinElt ->
TwistedWindingElement(M, i, eps) : ModSym, RngIntElt, GrpDrchElt -> ModSymElt
TwoElement(I) : RngFunOrdIdl -> RngElt, RngElt
TwoElement(I) : RngOrdFracIdl -> FldOrdElt, FldOrdElt
TwoElementNormal(I) : RngInt -> RngIntElt, RngIntElt
TwoElementNormal(I) : RngOrdIdl -> RngOrdElt, RngOrdElt, RngIntElt
UniformizingElement(L) : RngLoc -> RngLocElt
WindingElement(M) : ModSym -> ModSymElt
WindingElement(M, i) : ModSym, RngIntElt -> ModSymElt
aInvariants(E) : CrvEll -> [ RngElt ]
PMod_Element (Example H52E2)
Access Functions for Elements (POLYCYCLIC GROUPS)
Accessing and Modifying a Matrix (MATRIX ALGEBRAS)
Arithmetic (ORDERS AND ALGEBRAIC FIELDS)
Arithmetic with Elements (MODULES OVER ORDERS)
Automorphisms (AUTOMORPHISM GROUPS OF GROUPS)
Basic Element Operations (POWER, LAURENT AND PUISEUX SERIES)
Boolean Operators (STATEMENTS AND EXPRESSIONS)
Constructing elements (GROUPS OF LIE TYPE)
Construction of a Group Algebra Element (GROUP ALGEBRAS)
Construction of a Matrix (FREE MODULES)
Construction of a Matrix (MATRIX ALGEBRAS)
Construction of a Matrix Group Element (MATRIX GROUPS)
Construction of a Permutation (PERMUTATION GROUPS)
Construction of a Vector (VECTOR SPACES)
Construction of a Word (AUTOMATIC GROUPS)
Construction of a Word (GROUPS DEFINED BY REWRITE SYSTEMS)
Construction of a Word (MONOIDS GIVEN BY REWRITE SYSTEMS)
Construction of an Element (ABELIAN GROUPS)
Construction of an Element (GROUPS WHOSE ELEMENTS ARE STRAIGHT-LINE PROGRAMS)
Construction of an Element (GROUPS)
Construction of Direct Sums and Tensor Products of Elements (MATRIX ALGEBRAS)
Coset Spaces: Selection of Cosets (FINITELY PRESENTED GROUPS)
Creation of Coproduct Elements (COPRODUCTS)
Creation of Elements (ALGEBRAIC FUNCTION FIELDS)
Creation of Elements (ALGEBRAIC FUNCTION FIELDS)
Creation of Elements (ALGEBRAIC FUNCTION FIELDS)
Creation of Elements (ALGEBRAIC FUNCTION FIELDS)
Creation of Elements (CYCLOTOMIC FIELDS)
Creation of Elements (INTRODUCTION [BASIC RINGS])
Creation of Elements (ORDERS AND ALGEBRAIC FIELDS)
Creation of Elements (POWER, LAURENT AND PUISEUX SERIES)
Creation of Elements (RATIONAL FIELD)
Creation of Elements (RATIONAL FUNCTION FIELDS)
Creation of Elements (REAL AND COMPLEX FIELDS)
Creation of Elements (RING OF INTEGERS)
Creation of Elements (UNIVARIATE POLYNOMIAL RINGS)
Creation of Elements (VALUATION RINGS)
Creation of Module Elements (MODULES OVER AFFINE ALGEBRAS)
Creation of Polynomials (MULTIVARIATE POLYNOMIAL RINGS)
Element Construction and Operations (MODULES OVER A MATRIX ALGEBRA)
Element Constructions and Conversions (LOCAL RINGS AND FIELDS)
Element Constructions and Conversions (p-ADIC RINGS AND FIELDS)
Element Constructors (FINITELY PRESENTED SEMIGROUPS)
Element Creation (CHARACTERS OF FINITE GROUPS)
Element Operations (ALGEBRAIC FUNCTION FIELDS)
Element Operations (ALGEBRAIC FUNCTION FIELDS)
Element Operations (ALGEBRAIC FUNCTION FIELDS)
Element Operations (ALGEBRAIC FUNCTION FIELDS)
Element Operations (ALGEBRAICALLY CLOSED FIELDS)
Element Operations (CHARACTERS OF FINITE GROUPS)
Element Operations (CYCLOTOMIC FIELDS)
Element Operations (FINITE FIELDS)
Element Operations (FINITE SOLUBLE GROUPS)
Element Operations (FREE MODULES)
Element Operations (GALOIS RINGS)
Element Operations (MULTIVARIATE POLYNOMIAL RINGS)
Element Operations (ORDERS AND ALGEBRAIC FIELDS)
Element Operations (RATIONAL FIELD)
Element Operations (RATIONAL FUNCTION FIELDS)
Element Operations (REAL AND COMPLEX FIELDS)
Element Operations (RING OF INTEGERS)
Element Operations (UNIVARIATE POLYNOMIAL RINGS)
Element Operations (VALUATION RINGS)
Elementary Operations on Elements (MATRIX ALGEBRAS)
Elements (FREE MODULES)
Elements of a Generic Abelian Group (GENERIC ABELIAN GROUPS)
Elements of M_n as Homomorphisms (MATRIX ALGEBRAS)
Functions related to Norm and Trace (ALGEBRAIC FUNCTION FIELDS)
Functions related to Norm and Trace (ALGEBRAIC FUNCTION FIELDS)
Functions related to Orders and Integrality (ALGEBRAIC FUNCTION FIELDS)
Functions related to Places and Divisors (ALGEBRAIC FUNCTION FIELDS)
Functions related to Places and Divisors (ALGEBRAIC FUNCTION FIELDS)
General Function Field Places (ALGEBRAIC FUNCTION FIELDS)
Generic Element Functions (INTRODUCTION [BASIC RINGS])
Global Function Field Places (ALGEBRAIC FUNCTION FIELDS)
Lattice Elements (LATTICES)
Module Element Access and Operations (MODULES OVER AFFINE ALGEBRAS)
Operations on Codewords (LINEAR CODES OVER FINITE FIELDS)
Operations on Codewords (LINEAR CODES OVER FINITE RINGS)
Operations on Differentials (PLANE ALGEBRAIC CURVES)
Operations on Elements (ABELIAN GROUPS)
Operations on Elements (GENERIC ABELIAN GROUPS)
Operations on elements (GROUPS OF LIE TYPE)
Operations on Elements (GROUPS WHOSE ELEMENTS ARE STRAIGHT-LINE PROGRAMS)
Operations on Elements (LOCAL RINGS AND FIELDS)
Operations on Elements (p-ADIC RINGS AND FIELDS)
Operations on Elements of Ideals (IDEAL THEORY AND GRÖBNER BASES)
Operations on Lattice Elements (MODULES OVER A MATRIX ALGEBRA)
Operations on Matrices (MATRIX GROUPS)
Operations on Poset Elements (GROUPS)
Operations on the Set of Elements (AUTOMATIC GROUPS)
Operations on the Set of Elements (GROUPS DEFINED BY REWRITE SYSTEMS)
Operations on the Set of Elements (GROUPS)
Operations on the Set of Elements (MONOIDS GIVEN BY REWRITE SYSTEMS)
Other Element Operations (ALGEBRAIC FUNCTION FIELDS)
Other Element Operations (ALGEBRAIC FUNCTION FIELDS)
Predicates on Ring Elements (ALGEBRAICALLY CLOSED FIELDS)
Predicates on Ring Elements (FINITE FIELDS)
Predicates on Ring Elements (GALOIS RINGS)
Predicates on Ring Elements (INTRODUCTION [BASIC RINGS])
Predicates on Ring Elements (MULTIVARIATE POLYNOMIAL RINGS)
Predicates on Ring Elements (POWER, LAURENT AND PUISEUX SERIES)
Predicates on Ring Elements (RATIONAL FIELD)
Predicates on Ring Elements (RATIONAL FUNCTION FIELDS)
Predicates on Ring Elements (RING OF INTEGERS)
Predicates on Ring Elements (RING OF INTEGERS)
Predicates on Ring Elements (UNIVARIATE POLYNOMIAL RINGS)
Properties of groups of Lie type (GROUPS OF LIE TYPE)
Properties of Lattice Elements (MODULES OVER A MATRIX ALGEBRA)
Selecting Elements of Sets (SETS)
Selection Operators on Enumerated Sequences (SEQUENCES)
Specification of a Word (FINITELY PRESENTED ALGEBRAS)
Specification of Elements (POLYCYCLIC GROUPS)
String Operations on Words (FINITELY PRESENTED SEMIGROUPS)
Access Functions for Elements (POLYCYCLIC GROUPS)
Module Element Access and Operations (MODULES OVER AFFINE ALGEBRAS)
Arithmetic with Elements (MODULES OVER ORDERS)
Predicates on Ring Elements (ALGEBRAICALLY CLOSED FIELDS)
Predicates on Ring Elements (FINITE FIELDS)
Predicates on Ring Elements (GALOIS RINGS)
Predicates on Ring Elements (INTRODUCTION [BASIC RINGS])
Predicates on Ring Elements (MULTIVARIATE POLYNOMIAL RINGS)
Predicates on Ring Elements (POWER, LAURENT AND PUISEUX SERIES)
Predicates on Ring Elements (RATIONAL FIELD)
Predicates on Ring Elements (RATIONAL FUNCTION FIELDS)
Predicates on Ring Elements (RING OF INTEGERS)
Predicates on Ring Elements (RING OF INTEGERS)
Predicates on Ring Elements (UNIVARIATE POLYNOMIAL RINGS)
Constructing elements (GROUPS OF LIE TYPE)
Creation of Elements (BRANDT MODULES)
Operations on Elements (BRANDT MODULES)
Id(G) : GrpGPC -> GrpGPCElt
G ! 1 : GrpGPC, RngIntElt -> GrpGPCElt
Specification of Elements (POLYCYCLIC GROUPS)
Functions related to Norm and Trace (ALGEBRAIC FUNCTION FIELDS)
Functions related to Norm and Trace (ALGEBRAIC FUNCTION FIELDS)
Operations on elements (GROUPS OF LIE TYPE)
Functions related to Orders and Integrality (ALGEBRAIC FUNCTION FIELDS)
Other Element Operations (ALGEBRAIC FUNCTION FIELDS)
Other Element Operations (ALGEBRAIC FUNCTION FIELDS)
Functions related to Places and Divisors (ALGEBRAIC FUNCTION FIELDS)
Functions related to Places and Divisors (ALGEBRAIC FUNCTION FIELDS)
Properties of groups of Lie type (GROUPS OF LIE TYPE)
AlgQuat_Element_Arithmetic (Example H71E5)
Elementary Invariants (BRANDT MODULES)
AbelianSubgroups(G) : GrpPC -> SeqEnum
ElementaryAbelianGroup(GrpGPC, p, n) : Cat, RngIntElt, RngIntElt -> GrpGPC
ElementaryAbelianNormalSubgroup(G) : GrpPerm -> GrpPerm
ElementaryAbelianQuotient(G, p) : GrpFP, RngIntElt -> GrpAb, Map
ElementaryAbelianQuotient(G, p) : GrpAb, RngIntElt -> GrpAb, Map
ElementaryAbelianQuotient(G, p) : GrpGPC, RngIntElt -> GrpAb, Map
ElementaryAbelianQuotient(G, p) : GrpMat, RngIntElt -> GrpAb, Map
ElementaryAbelianQuotient(G, p) : GrpPC, RngIntElt -> GrpAb, Map
ElementaryAbelianQuotient(G, p) : GrpPerm, RngIntElt -> GrpAb, Map
ElementaryAbelianSection(SQP: parameter) : SQProc -> BoolElt, SQProc
ElementaryAbelianSeries(G) : GrpAb -> [GrpAb]
ElementaryAbelianSeries(G) : GrpPC -> [GrpPC]
ElementaryAbelianSeries(G) : GrpPerm -> [ GrpPerm ]
ElementaryAbelianSubgroups(G: parameters) : GrpFin -> [ rec< Grp, RngIntElt, RngIntElt, GrpFP> ]
ElementaryAbelianSubgroups(G: parameters) : GrpPerm -> [ rec< GrpPerm, RngIntElt, RngIntElt, GrpFP> ]
ElementaryDivisors(a) : AlgMatElt -> [RngElt]
ElementaryDivisors(M, N) : ModOrd, ModOrd -> SeqEnum
ElementaryDivisors(A) : Mtrx -> [RngElt]
ElementarySymmetricPolynomial(P, k) : RngMPol, RngIntElt -> RngMPolElt
ElementarySymmetricPolynomial(P, k) : RngMPol, RngIntElt -> RngMPolElt
IsElementaryAbelian(G) : GrpAb -> BoolElt
IsElementaryAbelian(G) : GrpFin -> BoolElt
IsElementaryAbelian(G) : GrpGPC -> BoolElt
IsElementaryAbelian(G) : GrpMat -> BoolElt
IsElementaryAbelian(G) : GrpPC -> BoolElt
IsElementaryAbelian(G) : GrpPerm -> BoolElt
KeepElementary(SQG, SQH) : SQProc, SQProc -> SeqEnum
KeepElementaryAbelian(SQG, SQH) : SQProc, SQProc -> SeqEnum
KeepSplitElementaryAbelian(SQG, SQH) : SQProc, SQProc -> SeqEnum
NonsplitSection(SQP: parameter) : SQProc -> BoolElt, SQProc
NonsplitElementaryAbelianSection(SQP: parameter) : SQProc -> BoolElt, SQProc
SplitElementaryAbelianSection(SQP: parameter) : SQProc -> BoolElt, SQProc
Elementary Creation Functions (LOCAL RINGS AND FIELDS)
Elementary Functions (MODULES OVER ORDERS)
Elementary Functions (MODULES OVER ORDERS)
Elementary Invariants (BRANDT MODULES)
AlgQuat_Elementary_Ideals (Example H71E8)
Elementary Invariants (HYPERELLIPTIC CURVES)
ElementaryAbelianGroup(GrpGPC, p, n) : Cat, RngIntElt, RngIntElt -> GrpGPC
ElementaryAbelianNormalSubgroup(G) : GrpPerm -> GrpPerm
ElementaryAbelianQuotient(G, p) : GrpFP, RngIntElt -> GrpAb, Map
ElementaryAbelianQuotient(G, p) : GrpAb, RngIntElt -> GrpAb, Map
ElementaryAbelianQuotient(G, p) : GrpGPC, RngIntElt -> GrpAb, Map
ElementaryAbelianQuotient(G, p) : GrpMat, RngIntElt -> GrpAb, Map
ElementaryAbelianQuotient(G, p) : GrpPC, RngIntElt -> GrpAb, Map
ElementaryAbelianQuotient(G, p) : GrpPerm, RngIntElt -> GrpAb, Map
ElementaryAbelianSection(SQP: parameter) : SQProc -> BoolElt, SQProc
ElementaryAbelianSeries(G) : GrpAb -> [GrpAb]
ElementaryAbelianSeries(G) : GrpPC -> [GrpPC]
ElementaryAbelianSeries(G) : GrpPerm -> [ GrpPerm ]
CyclicSubgroups(G) : GrpPC -> SeqEnum
ElementaryAbelianSubgroups(G) : GrpPC -> SeqEnum
NilpotentSubgroups(G) : GrpPC -> SeqEnum
AbelianSubgroups(G) : GrpPC -> SeqEnum
ElementaryAbelianSubgroups(G: parameters) : GrpFin -> [ rec< Grp, RngIntElt, RngIntElt, GrpFP> ]
ElementaryAbelianSubgroups(G: parameters) : GrpPerm -> [ rec< GrpPerm, RngIntElt, RngIntElt, GrpFP> ]
ElementaryDivisors(a) : AlgMatElt -> [RngElt]
ElementaryDivisors(M, N) : ModOrd, ModOrd -> SeqEnum
ElementaryDivisors(A) : Mtrx -> [RngElt]
AlgMat_ElementaryDivisors (Example H72E7)
ElementarySymmetricPolynomial(P, k) : RngMPol, RngIntElt -> RngMPolElt
ElementarySymmetricPolynomial(P, k) : RngMPol, RngIntElt -> RngMPolElt
GrpLie_ElementCreate (Example H37E2)
GrpAbGen_ElementCreationAndRep (Example H27E2)
GrpAbGen_ElementCreationAndRep (Example H27E6)
GB_ElementOperations (Example H50E9)
GrpAbGen_ElementOrderLog (Example H27E7)
Elements(G) : GrpDrch -> SeqEnum
Points(D) : IncGeom -> SetIndx
FldFunG_Elements (Example H57E3)
ModRng_Elements (Example H64E2)
RngOrd_Elements (Example H53E7)
Construction of an Element of a General Algebra (ALGEBRAS)
Construction of Elements of a Structure Constant Algebra (STRUCTURE CONSTANT ALGEBRAS)
Creation of Elements (MODULAR SYMBOLS)
Elements (FINITE SOLUBLE GROUPS)
Elements (MODULAR FORMS)
Elements of Graded Polynomial Rings (IDEAL THEORY AND GRÖBNER BASES)
Elements of Modules (MODULES OVER ORDERS)
Elements of Quaternion Algebras (QUATERNION ALGEBRAS)
Special Element Operations (QUADRATIC FIELDS)
Working with the Raw Elements (THE K3 DATABASE)
FldFunG_elements (Example H57E7)
ElementSequence (G) : GrpPC -> SeqEnum
ElementSet(G, H) : GrpPerm, GrpPerm -> { GrpPermElt }
ElementToSequence(f) : RngSerElt -> [ RngElt ], RngIntElt, RngIntElt
Eltseq(f) : RngSerElt -> [ RngElt ], RngIntElt, RngIntElt
Coefficients(f) : RngSerElt -> [ RngElt ], RngIntElt, RngIntElt
Coefficients(p) : RngUPolElt -> [ RngElt ]
ElementToSequence(a) : AlgGenElt -> SeqEnum
ElementToSequence(a) : AlgGrpElt -> SeqEnum
ElementToSequence(a) : AlgMatElt -> [ RngElt ]
ElementToSequence(x) : AlgQuatOrdElt -> SeqEnum
ElementToSequence(a) : FldAlgElt -> [ FldAlgElt ]
ElementToSequence(a) : FldFinElt -> [ FldFinElt ]
ElementToSequence(a, E) : FldFinElt, FldFin -> [ FldFinElt ]
ElementToSequence(a) : FldFunElt -> SeqEnum[FldFunRatUElt]
ElementToSequence(a) : FldRatElt -> [FldRatElt]
ElementToSequence(x) : GrpAbElt -> [RngIntElt]
ElementToSequence(u) : GrpAtcElt -> [ RngIntElt ]
ElementToSequence(w) : GrpFPElt -> [ RngIntElt ]
ElementToSequence(x) : GrpGPCElt -> [RngIntElt]
ElementToSequence(g) : GrpMatElt -> [ RngElt ]
ElementToSequence(x) : GrpPCElt -> [RngIntElt]
ElementToSequence(g) : GrpPermElt -> [ Elt ]
ElementToSequence(u) : GrpRWSElt -> [ RngIntElt ]
ElementToSequence(v) : LatElt -> [ RngElt ]
ElementToSequence(a) : ModOrdElt -> SeqEnum
ElementToSequence(u) : ModTupFldElt -> [RngElt]
ElementToSequence(u) : ModTupRngElt -> [RngElt]
ElementToSequence(u) : ModTupRngElt -> [RngElt]
ElementToSequence(u) : MonRWSElt -> [ RngIntElt ]
ElementToSequence(s) : MonStgElt -> [ MonStgElt ]
ElementToSequence(A) : Mtrx -> [ RngElt ]
ElementToSequence(l) : PlaneLn -> [ FldFinElt ]
ElementToSequence(p) : PlanePt -> [ FldFinElt ]
ElementToSequence(P): PtEll -> [ RngElt ]
ElementToSequence(a) : RngFunOrdElt -> SeqEnum[RngElt]
ElementToSequence(a) : RngGalElt -> [ RngIntResElt ]
ElementToSequence(x) : RngLocElt -> [ RngElt ]
ElementToSequence(x) : RngLocElt -> [ RngIntElt ]
ElementToSequence(u) : SgpFPElt -> [ SgpFPElt ]
Eltseq(P) : PtHyp -> SeqEnum
Eltseq(P) : PtHyp -> SeqEnum, RngIntElt
Eltseq(f) : QuadBinElt -> SeqEnum[RngIntElt]
Eltseq(f) : RngIntEltFact -> SeqEnum
Eltseq(a) : RngOrdResElt -> []
Eltseq(P) : SrfKumPt -> SeqEnum
Representation(g) : GrpAbGenElt -> [RngIntElt]
aInvariants(E) : CrvEll -> [ RngElt ]
ElementType(S) : Str -> Cat
EliasAsymptoticBound(K, delta) : FldFin, FldPrElt -> FldPrElt
EliasBound(K, n, d) : FldFin, RngIntElt, RngIntElt -> RngIntElt
EliasAsymptoticBound(K, delta) : FldFin, FldPrElt -> FldPrElt
EliasBound(K, n, d) : FldFin, RngIntElt, RngIntElt -> RngIntElt
McElieceEtAlAsymptoticBound(delta) : FldPrElt -> FldPrElt
The if statement (OVERVIEW)
Elimination (k): elim (IDEAL THEORY AND GRÖBNER BASES)
Elimination List: elim (IDEAL THEORY AND GRÖBNER BASES)
Elimination (k): elim (IDEAL THEORY AND GRÖBNER BASES)
Elimination List: elim (IDEAL THEORY AND GRÖBNER BASES)
Eliminate(u, x, v) : GrpFPElt, GrpFPElt, GrpFPElt -> GrpFPElt
Eliminate(~P: parameters) : Process(Tietze) ->
Eliminate(u, x, v) : SgpFPElt, SgpFPElt, SgpFPElt -> SgpFPElt
Eliminate(U, x, v) : { GrpFPElt }, GrpFPElt, GrpFPElt -> { GrpFPElt }
EliminateRedundancy(~P) : Process(pQuot) ->
EliminateGenerators(~P: parameters) : Process(Tietze) ->
Eliminate(~P: parameters) : Process(Tietze) ->
EliminateRedundancy(~P) : Process(pQuot) ->
Elimination(X,V) : Sch,SeqEnum -> Sch
EliminationIdeal(I, k: parameters) : RngMPol, RngIntElt -> RngMPol
EliminationIdeal(I, S) : RngMPol, { RngIntElt } -> RngMPol
UnivariateEliminationIdealGenerator(I, i) : RngMPol, RngIntElt -> RngMPolElt
UnivariateEliminationIdealGenerators(I) : RngMPol -> [ RngMPolElt ]
Construction of Elimination Ideals (IDEAL THEORY AND GRÖBNER BASES)
Elimination (IDEAL THEORY AND GRÖBNER BASES)
Univariate Elimination Ideal Generators (IDEAL THEORY AND GRÖBNER BASES)
Construction of Elimination Ideals (IDEAL THEORY AND GRÖBNER BASES)
EliminationIdeal(I, k: parameters) : RngMPol, RngIntElt -> RngMPol
EliminationIdeal(I, S) : RngMPol, { RngIntElt } -> RngMPol
GB_EliminationIdeal (Example H50E12)
RngLoc_elinvar (Example H59E4)
RngPad_elinvar (Example H42E2)
EllipticCurveDatabase(: parameters) : -> DB
CremonaDatabase(: parameters) : -> DB
EllipticCurve(C) : Crv -> CrvEll, Map, Map
EllipticCurve(C, P) : Crv, Pt -> CrvEll, Map, Map
EllipticCurve(C,p) : Crv, Pt -> CrvEll, Map, Map
EllipticCurve(C) : CrvHyp -> CrvEll, Map, Map
EllipticCurve(D, S): DB, RngIntElt, MonStgElt -> CrvEll
EllipticCurve(D, N, I, J): DB, RngIntElt, RngIntElt, RngIntElt -> CrvEll
EllipticCurve(f) : ModFrmElt -> CrvEll
EllipticCurve(j) : RngElt -> CrvEll
EllipticCurve([a,b]) : [ RngElt ] -> CrvEll
EllipticCurves(D) : DB -> [ CrvEll ]
EllipticCurves(D, S) : DB, MonStgElt -> [ CrvEll ]
EllipticCurves(D, N) : DB, RngIntElt -> [ CrvEll ]
EllipticCurves(D, N, I) : DB, RngIntElt, RngIntElt -> [ CrvEll ]
EllipticLogarithm(P: parameters): PtEll -> FldPrElt
EllipticPoints(G) : GrpPSL2, SpcHyp -> [SpcHypElt]
IsEllipticCurve(C) : CrvHyp -> BoolElt, CrvEll, Map
IsEllipticCurve(C) : CrvHyp -> BoolElt, CrvEll, Map, Map
IsEllipticCurve([a,b]) : [ RngElt ] -> BoolElt, CrvEll
IsEllipticWeierstrass(C) : Crv -> BoolElt
SupersingularEllipticCurve(K) : FldFin -> CrvEll
pAdicEllipticLogarithm(P, p: parameters): PtEll, RngIntElt -> FldLocElt
Combinatorial and Geometrical Structures (OVERVIEW)
Cusps and elliptic points of congruence subgroups (SUBGROUPS OF PSL_2(R))
Elliptic and Modular Functions (REAL AND COMPLEX FIELDS)
ELLIPTIC CURVES
Elliptic Curves (MODULAR SYMBOLS)
ELLIPTIC CURVES
Elliptic Curves (MODULAR SYMBOLS)
Elliptic and Modular Functions (REAL AND COMPLEX FIELDS)
Periods and Elliptic Logarithms (ELLIPTIC CURVES)
EllipticCurve(C) : Crv -> CrvEll, Map, Map
EllipticCurve(C, P) : Crv, Pt -> CrvEll, Map, Map
EllipticCurve(C,p) : Crv, Pt -> CrvEll, Map, Map
EllipticCurve(C) : CrvHyp -> CrvEll, Map, Map
EllipticCurve(D, S): DB, RngIntElt, MonStgElt -> CrvEll
EllipticCurve(D, N, I, J): DB, RngIntElt, RngIntElt, RngIntElt -> CrvEll
EllipticCurve(f) : ModFrmElt -> CrvEll
EllipticCurve(j) : RngElt -> CrvEll
EllipticCurve([a,b]) : [ RngElt ] -> CrvEll
AlgAff_EllipticCurve (Example H51E3)
EllipticCurveDatabase(: parameters) : -> DB
CremonaDatabase(: parameters) : -> DB
EllipticCurves(D) : DB -> [ CrvEll ]
EllipticCurves(D, S) : DB, MonStgElt -> [ CrvEll ]
EllipticCurves(D, N) : DB, RngIntElt -> [ CrvEll ]
EllipticCurves(D, N, I) : DB, RngIntElt, RngIntElt -> [ CrvEll ]
ModForm_EllipticCurves (Example H90E19)
EllipticLogarithm(P: parameters): PtEll -> FldPrElt
EllipticPoints(G) : GrpPSL2, SpcHyp -> [SpcHypElt]
The case statement (OVERVIEW)
The if statement (OVERVIEW)
The select expression (OVERVIEW)
EltSeq(P): PtEll -> [ RngElt ]
ElementToSequence(P): PtEll -> [ RngElt ]
TransversalElt( W, H, x ) : GrpCox, GrpPermElt-> GrpPermElt
Arithmetic of Elements (QUATERNION ALGEBRAS)
Arithmetic Operators (ALGEBRAIC FUNCTION FIELDS)
Conjugacy (FINITE SOLUBLE GROUPS)
Constructor (OVERVIEW)
Creation of Elements (QUATERNION ALGEBRAS)
Equality and Membership (ALGEBRAIC FUNCTION FIELDS)
Functions on Elements (ALGEBRAIC FUNCTION FIELDS)
Operations on Elements (ALGEBRAIC FUNCTION FIELDS)
Operations on Elements (GROUP ALGEBRAS)
Operations on words (COXETER GROUPS)
Other (ALGEBRAIC FUNCTION FIELDS)
Other Operations on Elements (ALGEBRAIC FUNCTION FIELDS)
Other Operations on Elements (ALGEBRAIC FUNCTION FIELDS)
Other Point and Line Functions (FINITE PLANES)
Predicates on Elements (ALGEBRAIC FUNCTION FIELDS)
Roots of Elements (LOCAL RINGS AND FIELDS)
Roots of Elements (p-ADIC RINGS AND FIELDS)
C ! [a_1, ..., a_n] : Code, [ RngElt ] -> ModTupRngElt
C ! [a_1, ..., a_n] : Code, [ RngElt ] -> ModTupRngElt
C ! [x, y] : CrvHyp, [RngElt] -> PtHyp
F ! a : FldAlg, RngElt -> FldAlgElt
F ! [a_0, a_1, ..., a_(m - 1)] : FldAlg, [RngElt] -> FldAlgElt
F ! a : FldFun, . -> FldFunElt
F ! [a, b] : FldFunRat, RngPolElt, RngPolElt -> FldFunRatElt
Q ! [a, b] : FldRat, RngIntElt, RngIntElt -> FldRatElt
J ! [a, b] : JacHyp, [ RngUPolElt ] -> JacHypPt
L ! Q : Lat, [ RngElt ] -> LatElt
Q ! [a, b, c] : QuadBin, RngIntElt, RngIntElt, RngIntElt -> QuadBinElt
O ! a : RngFunOrd, . -> RngFunOrdElt
O ! a : RngOrd, RngElt -> RngOrdElt
O ! [a_0, a_1, ..., a_(m - 1)] : RngOrd, [ RngElt ] -> RngOrdElt
P ! s : RngUPol, RngElt -> RngPolElt
J ! [P,Q] : [PtHyp] -> JacHypPt
J ! [S,T] : [[PtHyp]] -> JacHypPt
elt< A | r_1, r_2, ..., r_n > : AlgGen, RngElt, RngElt, ..., RngElt -> AlgGenElt
elt< A | r, g > : AlgGrp, RngElt, GrpElt -> AlgGrpElt
elt< R | L > : AlgMat, RngElt -> AlgMatElt
elt<C | x, y> : FldCom, FldReElt, FldReElt -> FldComElt
elt<F | a> : FldFin, RngElt -> FldFinElt
elt<F | a_0, ..., a_n - 1> : FldFin, [FldFinElt] -> FldFinElt
elt< F | a_0, a_1, ..., a_(n - 1)> : FldFun, RngElt , ..., RngElt -> FldFunElt
elt<R | m, n> : FldRe, FldReElt, RngIntElt -> FldReElt
elt< G | L > : Grp, List(Elt) -> GrpElt
elt<G | L> : GrpLie, List -> GrpMatElt
elt< G | L > : GrpMat, List(RngElt) -> GrpMatElt
elt< G | L > : GrpPerm, List(Elt) -> GrpPermElt
elt<V | L> : ModTupFld, List -> ModTupFldElt
elt< M | a_1, ..., a_n > : ModTupRng, List -> ModTupRngElt
elt< M | a_1, ..., a_n > : ModTupRng, List -> ModTupRngElt
elt< R | a_1, ..., a_k :parameters> : AlgChtr, FldCycElt, ..., FldCycElt -> AlgChtrElt
elt< O | a_1, a_2, ..., a_(n)> : RngFunOrd, RngElt , ..., RngElt -> RngFunOrdElt
elt< Z | a_1a_2...a_r > : RngInt, RngIntElt -> RngIntElt
elt< R | v, [ a_1, ..., a_d], p > : RngIntElt, SeqEnum, RngIntElt -> RngSerSerElt
elt< R | k > : RngIntRes, RngIntElt -> RngIntResElt
elt<L | u> : RngLoc, RngElt -> RngLocElt
elt<P | u> : RngLoc, RngElt -> RngLocElt
elt<L | u, r> : RngLoc, RngElt, RngIntElt -> RngLocElt
elt<P | u, r> : RngLoc, RngElt, RngIntElt -> RngLocElt
elt<L | v, u> : RngLoc, RngIntElt, RngElt -> RngLocElt
elt<P | v, u> : RngLoc, RngIntElt, RngElt -> RngLocElt
elt<L | v, u, r> : RngLoc, RngIntElt, RngElt, RngIntElt -> RngLocElt
elt<P | v, u, r> : RngLoc, RngIntElt, RngElt, RngIntElt -> RngLocElt
elt<L | s> : RngLoc, [ RngElt ] -> RngLocElt
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 -> Tup
x + y : DiffFunElt, DiffFunElt -> DiffFunElt
- x : DiffFunElt -> DiffFunElt
x / y : DiffFunElt, DiffFunElt -> FldFunGElt
Arithmetic Operators (ALGEBRAIC FUNCTION FIELDS)
Conjugacy (FINITE SOLUBLE GROUPS)
GrpPC_elt-definition (Example H25E8)
Equality and Membership (ALGEBRAIC FUNCTION FIELDS)
Arithmetic of Elements (QUATERNION ALGEBRAS)
Creation of Elements (QUATERNION ALGEBRAS)
Functions on Elements (ALGEBRAIC FUNCTION FIELDS)
Operations on Elements (ALGEBRAIC FUNCTION FIELDS)
Operations on Elements (GROUP ALGEBRAS)
Other (ALGEBRAIC FUNCTION FIELDS)
Other Operations on Elements (ALGEBRAIC FUNCTION FIELDS)
Other Operations on Elements (ALGEBRAIC FUNCTION FIELDS)
Other Point and Line Functions (FINITE PLANES)
Plane_elt-other (Example H95E9)
Predicates on Elements (ALGEBRAIC FUNCTION FIELDS)
Roots of Elements (LOCAL RINGS AND FIELDS)
Roots of Elements (p-ADIC RINGS AND FIELDS)
IsId(g) : GrpAbGenElt -> BoolElt
Equality and Comparison (GENERIC ABELIAN GROUPS)
Constructing an Element of a Generic Abelian Group (GENERIC ABELIAN GROUPS)
GrpPC_elt_predicates (Example H25E9)
RngLoc_eltcons (Example H59E6)
RngPad_eltcons (Example H42E4)
Eltlist( g ) : GrpLieElt -> List
Creation of Elements (ALGEBRAIC FUNCTION FIELDS)
Elements of Quotients (ORDERS AND ALGEBRAIC FIELDS)
Other Functions on Elements (MODULES OVER ORDERS)
EltSeq(P): PtEll -> [ RngElt ]
ElementToSequence(P): PtEll -> [ RngElt ]
ElementToSequence(f) : RngSerElt -> [ RngElt ], RngIntElt, RngIntElt
Eltseq(f) : RngSerElt -> [ RngElt ], RngIntElt, RngIntElt
Coefficients(f) : RngSerElt -> [ RngElt ], RngIntElt, RngIntElt
Coefficients(p) : RngUPolElt -> [ RngElt ]
ElementToSequence(a) : AlgGenElt -> SeqEnum
ElementToSequence(a) : AlgGrpElt -> SeqEnum
ElementToSequence(a) : AlgMatElt -> [ RngElt ]
ElementToSequence(x) : AlgQuatOrdElt -> SeqEnum
ElementToSequence(a) : FldAlgElt -> [ FldAlgElt ]
ElementToSequence(a) : FldFinElt -> [ FldFinElt ]
ElementToSequence(a, E) : FldFinElt, FldFin -> [ FldFinElt ]
ElementToSequence(a) : FldFunElt -> SeqEnum[FldFunRatUElt]
ElementToSequence(a) : FldRatElt -> [FldRatElt]
ElementToSequence(x) : GrpAbElt -> [RngIntElt]
ElementToSequence(u) : GrpAtcElt -> [ RngIntElt ]
ElementToSequence(w) : GrpFPElt -> [ RngIntElt ]
ElementToSequence(x) : GrpGPCElt -> [RngIntElt]
ElementToSequence(g) : GrpMatElt -> [ RngElt ]
ElementToSequence(x) : GrpPCElt -> [RngIntElt]
ElementToSequence(g) : GrpPermElt -> [ Elt ]
ElementToSequence(u) : GrpRWSElt -> [ RngIntElt ]
ElementToSequence(v) : LatElt -> [ RngElt ]
ElementToSequence(a) : ModOrdElt -> SeqEnum
ElementToSequence(u) : ModTupFldElt -> [RngElt]
ElementToSequence(u) : ModTupRngElt -> [RngElt]
ElementToSequence(u) : ModTupRngElt -> [RngElt]
ElementToSequence(u) : MonRWSElt -> [ RngIntElt ]
ElementToSequence(s) : MonStgElt -> [ MonStgElt ]
ElementToSequence(A) : Mtrx -> [ RngElt ]
ElementToSequence(l) : PlaneLn -> [ FldFinElt ]
ElementToSequence(p) : PlanePt -> [ FldFinElt ]
ElementToSequence(a) : RngFunOrdElt -> SeqEnum[RngElt]
ElementToSequence(a) : RngGalElt -> [ RngIntResElt ]
ElementToSequence(x) : RngLocElt -> [ RngElt ]
ElementToSequence(x) : RngLocElt -> [ RngIntElt ]
ElementToSequence(u) : SgpFPElt -> [ SgpFPElt ]
Eltseq(g) : GrpPSL2Elt -> SeqEnum
Eltseq(x) : ModBrdtElt -> SeqEnum
Eltseq(f) : ModFrmElt -> SeqEnum
Eltseq(f) : ModMPolElt -> [ RngMPolElt ]
Eltseq(P) : PtHyp -> SeqEnum
Eltseq(P) : PtHyp -> SeqEnum, RngIntElt
Eltseq(f) : QuadBinElt -> SeqEnum[RngIntElt]
Eltseq(n) : RngIntElt -> [RngIntElt]
Eltseq(f) : RngIntEltFact -> SeqEnum
Eltseq(a) : RngOrdResElt -> []
Eltseq(R) : SeqEnum -> SeqEnum
Eltseq(P) : SrfKumPt -> SeqEnum
Representation(g) : GrpAbGenElt -> [RngIntElt]
aInvariants(E) : CrvEll -> [ RngElt ]
RngOrd_em (Example H53E11)
Key Bindings (Emacs and VI mode) (ENVIRONMENT AND OPTIONS)
Key Bindings in Emacs mode only (ENVIRONMENT AND OPTIONS)
Magma Updates (OVERVIEW)
Embed(F, L, a) : FldAlg, FldAlg, FldAlgElt ->
Embed(E, F) : FldFin, FldFin ->
Embed(E, F, x) : FldFin, FldFin ->
EmbeddingMap(F, L): FldAlg, FldAlg -> Map
EmbeddingMap(e) : SubFldLatElt -> Map
EmbeddingMatrix(S) : AlgQuatOrd -> AlgMatElt
ProjectiveEmbedding(P) : PlaneAff -> PlaneProj, PlanePtSet, PlaneLnSet, Map
Creating Relations (FINITE FIELDS)
Plane_embedding (Example H95E7)
EmbeddingMap(F, L): FldAlg, FldAlg -> Map
EmbeddingMap(e) : SubFldLatElt -> Map
EmbeddingMatrix(S) : AlgQuatOrd -> AlgMatElt
ComplexEmbeddings(f) : ModFrmElt -> List
pAdicEmbeddings(f, p) : ModFrmElt, RngIntElt -> List
Reductions and Embeddings (MODULAR FORMS)
EmptyDigraph(p) : RngIntElt -> GrphDir
EmptyGraph(p) : RngIntElt -> GrphUnd
EmptyScheme(X) : Sch -> Sch
IsEmpty(G) : Grph -> BoolElt
IsEmpty(P) : LatEnumProc -> BoolElt
IsEmpty(S) : List -> BoolElt
IsEmpty (P) : Proc -> BoolElt
IsEmpty(p) : Process -> BoolElt
IsEmpty(p) : Process -> BoolElt
IsEmpty(p) : Process -> BoolElt
IsEmpty(P) : Process(Lix) -> BoolElt
IsEmpty(X) : Sch -> BoolElt
IsEmpty(S) : SeqEnum -> BoolElt
IsEmpty(R) : SetEnum -> BoolElt
Sequences (OVERVIEW)
Sets (OVERVIEW)
EmptyDigraph(p) : RngIntElt -> GrphDir
EmptyGraph(p) : RngIntElt -> GrphUnd
EmptyScheme(X) : Sch -> Sch
EndVertices(e) : GrphEdge -> [GrphVert]
EndVertices(e) : GrphEdge -> { GrphVert }
EndVertices(F) : NwtnPgon, NwtnPgonFace -> SeqEnum
Control-C key (OVERVIEW)
Quitting (OVERVIEW)
Endomorphisms (LATTICES)
Endomorphisms (LATTICES)
CentreOfEndomorphismRing(G) : GrpMat -> AlgMat
DimensionOfCentreOfEndomorphismRing(G) : GrpMat -> RngIntElt
DimensionOfEndomorphismRing(G) : GrpMat -> RngIntElt
EndomorphismAlgebra(M) : ModRng -> AlgMat
EndomorphismAlgebra(M) : ModTupRng -> AlgMat
EndomorphismRing(G) : GrpMat -> AlgMat
IsEndomorphism(f) : MapSch -> BoolElt
The Endomorphsim Ring (FREE MODULES)
The Endomorphsim Ring (FREE MODULES)
The Endomorphism Ring (ELLIPTIC CURVES)
EndomorphismAlgebra(M) : ModRng -> AlgMat
EndomorphismAlgebra(M) : ModTupRng -> AlgMat
EndomorphismRing(G) : GrpMat -> AlgMat
CentralEndomorphisms(G, n) : GrpMat, RngIntElt -> [ AlgMatElt ]
Endomorphisms(G, n) : GrpMat, RngIntElt -> [ AlgMatElt ]
Endomorphisms and Automorphisms (MODULES OVER A MATRIX ALGEBRA)
Endomorphisms and Automorphisms (MODULES OVER A MATRIX ALGEBRA)
ModAlg_EndoRing (Example H76E21)
ModAlg_EndoRing (Example H76E23)
EndVertices(e) : GrphEdge -> [GrphVert]
EndVertices(e) : GrphEdge -> { GrphVert }
EndVertices(F) : NwtnPgon, NwtnPgonFace -> SeqEnum
EnriquesForm(X) : VSrfK3 -> SeqEnum
NoetherForm(X) : VSrfK3 -> SeqEnum
HilbertForm(X) : VSrfK3 -> SeqEnum
EnriquesForm(X) : VSrfK3 -> SeqEnum
NoetherForm(X) : VSrfK3 -> SeqEnum
HilbertForm(X) : VSrfK3 -> SeqEnum
Accessing or Modifying Entries (MATRICES)
FirstColumnEntry(t, j) : Tableau,RngIntElt -> RngIntElt
FirstRowEntry(t, i) : Tableau,RngIntElt -> RngIntElt
LastColumnEntry(t, j) : Tableau,RngIntElt -> RngIntElt
LastRowEntry(t, i) : Tableau,RngIntElt -> RngIntElt
Specifying an Entry of the Database (DATABASES OF GROUPS)
ENUMERATIVE COMBINATORICS
ENUMERATIVE COMBINATORICS
Enumerated Sequences (SEQUENCES)
Enumerated Sets (SETS)
Sequences (OVERVIEW)
Sets (OVERVIEW)
The Enumerated Sequence Constructor (SEQUENCES)
The Enumerated Set Constructor (SETS)
CanContinueEnumeration(P) : GrpFPCosetEnumProc -> BoolElt
CanRedoEnumeration(P) : GrpFPCosetEnumProc -> BoolElt
ContinueEnumeration(~P: parameters) : GrpFPCosetEnumProc ->
CosetEnumerationProcess(G, H: parameters) : GrpFP, GrpFP -> GrpFPCosetEnumProc
RedoEnumeration(~P: parameters) : GrpFPCosetEnumProc ->
ResumeEnumeration(~P: parameters) : GrpFPCosetEnumProc ->
StartEnumeration(~P: parameters) : GrpFPCosetEnumProc ->
Interactive Coset Enumeration (FP GROUPS - ADVANCED FEATURES)
Minima and Element Enumeration (LATTICES)
Vector Enumeration (FINITELY PRESENTED ALGEBRAS)
Vector Enumeration (FINITELY PRESENTED ALGEBRAS)
Points(J, a, d) : JacHyp, RngUPolElt, RngIntElt -> SetIndx
Enumeration of Points (HYPERELLIPTIC CURVES)
CompleteWeightEnumerator(C): Code -> RngMPolElt
CompleteWeightEnumerator(C): Code -> RngMPolElt
CompleteWeightEnumerator(C, u): Code, ModTupFldElt -> RngMPolElt
LeeWeightEnumerator(C): Code -> RngMPolElt
SymmetricWeightEnumerator(C): Code -> RngMPolElt
WeightEnumerator(C): Code -> RngMPolElt
WeightEnumerator(C): Code -> RngMPolElt
WeightEnumerator(C, u): Code, ModTupFldElt -> RngMPolElt
The Weight Enumerator (LINEAR CODES OVER FINITE FIELDS)
Weight Enumerators (LINEAR CODES OVER FINITE RINGS)
ENVIRONMENT AND OPTIONS
Environment Variables (ENVIRONMENT AND OPTIONS)
ENVIRONMENT AND OPTIONS
Environment Variables (ENVIRONMENT AND OPTIONS)
IsEof(S) : MonStgElt -> BoolElt
Comparison (OVERVIEW)
Equality and Membership (ALGEBRAIC FUNCTION FIELDS)
Equality and Membership (LOCAL RINGS AND FIELDS)
Equality and Membership (p-ADIC RINGS AND FIELDS)
u eq v : AlgFPElt, AlgFPElt -> BoolElt
A eq B : AlgGen, AlgGen -> BoolElt
a eq b : AlgGenElt, AlgGenElt -> BoolElt
R eq T : AlgMat, AlgMat -> BoolElt
a eq b : AlgMatElt, AlgMatElt -> BoolElt
x eq y : AlgQuatElt, AlgQuatElt -> BoolElt
C eq D : Code, Code -> BoolElt
C eq D : Code, Code -> BoolElt
E eq F : CrvEll, CrvEll -> BoolElt
D1 eq D2 : DiffFun, DiffFun -> BoolElt
S eq T : DiffFun,DiffFun -> BoolElt
x eq y : DiffFunElt, DiffFunElt -> BoolElt
a eq b : DiffFunElt,DiffFunElt -> BoolElt
Div1 eq Div2 : DivCrv,DivCrv -> BoolElt
D eq E : DivCrvElt,DivCrvElt -> BoolElt
C_1 eq C_2 : Elt, Elt -> BoolElt
x eq y : Elt, Elt -> BoolElt
x eq y : Elt, Elt -> BoolElt
H eq K : GrpFP, GrpFP -> BoolElt
a eq b : FldACElt, FldACElt -> BoolElt
F eq L : FldAlg, FldAlg -> BoolElt
G eq H : GrpAb, GrpAb -> BoolElt
u eq v : GrpAbElt, GrpAbElt -> BoolElt
A eq B : GrpAbGen, GrpAbGen -> BoolElt
g eq d : GrpAbGenElt, GrpAbGenElt -> BoolElt
u eq v : GrpAtcElt, GrpAtcElt -> BoolElt
g eq h : GrpAutoElt, GrpAutoElt -> BoolElt
g eq h : GrpElt, GrpElt -> BoolElt
H eq G : GrpFin, GrpFin -> BoolElt
C1 eq C2 : GrpFPCosElt, GrpFPCosElt -> BoolElt
u eq v : GrpFPElt, GrpFPElt -> BoolElt
G eq H : GrpGPC, GrpGPC -> BoolElt
g eq h : GrpGPCElt, GrpGPCElt -> BoolElt
G eq H : GrphDir, GrphDir -> BoolElt
g eq h : GrphRes,GrphRes -> BoolElt
v eq w : GrphResVert,GrphResVert -> BoolElt
s eq t : GrphSpl,GrphSpl -> BoolElt
s eq t : GrphVert, GrphVert -> BoolElt
G eq H : GrpLie, GrpLie -> 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
G eq H : GrpPSL2, GrpPSL2 -> BoolElt
g eq h : GrpPSL2Elt, GrpPSL2Elt -> BoolElt
u eq v : GrpRWSElt, GrpRWSElt -> BoolElt
u eq v : GrpSLPElt, GrpSLPElt -> BoolElt
D eq E : Inc, Inc -> BoolElt
P eq Q : JacHypPt, JacHypPt -> BoolElt
L eq M : Lat, Lat -> BoolElt
v eq w : LatElt, LatElt -> BoolElt
L eq K : LinSys,LinSys -> BoolElt
f eq g : MapCrvHyp, MapCrvHyp -> BoolElt
f eq g : MapSch, MapSch -> BoolElt
x eq y : ModBrdtElt, ModBrdtElt -> BoolElt
M eq N : ModMPol, ModMPol -> BoolElt
f eq g : ModMPolElt, ModMPolElt -> BoolElt
M eq N : ModOrd, ModOrd -> BoolElt
x eq y : ModOrdElt, ModOrdElt -> Bool
U eq V : ModTupFld, ModTupFld -> BoolElt
N eq M : ModTupRng, ModTupRng -> BoolElt
N eq M : ModTupRng, ModTupRng -> BoolElt
u eq v : ModTupRngElt, ModTupRngElt -> BoolElt
u eq v : MonRWSElt, MonRWSElt -> 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
P eq Q : PlcCrv,PlcCrv -> BoolElt
P eq Q : PlcCrvElt, PlcCrvElt -> BoolElt
p eq q : Pt,Pt -> BoolElt
p eq q : Pt,Pt -> BoolElt
P eq Q : PtEll, PtEll -> BoolElt
P eq Q : PtHyp, PtHyp -> BoolElt
f eq g : QuadBinElt, QuadBinElt -> 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
L eq K : RngLoc, RngLoc -> BoolElt
P1 eq P2 : RngLoc, RngLoc -> BoolElt
x eq y : RngLocElt, RngLocElt -> BoolElt
I eq J : RngMPol, RngMPol -> BoolElt
I eq J : RngMPolRes, RngMPolRes -> BoolElt
N eq O : RngOrd, RngOrd -> BoolElt
I eq J : RngUPol, RngUPol -> BoolElt
RD1 eq RD2 : RootDtm, RootDtm -> BoolElt
A eq B : Sch,Sch -> BoolElt
C eq D : Sch,Sch -> BoolElt
X eq Y : Sch,Sch -> BoolElt
G1 eq G2 : SchGrpEll, SchGrpEll -> BoolElt
S eq T : SeqEnum, SeqEnum -> BoolElt
R eq S : Set, Set -> BoolElt
P eq Q : SetPt,SetPt -> BoolElt
H1 eq H2 : SetPtEll, SetPtEll -> BoolElt
u eq v : SgpFPElt, SgpFPElt -> BoolElt
x eq y : SpcHypElt, SpcHypElt -> BoolElt
P eq Q : SrfKumPt, SrfKumPt -> BoolElt
e eq f : SubFldLatElt, SubFldLatElt -> BoolElt
e eq f : SubGrpLatElt, SubGrpLatElt -> SubGrpLatElt
e eq f : SubModLatElt, SubModLatElt -> SubModLatElt
G1 eq G2 : SymGen, SymGen -> BoolElt
G1 eq G2 : SymGenLoc, SymGenLoc -> BoolElt
h eq k : SymKod, SymKod -> BoolElt
T eq U : Tup, Tup -> BoolElt
X eq Y : VSrfK3,VSrfK3 -> BoolElt
Equality and Membership (LOCAL RINGS AND FIELDS)
Equality and Membership (p-ADIC RINGS AND FIELDS)
EqualDegreeFactorization(f, d, g) : RngUPolElt, RngIntElt, RngUPolElt -> [ RngUPolElt ]
IsEqual( F, w1, w2 ) : GrpFP, GrpFPElt, GrpFPElt -> BoolElt
IsWeaklyEqual(f, g) : RngSerElt, RngSerElt -> BoolElt
IsogeniesAreEqual(I, J) : Map, Map -> BoolElt
SearchEqual(~P: parameters) : Process(Tietze) ->
Comparison (OVERVIEW)
EqualDegreeFactorization(f, d, g) : RngUPolElt, RngIntElt, RngUPolElt -> [ RngUPolElt ]
State_Equality (Example H1E7)
Comparison (OVERVIEW)
Equality (POWER, LAURENT AND PUISEUX SERIES)
Equality and Membership (ALGEBRAIC FUNCTION FIELDS)
Equality and Membership (ALGEBRAIC FUNCTION FIELDS)
Equality and Membership (ALGEBRAIC FUNCTION FIELDS)
Equality and Membership (ALGEBRAIC FUNCTION FIELDS)
Equality and Membership (MULTIVARIATE POLYNOMIAL RINGS)
Equality and Membership (ORDERS AND ALGEBRAIC FIELDS)
Equality and Membership (POWER, LAURENT AND PUISEUX SERIES)
Equality and Membership (RATIONAL FUNCTION FIELDS)
Equality and Membership (UNIVARIATE POLYNOMIAL RINGS)
Equality and Membership (VALUATION RINGS)
Equality Operators (STATEMENTS AND EXPRESSIONS)
Equality, Comparison and Membership (ALGEBRAIC FUNCTION FIELDS)
Identity and Isomorphism (FINITE PLANES)
Identity and Isomorphism (INCIDENCE STRUCTURES AND DESIGNS)
Inclusion and Equality (FINITE SOLUBLE GROUPS)
Equality and Membership (ALGEBRAIC FUNCTION FIELDS)
Equality and Membership (ALGEBRAIC FUNCTION FIELDS)
Equality and Membership (ALGEBRAIC FUNCTION FIELDS)
Equality and Membership (ALGEBRAIC FUNCTION FIELDS)
Equality and Membership (MULTIVARIATE POLYNOMIAL RINGS)
Equality and Membership (ORDERS AND ALGEBRAIC FIELDS)
Equality and Membership (POWER, LAURENT AND PUISEUX SERIES)
Equality and Membership (RATIONAL FUNCTION FIELDS)
Equality and Membership (UNIVARIATE POLYNOMIAL RINGS)
Equality and Membership (VALUATION RINGS)
Equality, Comparison and Membership (ALGEBRAIC FUNCTION FIELDS)
Equality Operators (STATEMENTS AND EXPRESSIONS)
EqualizeDegrees(C, D) : ModCpx, ModCpx -> ModCpx, ModCpx
EqualizeDegrees(C, D, n) : ModCpx, ModCpx, RngIntElt -> ModCpx, ModCpx
EqualizeDegrees(C, D) : ModCpx, ModCpx -> ModCpx, ModCpx
EqualizeDegrees(C, D, n) : ModCpx, ModCpx, RngIntElt -> ModCpx, ModCpx
Comparison (OVERVIEW)
AtkinModularEquation(N) : RngIntElt -> RngMPolElt
CanonicalModularEquation(N) : RngIntElt -> RngMPolElt
ClassicalModularEquation(N) : RngIntElt -> RngMPolElt
DefiningEquation(C) : Sch -> RngMPolElt
Equation(C) : Sch -> RngMPolElt
DefiningEquation(K) : SrfKum -> RngMPolElt
DefiningPolynomial(E) : CrvEll -> RngMPolElt
Equation(C) : Sch -> RngMPolElt
Equation(X) : Sch -> RngMPolElt
EquationOrder(E) : CrvEll -> RngOrdFun
EquationOrder(C) : CrvHyp -> RngFunOrd
EquationOrder(A) : FldAb -> RngOrd
EquationOrder(K) : FldNum -> RngOrd
EquationOrder(F) : FldQuad -> RngQuad
EquationOrder(O) : RngOrd -> RngOrd
EquationOrder(f) : RngUPolElt -> RngOrd
EquationOrderFinite(F) : FldFun -> RngFunOrd
EquationOrderFinite(F) : FldFun -> RngFunOrd
MaximalOrderFinite(F) : FldFun -> RngFunOrd
EquationOrderInfinite(F) : FldFun -> RngFunOrd
EvaluateEquation(C, a, b, c) : CrvHyp, RngElt, RngElt, RngElt -> RngElt
IndexFormEquation(O, k) : RngOrd, RngIntElt -> [ RngOrdElt ]
IsEquationOrder(O) : RngFunOrd -> BoolElt
IsEquationOrder(O) : RngOrd -> BoolElt
LegendreEquation(C) : CrvCon -> RngMPolElt, ModMatRngElt
NormEquation(K, y) : FldFin, FldFin -> BoolElt, FldFinElt
NormEquation(F, m) : FldQuad, RngIntElt -> BoolElt, SeqEnum
NormEquation(d, m) : RngIntElt, RngIntElt -> BoolElt, RngIntElt, RngIntElt
NormEquation(O, m) : RngOrd, RngIntElt -> BoolElt, [ RngOrdElt ]
Polynomial(C) : CrvCon -> RngMPolElt
UnitEquation(a, b, c) : FldNumElt, FldNumElt, FldNumElt -> [ ModHomElt ]
Norm Equations (ORDERS AND ALGEBRAIC FIELDS)
Nullspaces and Solutions of Systems (MATRICES)
Solutions of Systems of Linear Equations (MATRIX ALGEBRAS)
Solving Equations (ORDERS AND ALGEBRAIC FIELDS)
Solving Linear Equations in Z/mZ (RING OF INTEGERS)
The Solution of Modular Equations (RING OF INTEGERS)
Unit Equations (ORDERS AND ALGEBRAIC FIELDS)
EquationOrder(E) : CrvEll -> RngOrdFun
EquationOrder(C) : CrvHyp -> RngFunOrd
EquationOrder(A) : FldAb -> RngOrd
EquationOrder(K) : FldNum -> RngOrd
EquationOrder(F) : FldQuad -> RngQuad
EquationOrder(O) : RngOrd -> RngOrd
EquationOrder(f) : RngUPolElt -> RngOrd
EquationOrderInfinite(F) : FldFun -> RngFunOrd
MaximalOrderFinite(F) : FldFun -> RngFunOrd
MaximalOrderInfinite(F) : FldFun -> RngFunOrd
EquationOrderFinite(F) : FldFun -> RngFunOrd
EquationOrderFinite(F) : FldFun -> RngFunOrd
EquationOrderInfinite(F) : FldFun -> RngFunOrd
MaximalOrderFinite(F) : FldFun -> RngFunOrd
MaximalOrderInfinite(F) : FldFun -> RngFunOrd
EquationOrderFinite(F) : FldFun -> RngFunOrd
EquationOrderInfinite(F) : FldFun -> RngFunOrd
DefiningEquations(f) : MapSch -> SeqEnum
Equations(X) : Sch -> SeqEnum
InverseDefiningEquations(f) : MapSch -> SeqEnum
Functions of the Equations (SCHEMES)
IsEquidistant(C) : Code -> BoolElt
EquitablePartition(P, G) : { { GrphVert } }, GrphUnd -> { { GrphVert } }
IsEquitable(G, P) : GrphUnd, { { GrphVert } } -> BoolElt
EquitablePartition(P, G) : { { GrphVert } }, GrphUnd -> { { GrphVert } }
Equivalence and Isomorphism of Codes (LINEAR CODES OVER FINITE FIELDS)
Linear Equivalence of Divisors (PLANE ALGEBRAIC CURVES)
EquivalentQuotients(SQP, SQR : parameters) : SQProc, SQProc -> BoolElt, SQProc
IsEquivalent(g,h,G) : GrpPSL2Elt, GrpPSL2Elt, GrpPSL2 -> BoolElt
IsEquivalent(C, D: parameters) : Code, Code -> BoolElt, Map
IsEquivalent(f, g) : QuadBinElt, QuadBinElt -> BoolElt, AlgMatElt
IsEquivalent(a,b,G) : SpcHypElt, SpcHypElt, GrpPSL2 -> BoolElt
IsGL2Equivalent(f, g, n) : RngUPolElt, RngUPolElt, RngIntElt -> BoolElt, SeqEnum
IsHadamardEquivalent(H, J) : AlgMatElt, AlgMatElt -> BoolElt
IsLinearlyEquivalent(D1,D2) : DivCrvElt,DivCrvElt -> BoolElt
KnuthEquivalent(w1, w2) : SeqEnum,SeqEnum -> BoolElt
Writing Representations over Subfields (MATRIX GROUPS)
Writing Representations over Subfields (MATRIX GROUPS)
EquivalentQuotients(SQP, SQR : parameters) : SQProc, SQProc -> BoolElt, SQProc
Erf(r) : FldReElt -> FldReElt
ErrorFunction(r) : FldReElt -> FldReElt
Erfc(r) : FldReElt -> FldReElt
ComplementaryErrorFunction(r) : FldReElt -> FldReElt
Erfc(r) : FldReElt -> FldReElt
ComplementaryErrorFunction(r) : FldReElt -> FldReElt
ErrorFunction(r) : FldReElt -> FldReElt
SetQuitOnError(b) : BoolElt ->
Combinatorial and Geometrical Structures (OVERVIEW)
error statement (OVERVIEW)
LINEAR CODES OVER FINITE FIELDS
LINEAR CODES OVER FINITE RINGS
error expression, ..., expression;
LINEAR CODES OVER FINITE FIELDS
LINEAR CODES OVER FINITE RINGS
error if boolexpr, expression, ..., expression;
Erf(r) : FldReElt -> FldReElt
ErrorFunction(r) : FldReElt -> FldReElt
Error Checking and Assertions (STATEMENTS AND EXPRESSIONS)
Performing shell commands from Magma (OVERVIEW)
EstimateOrbit(G, U: parameters) : GrpMat, ModTupFld -> RngIntElt, RngIntElt, RngIntElt
EstimateOrbit(G, U: parameters) : GrpMat, ModTupFld -> RngIntElt, RngIntElt, RngIntElt
McElieceEtAlAsymptoticBound(delta) : FldPrElt -> FldPrElt
DedekindEta(s) : FldPrElt -> FldPrElt
DedekindEta(z) : RngSerElt -> RngSerElt
Eta(A) : AlgGrp -> AlgGrpElt
Canonical Forms for Matrices over Euclidean Domains (MATRIX ALGEBRAS)
Euclidean Operations (GALOIS RINGS)
EuclideanNorm(n) : RngIntElt -> RngIntElt
EuclideanNorm(p) : RngUPol -> RngIntElt
EuclideanNorm(v) : RngValElt -> RngIntElt
IsEuclideanDomain(F) : FldAlg -> BoolElt
IsEuclideanDomain(R) : Rng -> BoolElt
IsEuclideanRing(R) : Rng -> BoolElt
Canonical Forms over Euclidean Domains (MATRICES)
Gröbner Bases over Euclidean Rings (IDEAL THEORY AND GRÖBNER BASES)
Canonical Forms for Matrices over Euclidean Domains (MATRIX ALGEBRAS)
EuclideanNorm(n) : RngIntElt -> RngIntElt
EuclideanNorm(p) : RngUPol -> RngIntElt
EuclideanNorm(v) : RngValElt -> RngIntElt
EulerCharacteristic(s) : GrphSpl -> RngIntElt
EulerFactor(J) : JacHyp -> RngUPolElt
EulerFactor(J, K) : JacHyp, FldFin -> RngUPolElt
EulerFactorModChar(J) : JacHyp -> RngUPolElt
EulerGamma(R) : FldPr -> FldPrElt
EulerPhi(n) : RngIntElt -> RngIntElt
FactoredEulerPhi(n) : RngIntElt -> RngIntEltFact
EulerCharacteristic(s) : GrphSpl -> RngIntElt
EulerFactor(J) : JacHyp -> RngUPolElt
EulerFactor(J, K) : JacHyp, FldFin -> RngUPolElt
EulerFactorModChar(J) : JacHyp -> RngUPolElt
EulerGamma(R) : FldPr -> FldPrElt
[Future release] EulerianCircuit(G) : GrphUnd -> [GrphVert]
EulerianNumber(n, r) : RngIntElt, RngIntElt -> RngIntElt
IsEulerian(G) : Grph -> BoolElt
[Future release] EulerianCircuit(G) : GrphUnd -> [GrphVert]
EulerianNumber(n, r) : RngIntElt, RngIntElt -> RngIntElt
EulerPhi(n) : RngIntElt -> RngIntElt
Evaluate(f,P) : MapCrvHyp, PtHyp -> PtHyp
P @ f : PtHyp, MapCrvHyp -> PtHyp
Evaluate(a, P) : FldFunElt, PlcFunElt -> RngElt
Evaluate(f,p) : FldFunElt,Pt -> RngElt
Evaluate(f, v, r) : FldFunRatMElt, RngIntElt, RngElt -> FldFunRatMElt
Evaluate(f, r) : FldFunRatUElt, RngElt -> FldFunRatUElt
Evaluate(x,n) : GrpDrchElt, RngIntElt -> RngElt
Evaluate(a, P) : RngElt, PlcFunElt -> RngElt
Evaluate(f,p) : RngElt,Pt -> RngElt
Evaluate(a, P) : RngFunOrdElt, PlcFunElt -> RngElt
Evaluate(f, i, r) : RngMPolElt, RngMPolElt, RngElt -> RngMPolElt
Evaluate(f, s) : RngMPolElt, [ RngElt ] -> RngElt
Evaluate(f, s) : RngSerElt, RngElt -> RngElt
Evaluate(p, r) : RngUPolElt, RngElt -> RngElt
Evaluate(t, a, b) : Thue, RngIntElt, RngIntElt -> RngIntElt
EvaluateAt(L, p) : LP, Mtrx -> RngIntElt
EvaluateEquation(C, a, b, c) : CrvHyp, RngElt, RngElt, RngElt -> RngElt
Evaluation (RATIONAL FUNCTION FIELDS)
Expression (OVERVIEW)
Scheme_evaluate-funfld-example (Example H81E3)
EvaluateAt(L, p) : LP, Mtrx -> RngIntElt
EvaluateEquation(C, a, b, c) : CrvHyp, RngElt, RngElt, RngElt -> RngElt
Evaluation and Derivative (POWER, LAURENT AND PUISEUX 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 and Derivative (POWER, LAURENT AND PUISEUX SERIES)
Evaluation, Interpolation (MULTIVARIATE POLYNOMIAL RINGS)
EvenWeightCode(n) : RngIntElt -> Code
IsDoublyEven(C) : Code -> BoolElt
IsEven(C) : Code -> BoolElt
IsEven(x) : GrpDrchElt -> BoolElt
IsEven(g) : GrpPermElt -> BoolElt
IsEven(J) : JacHyp -> BoolElt
IsEven(L) : Lat -> BoolElt
IsEven(n) : RngIntElt -> BoolElt
EvenWeightCode(n) : RngIntElt -> Code
ClassGroupExactSequence(F) : FldFun -> Map, Map, Map
ClassGroupExactSequence(O) : RngFunOrd -> Map, Map, Map
DimensionOfExactConstantField(F) : FldFun -> RngIntElt
ExactConstantField(F) : FldFunG -> Rng, Map
ExactExtension(C) : ModCpx -> ModCpx
ExactQuotient(n, d) : RngIntElt, RngIntElt -> RngIntElt
ExactQuotient(f, g) : RngUPolElt, RngUPolElt -> RngUPolElt
ExactValue(z) : SpcHypElt -> .
IsExact(a) : DiffFunElt -> BoolElt
IsExact(d) : DiffFunElt -> BoolElt, FldFunGElt
IsExact(L) : Lat -> BoolElt
IsExact(C) : ModComplex -> BoolElt
IsExact(C, n) : ModCpx, RngIntElt -> BoolElt
IsExact(z) : SpcHypElt -> BoolElt
IsShortExactSequence(f, g) : MapChn, MapChn -> BoolElt
IsShortExactSequence(C) : ModCpx -> BoolElt, RngIntElt
LeftExactExtension(C) : ModCpx -> ModCpx
LongExactSequenceOnHomology(f,g) : MapChn, MapChn -> ModCpx
RightExactExtension(C) : ModCpx -> ModCpx
RootsNonExact(p) : RngUPolElt -> [ FldPrElt ], [ FldPrElt ]
SClassGroupExactSequence(S) : SetEnum[PlcFunElt] -> Map, Map, Map
f div g : RngMPolElt, RngMPolElt -> RngMPolElt
ExactConstantField(F) : FldFunG -> Rng, Map
ExactExtension(C) : ModCpx -> ModCpx
ExactQuotient(n, d) : RngIntElt, RngIntElt -> RngIntElt
ExactQuotient(f, g) : RngUPolElt, RngUPolElt -> RngUPolElt
f div g : RngMPolElt, RngMPolElt -> RngMPolElt
ExactValue(z) : SpcHypElt -> .
Example (OVERVIEW)
AlgAff_Creation (Example H51E1)
AlgAff_EllipticCurve (Example H51E3)
AlgAff_Factorization (Example H51E4)
AlgAff_MinimalPolynomial (Example H51E2)
AlgAff_MultiExtension (Example H51E5)
AlgAss_liealg (Example H70E1)
AlgBas_AModules (Example H79E2)
AlgBas_BasicAlgebras (Example H79E1)
AlgBas_Cohomology (Example H79E5)
AlgBas_Homomorphisms (Example H79E3)
AlgBas_Opposite (Example H79E4)
AlgCon_cayley (Example H69E2)
AlgCon_jordan (Example H69E1)
AlgFP_Abstract (Example H74E2)
AlgFP_FreeAlgebra (Example H74E1)
AlgFP_PermutationActionD8 (Example H74E3)
AlgFP_Quotient (Example H74E4)
AlgGen_quaternions (Example H68E1)
AlgGrp_average (Example H73E6)
AlgGrp_creation (Example H73E1)
AlgGrp_el-creation (Example H73E2)
AlgGrp_jacobson (Example H73E4)
AlgGrp_powering (Example H73E5)
AlgGrp_wedderburn (Example H73E3)
AlgLie_CartanSubalgebra (Example H75E4)
AlgLie_DirectSumDecomposition (Example H75E6)
AlgLie_LieAlgebra (Example H75E11)
AlgLie_NonNilpotentElement (Example H75E10)
AlgLie_Operations (Example H75E3)
AlgLie_Other (Example H75E9)
AlgLie_Predicates (Example H75E7)
AlgLie_RootSystem (Example H75E2)
AlgLie_SemiSimpleType (Example H75E8)
AlgLie_Series (Example H75E5)
AlgLie_SimpleLieAlgebra (Example H75E1)
AlgMat_Cambridge (Example H72E2)
AlgMat_CanonicalForms (Example H72E8)
AlgMat_Creation (Example H72E1)
AlgMat_EchelonForm (Example H72E6)
AlgMat_ElementaryDivisors (Example H72E7)
AlgMat_Invariants (Example H72E3)
AlgMat_Products (Example H72E5)
AlgMat_SubAlgebra (Example H72E4)
AlgQuat_Basis_Reduction (Example H71E11)
AlgQuat_Element_Arithmetic (Example H71E5)
AlgQuat_Elementary_Ideals (Example H71E8)
AlgQuat_Ideal_Arithmetic (Example H71E10)
AlgQuat_Ideal_Bases (Example H71E7)
AlgQuat_Ideal_Enumeration (Example H71E9)
AlgQuat_Left_Right_Isomorphisms (Example H71E12)
AlgQuat_Quaternion_Constructor (Example H71E1)
AlgQuat_Quaternion_Constructor_over_Rationals (Example H71E2)
AlgQuat_Quaternion_Orders_over_Polynomial_Rings (Example H71E4)
AlgQuat_Quaternion_Orders_over_the_Integers (Example H71E3)
AlgQuat_Ramified_Primes (Example H71E6)
AlgQuat_Unit_Group (Example H71E13)
Chtr_A5 (Example H77E1)
CodeFld_AlgebraicGeometricCode (Example H97E37)
CodeFld_AlgebraicGeometricCode (Example H97E38)
CodeFld_AlternantCode (Example H97E28)
CodeFld_AutomorphismGroup (Example H97E44)
CodeFld_BCHCode (Example H97E26)
CodeFld_BestLengthDimension (Example H97E40)
CodeFld_Card-Best-Comparison (Example H97E39)
CodeFld_ChainCyclic (Example H97E25)
CodeFld_CodeFromMatrix (Example H97E2)
CodeFld_ConcatenatedCode (Example H97E32)
CodeFld_Coordinates (Example H97E12)
CodeFld_CosetLeaders (Example H97E13)
CodeFld_CoveringRadius (Example H97E24)
CodeFld_CyclicCode (Example H97E5)
CodeFld_Decode (Example H97E42)
CodeFld_Distance (Example H97E11)
CodeFld_DualRS (Example H97E16)
CodeFld_GRSCode (Example H97E30)
CodeFld_GeneratorMatrix (Example H97E8)
CodeFld_GeneratorPolynomial (Example H97E10)
CodeFld_GoppaCode (Example H97E27)
CodeFld_HammingCode (Example H97E6)
CodeFld_MacWilliams (Example H97E22)
CodeFld_Make12-8-4Code (Example H97E31)
CodeFld_MattsonSolomonTransform (Example H97E43)
CodeFld_PermutationCode (Example H97E3)
CodeFld_QuadraticResidueCode (Example H97E29)
CodeFld_ReedMullerCode (Example H97E7)
CodeFld_SelfDual (Example H97E17)
CodeFld_SimpleCodeChain (Example H97E4)
CodeFld_StandardForm (Example H97E9)
CodeFld_SubcodeBetweenCode (Example H97E14)
CodeFld_SumIntersection (Example H97E15)
CodeFld_TernaryGolayCode (Example H97E1)
CodeFld_VerboseBestCode (Example H97E41)
CodeFld_VerifyLower (Example H97E19)
CodeFld_WeaklySelfDual (Example H97E18)
CodeFld_WeightDistribution (Example H97E20)
CodeFld_WeightEnumerator (Example H97E21)
CodeFld_Words (Example H97E23)
CodeFld_X3 (Example H97E34)
CodeFld_XX (Example H97E35)
CodeFld_Zinoviev (Example H97E36)
CodeFld_constructionX (Example H97E33)
CodeRng_CodeFromMatrix (Example H98E2)
CodeRng_CyclicCode (Example H98E4)
CodeRng_Distance (Example H98E6)
CodeRng_GrayMap (Example H98E9)
CodeRng_Kerdock (Example H98E11)
CodeRng_PermutationCode (Example H98E3)
CodeRng_SelfDualZ4 (Example H98E7)
CodeRng_StandardForm (Example H98E8)
CodeRng_SumIntersection (Example H98E5)
CodeRng_TernaryGolayCode (Example H98E1)
CodeRng_WeightEnumerator (Example H98E10)
Coproduct_cop (Example H11E1)
CrvCon_Access (Example H84E6)
CrvCon_Creation (Example H84E5)
CrvCon_Solution (Example H84E7)
CrvCon_aff-param (Example H84E4)
CrvCon_conic_curve (Example H84E2)
CrvCon_no-reduced-affine-solution (Example H84E8)
CrvCon_rat_crv_parametrisation (Example H84E3)
CrvCon_rational_curve (Example H84E1)
CrvEll_AbelianGroup (Example H85E30)
CrvEll_BaseExtend (Example H85E2)
CrvEll_Creation (Example H85E1)
CrvEll_Desboves (Example H85E23)
CrvEll_DivisionPolynomial (Example H85E14)
CrvEll_DualIsogeny (Example H85E36)
CrvEll_ECDL (Example H85E31)
CrvEll_Frobenius (Example H85E37)
CrvEll_FunWithHeights (Example H85E18)
CrvEll_GenericCurve (Example H85E6)
CrvEll_GenericPoint (Example H85E11)
CrvEll_IntegralPoints (Example H85E20)
CrvEll_IntegralPointsSequence (Example H85E21)
CrvEll_Invariants (Example H85E29)
CrvEll_Invariants (Example H85E5)
CrvEll_Isogeny (Example H85E32)
CrvEll_Isomorphism (Example H85E34)
CrvEll_Isomorphisms (Example H85E33)
CrvEll_Kodaira (Example H85E15)
CrvEll_LinearIndependence (Example H85E19)
CrvEll_Map (Example H85E35)
CrvEll_Models (Example H85E3)
CrvEll_MordellWeil (Example H85E16)
CrvEll_Order (Example H85E27)
CrvEll_PlayWithPoints (Example H85E12)
CrvEll_PointArithmetic (Example H85E10)
CrvEll_PointSets (Example H85E9)
CrvEll_Rank (Example H85E17)
CrvEll_SEA (Example H85E26)
CrvEll_SIntegralPoints (Example H85E22)
CrvEll_SubgroupSchemes (Example H85E8)
CrvEll_Twists (Example H85E28)
CrvEll_Twists (Example H85E4)
CrvEll_Twists2 (Example H85E7)
CrvEll_WeilPairing (Example H85E13)
CrvEll_ecdb1 (Example H85E24)
CrvEll_ecdb2 (Example H85E25)
CrvHyp_Automorphism_Group (Example H86E8)
CrvHyp_BaseExtension (Example H86E2)
CrvHyp_Creation (Example H86E1)
CrvHyp_CurveFromIgusa (Example H86E5)
CrvHyp_HeightPairing (Example H86E12)
CrvHyp_Jac_Point_Counting (Example H86E10)
CrvHyp_Jac_WeilPairing (Example H86E9)
CrvHyp_KummerRationalPoints (Example H86E13)
CrvHyp_PointEnumeration (Example H86E6)
CrvHyp_QuadraticTwists (Example H86E3)
CrvHyp_QuadraticTwists (Example H86E4)
CrvHyp_TorsionGroups (Example H86E11)
CrvHyp_Transformation (Example H86E7)
CrvMod_CrvMod:class-polys (Example H87E5)
CrvMod_CrvMod:modular-base-curve (Example H87E4)
CrvMod_CrvMod:modular-equations (Example H87E2)
CrvMod_CrvMod:moduli-points (Example H87E1)
CrvMod_CrvMod:subgroup-scheme (Example H87E3)
Crv_canonical-map (Example H82E20)
Crv_canonical_divisor (Example H82E18)
Crv_curve-base-change (Example H82E2)
Crv_curve-differentials (Example H82E12)
Crv_curve-hessian (Example H82E3)
Crv_curve-iscusp (Example H82E4)
Crv_divisor-class-group-example (Example H82E19)
Crv_divisor-equations (Example H82E15)
Crv_divisor1 (Example H82E16)
Crv_divisor2 (Example H82E17)
Crv_ff-creation-example (Example H82E10)
Crv_ff-elements-example (Example H82E11)
Crv_klein-quartic-code (Example H82E22)
Crv_local-intersection-example (Example H82E6)
Crv_place-equations (Example H82E13)
Crv_plane-points (Example H82E1)
Crv_proj-cl-commutes (Example H82E7)
Crv_second-affine-patch (Example H82E8)
Crv_translation-to-infinity (Example H82E9)
Crv_trigonal-curve (Example H82E21)
Crv_weighted-blowup (Example H82E5)
Crv_zeros-and-poles (Example H82E14)
Design_Constructors (Example H94E1)
Design_DevelopDifferenceSet (Example H94E6)
Design_auto (Example H94E11)
Design_automorphism (Example H94E12)
Design_conv (Example H94E10)
Design_design-invar (Example H94E7)
Design_graphs (Example H94E13)
Design_hadamard (Example H94E5)
Design_points-blocks (Example H94E2)
Design_pts-blks-ops (Example H94E8)
Design_related (Example H94E3)
Design_resol-parallel (Example H94E9)
Design_wittex (Example H94E4)
EnumComb_OddGraph (Example H92E1)
EnumComb_Partitions (Example H92E2)
EnumComb_RestrictedPartitions (Example H92E3)
Env_Startup (Example H4E1)
FldAC_Create (Example H56E1)
FldAC_Cyclic6 (Example H56E5)
FldAC_Functions (Example H56E4)
FldAC_Puiseux (Example H56E3)
FldAC_Split (Example H56E6)
FldAC_SwinnertonDyer (Example H56E2)
FldCyc_GaussianPeriods (Example H55E1)
FldFin_Dickson (Example H47E5)
FldFin_Extensions (Example H47E1)
FldFin_Functions (Example H47E3)
FldFin_Functions (Example H47E4)
FldFin_VectorSpace (Example H47E2)
FldFunG_AlgReln1 (Example H57E13)
FldFunG_AlgReln2 (Example H57E14)
FldFunG_Creation (Example H57E1)
FldFunG_Creation (Example H57E2)
FldFunG_Elements (Example H57E3)
FldFunG_GaloisGroups (Example H57E5)
FldFunG_Subfields (Example H57E6)
FldFunG_div_diff (Example H57E16)
FldFunG_divisors (Example H57E12)
FldFunG_elements (Example H57E7)
FldFunG_global-function-fields (Example H57E15)
FldFunG_module (Example H57E8)
FldFunG_order-ideals (Example H57E10)
FldFunG_orders (Example H57E9)
FldFunG_places (Example H57E11)
FldFunG_related-structures (Example H57E4)
FldFunRat_FunctionField (Example H46E1)
FldFunRat_Homomorphism (Example H46E2)
FldFunRat_PartialFractionDecomposition (Example H46E3)
FldQuad_Represent (Example H54E4)
FldQuad_creation (Example H54E1)
FldQuad_hom (Example H54E2)
FldQuad_norm-equation (Example H54E3)
FldRat_Coercion (Example H41E1)
FldRat_homomorphism (Example H41E2)
FldRat_numerator (Example H41E3)
FldRe_CreateComplexField (Example H43E3)
FldRe_CreateElements (Example H43E4)
FldRe_Eisenstein (Example H43E7)
FldRe_Eisenstein (Example H43E8)
FldRe_FixedPrecision (Example H43E1)
FldRe_Homomorphisms (Example H43E2)
FldRe_Integral (Example H43E9)
FldRe_Roots (Example H43E5)
FldRe_RootsNonExact (Example H43E6)
Func_InteractiveUserAttributes (Example H2E12)
Func_PackageUserAttributes (Example H2E13)
Func_Parameters (Example H2E2)
Func_Procedures (Example H2E4)
Func_Recursion (Example H2E1)
Func_SystemAttributes (Example H2E11)
Func_Underscore (Example H2E3)
Func_forward (Example H2E5)
Func_import (Example H2E7)
Func_intrinsic (Example H2E6)
Func_require (Example H2E8)
Func_spec (Example H2E9)
Func_startup-spec (Example H2E10)
GB_ChangeOrder (Example H50E16)
GB_ChangeRing (Example H50E15)
GB_Coordinates (Example H50E7)
GB_Cyclic6 (Example H50E2)
GB_Degree-d (Example H50E21)
GB_ElementOperations (Example H50E9)
GB_EliminationIdeal (Example H50E12)
GB_FindingPrimes (Example H50E5)
GB_GBoverZ (Example H50E4)
GB_Graded (Example H50E20)
GB_Hilbert (Example H50E22)
GB_HilbertGroebner (Example H50E23)
GB_HomogeneousModuleTest1 (Example H50E27)
GB_IdealArithmetic (Example H50E8)
GB_IsSymmetric (Example H50E26)
GB_Map1 (Example H50E25)
GB_Order (Example H50E1)
GB_PrimaryDecomposition (Example H50E18)
GB_QuadraticOrderElim (Example H50E11)
GB_QuadraticOrderGB (Example H50E6)
GB_Radical (Example H50E17)
GB_RelationIdeal (Example H50E14)
GB_RungeKutta2 (Example H50E3)
GB_SyzygyModule (Example H50E24)
GB_TriangularDecomposition (Example H50E19)
GB_Variety (Example H50E10)
GB_ZRadical (Example H50E13)
Graph_AutomorphismAction (Example H93E16)
Graph_AutomorphismGroup (Example H93E14)
Graph_AutomorphismGroup (Example H93E17)
Graph_CayleyGraph (Example H93E8)
Graph_ChromaticNumber (Example H93E12)
Graph_Cliques (Example H93E13)
Graph_Constructors (Example H93E1)
Graph_Constructors (Example H93E3)
Graph_Constructors (Example H93E4)
Graph_Constructors (Example H93E5)
Graph_EdgeSets (Example H93E6)
Graph_GraphGeneralAccess (Example H93E20)
Graph_GraphGeneration (Example H93E19)
Graph_GraphIsomorphim (Example H93E15)
Graph_Grotzch (Example H93E11)
Graph_Labels (Example H93E7)
Graph_Labels (Example H93E9)
Graph_Quotient (Example H93E10)
Graph_StronglyRegularGraphs (Example H93E18)
Graph_TutteCage (Example H93E2)
GrpAbGen_Creation (Example H27E1)
GrpAbGen_ElementCreationAndRep (Example H27E2)
GrpAbGen_ElementCreationAndRep (Example H27E6)
GrpAbGen_ElementOrderLog (Example H27E7)
GrpAbGen_GroupComputation (Example H27E3)
GrpAbGen_Homomorphisms (Example H27E8)
GrpAbGen_SubgroupCreation (Example H27E4)
GrpAbGen_pSylowComputation (Example H27E5)
GrpAb_AbelianGroup (Example H28E3)
GrpAb_FreeAbelianGroup (Example H28E1)
GrpAb_Relations (Example H28E2)
GrpAb_Relations (Example H28E4)
GrpAtc_Arithmetic (Example H31E3)
GrpAtc_AutomaticGroup (Example H31E1)
GrpAtc_BasicAccess (Example H31E4)
GrpAtc_Conversion (Example H31E9)
GrpAtc_GrowthFunction (Example H31E8)
GrpAtc_IsConfluent (Example H31E7)
GrpAtc_Order (Example H31E5)
GrpAtc_Set (Example H31E6)
GrpAtc_Words (Example H31E2)
GrpAuto_auto-maximals (Example H29E3)
GrpAuto_autogp-elts (Example H29E1)
GrpAuto_characteristicsubgps (Example H29E2)
GrpCox_Actions (Example H36E16)
GrpCox_AdditiveOrder (Example H36E7)
GrpCox_BasicDegrees (Example H36E8)
GrpCox_BraidGroups (Example H36E17)
GrpCox_CorootAction (Example H36E10)
GrpCox_Create (Example H36E1)
GrpCox_DescentSets (Example H36E6)
GrpCox_DominantWeights (Example H36E19)
GrpCox_F4 (Example H36E12)
GrpCox_FPCoxeterGroups (Example H36E13)
GrpCox_GSets (Example H36E9)
GrpCox_LongestCoxeterElements (Example H36E5)
GrpCox_RDFromCox (Example H36E4)
GrpCox_ReflectionGroups (Example H36E11)
GrpCox_ReflectionSubgroups (Example H36E2)
GrpCox_StandardAction (Example H36E18)
GrpCox_Transversals (Example H36E3)
GrpCox_WordArithmetic (Example H36E15)
GrpCox_WordOperations (Example H36E14)
GrpData_IsolGroup (Example H34E11)
GrpData_Quaternionic (Example H34E6)
GrpData_SmallGroups (Example H34E1)
GrpData_SmallIdentify (Example H34E3)
GrpData_Transitive (Example H34E7)
GrpData_TransitiveId (Example H34E9)
GrpData_TransitiveProcess (Example H34E8)
GrpData_perfgps (Example H34E4)
GrpData_ratgps1 (Example H34E5)
GrpData_sg-process (Example H34E12)
GrpData_sg-process (Example H34E2)
GrpData_sgdb (Example H34E10)
GrpFP_1_BuildSubgroups (Example H22E44)
GrpFP_1_Co1 (Example H22E52)
GrpFP_1_ControlExtn (Example H22E15)
GrpFP_1_CosetSatisfying (Example H22E51)
GrpFP_1_CosetSpace (Example H22E47)
GrpFP_1_CosetTable1 (Example H22E45)
GrpFP_1_CosetTable2 (Example H22E46)
GrpFP_1_Coxeter (Example H22E10)
GrpFP_1_DerSub (Example H22E48)
GrpFP_1_DirectProduct (Example H22E16)
GrpFP_1_DoubleCosets (Example H22E50)
GrpFP_1_ExcludedConjugates (Example H22E49)
GrpFP_1_F27 (Example H22E18)
GrpFP_1_F276 (Example H22E55)
GrpFP_1_F29 (Example H22E57)
GrpFP_1_FPCoxeterGroups (Example H22E12)
GrpFP_1_FPGroup1 (Example H22E11)
GrpFP_1_FPGroup2 (Example H22E13)
GrpFP_1_Family (Example H22E33)
GrpFP_1_Free (Example H22E1)
GrpFP_1_G23 (Example H22E53)
GrpFP_1_HN (Example H22E32)
GrpFP_1_Homomorphism (Example H22E17)
GrpFP_1_ImplicitCosetEnumeration (Example H22E34)
GrpFP_1_Index1 (Example H22E30)
GrpFP_1_L372 (Example H22E58)
GrpFP_1_Lix1 (Example H22E36)
GrpFP_1_Lix2 (Example H22E37)
GrpFP_1_Lix3 (Example H22E38)
GrpFP_1_Lix4 (Example H22E39)
GrpFP_1_Lix5 (Example H22E40)
GrpFP_1_Modular (Example H22E7)
GrpFP_1_NilpotentQuotient1 (Example H22E24)
GrpFP_1_NilpotentQuotient2 (Example H22E25)
GrpFP_1_Order11 (Example H22E31)
GrpFP_1_ReduceGeneratingSet (Example H22E56)
GrpFP_1_Relations (Example H22E4)
GrpFP_1_RepresentationTheory (Example H22E59)
GrpFP_1_Rewrite (Example H22E35)
GrpFP_1_SchreierGenerators (Example H22E42)
GrpFP_1_Simplify1 (Example H22E54)
GrpFP_1_SolubleQuotient1 (Example H22E26)
GrpFP_1_SolubleQuotient2 (Example H22E27)
GrpFP_1_StandardGroups (Example H22E14)
GrpFP_1_SubgroupConstructions (Example H22E41)
GrpFP_1_SubgroupOps (Example H22E43)
GrpFP_1_Subgroups1 (Example H22E28)
GrpFP_1_Subgroups2 (Example H22E29)
GrpFP_1_Symmetric1 (Example H22E5)
GrpFP_1_Symmetric2 (Example H22E6)
GrpFP_1_Tetrahedral (Example H22E8)
GrpFP_1_ThreeInvols (Example H22E9)
GrpFP_1_WordAccess (Example H22E2)
GrpFP_1_Words (Example H22E3)
GrpFP_1_gmoduleprimes (Example H22E60)
GrpFP_1_modular-abelian-quotient (Example H22E19)
GrpFP_1_pQuotient1 (Example H22E20)
GrpFP_1_pQuotient2 (Example H22E21)
GrpFP_1_pQuotient3 (Example H22E22)
GrpFP_1_pQuotient4 (Example H22E23)
GrpFP_2_ACEProc1 (Example H23E3)
GrpFP_2_ACEProc2 (Example H23E4)
GrpFP_2_ACEProc3 (Example H23E5)
GrpFP_2_ACEProc4 (Example H23E6)
GrpFP_2_ACEProcCosetSpace (Example H23E8)
GrpFP_2_ACEProcTransversal (Example H23E7)
GrpFP_2_Replace (Example H23E1)
GrpFP_2_SolubleQuotient (Example H23E13)
GrpFP_2_WordOps (Example H23E2)
GrpFP_2_pQuotient5 (Example H23E9)
GrpFP_2_pQuotient6 (Example H23E10)
GrpFP_2_pQuotient7 (Example H23E11)
GrpFP_2_pQuotient8 (Example H23E12)
GrpGPC_Conjugacy (Example H24E12)
GrpGPC_Constructor (Example H24E1)
GrpGPC_CosetAction (Example H24E8)
GrpGPC_CosetTable (Example H24E7)
GrpGPC_FittingSubgroup (Example H24E15)
GrpGPC_Homomorphism (Example H24E4)
GrpGPC_ModuleMaps (Example H24E16)
GrpGPC_NormalStructure (Example H24E11)
GrpGPC_PolycyclicGroup (Example H24E2)
GrpGPC_RepresentationTheory (Example H24E13)
GrpGPC_Subgroup (Example H24E3)
GrpGPC_SubgroupStructure (Example H24E9)
GrpGPC_SubgroupStructure2 (Example H24E10)
GrpGPC_SubgroupsQuotientsTransfer (Example H24E6)
GrpGPC_Symmetric2 (Example H24E5)
GrpGPC_gmoduleprimes (Example H24E14)
GrpLie_Bruhat (Example H37E6)
GrpLie_Create (Example H37E1)
GrpLie_ElementCreate (Example H37E2)
GrpLie_Generators (Example H37E3)
GrpLie_GrpLieEltArith (Example H37E5)
GrpLie_GrpLieEltProduct (Example H37E4)
GrpLie_StandardRepresentation (Example H37E7)
GrpMat_Actions (Example H21E24)
GrpMat_Arithmetic (Example H21E11)
GrpMat_ClassicalForms (Example H21E29)
GrpMat_CompositionFactors (Example H21E27)
GrpMat_Constructions (Example H21E10)
GrpMat_Constructor (Example H21E3)
GrpMat_CosetAction (Example H21E25)
GrpMat_Create (Example H21E1)
GrpMat_Decompose (Example H21E35)
GrpMat_ExtraSpecial (Example H21E36)
GrpMat_GLSylow (Example H21E4)
GrpMat_GModule (Example H21E28)
GrpMat_Homomorphism (Example H21E7)
GrpMat_Invariants (Example H21E12)
GrpMat_IsOverSmallerField (Example H21E37)
GrpMat_IsPrimitive (Example H21E31)
GrpMat_LowIndexMatrixGroup (Example H21E16)
GrpMat_Matrices (Example H21E2)
GrpMat_Orbits (Example H21E19)
GrpMat_OrbitsOfSpaces (Example H21E20)
GrpMat_OrbitsOfSpaces (Example H21E21)
GrpMat_Order (Example H21E5)
GrpMat_Order (Example H21E6)
GrpMat_Quotient (Example H21E17)
GrpMat_Random (Example H21E13)
GrpMat_RationalMatrixGroupDatabase (Example H21E14)
GrpMat_RecognizeClassical (Example H21E30)
GrpMat_Semilinearity (Example H21E32)
GrpMat_Series (Example H21E26)
GrpMat_SpecialQuotient (Example H21E18)
GrpMat_StabiliserOfSpaces (Example H21E22)
GrpMat_Subgroups (Example H21E15)
GrpMat_Suzuki (Example H21E9)
GrpMat_Symplectic (Example H21E8)
GrpMat_Tensor (Example H21E33)
GrpMat_TensorInduced (Example H21E34)
GrpMat_UnipotentStabiliser (Example H21E23)
GrpMat_WriteOverSmallerField (Example H21E38)
GrpPC_AutomorphismGroup (Example H25E26)
GrpPC_CentralExtension (Example H25E28)
GrpPC_CompactPresentation (Example H25E25)
GrpPC_EAS (Example H25E20)
GrpPC_Hall (Example H25E17)
GrpPC_IsConsistent (Example H25E3)
GrpPC_NormalComplements (Example H25E21)
GrpPC_PolycyclicGroup (Example H25E2)
GrpPC_PowerGroupTwo (Example H25E29)
GrpPC_Reps (Example H25E27)
GrpPC_Set (Example H25E11)
GrpPC_SpecialPresentation (Example H25E24)
GrpPC_Standard (Example H25E1)
GrpPC_SubgroupClasses (Example H25E18)
GrpPC_class_map (Example H25E12)
GrpPC_coercion (Example H25E14)
GrpPC_cossey_hawkes (Example H25E7)
GrpPC_elt-definition (Example H25E8)
GrpPC_elt_predicates (Example H25E9)
GrpPC_extension (Example H25E6)
GrpPC_group-props (Example H25E4)
GrpPC_pc-to-perm (Example H25E23)
GrpPC_pc_hom (Example H25E5)
GrpPC_pc_quotient (Example H25E19)
GrpPC_pcgroup (Example H25E22)
GrpPC_set_ops (Example H25E10)
GrpPC_sub-predicates (Example H25E16)
GrpPC_sub_creation (Example H25E13)
GrpPC_subgroup-constructions (Example H25E15)
GrpPGp_AutomorphismGroup (Example H26E5)
GrpPGp_ClassTwo (Example H26E6)
GrpPGp_GeneratepGroups (Example H26E2)
GrpPGp_Generating_p_groups (Example H26E1)
GrpPGp_IsGood (Example H26E3)
GrpPGp_StandardPresentation (Example H26E4)
GrpPGp_subgroupsabelianpgroups (Example H26E7)
GrpPSL2_Creation (Example H33E2)
GrpPSL2_Creation-CongruenceSubgroups (Example H33E5)
GrpPSL2_Example-of-finding-coset-representatives (Example H33E3)
GrpPSL2_Graphics (Example H33E10)
GrpPSL2_Graphics (Example H33E8)
GrpPSL2_Upper-half-plane-example (Example H33E6)
GrpPSL2_basic-example (Example H33E1)
GrpPSL2_cusp-example (Example H33E4)
GrpPSL2_geodesic-intersection (Example H33E7)
GrpPSL2_more-graphics (Example H33E9)
GrpPerm_Actions (Example H20E20)
GrpPerm_Arithmetic (Example H20E9)
GrpPerm_Automorphisms (Example H20E29)
GrpPerm_BSGS (Example H20E32)
GrpPerm_BasicAccess (Example H20E4)
GrpPerm_BasicProperties (Example H20E5)
GrpPerm_BlocksActions (Example H20E22)
GrpPerm_Classes (Example H20E11)
GrpPerm_Cohomology (Example H20E30)
GrpPerm_CompFactors (Example H20E25)
GrpPerm_Complements (Example H20E28)
GrpPerm_Constructors (Example H20E12)
GrpPerm_GModule (Example H20E31)
GrpPerm_GSets (Example H20E18)
GrpPerm_Hessian (Example H20E3)
GrpPerm_Homomorphism (Example H20E6)
GrpPerm_Maximals (Example H20E14)
GrpPerm_NormalSubgroups (Example H20E24)
GrpPerm_OrbitActions (Example H20E21)
GrpPerm_Permutations (Example H20E2)
GrpPerm_PrimitiveStructure (Example H20E26)
GrpPerm_Products (Example H20E8)
GrpPerm_Quotient (Example H20E16)
GrpPerm_Radical (Example H20E27)
GrpPerm_RandomSchreier (Example H20E33)
GrpPerm_Series (Example H20E23)
GrpPerm_SetOperations (Example H20E10)
GrpPerm_SpecialQuotient (Example H20E17)
GrpPerm_Stabilizers (Example H20E19)
GrpPerm_StandardGroups (Example H20E7)
GrpPerm_SubgroupConstructions (Example H20E13)
GrpPerm_Subgroups (Example H20E15)
GrpPerm_Sym (Example H20E1)
GrpRWS_Arithmetic (Example H30E3)
GrpRWS_BasicAccess (Example H30E4)
GrpRWS_Conversion (Example H30E8)
GrpRWS_IsConfluent (Example H30E7)
GrpRWS_Order (Example H30E5)
GrpRWS_RWSGroup (Example H30E1)
GrpRWS_Set (Example H30E6)
GrpRWS_Words (Example H30E2)
GrpSLP_ConstructingHomomorphisms (Example H32E2)
GrpSLP_HomomorphismSpeed (Example H32E3)
GrpSLP_SLPGroup (Example H32E1)
Grp_Arithmetic (Example H19E2)
Grp_Classes (Example H19E14)
Grp_CosetAction (Example H19E9)
Grp_CreateSubgroupPoset (Example H19E16)
Grp_Extensions (Example H19E8)
Grp_FPGroup (Example H19E10)
Grp_Generators (Example H19E11)
Grp_GroupConstructors (Example H19E3)
Grp_Homomorphisms (Example H19E1)
Grp_LatticeOperations (Example H19E17)
Grp_Modules (Example H19E18)
Grp_Order (Example H19E12)
Grp_PolycyclicGroup (Example H19E4)
Grp_Quotient (Example H19E6)
Grp_SetOperations (Example H19E13)
Grp_StandardGroups (Example H19E7)
Grp_Subgroup (Example H19E5)
Grp_Subgroups (Example H19E15)
GrphRes_pencil (Example H83E2)
GrphRes_singularity (Example H83E1)
IO_GetTime (Example H3E10)
IO_LineCount (Example H3E9)
IO_Read (Example H3E11)
IO_Regexp (Example H3E3)
IO_Split (Example H3E2)
IO_Sprintf (Example H3E8)
IO_Strings (Example H3E1)
IO_auto-print (Example H3E7)
IO_printf (Example H3E4)
IO_printf (Example H3E6)
IO_printf2 (Example H3E5)
IncidenceGeometry_Constructors (Example H96E1)
IncidenceGeometry_Constructors (Example H96E2)
IncidenceGeometry_Constructors (Example H96E3)
IncidenceGeometry_Constructors (Example H96E4)
IncidenceGeometry_Constructors (Example H96E5)
IncidenceGeometry_Constructors (Example H96E6)
IncidenceGeometry_Constructors (Example H96E7)
IncidenceGeometry_Constructors (Example H96E8)
IncidenceGeometry_diagram (Example H96E10)
IncidenceGeometry_diagram (Example H96E11)
IncidenceGeometry_diagram (Example H96E12)
IncidenceGeometry_diagram (Example H96E9)
K3_k3-baskets (Example H91E4)
K3_k3-projection (Example H91E1)
K3_k3-unprojection (Example H91E2)
K3_k3-unprojection-chain (Example H91E3)
LP_ExplicitLPSolutionsOne (Example H100E1)
LP_ExplicitLPSolutionsTwo (Example H100E2)
LP_FillingLPObject (Example H100E4)
LP_LPCreation (Example H100E3)
Lat_AutoAction (Example H66E15)
Lat_AutoDepth (Example H66E17)
Lat_AutoStabilizers (Example H66E16)
Lat_Closest (Example H66E7)
Lat_Code (Example H66E2)
Lat_Genus (Example H66E20)
Lat_Isom (Example H66E18)
Lat_Knapsack (Example H66E8)
Lat_LLLXGCD (Example H66E12)
Lat_LatticeCreate (Example H66E1)
Lat_LatticeFunctions (Example H66E4)
Lat_Leech (Example H66E6)
Lat_Neighbour (Example H66E19)
Lat_OrderLattice (Example H66E3)
Lat_Orthogonalize (Example H66E14)
Lat_PositiveDefiniteForm (Example H66E21)
Lat_Seysen (Example H66E13)
Lat_SingularElements (Example H66E9)
Lat_SubSuperQuo (Example H66E5)
Lat_Sublattices (Example H66E22)
Lat_ThetaSeries (Example H66E10)
Lat_Voronoi (Example H66E11)
Lat_latdb (Example H66E24)
Lat_latdb-names (Example H66E23)
Mat_CanonicalForms (Example H62E9)
Mat_Create (Example H62E1)
Mat_Forms1 (Example H62E10)
Mat_Indexing (Example H62E4)
Mat_Nullspace (Example H62E7)
Mat_RowColumnOps (Example H62E6)
Mat_ShortCuts (Example H62E2)
Mat_Shortcuts (Example H62E3)
Mat_Solution (Example H62E8)
Mat_Submatrix (Example H62E5)
ModAlg_Access (Example H76E9)
ModAlg_CompSeries (Example H76E16)
ModAlg_CreateA4wrC3 (Example H76E5)
ModAlg_CreateA7 (Example H76E7)
ModAlg_CreateHomGHom (Example H76E22)
ModAlg_CreateK6 (Example H76E1)
ModAlg_CreateL27 (Example H76E2)
ModAlg_CreateLattice (Example H76E19)
ModAlg_CreateM11 (Example H76E4)
ModAlg_CreateM12 (Example H76E6)
ModAlg_CreateMatrices (Example H76E3)
ModAlg_CreatePolyAction (Example H76E8)
ModAlg_Decomposable (Example H76E18)
ModAlg_Dual (Example H76E11)
ModAlg_EndoRing (Example H76E21)
ModAlg_EndoRing (Example H76E23)
ModAlg_GModules1 (Example H76E12)
ModAlg_LatticeOps (Example H76E20)
ModAlg_Meataxe (Example H76E15)
ModAlg_Minimals (Example H76E17)
ModAlg_QuotientModule (Example H76E14)
ModAlg_Representation (Example H76E10)
ModAlg_Submodule (Example H76E13)
ModBrdt_ModBrdt:Constructors (Example H89E1)
ModBrdt_ModBrdt:Decomposition (Example H89E4)
ModBrdt_ModBrdt:Dimension (Example H89E6)
ModBrdt_ModBrdt:EisensteinSubspace (Example H89E5)
ModBrdt_ModBrdt:Module-Creation (Example H89E2)
ModBrdt_ModBrdt:Verbose-Output (Example H89E3)
ModCpx_Chainmaps (Example H80E2)
ModCpx_Complexes (Example H80E1)
ModCpx_LongExactSequence (Example H80E3)
ModFld_Arithmetic (Example H63E5)
ModFld_Basis (Example H63E13)
ModFld_CreateK35 (Example H63E2)
ModFld_CreateQ6 (Example H63E1)
ModFld_Indexing (Example H63E7)
ModFld_InnerProduct (Example H63E6)
ModFld_LinearTrans (Example H63E14)
ModFld_Matrices (Example H63E4)
ModFld_Quotients1 (Example H63E10)
ModFld_Quotients2 (Example H63E11)
ModFld_Quotients3 (Example H63E12)
ModFld_Subspace1 (Example H63E8)
ModFld_Subspace2 (Example H63E9)
ModFld_Vectors (Example H63E3)
ModForm_Arithmetic (Example H90E9)
ModForm_BaseExtend (Example H90E4)
ModForm_Bases (Example H90E6)
ModForm_Basics (Example H90E1)
ModForm_Congruences (Example H90E17)
ModForm_Creation-Space (Example H90E3)
ModForm_CreationElements (Example H90E5)
ModForm_EisensteinSeries (Example H90E13)
ModForm_EllipticCurves (Example H90E19)
ModForm_HeckePolynomials (Example H90E12)
ModForm_ModularSymbols (Example H90E20)
ModForm_NewformLabeling (Example H90E15)
ModForm_Newforms (Example H90E14)
ModForm_Overview (Example H90E2)
ModForm_Predicates (Example H90E10)
ModForm_ReductionsAndEmbeddings (Example H90E16)
ModForm_Relations (Example H90E18)
ModForm_Subspaces (Example H90E11)
ModForm_WeierstrassPoints (Example H90E8)
ModForm_qExpansion (Example H90E7)
ModOrd_coerce-quo (Example H65E4)
ModOrd_create (Example H65E1)
ModOrd_hom (Example H65E3)
ModOrd_sub-quo (Example H65E2)
ModRng_Create (Example H64E5)
ModRng_CreateHom (Example H64E6)
ModRng_CreateHom (Example H64E7)
ModRng_CreateZ6 (Example H64E1)
ModRng_Elements (Example H64E2)
ModRng_Matrix (Example H64E10)
ModRng_Operations (Example H64E11)
ModRng_Operations (Example H64E3)
ModRng_Reduce (Example H64E8)
ModRng_ReduceHom (Example H64E9)
ModRng_Submodule (Example H64E4)
ModSym_BSD (Example H88E22)
ModSym_BSD389A (Example H88E26)
ModSym_BoundaryMap (Example H88E13)
ModSym_Coercion-spaces (Example H88E10)
ModSym_Creation (Example H88E1)
ModSym_Creation-Ambient (Example H88E2)
ModSym_Creation-Elements-1 (Example H88E4)
ModSym_Creation-Elements-2 (Example H88E6)
ModSym_Creation-Spaces (Example H88E3)
ModSym_CuspidalSubgroup (Example H88E20)
ModSym_CuspidalSubgroupTable (Example H88E21)
ModSym_Decomposition (Example H88E11)
ModSym_DimensionFormulas (Example H88E27)
ModSym_Dirichlet (Example H88E7)
ModSym_HeckeAlgebra (Example H88E17)
ModSym_HeckeOperators (Example H88E14)
ModSym_IntegralBasis (Example H88E8)
ModSym_IntersectionPairing (Example H88E18)
ModSym_LSeries (Example H88E19)
ModSym_ModularAbVarArithmetic (Example H88E24)
ModSym_ModularAbVarCompGrp (Example H88E25)
ModSym_ModularAbVarRational (Example H88E23)
ModSym_Operators (Example H88E15)
ModSym_Representation (Example H88E9)
ModSym_RepresentationConversion (Example H88E5)
ModSym_Subspaces (Example H88E12)
ModSym_ThetaOperator (Example H88E16)
MonRWS_Arithmetic (Example H18E3)
MonRWS_BasicAccess (Example H18E4)
MonRWS_Conversion (Example H18E8)
MonRWS_IsConfluent (Example H18E7)
MonRWS_Order (Example H18E5)
MonRWS_RWSMonoid (Example H18E1)
MonRWS_Set (Example H18E6)
MonRWS_Words (Example H18E2)
Newton_create-ex (Example H58E1)
Newton_duval-ex (Example H58E9)
Newton_exps (Example H58E8)
Newton_faces-ex (Example H58E2)
Newton_grad-ex (Example H58E5)
Newton_pol-is (Example H58E7)
Newton_poly-ops-ex (Example H58E6)
Newton_roots-ex (Example H58E10)
Newton_sp-vertices-ex (Example H58E4)
Newton_vertices-ex (Example H58E3)
PMod_Create (Example H52E1)
PMod_Element (Example H52E2)
PMod_FreeResolution (Example H52E6)
PMod_Hilbert (Example H52E4)
PMod_Hilbert (Example H52E5)
PMod_SubQuo (Example H52E3)
Plane_Collineation (Example H95E13)
Plane_CollineationGSet (Example H95E12)
Plane_Constructors (Example H95E1)
Plane_arcs (Example H95E10)
Plane_baer (Example H95E14)
Plane_cent-coll (Example H95E15)
Plane_codes (Example H95E18)
Plane_decon (Example H95E8)
Plane_designs (Example H95E17)
Plane_elt-other (Example H95E9)
Plane_embedding (Example H95E7)
Plane_invar (Example H95E6)
Plane_points-lines (Example H95E2)
Plane_sub (Example H95E4)
Plane_sub (Example H95E5)
Plane_supp (Example H95E3)
Plane_trans (Example H95E16)
Plane_unital (Example H95E11)
PseudoRandom_autocorr_example (Example H99E3)
PseudoRandom_decimate (Example H99E4)
PseudoRandom_reconstruct-sequence (Example H99E1)
PseudoRandom_rsa_stats (Example H99E2)
QuadBin_Forms (Example H67E1)
Rec_Record (Example H12E2)
Rec_RecordAccess (Example H12E3)
Rec_RecordFormat (Example H12E1)
RngGal_Create (Example H48E1)
RngGal_Create (Example H48E2)
RngInt_70digitnfs (Example H40E10)
RngInt_80digitnfs (Example H40E11)
RngInt_87digitnfs (Example H40E12)
RngInt_Amicable (Example H40E4)
RngInt_Coercion (Example H40E5)
RngInt_GetPoly (Example H40E13)
RngInt_Integers (Example H40E2)
RngInt_IsPrime (Example H40E3)
RngInt_PartialFact (Example H40E8)
RngInt_Perfect (Example H40E7)
RngInt_RepUnits (Example H40E6)
RngInt_hom (Example H40E1)
RngInt_norm-equation (Example H40E9)
RngInvar_AdemMilgram (Example H78E6)
RngInvar_Attributes (Example H78E15)
RngInvar_Depth (Example H78E11)
RngInvar_FundamentalInvariants (Example H78E8)
RngInvar_GModule (Example H78E2)
RngInvar_GroupActions (Example H78E1)
RngInvar_HomogeneousModuleTest2 (Example H78E14)
RngInvar_InvariantsOfDegree (Example H78E3)
RngInvar_InvariantsOfDegree (Example H78E4)
RngInvar_MinimalAlgebraGenerators (Example H78E13)
RngInvar_Module (Example H78E9)
RngInvar_MolienSeries (Example H78E5)
RngInvar_Relations (Example H78E10)
RngInvar_SecondaryInvariants (Example H78E7)
RngInvar_SteenrodOperation (Example H78E12)
RngLoc_Division (Example H59E8)
RngLoc_Factors (Example H59E20)
RngLoc_Hensel (Example H59E15)
RngLoc_Poly-Hensel (Example H59E17)
RngLoc_creation-ex (Example H59E3)
RngLoc_ech-man (Example H59E12)
RngLoc_el_creation (Example H59E1)
RngLoc_elinvar (Example H59E4)
RngLoc_eltcons (Example H59E6)
RngLoc_factors-infinite (Example H59E18)
RngLoc_factors-precision (Example H59E19)
RngLoc_gal-desc (Example H59E7)
RngLoc_gcd (Example H59E13)
RngLoc_log (Example H59E11)
RngLoc_newton-polygon (Example H59E14)
RngLoc_ofe (Example H59E10)
RngLoc_ramified-ext (Example H59E16)
RngLoc_series-print (Example H59E2)
RngLoc_strop (Example H59E5)
RngLoc_units-autos (Example H59E21)
RngLoc_unram-ext (Example H59E9)
RngMPol_AssignNames (Example H45E1)
RngMPol_Coefficients (Example H45E4)
RngMPol_FiniteFieldFactorization (Example H45E10)
RngMPol_Global (Example H45E2)
RngMPol_Heron (Example H45E9)
RngMPol_Homomorphism (Example H45E3)
RngMPol_Interpolate (Example H45E5)
RngMPol_IsSymmetric (Example H45E11)
RngMPol_Sym_Bi_Linear (Example H45E6)
RngMPol_Trinomials (Example H45E7)
RngMPol_Vandermonde (Example H45E8)
RngOrd_Automorphisms (Example H53E20)
RngOrd_Bases (Example H53E14)
RngOrd_ClassGroup (Example H53E18)
RngOrd_CompositeFields (Example H53E2)
RngOrd_Compositum (Example H53E9)
RngOrd_Creation (Example H53E1)
RngOrd_Discriminant (Example H53E16)
RngOrd_Elements (Example H53E7)
RngOrd_GaloisGroups (Example H53E22)
RngOrd_Homomorphisms (Example H53E8)
RngOrd_Ideals (Example H53E30)
RngOrd_MultiplicationTable (Example H53E15)
RngOrd_NormsEtc (Example H53E17)
RngOrd_Orders (Example H53E4)
RngOrd_Ramification (Example H53E21)
RngOrd_Round2 (Example H53E6)
RngOrd_SubfieldLattice (Example H53E23)
RngOrd_UnitGroup (Example H53E19)
RngOrd_basis-ring (Example H53E13)
RngOrd_class-field (Example H53E25)
RngOrd_em (Example H53E11)
RngOrd_fractions (Example H53E5)
RngOrd_ideal-basis (Example H53E32)
RngOrd_ideal-invar (Example H53E31)
RngOrd_ideal-ray (Example H53E24)
RngOrd_ideal-two (Example H53E33)
RngOrd_index-form (Example H53E29)
RngOrd_lll (Example H53E10)
RngOrd_norm-equation (Example H53E26)
RngOrd_opt-rep (Example H53E3)
RngOrd_quotient (Example H53E34)
RngOrd_thue (Example H53E27)
RngOrd_uniteq (Example H53E28)
RngOrd_zero (Example H53E12)
RngPad_Division (Example H42E6)
RngPad_Factors (Example H42E18)
RngPad_Hensel (Example H42E13)
RngPad_Poly-Hensel (Example H42E15)
RngPad_ech-man (Example H42E10)
RngPad_elinvar (Example H42E2)
RngPad_eltcons (Example H42E4)
RngPad_factors-infinite (Example H42E16)
RngPad_factors-precision (Example H42E17)
RngPad_gal-desc (Example H42E5)
RngPad_gcd (Example H42E11)
RngPad_log (Example H42E9)
RngPad_newton-polygon (Example H42E12)
RngPad_ofe (Example H42E8)
RngPad_ramified-ext (Example H42E14)
RngPad_series-print (Example H42E1)
RngPad_strop (Example H42E3)
RngPad_unram-ext (Example H42E7)
RngPol_ChangeRing (Example H44E3)
RngPol_Creation (Example H44E1)
RngPol_Hensel (Example H44E6)
RngPol_Homomorphism (Example H44E4)
RngPol_Polynomials (Example H44E2)
RngPol_SwinnertonDyerPolynomial (Example H44E5)
RngSer_Bernoulli (Example H60E3)
RngSer_CompositionReversion (Example H60E2)
RngSer_Creation (Example H60E1)
RootDtm_Action (Example H35E11)
RootDtm_BasicOperations (Example H35E6)
RootDtm_CartanMatrices (Example H35E1)
RootDtm_CartanMatrixFunctions (Example H35E2)
RootDtm_CreatingRootData (Example H35E3)
RootDtm_DirectSumDual (Example H35E15)
RootDtm_GLRootDatum (Example H35E4)
RootDtm_HeighestRoots (Example H35E10)
RootDtm_IsogenyGroups (Example H35E7)
RootDtm_IsomorphismIsogeny (Example H35E5)
RootDtm_Properties (Example H35E8)
RootDtm_RootArithmetic (Example H35E12)
RootDtm_RootOperations (Example H35E13)
RootDtm_RootSubdata (Example H35E16)
RootDtm_RootsCoroots (Example H35E9)
RootDtm_SubRD (Example H35E18)
RootDtm_Weights (Example H35E14)
RootDtm_consts (Example H35E17)
Scheme_affine-space-names (Example H81E1)
Scheme_aut-aff-jac (Example H81E22)
Scheme_aut-aff-perm (Example H81E23)
Scheme_automorphism-construction (Example H81E21)
Scheme_base-change-schemes (Example H81E9)
Scheme_cluster-degree5 (Example H81E7)
Scheme_creation-by-subspace (Example H81E34)
Scheme_cremona-factorisation (Example H81E28)
Scheme_curves-in-space (Example H81E36)
Scheme_decompose-automorphism (Example H81E24)
Scheme_evaluate-funfld-example (Example H81E3)
Scheme_hom-spaces (Example H81E14)
Scheme_image-finder (Example H81E30)
Scheme_linsys-construction (Example H81E29)
Scheme_ls-reduction (Example H81E33)
Scheme_map-base-points (Example H81E18)
Scheme_map-creation (Example H81E11)
Scheme_map-error (Example H81E13)
Scheme_map-frobenius (Example H81E12)
Scheme_map-image1 (Example H81E16)
Scheme_map-image2 (Example H81E17)
Scheme_map-patches (Example H81E20)
Scheme_maps-point-image (Example H81E15)
Scheme_projective-automorphism-group (Example H81E26)
Scheme_projective-closure (Example H81E10)
Scheme_projectivity (Example H81E25)
Scheme_scheme-equality (Example H81E5)
Scheme_scheme-points (Example H81E6)
Scheme_schemes-creation (Example H81E4)
Scheme_schemes-points-example1 (Example H81E2)
Scheme_schemes-prime-components (Example H81E8)
Scheme_scroll-map-base-points (Example H81E19)
Scheme_subsystems (Example H81E31)
Scheme_trace (Example H81E32)
Scheme_translation (Example H81E27)
Scheme_twisted-cubics (Example H81E35)
Seq_EgyptianFractions (Example H8E4)
Seq_Farey (Example H8E3)
Seq_NestedIteration (Example H8E6)
Seq_PowerSequence (Example H8E2)
Seq_Progression (Example H8E1)
Seq_Self (Example H8E5)
Set_AlmostFermat (Example H7E2)
Set_AlmostFermatIndexed (Example H7E3)
Set_Exists (Example H7E12)
Set_ExtractRep (Example H7E9)
Set_Include (Example H7E10)
Set_Join (Example H7E11)
Set_Miscellaneous (Example H7E7)
Set_Multiset (Example H7E4)
Set_NestedExists (Example H7E13)
Set_PowerSet (Example H7E6)
Set_Progression (Example H7E5)
Set_Random (Example H7E8)
Set_Reduction (Example H7E14)
Set_Universe (Example H7E1)
SgpFP_FreeSemigroup (Example H17E1)
SgpFP_Monoid (Example H17E2)
State_Booleans (Example H1E8)
State_Equality (Example H1E7)
State_GeneratorNaming (Example H1E5)
State_GeneratorNamingSequence (Example H1E4)
State_Identifiers (Example H1E1)
State_InLineConditional (Example H1E11)
State_Indexing (Example H1E3)
State_IsIntrinsic (Example H1E19)
State_IsIntrinsic (Example H1E20)
State_MultipleReturns (Example H1E2)
State_MutationAssignment (Example H1E6)
State_Time (Example H1E17)
State_TypeStructures (Example H1E18)
State_Various (Example H1E16)
State_break (Example H1E15)
State_case (Example H1E12)
State_if (Example H1E10)
State_repeat (Example H1E14)
State_where (Example H1E9)
State_while (Example H1E13)
Tup_CartesianProduct (Example H9E1)
Tup_Tuple (Example H9E2)
Tup_TupleAccess (Example H9E3)
RngInt_70digitnfs (Example H40E10)
RngInt_80digitnfs (Example H40E11)
RngInt_87digitnfs (Example H40E12)
Chtr_A5 (Example H77E1)
CrvEll_AbelianGroup (Example H85E30)
GrpAb_AbelianGroup (Example H28E3)
AlgFP_Abstract (Example H74E2)
CrvCon_Access (Example H84E6)
ModAlg_Access (Example H76E9)
GrpFP_2_ACEProc1 (Example H23E3)
GrpFP_2_ACEProc2 (Example H23E4)
GrpFP_2_ACEProc3 (Example H23E5)
GrpFP_2_ACEProc4 (Example H23E6)
GrpFP_2_ACEProcCosetSpace (Example H23E8)
GrpFP_2_ACEProcTransversal (Example H23E7)
RootDtm_Action (Example H35E11)
GrpCox_Actions (Example H36E16)
GrpMat_Actions (Example H21E24)
GrpPerm_Actions (Example H20E20)
GrpCox_AdditiveOrder (Example H36E7)
RngInvar_AdemMilgram (Example H78E6)
CrvCon_aff-param (Example H84E4)
Scheme_affine-space-names (Example H81E1)
CodeFld_AlgebraicGeometricCode (Example H97E37)
CodeFld_AlgebraicGeometricCode (Example H97E38)
FldFunG_AlgReln1 (Example H57E13)
FldFunG_AlgReln2 (Example H57E14)
Set_AlmostFermat (Example H7E2)
Set_AlmostFermatIndexed (Example H7E3)
CodeFld_AlternantCode (Example H97E28)
RngInt_Amicable (Example H40E4)
AlgBas_AModules (Example H79E2)
Plane_arcs (Example H95E10)
GrpAtc_Arithmetic (Example H31E3)
GrpMat_Arithmetic (Example H21E11)
GrpPerm_Arithmetic (Example H20E9)
GrpRWS_Arithmetic (Example H30E3)
Grp_Arithmetic (Example H19E2)
ModFld_Arithmetic (Example H63E5)
ModForm_Arithmetic (Example H90E9)
MonRWS_Arithmetic (Example H18E3)
RngMPol_AssignNames (Example H45E1)
RngInvar_Attributes (Example H78E15)
Scheme_aut-aff-jac (Example H81E22)
Scheme_aut-aff-perm (Example H81E23)
Design_auto (Example H94E11)
GrpAuto_auto-maximals (Example H29E3)
IO_auto-print (Example H3E7)
Lat_AutoAction (Example H66E15)
PseudoRandom_autocorr_example (Example H99E3)
Lat_AutoDepth (Example H66E17)
GrpAuto_autogp-elts (Example H29E1)
GrpAtc_AutomaticGroup (Example H31E1)
Design_automorphism (Example H94E12)
Scheme_automorphism-construction (Example H81E21)
CrvHyp_Automorphism_Group (Example H86E8)
Graph_AutomorphismAction (Example H93E16)
CodeFld_AutomorphismGroup (Example H97E44)
Graph_AutomorphismGroup (Example H93E14)
Graph_AutomorphismGroup (Example H93E17)
GrpPC_AutomorphismGroup (Example H25E26)
GrpPGp_AutomorphismGroup (Example H26E5)
GrpPerm_Automorphisms (Example H20E29)
RngOrd_Automorphisms (Example H53E20)
Lat_AutoStabilizers (Example H66E16)
AlgGrp_average (Example H73E6)
Plane_baer (Example H95E14)
Scheme_base-change-schemes (Example H81E9)
CrvEll_BaseExtend (Example H85E2)
ModForm_BaseExtend (Example H90E4)
CrvHyp_BaseExtension (Example H86E2)
ModForm_Bases (Example H90E6)
RngOrd_Bases (Example H53E14)
GrpPSL2_basic-example (Example H33E1)
GrpAtc_BasicAccess (Example H31E4)
GrpPerm_BasicAccess (Example H20E4)
GrpRWS_BasicAccess (Example H30E4)
MonRWS_BasicAccess (Example H18E4)
AlgBas_BasicAlgebras (Example H79E1)
GrpCox_BasicDegrees (Example H36E8)
RootDtm_BasicOperations (Example H35E6)
GrpPerm_BasicProperties (Example H20E5)
ModForm_Basics (Example H90E1)
ModFld_Basis (Example H63E13)
RngOrd_basis-ring (Example H53E13)
AlgQuat_Basis_Reduction (Example H71E11)
CodeFld_BCHCode (Example H97E26)
RngSer_Bernoulli (Example H60E3)
CodeFld_BestLengthDimension (Example H97E40)
GrpPerm_BlocksActions (Example H20E22)
State_Booleans (Example H1E8)
ModSym_BoundaryMap (Example H88E13)
GrpCox_BraidGroups (Example H36E17)
State_break (Example H1E15)
GrpLie_Bruhat (Example H37E6)
ModSym_BSD (Example H88E22)
ModSym_BSD389A (Example H88E26)
GrpPerm_BSGS (Example H20E32)
GrpFP_1_BuildSubgroups (Example H22E44)
AlgMat_Cambridge (Example H72E2)
Crv_canonical-map (Example H82E20)
Crv_canonical_divisor (Example H82E18)
AlgMat_CanonicalForms (Example H72E8)
Mat_CanonicalForms (Example H62E9)
CodeFld_Card-Best-Comparison (Example H97E39)
RootDtm_CartanMatrices (Example H35E1)
RootDtm_CartanMatrixFunctions (Example H35E2)
AlgLie_CartanSubalgebra (Example H75E4)
Tup_CartesianProduct (Example H9E1)
State_case (Example H1E12)
AlgCon_cayley (Example H69E2)
Graph_CayleyGraph (Example H93E8)
Plane_cent-coll (Example H95E15)
GrpPC_CentralExtension (Example H25E28)
CodeFld_ChainCyclic (Example H97E25)
ModCpx_Chainmaps (Example H80E2)
GB_ChangeOrder (Example H50E16)
GB_ChangeRing (Example H50E15)
RngPol_ChangeRing (Example H44E3)
GrpAuto_characteristicsubgps (Example H29E2)
Graph_ChromaticNumber (Example H93E12)
RngOrd_class-field (Example H53E25)
GrpPC_class_map (Example H25E12)
GrpPerm_Classes (Example H20E11)
Grp_Classes (Example H19E14)
RngOrd_ClassGroup (Example H53E18)
GrpMat_ClassicalForms (Example H21E29)
GrpPGp_ClassTwo (Example H26E6)
Graph_Cliques (Example H93E13)
Lat_Closest (Example H66E7)
Scheme_cluster-degree5 (Example H81E7)
GrpFP_1_Co1 (Example H22E52)
Lat_Code (Example H66E2)
CodeFld_CodeFromMatrix (Example H97E2)
CodeRng_CodeFromMatrix (Example H98E2)
Plane_codes (Example H95E18)
RngMPol_Coefficients (Example H45E4)
ModOrd_coerce-quo (Example H65E4)
FldRat_Coercion (Example H41E1)
RngInt_Coercion (Example H40E5)
GrpPC_coercion (Example H25E14)
ModSym_Coercion-spaces (Example H88E10)
AlgBas_Cohomology (Example H79E5)
GrpPerm_Cohomology (Example H20E30)
Plane_Collineation (Example H95E13)
Plane_CollineationGSet (Example H95E12)
GrpPC_CompactPresentation (Example H25E25)
GrpPerm_CompFactors (Example H20E25)
GrpPerm_Complements (Example H20E28)
ModCpx_Complexes (Example H80E1)
RngOrd_CompositeFields (Example H53E2)
GrpMat_CompositionFactors (Example H21E27)
RngSer_CompositionReversion (Example H60E2)
RngOrd_Compositum (Example H53E9)
ModAlg_CompSeries (Example H76E16)
CodeFld_ConcatenatedCode (Example H97E32)
ModForm_Congruences (Example H90E17)
CrvCon_conic_curve (Example H84E2)
GrpGPC_Conjugacy (Example H24E12)
GrpSLP_ConstructingHomomorphisms (Example H32E2)
GrpMat_Constructions (Example H21E10)
CodeFld_constructionX (Example H97E33)
GrpGPC_Constructor (Example H24E1)
GrpMat_Constructor (Example H21E3)
Design_Constructors (Example H94E1)
Graph_Constructors (Example H93E1)
Graph_Constructors (Example H93E3)
Graph_Constructors (Example H93E4)
Graph_Constructors (Example H93E5)
GrpPerm_Constructors (Example H20E12)
IncidenceGeometry_Constructors (Example H96E1)
IncidenceGeometry_Constructors (Example H96E2)
IncidenceGeometry_Constructors (Example H96E3)
IncidenceGeometry_Constructors (Example H96E4)
IncidenceGeometry_Constructors (Example H96E5)
IncidenceGeometry_Constructors (Example H96E6)
IncidenceGeometry_Constructors (Example H96E7)
IncidenceGeometry_Constructors (Example H96E8)
Plane_Constructors (Example H95E1)
RootDtm_consts (Example H35E17)
GrpFP_1_ControlExtn (Example H22E15)
Design_conv (Example H94E10)
GrpAtc_Conversion (Example H31E9)
GrpRWS_Conversion (Example H30E8)
MonRWS_Conversion (Example H18E8)
CodeFld_Coordinates (Example H97E12)
GB_Coordinates (Example H50E7)
Coproduct_cop (Example H11E1)
GrpCox_CorootAction (Example H36E10)
GrpGPC_CosetAction (Example H24E8)
GrpMat_CosetAction (Example H21E25)
Grp_CosetAction (Example H19E9)
CodeFld_CosetLeaders (Example H97E13)
GrpFP_1_CosetSatisfying (Example H22E51)
GrpFP_1_CosetSpace (Example H22E47)
GrpGPC_CosetTable (Example H24E7)
GrpFP_1_CosetTable1 (Example H22E45)
GrpFP_1_CosetTable2 (Example H22E46)
GrpPC_cossey_hawkes (Example H25E7)
CodeFld_CoveringRadius (Example H97E24)
GrpFP_1_Coxeter (Example H22E10)
FldAC_Create (Example H56E1)
GrpCox_Create (Example H36E1)
GrpLie_Create (Example H37E1)
GrpMat_Create (Example H21E1)
Mat_Create (Example H62E1)
ModRng_Create (Example H64E5)
PMod_Create (Example H52E1)
RngGal_Create (Example H48E1)
RngGal_Create (Example H48E2)
ModOrd_create (Example H65E1)
Newton_create-ex (Example H58E1)
ModAlg_CreateA4wrC3 (Example H76E5)
ModAlg_CreateA7 (Example H76E7)
FldRe_CreateComplexField (Example H43E3)
FldRe_CreateElements (Example H43E4)
ModRng_CreateHom (Example H64E6)
ModRng_CreateHom (Example H64E7)
ModAlg_CreateHomGHom (Example H76E22)
ModFld_CreateK35 (Example H63E2)
ModAlg_CreateK6 (Example H76E1)
ModAlg_CreateL27 (Example H76E2)
ModAlg_CreateLattice (Example H76E19)
ModAlg_CreateM11 (Example H76E4)
ModAlg_CreateM12 (Example H76E6)
ModAlg_CreateMatrices (Example H76E3)
ModAlg_CreatePolyAction (Example H76E8)
ModFld_CreateQ6 (Example H63E1)
Grp_CreateSubgroupPoset (Example H19E16)
ModRng_CreateZ6 (Example H64E1)
RootDtm_CreatingRootData (Example H35E3)
AlgAff_Creation (Example H51E1)
AlgMat_Creation (Example H72E1)
CrvCon_Creation (Example H84E5)
CrvEll_Creation (Example H85E1)
CrvHyp_Creation (Example H86E1)
FldFunG_Creation (Example H57E1)
FldFunG_Creation (Example H57E2)
GrpAbGen_Creation (Example H27E1)
GrpPSL2_Creation (Example H33E2)
ModSym_Creation (Example H88E1)
RngOrd_Creation (Example H53E1)
RngPol_Creation (Example H44E1)
RngSer_Creation (Example H60E1)
AlgGrp_creation (Example H73E1)
FldQuad_creation (Example H54E1)
ModSym_Creation-Ambient (Example H88E2)
Scheme_creation-by-subspace (Example H81E34)
GrpPSL2_Creation-CongruenceSubgroups (Example H33E5)
ModSym_Creation-Elements-1 (Example H88E4)
ModSym_Creation-Elements-2 (Example H88E6)
RngLoc_creation-ex (Example H59E3)
ModForm_Creation-Space (Example H90E3)
ModSym_Creation-Spaces (Example H88E3)
ModForm_CreationElements (Example H90E5)
Scheme_cremona-factorisation (Example H81E28)
CrvMod_CrvMod:class-polys (Example H87E5)
CrvMod_CrvMod:modular-base-curve (Example H87E4)
CrvMod_CrvMod:modular-equations (Example H87E2)
CrvMod_CrvMod:moduli-points (Example H87E1)
CrvMod_CrvMod:subgroup-scheme (Example H87E3)
Crv_curve-base-change (Example H82E2)
Crv_curve-differentials (Example H82E12)
Crv_curve-hessian (Example H82E3)
Crv_curve-iscusp (Example H82E4)
CrvHyp_CurveFromIgusa (Example H86E5)
Scheme_curves-in-space (Example H81E36)
GrpPSL2_cusp-example (Example H33E4)
ModSym_CuspidalSubgroup (Example H88E20)
ModSym_CuspidalSubgroupTable (Example H88E21)
FldAC_Cyclic6 (Example H56E5)
GB_Cyclic6 (Example H50E2)
CodeFld_CyclicCode (Example H97E5)
CodeRng_CyclicCode (Example H98E4)
PseudoRandom_decimate (Example H99E4)
CodeFld_Decode (Example H97E42)
ModAlg_Decomposable (Example H76E18)
GrpMat_Decompose (Example H21E35)
Scheme_decompose-automorphism (Example H81E24)
ModSym_Decomposition (Example H88E11)
Plane_decon (Example H95E8)
GB_Degree-d (Example H50E21)
RngInvar_Depth (Example H78E11)
GrpFP_1_DerSub (Example H22E48)
CrvEll_Desboves (Example H85E23)
GrpCox_DescentSets (Example H36E6)
Design_design-invar (Example H94E7)
Plane_designs (Example H95E17)
Design_DevelopDifferenceSet (Example H94E6)
IncidenceGeometry_diagram (Example H96E10)
IncidenceGeometry_diagram (Example H96E11)
IncidenceGeometry_diagram (Example H96E12)
IncidenceGeometry_diagram (Example H96E9)
FldFin_Dickson (Example H47E5)
ModSym_DimensionFormulas (Example H88E27)
GrpFP_1_DirectProduct (Example H22E16)
AlgLie_DirectSumDecomposition (Example H75E6)
RootDtm_DirectSumDual (Example H35E15)
ModSym_Dirichlet (Example H88E7)
RngOrd_Discriminant (Example H53E16)
CodeFld_Distance (Example H97E11)
CodeRng_Distance (Example H98E6)
FldFunG_div_diff (Example H57E16)
RngLoc_Division (Example H59E8)
RngPad_Division (Example H42E6)
CrvEll_DivisionPolynomial (Example H85E14)
Crv_divisor-class-group-example (Example H82E19)
Crv_divisor-equations (Example H82E15)
Crv_divisor1 (Example H82E16)
Crv_divisor2 (Example H82E17)
FldFunG_divisors (Example H57E12)
GrpCox_DominantWeights (Example H36E19)
GrpFP_1_DoubleCosets (Example H22E50)
ModAlg_Dual (Example H76E11)
CrvEll_DualIsogeny (Example H85E36)
CodeFld_DualRS (Example H97E16)
Newton_duval-ex (Example H58E9)
GrpPC_EAS (Example H25E20)
CrvEll_ecdb1 (Example H85E24)
CrvEll_ecdb2 (Example H85E25)
CrvEll_ECDL (Example H85E31)
RngLoc_ech-man (Example H59E12)
RngPad_ech-man (Example H42E10)
AlgMat_EchelonForm (Example H72E6)
Graph_EdgeSets (Example H93E6)
Seq_EgyptianFractions (Example H8E4)
FldRe_Eisenstein (Example H43E7)
FldRe_Eisenstein (Example H43E8)
ModForm_EisensteinSeries (Example H90E13)
AlgGrp_el-creation (Example H73E2)
RngLoc_el_creation (Example H59E1)
PMod_Element (Example H52E2)
AlgQuat_Element_Arithmetic (Example H71E5)
AlgQuat_Elementary_Ideals (Example H71E8)
AlgMat_ElementaryDivisors (Example H72E7)
GrpLie_ElementCreate (Example H37E2)
GrpAbGen_ElementCreationAndRep (Example H27E2)
GrpAbGen_ElementCreationAndRep (Example H27E6)
GB_ElementOperations (Example H50E9)
GrpAbGen_ElementOrderLog (Example H27E7)
FldFunG_Elements (Example H57E3)
ModRng_Elements (Example H64E2)
RngOrd_Elements (Example H53E7)
FldFunG_elements (Example H57E7)
GB_EliminationIdeal (Example H50E12)
RngLoc_elinvar (Example H59E4)
RngPad_elinvar (Example H42E2)
AlgAff_EllipticCurve (Example H51E3)
ModForm_EllipticCurves (Example H90E19)
GrpPC_elt-definition (Example H25E8)
Plane_elt-other (Example H95E9)
GrpPC_elt_predicates (Example H25E9)
RngLoc_eltcons (Example H59E6)
RngPad_eltcons (Example H42E4)
RngOrd_em (Example H53E11)
Plane_embedding (Example H95E7)
ModAlg_EndoRing (Example H76E21)
ModAlg_EndoRing (Example H76E23)
State_Equality (Example H1E7)
Scheme_evaluate-funfld-example (Example H81E3)
GrpPSL2_Example-of-finding-coset-representatives (Example H33E3)
GrpFP_1_ExcludedConjugates (Example H22E49)
Set_Exists (Example H7E12)
LP_ExplicitLPSolutionsOne (Example H100E1)
LP_ExplicitLPSolutionsTwo (Example H100E2)
Newton_exps (Example H58E8)
GrpPC_extension (Example H25E6)
FldFin_Extensions (Example H47E1)
Grp_Extensions (Example H19E8)
Set_ExtractRep (Example H7E9)
GrpMat_ExtraSpecial (Example H21E36)
GrpFP_1_F27 (Example H22E18)
GrpFP_1_F276 (Example H22E55)
GrpFP_1_F29 (Example H22E57)
GrpCox_F4 (Example H36E12)
Newton_faces-ex (Example H58E2)
AlgAff_Factorization (Example H51E4)
RngLoc_Factors (Example H59E20)
RngPad_Factors (Example H42E18)
RngLoc_factors-infinite (Example H59E18)
RngPad_factors-infinite (Example H42E16)
RngLoc_factors-precision (Example H59E19)
RngPad_factors-precision (Example H42E17)
GrpFP_1_Family (Example H22E33)
Seq_Farey (Example H8E3)
Crv_ff-creation-example (Example H82E10)
Crv_ff-elements-example (Example H82E11)
LP_FillingLPObject (Example H100E4)
GB_FindingPrimes (Example H50E5)
RngMPol_FiniteFieldFactorization (Example H45E10)
GrpGPC_FittingSubgroup (Example H24E15)
FldRe_FixedPrecision (Example H43E1)
QuadBin_Forms (Example H67E1)
Mat_Forms1 (Example H62E10)
Func_forward (Example H2E5)
GrpCox_FPCoxeterGroups (Example H36E13)
GrpFP_1_FPCoxeterGroups (Example H22E12)
Grp_FPGroup (Example H19E10)
GrpFP_1_FPGroup1 (Example H22E11)
GrpFP_1_FPGroup2 (Example H22E13)
RngOrd_fractions (Example H53E5)
GrpFP_1_Free (Example H22E1)
GrpAb_FreeAbelianGroup (Example H28E1)
AlgFP_FreeAlgebra (Example H74E1)
PMod_FreeResolution (Example H52E6)
SgpFP_FreeSemigroup (Example H17E1)
CrvEll_Frobenius (Example H85E37)
FldFunRat_FunctionField (Example H46E1)
FldAC_Functions (Example H56E4)
FldFin_Functions (Example H47E3)
FldFin_Functions (Example H47E4)
RngInvar_FundamentalInvariants (Example H78E8)
CrvEll_FunWithHeights (Example H85E18)
GrpFP_1_G23 (Example H22E53)
RngLoc_gal-desc (Example H59E7)
RngPad_gal-desc (Example H42E5)
FldFunG_GaloisGroups (Example H57E5)
RngOrd_GaloisGroups (Example H53E22)
FldCyc_GaussianPeriods (Example H55E1)
GB_GBoverZ (Example H50E4)
RngLoc_gcd (Example H59E13)
RngPad_gcd (Example H42E11)
GrpPGp_GeneratepGroups (Example H26E2)
GrpPGp_Generating_p_groups (Example H26E1)
CodeFld_GeneratorMatrix (Example H97E8)
State_GeneratorNaming (Example H1E5)
State_GeneratorNamingSequence (Example H1E4)
CodeFld_GeneratorPolynomial (Example H97E10)
GrpLie_Generators (Example H37E3)
Grp_Generators (Example H19E11)
CrvEll_GenericCurve (Example H85E6)
CrvEll_GenericPoint (Example H85E11)
Lat_Genus (Example H66E20)
GrpPSL2_geodesic-intersection (Example H33E7)
RngInt_GetPoly (Example H40E13)
IO_GetTime (Example H3E10)
RngMPol_Global (Example H45E2)
FldFunG_global-function-fields (Example H57E15)
RootDtm_GLRootDatum (Example H35E4)
GrpMat_GLSylow (Example H21E4)
GrpMat_GModule (Example H21E28)
GrpPerm_GModule (Example H20E31)
RngInvar_GModule (Example H78E2)
GrpFP_1_gmoduleprimes (Example H22E60)
GrpGPC_gmoduleprimes (Example H24E14)
ModAlg_GModules1 (Example H76E12)
CodeFld_GoppaCode (Example H97E27)
Newton_grad-ex (Example H58E5)
GB_Graded (Example H50E20)
Graph_GraphGeneralAccess (Example H93E20)
Graph_GraphGeneration (Example H93E19)
GrpPSL2_Graphics (Example H33E10)
GrpPSL2_Graphics (Example H33E8)
Graph_GraphIsomorphim (Example H93E15)
Design_graphs (Example H94E13)
CodeRng_GrayMap (Example H98E9)
Graph_Grotzch (Example H93E11)
GrpPC_group-props (Example H25E4)
RngInvar_GroupActions (Example H78E1)
GrpAbGen_GroupComputation (Example H27E3)
Grp_GroupConstructors (Example H19E3)
GrpAtc_GrowthFunction (Example H31E8)
GrpLie_GrpLieEltArith (Example H37E5)
GrpLie_GrpLieEltProduct (Example H37E4)
CodeFld_GRSCode (Example H97E30)
GrpCox_GSets (Example H36E9)
GrpPerm_GSets (Example H20E18)
Design_hadamard (Example H94E5)
GrpPC_Hall (Example H25E17)
CodeFld_HammingCode (Example H97E6)
ModSym_HeckeAlgebra (Example H88E17)
ModSym_HeckeOperators (Example H88E14)
ModForm_HeckePolynomials (Example H90E12)
RootDtm_HeighestRoots (Example H35E10)
CrvHyp_HeightPairing (Example H86E12)
RngLoc_Hensel (Example H59E15)
RngPad_Hensel (Example H42E13)
RngPol_Hensel (Example H44E6)
RngMPol_Heron (Example H45E9)
GrpPerm_Hessian (Example H20E3)
GB_Hilbert (Example H50E22)
PMod_Hilbert (Example H52E4)
PMod_Hilbert (Example H52E5)
GB_HilbertGroebner (Example H50E23)
GrpFP_1_HN (Example H22E32)
FldQuad_hom (Example H54E2)
ModOrd_hom (Example H65E3)
RngInt_hom (Example H40E1)
Scheme_hom-spaces (Example H81E14)
GB_HomogeneousModuleTest1 (Example H50E27)
RngInvar_HomogeneousModuleTest2 (Example H78E14)
FldFunRat_Homomorphism (Example H46E2)
GrpFP_1_Homomorphism (Example H22E17)
GrpGPC_Homomorphism (Example H24E4)
GrpMat_Homomorphism (Example H21E7)
GrpPerm_Homomorphism (Example H20E6)
RngMPol_Homomorphism (Example H45E3)
RngPol_Homomorphism (Example H44E4)
FldRat_homomorphism (Example H41E2)
AlgBas_Homomorphisms (Example H79E3)
FldRe_Homomorphisms (Example H43E2)
GrpAbGen_Homomorphisms (Example H27E8)
Grp_Homomorphisms (Example H19E1)
RngOrd_Homomorphisms (Example H53E8)
GrpSLP_HomomorphismSpeed (Example H32E3)
RngOrd_ideal-basis (Example H53E32)
RngOrd_ideal-invar (Example H53E31)
RngOrd_ideal-ray (Example H53E24)
RngOrd_ideal-two (Example H53E33)
AlgQuat_Ideal_Arithmetic (Example H71E10)
AlgQuat_Ideal_Bases (Example H71E7)
AlgQuat_Ideal_Enumeration (Example H71E9)
GB_IdealArithmetic (Example H50E8)
RngOrd_Ideals (Example H53E30)
State_Identifiers (Example H1E1)
State_if (Example H1E10)
Scheme_image-finder (Example H81E30)
GrpFP_1_ImplicitCosetEnumeration (Example H22E34)
Func_import (Example H2E7)
Set_Include (Example H7E10)
RngOrd_index-form (Example H53E29)
GrpFP_1_Index1 (Example H22E30)
Mat_Indexing (Example H62E4)
ModFld_Indexing (Example H63E7)
State_Indexing (Example H1E3)
State_InLineConditional (Example H1E11)
ModFld_InnerProduct (Example H63E6)
RngInt_Integers (Example H40E2)
FldRe_Integral (Example H43E9)
ModSym_IntegralBasis (Example H88E8)
CrvEll_IntegralPoints (Example H85E20)
CrvEll_IntegralPointsSequence (Example H85E21)
Func_InteractiveUserAttributes (Example H2E12)
RngMPol_Interpolate (Example H45E5)
ModSym_IntersectionPairing (Example H88E18)
Func_intrinsic (Example H2E6)
Plane_invar (Example H95E6)
AlgMat_Invariants (Example H72E3)
CrvEll_Invariants (Example H85E29)
CrvEll_Invariants (Example H85E5)
GrpMat_Invariants (Example H21E12)
RngInvar_InvariantsOfDegree (Example H78E3)
RngInvar_InvariantsOfDegree (Example H78E4)
GrpAtc_IsConfluent (Example H31E7)
GrpRWS_IsConfluent (Example H30E7)
MonRWS_IsConfluent (Example H18E7)
GrpPC_IsConsistent (Example H25E3)
GrpPGp_IsGood (Example H26E3)
State_IsIntrinsic (Example H1E19)
State_IsIntrinsic (Example H1E20)
CrvEll_Isogeny (Example H85E32)
RootDtm_IsogenyGroups (Example H35E7)
GrpData_IsolGroup (Example H34E11)
Lat_Isom (Example H66E18)
CrvEll_Isomorphism (Example H85E34)
RootDtm_IsomorphismIsogeny (Example H35E5)
CrvEll_Isomorphisms (Example H85E33)
GrpMat_IsOverSmallerField (Example H21E37)
RngInt_IsPrime (Example H40E3)
GrpMat_IsPrimitive (Example H21E31)
GB_IsSymmetric (Example H50E26)
RngMPol_IsSymmetric (Example H45E11)
CrvHyp_Jac_Point_Counting (Example H86E10)
CrvHyp_Jac_WeilPairing (Example H86E9)
AlgGrp_jacobson (Example H73E4)
Set_Join (Example H7E11)
AlgCon_jordan (Example H69E1)
K3_k3-baskets (Example H91E4)
K3_k3-projection (Example H91E1)
K3_k3-unprojection (Example H91E2)
K3_k3-unprojection-chain (Example H91E3)
CodeRng_Kerdock (Example H98E11)
Crv_klein-quartic-code (Example H82E22)
Lat_Knapsack (Example H66E8)
CrvEll_Kodaira (Example H85E15)
CrvHyp_KummerRationalPoints (Example H86E13)
GrpFP_1_L372 (Example H22E58)
Graph_Labels (Example H93E7)
Graph_Labels (Example H93E9)
Lat_latdb (Example H66E24)
Lat_latdb-names (Example H66E23)
Lat_LatticeCreate (Example H66E1)
Lat_LatticeFunctions (Example H66E4)
Grp_LatticeOperations (Example H19E17)
ModAlg_LatticeOps (Example H76E20)
Lat_Leech (Example H66E6)
AlgQuat_Left_Right_Isomorphisms (Example H71E12)
AlgAss_liealg (Example H70E1)
AlgLie_LieAlgebra (Example H75E11)
CrvEll_LinearIndependence (Example H85E19)
ModFld_LinearTrans (Example H63E14)
IO_LineCount (Example H3E9)
Scheme_linsys-construction (Example H81E29)
GrpFP_1_Lix1 (Example H22E36)
GrpFP_1_Lix2 (Example H22E37)
GrpFP_1_Lix3 (Example H22E38)
GrpFP_1_Lix4 (Example H22E39)
GrpFP_1_Lix5 (Example H22E40)
RngOrd_lll (Example H53E10)
Lat_LLLXGCD (Example H66E12)
Crv_local-intersection-example (Example H82E6)
RngLoc_log (Example H59E11)
RngPad_log (Example H42E9)
GrpCox_LongestCoxeterElements (Example H36E5)
ModCpx_LongExactSequence (Example H80E3)
GrpMat_LowIndexMatrixGroup (Example H21E16)
LP_LPCreation (Example H100E3)
Scheme_ls-reduction (Example H81E33)
ModSym_LSeries (Example H88E19)
CodeFld_MacWilliams (Example H97E22)
CodeFld_Make12-8-4Code (Example H97E31)
CrvEll_Map (Example H85E35)
Scheme_map-base-points (Example H81E18)
Scheme_map-creation (Example H81E11)
Scheme_map-error (Example H81E13)
Scheme_map-frobenius (Example H81E12)
Scheme_map-image1 (Example H81E16)
Scheme_map-image2 (Example H81E17)
Scheme_map-patches (Example H81E20)
GB_Map1 (Example H50E25)
Scheme_maps-point-image (Example H81E15)
GrpMat_Matrices (Example H21E2)
ModFld_Matrices (Example H63E4)
ModRng_Matrix (Example H64E10)
CodeFld_MattsonSolomonTransform (Example H97E43)
GrpPerm_Maximals (Example H20E14)
ModAlg_Meataxe (Example H76E15)
RngInvar_MinimalAlgebraGenerators (Example H78E13)
AlgAff_MinimalPolynomial (Example H51E2)
ModAlg_Minimals (Example H76E17)
Set_Miscellaneous (Example H7E7)
ModBrdt_ModBrdt:Constructors (Example H89E1)
ModBrdt_ModBrdt:Decomposition (Example H89E4)
ModBrdt_ModBrdt:Dimension (Example H89E6)
ModBrdt_ModBrdt:EisensteinSubspace (Example H89E5)
ModBrdt_ModBrdt:Module-Creation (Example H89E2)
ModBrdt_ModBrdt:Verbose-Output (Example H89E3)
CrvEll_Models (Example H85E3)
GrpFP_1_Modular (Example H22E7)
GrpFP_1_modular-abelian-quotient (Example H22E19)
ModSym_ModularAbVarArithmetic (Example H88E24)
ModSym_ModularAbVarCompGrp (Example H88E25)
ModSym_ModularAbVarRational (Example H88E23)
ModForm_ModularSymbols (Example H90E20)
RngInvar_Module (Example H78E9)
FldFunG_module (Example H57E8)
GrpGPC_ModuleMaps (Example H24E16)
Grp_Modules (Example H19E18)
RngInvar_MolienSeries (Example H78E5)
SgpFP_Monoid (Example H17E2)
CrvEll_MordellWeil (Example H85E16)
GrpPSL2_more-graphics (Example H33E9)
AlgAff_MultiExtension (Example H51E5)
State_MultipleReturns (Example H1E2)
RngOrd_MultiplicationTable (Example H53E15)
Set_Multiset (Example H7E4)
State_MutationAssignment (Example H1E6)
Lat_Neighbour (Example H66E19)
Set_NestedExists (Example H7E13)
Seq_NestedIteration (Example H8E6)
ModForm_NewformLabeling (Example H90E15)
ModForm_Newforms (Example H90E14)
RngLoc_newton-polygon (Example H59E14)
RngPad_newton-polygon (Example H42E12)
GrpFP_1_NilpotentQuotient1 (Example H22E24)
GrpFP_1_NilpotentQuotient2 (Example H22E25)
CrvCon_no-reduced-affine-solution (Example H84E8)
AlgLie_NonNilpotentElement (Example H75E10)
FldQuad_norm-equation (Example H54E3)
RngInt_norm-equation (Example H40E9)
RngOrd_norm-equation (Example H53E26)
GrpPC_NormalComplements (Example H25E21)
GrpGPC_NormalStructure (Example H24E11)
GrpPerm_NormalSubgroups (Example H20E24)
RngOrd_NormsEtc (Example H53E17)
Mat_Nullspace (Example H62E7)
FldRat_numerator (Example H41E3)
EnumComb_OddGraph (Example H92E1)
GrpPSL2_Example-of-finding-coset-representatives (Example H33E3)
RngLoc_ofe (Example H59E10)
RngPad_ofe (Example H42E8)
AlgLie_Operations (Example H75E3)
ModRng_Operations (Example H64E11)
ModRng_Operations (Example H64E3)
ModSym_Operators (Example H88E15)
AlgBas_Opposite (Example H79E4)
RngOrd_opt-rep (Example H53E3)
GrpPerm_OrbitActions (Example H20E21)
GrpMat_Orbits (Example H21E19)
GrpMat_OrbitsOfSpaces (Example H21E20)
GrpMat_OrbitsOfSpaces (Example H21E21)
CrvEll_Order (Example H85E27)
GB_Order (Example H50E1)
GrpAtc_Order (Example H31E5)
GrpMat_Order (Example H21E5)
GrpMat_Order (Example H21E6)
GrpRWS_Order (Example H30E5)
Grp_Order (Example H19E12)
MonRWS_Order (Example H18E5)
FldFunG_order-ideals (Example H57E10)
GrpFP_1_Order11 (Example H22E31)
Lat_OrderLattice (Example H66E3)
RngOrd_Orders (Example H53E4)
FldFunG_orders (Example H57E9)
Lat_Orthogonalize (Example H66E14)
AlgLie_Other (Example H75E9)
ModForm_Overview (Example H90E2)
Func_PackageUserAttributes (Example H2E13)
Func_Parameters (Example H2E2)
RngInt_PartialFact (Example H40E8)
FldFunRat_PartialFractionDecomposition (Example H46E3)
EnumComb_Partitions (Example H92E2)
GrpPC_pc-to-perm (Example H25E23)
GrpPC_pc_hom (Example H25E5)
GrpPC_pc_quotient (Example H25E19)
GrpPC_pcgroup (Example H25E22)
GrphRes_pencil (Example H83E2)
RngInt_Perfect (Example H40E7)
GrpData_perfgps (Example H34E4)
AlgFP_PermutationActionD8 (Example H74E3)
CodeFld_PermutationCode (Example H97E3)
CodeRng_PermutationCode (Example H98E3)
GrpPerm_Permutations (Example H20E2)
Crv_place-equations (Example H82E13)
FldFunG_places (Example H57E11)
Crv_plane-points (Example H82E1)
CrvEll_PlayWithPoints (Example H85E12)
CrvEll_PointArithmetic (Example H85E10)
CrvHyp_PointEnumeration (Example H86E6)
Design_points-blocks (Example H94E2)
Plane_points-lines (Example H95E2)
CrvEll_PointSets (Example H85E9)
Newton_pol-is (Example H58E7)
RngLoc_Poly-Hensel (Example H59E17)
RngPad_Poly-Hensel (Example H42E15)
Newton_poly-ops-ex (Example H58E6)
GrpGPC_PolycyclicGroup (Example H24E2)
GrpPC_PolycyclicGroup (Example H25E2)
Grp_PolycyclicGroup (Example H19E4)
RngPol_Polynomials (Example H44E2)
Lat_PositiveDefiniteForm (Example H66E21)
GrpPC_PowerGroupTwo (Example H25E29)
AlgGrp_powering (Example H73E5)
Seq_PowerSequence (Example H8E2)
Set_PowerSet (Example H7E6)
GrpFP_1_pQuotient1 (Example H22E20)
GrpFP_1_pQuotient2 (Example H22E21)
GrpFP_1_pQuotient3 (Example H22E22)
GrpFP_1_pQuotient4 (Example H22E23)
GrpFP_2_pQuotient5 (Example H23E9)
GrpFP_2_pQuotient6 (Example H23E10)
GrpFP_2_pQuotient7 (Example H23E11)
GrpFP_2_pQuotient8 (Example H23E12)
AlgLie_Predicates (Example H75E7)
ModForm_Predicates (Example H90E10)
GB_PrimaryDecomposition (Example H50E18)
GrpPerm_PrimitiveStructure (Example H20E26)
IO_printf (Example H3E4)
IO_printf (Example H3E6)
IO_printf2 (Example H3E5)
Func_Procedures (Example H2E4)
AlgMat_Products (Example H72E5)
GrpPerm_Products (Example H20E8)
Seq_Progression (Example H8E1)
Set_Progression (Example H7E5)
Crv_proj-cl-commutes (Example H82E7)
Scheme_projective-automorphism-group (Example H81E26)
Scheme_projective-closure (Example H81E10)
Scheme_projectivity (Example H81E25)
RootDtm_Properties (Example H35E8)
GrpAbGen_pSylowComputation (Example H27E5)
Design_pts-blks-ops (Example H94E8)
FldAC_Puiseux (Example H56E3)
ModForm_qExpansion (Example H90E7)
GB_QuadraticOrderElim (Example H50E11)
GB_QuadraticOrderGB (Example H50E6)
CodeFld_QuadraticResidueCode (Example H97E29)
CrvHyp_QuadraticTwists (Example H86E3)
CrvHyp_QuadraticTwists (Example H86E4)
AlgQuat_Quaternion_Constructor (Example H71E1)
AlgQuat_Quaternion_Constructor_over_Rationals (Example H71E2)
AlgQuat_Quaternion_Orders_over_Polynomial_Rings (Example H71E4)
AlgQuat_Quaternion_Orders_over_the_Integers (Example H71E3)
GrpData_Quaternionic (Example H34E6)
AlgGen_quaternions (Example H68E1)
AlgFP_Quotient (Example H74E4)
Graph_Quotient (Example H93E10)
GrpMat_Quotient (Example H21E17)
GrpPerm_Quotient (Example H20E16)
Grp_Quotient (Example H19E6)
RngOrd_quotient (Example H53E34)
ModAlg_QuotientModule (Example H76E14)
ModFld_Quotients1 (Example H63E10)
ModFld_Quotients2 (Example H63E11)
ModFld_Quotients3 (Example H63E12)
GB_Radical (Example H50E17)
GrpPerm_Radical (Example H20E27)
RngOrd_Ramification (Example H53E21)
RngLoc_ramified-ext (Example H59E16)
RngPad_ramified-ext (Example H42E14)
AlgQuat_Ramified_Primes (Example H71E6)
GrpMat_Random (Example H21E13)
Set_Random (Example H7E8)
GrpPerm_RandomSchreier (Example H20E33)
CrvEll_Rank (Example H85E17)
CrvCon_rat_crv_parametrisation (Example H84E3)
GrpData_ratgps1 (Example H34E5)
CrvCon_rational_curve (Example H84E1)
GrpMat_RationalMatrixGroupDatabase (Example H21E14)
GrpCox_RDFromCox (Example H36E4)
IO_Read (Example H3E11)
GrpMat_RecognizeClassical (Example H21E30)
PseudoRandom_reconstruct-sequence (Example H99E1)
Rec_Record (Example H12E2)
Rec_RecordAccess (Example H12E3)
Rec_RecordFormat (Example H12E1)
Func_Recursion (Example H2E1)
ModRng_Reduce (Example H64E8)
GrpFP_1_ReduceGeneratingSet (Example H22E56)
ModRng_ReduceHom (Example H64E9)
Set_Reduction (Example H7E14)
ModForm_ReductionsAndEmbeddings (Example H90E16)
CodeFld_ReedMullerCode (Example H97E7)
GrpCox_ReflectionGroups (Example H36E11)
GrpCox_ReflectionSubgroups (Example H36E2)
IO_Regexp (Example H3E3)
Design_related (Example H94E3)
FldFunG_related-structures (Example H57E4)
GB_RelationIdeal (Example H50E14)
GrpAb_Relations (Example H28E2)
GrpAb_Relations (Example H28E4)
GrpFP_1_Relations (Example H22E4)
ModForm_Relations (Example H90E18)
RngInvar_Relations (Example H78E10)
State_repeat (Example H1E14)
GrpFP_2_Replace (Example H23E1)
FldQuad_Represent (Example H54E4)
ModAlg_Representation (Example H76E10)
ModSym_Representation (Example H88E9)
ModSym_RepresentationConversion (Example H88E5)
GrpFP_1_RepresentationTheory (Example H22E59)
GrpGPC_RepresentationTheory (Example H24E13)
GrpPC_Reps (Example H25E27)
RngInt_RepUnits (Example H40E6)
Func_require (Example H2E8)
Design_resol-parallel (Example H94E9)
EnumComb_RestrictedPartitions (Example H92E3)
GrpFP_1_Rewrite (Example H22E35)
RootDtm_RootArithmetic (Example H35E12)
RootDtm_RootOperations (Example H35E13)
FldRe_Roots (Example H43E5)
Newton_roots-ex (Example H58E10)
RootDtm_RootsCoroots (Example H35E9)
FldRe_RootsNonExact (Example H43E6)
RootDtm_RootSubdata (Example H35E16)
AlgLie_RootSystem (Example H75E2)
RngOrd_Round2 (Example H53E6)
Mat_RowColumnOps (Example H62E6)
PseudoRandom_rsa_stats (Example H99E2)
GB_RungeKutta2 (Example H50E3)
GrpRWS_RWSGroup (Example H30E1)
MonRWS_RWSMonoid (Example H18E1)
Scheme_scheme-equality (Example H81E5)
Scheme_scheme-points (Example H81E6)
Scheme_schemes-creation (Example H81E4)
Scheme_schemes-points-example1 (Example H81E2)
Scheme_schemes-prime-components (Example H81E8)
GrpFP_1_SchreierGenerators (Example H22E42)
Scheme_scroll-map-base-points (Example H81E19)
CrvEll_SEA (Example H85E26)
Crv_second-affine-patch (Example H82E8)
RngInvar_SecondaryInvariants (Example H78E7)
Seq_Self (Example H8E5)
CodeFld_SelfDual (Example H97E17)
CodeRng_SelfDualZ4 (Example H98E7)
GrpMat_Semilinearity (Example H21E32)
AlgLie_SemiSimpleType (Example H75E8)
AlgLie_Series (Example H75E5)
GrpMat_Series (Example H21E26)
GrpPerm_Series (Example H20E23)
RngLoc_series-print (Example H59E2)
RngPad_series-print (Example H42E1)
GrpAtc_Set (Example H31E6)
GrpPC_Set (Example H25E11)
GrpRWS_Set (Example H30E6)
MonRWS_Set (Example H18E6)
GrpPC_set_ops (Example H25E10)
GrpPerm_SetOperations (Example H20E10)
Grp_SetOperations (Example H19E13)
Lat_Seysen (Example H66E13)
GrpData_sg-process (Example H34E12)
GrpData_sg-process (Example H34E2)
GrpData_sgdb (Example H34E10)
Mat_ShortCuts (Example H62E2)
Mat_Shortcuts (Example H62E3)
CodeFld_SimpleCodeChain (Example H97E4)
AlgLie_SimpleLieAlgebra (Example H75E1)
GrpFP_1_Simplify1 (Example H22E54)
Lat_SingularElements (Example H66E9)
GrphRes_singularity (Example H83E1)
CrvEll_SIntegralPoints (Example H85E22)
GrpSLP_SLPGroup (Example H32E1)
GrpData_SmallGroups (Example H34E1)
GrpData_SmallIdentify (Example H34E3)
GrpFP_2_SolubleQuotient (Example H23E13)
GrpFP_1_SolubleQuotient1 (Example H22E26)
GrpFP_1_SolubleQuotient2 (Example H22E27)
CrvCon_Solution (Example H84E7)
Mat_Solution (Example H62E8)
Newton_sp-vertices-ex (Example H58E4)
Func_spec (Example H2E9)
GrpPC_SpecialPresentation (Example H25E24)
GrpMat_SpecialQuotient (Example H21E18)
GrpPerm_SpecialQuotient (Example H20E17)
FldAC_Split (Example H56E6)
IO_Split (Example H3E2)
IO_Sprintf (Example H3E8)
GrpMat_StabiliserOfSpaces (Example H21E22)
GrpPerm_Stabilizers (Example H20E19)
GrpPC_Standard (Example H25E1)
GrpCox_StandardAction (Example H36E18)
CodeFld_StandardForm (Example H97E9)
CodeRng_StandardForm (Example H98E8)
GrpFP_1_StandardGroups (Example H22E14)
GrpPerm_StandardGroups (Example H20E7)
Grp_StandardGroups (Example H19E7)
GrpPGp_StandardPresentation (Example H26E4)
GrpLie_StandardRepresentation (Example H37E7)
Env_Startup (Example H4E1)
Func_startup-spec (Example H2E10)
RngInvar_SteenrodOperation (Example H78E12)
IO_Strings (Example H3E1)
Graph_StronglyRegularGraphs (Example H93E18)
RngLoc_strop (Example H59E5)
RngPad_strop (Example H42E3)
Plane_sub (Example H95E4)
Plane_sub (Example H95E5)
GrpPC_sub-predicates (Example H25E16)
ModOrd_sub-quo (Example H65E2)
GrpPC_sub_creation (Example H25E13)
AlgMat_SubAlgebra (Example H72E4)
CodeFld_SubcodeBetweenCode (Example H97E14)
RngOrd_SubfieldLattice (Example H53E23)
FldFunG_Subfields (Example H57E6)
GrpGPC_Subgroup (Example H24E3)
Grp_Subgroup (Example H19E5)
GrpPC_subgroup-constructions (Example H25E15)
GrpPC_SubgroupClasses (Example H25E18)
GrpFP_1_SubgroupConstructions (Example H22E41)
GrpPerm_SubgroupConstructions (Example H20E13)
GrpAbGen_SubgroupCreation (Example H27E4)
GrpFP_1_SubgroupOps (Example H22E43)
GrpMat_Subgroups (Example H21E15)
GrpPerm_Subgroups (Example H20E15)
Grp_Subgroups (Example H19E15)
GrpFP_1_Subgroups1 (Example H22E28)
GrpFP_1_Subgroups2 (Example H22E29)
GrpPGp_subgroupsabelianpgroups (Example H26E7)
CrvEll_SubgroupSchemes (Example H85E8)
GrpGPC_SubgroupsQuotientsTransfer (Example H24E6)
GrpGPC_SubgroupStructure (Example H24E9)
GrpGPC_SubgroupStructure2 (Example H24E10)
Lat_Sublattices (Example H66E22)
Mat_Submatrix (Example H62E5)
ModAlg_Submodule (Example H76E13)
ModRng_Submodule (Example H64E4)
PMod_SubQuo (Example H52E3)
RootDtm_SubRD (Example H35E18)
ModFld_Subspace1 (Example H63E8)
ModFld_Subspace2 (Example H63E9)
ModForm_Subspaces (Example H90E11)
ModSym_Subspaces (Example H88E12)
Lat_SubSuperQuo (Example H66E5)
Scheme_subsystems (Example H81E31)
CodeFld_SumIntersection (Example H97E15)
CodeRng_SumIntersection (Example H98E5)
Plane_supp (Example H95E3)
GrpMat_Suzuki (Example H21E9)
FldAC_SwinnertonDyer (Example H56E2)
RngPol_SwinnertonDyerPolynomial (Example H44E5)
GrpPerm_Sym (Example H20E1)
RngMPol_Sym_Bi_Linear (Example H45E6)
GrpFP_1_Symmetric1 (Example H22E5)
GrpFP_1_Symmetric2 (Example H22E6)
GrpGPC_Symmetric2 (Example H24E5)
GrpMat_Symplectic (Example H21E8)
Func_SystemAttributes (Example H2E11)
GB_SyzygyModule (Example H50E24)
GrpMat_Tensor (Example H21E33)
GrpMat_TensorInduced (Example H21E34)
CodeFld_TernaryGolayCode (Example H97E1)
CodeRng_TernaryGolayCode (Example H98E1)
GrpFP_1_Tetrahedral (Example H22E8)
ModSym_ThetaOperator (Example H88E16)
Lat_ThetaSeries (Example H66E10)
GrpFP_1_ThreeInvols (Example H22E9)
RngOrd_thue (Example H53E27)
State_Time (Example H1E17)
CrvHyp_TorsionGroups (Example H86E11)
Scheme_trace (Example H81E32)
Plane_trans (Example H95E16)
CrvHyp_Transformation (Example H86E7)
GrpData_Transitive (Example H34E7)
GrpData_TransitiveId (Example H34E9)
GrpData_TransitiveProcess (Example H34E8)
Scheme_translation (Example H81E27)
Crv_translation-to-infinity (Example H82E9)
GrpCox_Transversals (Example H36E3)
GB_TriangularDecomposition (Example H50E19)
Crv_trigonal-curve (Example H82E21)
RngMPol_Trinomials (Example H45E7)
Tup_Tuple (Example H9E2)
Tup_TupleAccess (Example H9E3)
Graph_TutteCage (Example H93E2)
Scheme_twisted-cubics (Example H81E35)
CrvEll_Twists (Example H85E28)
CrvEll_Twists (Example H85E4)
CrvEll_Twists2 (Example H85E7)
State_TypeStructures (Example H1E18)
Func_Underscore (Example H2E3)
GrpMat_UnipotentStabiliser (Example H21E23)
AlgQuat_Unit_Group (Example H71E13)
Plane_unital (Example H95E11)
RngOrd_uniteq (Example H53E28)
RngOrd_UnitGroup (Example H53E19)
RngLoc_units-autos (Example H59E21)
Set_Universe (Example H7E1)
RngLoc_unram-ext (Example H59E9)
RngPad_unram-ext (Example H42E7)
GrpPSL2_Upper-half-plane-example (Example H33E6)
RngMPol_Vandermonde (Example H45E8)
GB_Variety (Example H50E10)
State_Various (Example H1E16)
ModFld_Vectors (Example H63E3)
FldFin_VectorSpace (Example H47E2)
CodeFld_VerboseBestCode (Example H97E41)
CodeFld_VerifyLower (Example H97E19)
Newton_vertices-ex (Example H58E3)
Lat_Voronoi (Example H66E11)
CodeFld_WeaklySelfDual (Example H97E18)
AlgGrp_wedderburn (Example H73E3)
ModForm_WeierstrassPoints (Example H90E8)
CodeFld_WeightDistribution (Example H97E20)
Crv_weighted-blowup (Example H82E5)
CodeFld_WeightEnumerator (Example H97E21)
CodeRng_WeightEnumerator (Example H98E10)
RootDtm_Weights (Example H35E14)
CrvEll_WeilPairing (Example H85E13)
State_where (Example H1E9)
State_while (Example H1E13)
Design_wittex (Example H94E4)
GrpFP_1_WordAccess (Example H22E2)
GrpCox_WordArithmetic (Example H36E15)
GrpCox_WordOperations (Example H36E14)
GrpFP_2_WordOps (Example H23E2)
CodeFld_Words (Example H97E23)
GrpAtc_Words (Example H31E2)
GrpFP_1_Words (Example H22E3)
GrpRWS_Words (Example H30E2)
MonRWS_Words (Example H18E2)
GrpMat_WriteOverSmallerField (Example H21E38)
CodeFld_X3 (Example H97E34)
CodeFld_XX (Example H97E35)
RngOrd_zero (Example H53E12)
Crv_zeros-and-poles (Example H82E14)
CodeFld_Zinoviev (Example H97E36)
GB_ZRadical (Example H50E13)
An Example of Use of the Database (THE K3 DATABASE)
Examples (FUNCTIONS, PROCEDURES AND PACKAGES)
Examples of Curves (RATIONAL CURVES AND CONICS)
Curves (PLANE ALGEBRAIC CURVES)
First Examples (PLANE ALGEBRAIC CURVES)
Planes (PLANE ALGEBRAIC CURVES)
Curves (PLANE ALGEBRAIC CURVES)
Planes (PLANE ALGEBRAIC CURVES)
Advanced Examples (PLANE ALGEBRAIC CURVES)
Geometric Codes (PLANE ALGEBRAIC CURVES)
Trigonal Curves (PLANE ALGEBRAIC CURVES)
Geometric Codes (PLANE ALGEBRAIC CURVES)
Trigonal Curves (PLANE ALGEBRAIC CURVES)
ExceptionalUnitOrbit(u) : RngOrdElt -> [ RngOrdElt ]
ExceptionalUnits(O) : RngOrd -> [ RngOrdElt ]
IsExceptionalUnit(u) : RngOrdElt -> BoolElt
ExceptionalUnitOrbit(u) : RngOrdElt -> [ RngOrdElt ]
ExceptionalUnits(O) : RngOrd -> [ RngOrdElt ]
Exclude(~S, x) : SeqEnum, Elt ->
Exclude(~S, x) : SetEnum, Elt ->
ExcludedConjugates(P) : GrpFPCosetEnumProc -> { GrpFPElt }
ExcludedConjugate(P) : GrpFPCosetEnumProc -> GrpFPElt
ExcludedConjugates(V) : GrpFPCos -> { GrpFPElt }
ExistsExcludedConjugate(P) : GrpFPCosetEnumProc -> BoolElt, GrpFPElt
ExcludedConjugates(P) : GrpFPCosetEnumProc -> { GrpFPElt }
ExcludedConjugate(P) : GrpFPCosetEnumProc -> GrpFPElt
ExcludedConjugates(P) : GrpFPCosetEnumProc -> { GrpFPElt }
ExcludedConjugate(P) : GrpFPCosetEnumProc -> GrpFPElt
ExcludedConjugates(V) : GrpFPCos -> { GrpFPElt }
GrpFP_1_ExcludedConjugates (Example H22E49)
ExistsConwayPolynomial(p, n) : RngIntElt, RngIntElt -> BoolElt, RngUPolElt
ExistsCosetSatisfying(P : parameters) : GrpFPCosetEnumProc -> BoolElt, GrpFPElt
ExistsCoveringStructure(S, T) : Str, Str -> BoolElt, Str
ExistsExcludedConjugate(P) : GrpFPCosetEnumProc -> BoolElt, GrpFPElt
ExistsGroupData(D, o1, o2): DB, RngIntElt, RngIntElt -> bool
ExistsModularCurveDatabase(t) : MonStgElt -> BoolElt
ExistsNormalisingCoset(P) : GrpFPCosetEnumProc -> BoolElt, GrpFPElt
Set_Exists (Example H7E12)
exists(t){ e(x): x in E | P(x) }
exists(t){ e(x_1, ..., x_k): x_1 in E_1,..., x_k in E_k | P(x_1, ..., x_k) }
ExistsConwayPolynomial(p, n) : RngIntElt, RngIntElt -> BoolElt, RngUPolElt
ExistsCosetSatisfying(P : parameters) : GrpFPCosetEnumProc -> BoolElt, GrpFPElt
ExistsCoveringStructure(S, T) : Str, Str -> BoolElt, Str
ExistsExcludedConjugate(P) : GrpFPCosetEnumProc -> BoolElt, GrpFPElt
ExistsGroupData(D, o1, o2): DB, RngIntElt, RngIntElt -> bool
ExistsModularCurveDatabase(t) : MonStgElt -> BoolElt
ExistsNormalizingCoset(P) : GrpFPCosetEnumProc -> BoolElt, GrpFPElt
ExistsNormalisingCoset(P) : GrpFPCosetEnumProc -> BoolElt, GrpFPElt
ExistsNormalizingCoset(P) : GrpFPCosetEnumProc -> BoolElt, GrpFPElt
ExistsNormalisingCoset(P) : GrpFPCosetEnumProc -> BoolElt, GrpFPElt
Control-C key (OVERVIEW)
Quitting (OVERVIEW)
Exp(s) : FldPrElt -> FldPrElt
Exp(x) : RngLocElt -> RngLocElt
Exp(x) : RngLocElt -> RngLocElt
Exp(f) : RngSerElt -> RngSerElt
Exp(f) : RngSerElt -> RngSerElt
Logarithms and Exponentials (LOCAL RINGS AND FIELDS)
Logarithms and Exponentials (p-ADIC RINGS AND FIELDS)
Expand(a, p) : FldFunGElt, PlcFunElt -> RngSerElt, FldFunGElt
Expand(x) : RngLocElt -> RngLocElt
ExpandToPrecision(f, c, n) : RngUPolElt, RngSerPuisElt -> RngSerPuisElt
ExpandToPrecision(f, c, n) : RngUPolElt, RngSerPuisElt -> RngSerPuisElt
DuvalPuiseuxExpansion(f, n) : RngUPolElt, RngIntElt -> SeqEnum
PuiseuxExpansion(f, n) : RngUPolElt, RngIntElt -> SeqEnum[RngSerPuisElt]
qExpansionBasis(M, prec) : ModBrdt, RngIntElt -> SeqEnum
qExpansionBasis(M, prec : parameters) : ModSym, RngIntElt -> SeqEnum
q-Expansions (MODULAR FORMS)
ExplicitCoset(V, i) : GrpFPCos, RngIntElt -> GrpFPCosElt
Explicit Creation (SCHEMES)
Explicit Restrictions (SCHEMES)
Explicit Creation (SCHEMES)
Explicit Restrictions (SCHEMES)
ExplicitCoset(V, i) : GrpFPCos, RngIntElt -> GrpFPCosElt
LP_ExplicitLPSolutionsOne (Example H100E1)
LP_ExplicitLPSolutionsTwo (Example H100E2)
Explode(R) : SeqEnum -> List
Explode(T) : Tup -> t1, t2, ...
Exponent(G) : GrpAb -> RngIntElt
Exponent(G) : GrpFin -> RngIntElt
Exponent(G) : GrpMat -> RngIntElt
Exponent(G) : GrpPC -> RngIntElt
Exponent(G) : GrpPerm -> RngIntElt
ExponentDenominator(f) : RngMSerElt -> RngElt
ExponentLaw(~P : parameters) : Proc(pQuot) ->
ExponentSum(w, x) : GrpFPElt, GrpFPElt -> RngIntElt
LeadingExponent(x) : GrpGPCElt -> RngIntElt
LeadingExponent(x) : GrpPCElt -> RngIntElt
MantissaExponent(r) : FldReElt -> FldReElt, RngIntElt
ExponentDenominator(f) : RngMSerElt -> RngElt
ExponentialIntegral(r) : FldReElt -> FldReElt
ExponentialIntegralE1(r) : FldReElt -> FldReElt
Exponential and Logarithmic Functions (POWER, LAURENT AND PUISEUX SERIES)
Exponential, Logarithmic and Polylogarithmic Functions (REAL AND COMPLEX FIELDS)
ExponentialIntegral(r) : FldReElt -> FldReElt
ExponentialIntegralE1(r) : FldReElt -> FldReElt
Operators (OVERVIEW)
ExponentLaw(~P : parameters) : Proc(pQuot) ->
Exponents(f) : RngMPolElt -> [ RngIntElt ]
ExtensionExponents(D, Q, p) : DB, MonStgElt, RngIntElt -> SetEnum
PuiseuxExponents(p) : RngSerElt -> SeqEnum
PuiseuxExponentsCommon(p, q) : RngSerElt, RngSerElt -> SeqEnum
Weight(w, x) : GrpFPElt, GrpFPElt -> RngIntElt
ExponentSum(w, x) : GrpFPElt, GrpFPElt -> RngIntElt
Expression (OVERVIEW)
Function Expressions (MAGMA SEMANTICS)
Function Expressions (OVERVIEW)
Procedure Expressions (MAGMA SEMANTICS)
Procedure Expressions (OVERVIEW)
The Case Expression (STATEMENTS AND EXPRESSIONS)
The Simple Conditional Expression (STATEMENTS AND EXPRESSIONS)
STATEMENTS AND EXPRESSIONS
Newton_exps (Example H58E8)
ExpurgateCode(C) : Code -> Code
ExpurgateCode(C, L) : Code,[ModTupFldElt] -> Code
ExpurgateWeightCode(C, w) : Code,RngIntElt -> Code
ExpurgateCode(C) : Code -> Code
ExpurgateCode(C, L) : Code,[ModTupFldElt] -> Code
ExpurgateWeightCode(C, w) : Code,RngIntElt -> Code
ExtGenerators(G, U) : GrpPC, GrpPC -> [<AlgMatElt, RngIntElt>]
Constructor (OVERVIEW)
ext<F | n> : FldFin, RngIntElt -> FldFin, Map
ext<F | P> : FldFin, RngPolElt(FldFin) -> FldFin, Map
ext< K | f > : FldFunRat, RngUPolElt -> FldFun
ext< Q | s1, ..., sn > : FldRat, RngUPolElt, ..., RngUPolElt -> FldNum
ext< L | S > : Lat, List -> Lat
ext< R | > : Rng -> RngUPol
ext< R, n | > : Rng, RngIntElt -> RngMPol
ext< Z | f > : RngInt, RngUPolElt -> RngOrd
ext<L | f, g> : RngLoc, RngIntElt, RngUPolElt -> RngLoc
ext< O | a_1, ..., a_r > : RngOrd, RngOrdElt, ..., RngOrdElt -> RngOrd
BaseExtend(E, h) : CrvEll, Map -> CrvEll
BaseChange(E, h) : CrvEll, Map -> CrvEll
BaseChange(E, K) : CrvEll, Rng -> CrvEll
BaseChange(E, n) : CrvEll, RngIntElt -> CrvEll
BaseChange(J, j) : JacHyp, Map -> JacHyp
BaseChange(J, F) : JacHyp, Rng -> JacHyp
BaseChange(J, n) : JacHyp, RngIntElt -> JacHyp
BaseChange(C, K) : Sch, Fld -> Sch
BaseChange(A,m) : Sch, Map -> Sch
BaseChange(C, j) : Sch, Map -> Sch
BaseChange(C, n) : Sch, RngIntElt -> Sch
BaseChange(X, n) : Sch, RngIntElt -> Sch
BaseChange(A,K) : Sch,Rng -> Sch
BaseChange(X,A) : Sch,Sch -> Sch
BaseChange(F,K) : SeqEnum,Rng -> SeqEnum
BaseChange(K, j) : SrfKum, Map -> SrfKum
BaseChange(K, F) : SrfKum, Rng -> SrfKum
BaseChange(K, n): SrfKum, RngIntElt -> SrfKum
BaseExtend(G, R) : GrpDrch, Rng -> GrpDrch
BaseExtend(G, R, z) : GrpDrch, Rng, RngElt -> GrpDrch
BaseExtend(M,R) : ModBrdt, Rng -> ModBrdt
BaseExtend(M, phi) : ModFrm, Map -> ModFrm, Map
BaseExtend(M, R) : ModFrm, Rng -> ModFrm, Map
ChangeRing(L, S) : Lat, Rng -> Lat, Map
ExtendBasis(S, A) : AlgGen, AlgGen -> [ AlgElt ]
ExtendBasis(U, V) : ModTupFld, ModTupFld -> [ModTupFldElt]
ExtendBasis(Q, U) : [ModTupFldElt], ModTupFld -> [ModTupFldElt]
ExtendCode(C) : Code -> Code
ExtendCode(C) : Code -> Code
ExtendCode(C, n) : Code, RngIntElt -> Code
ExtendCode(C, n) : Code, RngIntElt -> Code
ExtendField(C, L) : Code, FldFin -> Code, Map
ExtendField(G, L) : GrpMat, FldFin -> GrpMat, Map
ExtendField(V, L) : ModTupFld, Fld -> ModTupFld, MapHom
Base Extension (MODULAR FORMS)
ExtendBasis(S, A) : AlgGen, AlgGen -> [ AlgElt ]
ExtendBasis(U, V) : ModTupFld, ModTupFld -> [ModTupFldElt]
ExtendBasis(Q, U) : [ModTupFldElt], ModTupFld -> [ModTupFldElt]
ExtendCode(C) : Code -> Code
ExtendCode(C) : Code -> Code
ExtendCode(C, n) : Code, RngIntElt -> Code
ExtendCode(C, n) : Code, RngIntElt -> Code
Xgcd(m, n) : RngIntElt, RngIntElt -> RngIntElt, RngIntElt, RngIntElt
XGCD(m, n) : RngIntElt, RngIntElt -> RngIntElt, RngIntElt, RngIntElt
ExtendedGreatestCommonDivisor(m, n) : RngIntElt, RngIntElt -> RngIntElt, RngIntElt, RngIntElt
ExtendedGreatestCommonDivisor(f, g) : RngUPolElt, RngUPolElt -> RngUPolElt, RngUPolElt, RngUPolElt
ExtendedGreatestCommonDivisor(v, w) : RngValElt, RngValElt -> RngValElt, RngValElt, RngValElt
ExtendedGreatestCommonDivisor(s) : [RngIntElt] -> RngIntElt, [RngIntElt]
Xgcd(m, n) : RngIntElt, RngIntElt -> RngIntElt, RngIntElt, RngIntElt
XGCD(m, n) : RngIntElt, RngIntElt -> RngIntElt, RngIntElt, RngIntElt
ExtendedGreatestCommonDivisor(m, n) : RngIntElt, RngIntElt -> RngIntElt, RngIntElt, RngIntElt
ExtendedGreatestCommonDivisor(f, g) : RngUPolElt, RngUPolElt -> RngUPolElt, RngUPolElt, RngUPolElt
ExtendedGreatestCommonDivisor(v, w) : RngValElt, RngValElt -> RngValElt, RngValElt, RngValElt
ExtendedGreatestCommonDivisor(s) : [RngIntElt] -> RngIntElt, [RngIntElt]
ExtendField(C, L) : Code, FldFin -> Code, Map
ExtendField(G, L) : GrpMat, FldFin -> GrpMat, Map
ExtendField(V, L) : ModTupFld, Fld -> ModTupFld, MapHom
CentralExtension (G, U, A) : GrpPC, GrpPC, AlgMatElt -> GrpPC
CentralExtensionProcess (G, U) : GrpPC, GrpPC -> Proc
DegreeOfFieldExtension(G) : GrpMat -> RngIntElt
ExactExtension(C) : ModCpx -> ModCpx
Extension(G, H, f) : GrpPC, GrpPC, [Map] -> GrpPC
Extension(G, H, f, t) : GrpPC, GrpPC, [Map], [GrpPCElt] -> GrpPC
Extension(M, H) : ModGrp, GrpPC -> GrpPC
Extension(M, H, t) : ModGrp, GrpPC, [ModGrpElt] -> GrpPC
Extension(P, Q) : Process -> GrpFinFP
Extension(P, Q) : Process -> GrpFP
Extension(I, U) : RngMPol, [ RngIntElt ] -> RngMPol, Map
ExtensionClasses(D, Q) : DB, MonStgElt -> SetEnum
ExtensionExponents(D, Q, p) : DB, MonStgElt, RngIntElt -> SetEnum
ExtensionField<F, x | P> : FldFin, RngIntElt -> FldFin, Map
ExtensionNumbers(D, Q, p, r) : DB, MonStgElt, RngIntElt, RngIntElt -> SetEnum
ExtensionPrimes(D, Q) : DB, MonStgElt -> SetEnum
ExtensionProcess(G, M, F) : GrpFin, ModRng, GrpFinFP -> Process
ExtensionProcess(G, M, F) : GrpPerm, ModRng, GrpFP -> Process
HasPointsOverExtension(X) : Sch -> BoolElt
HasSingularPointsOverExtension(C) : Sch -> BoolElt
IsExtension(G, H, f) : GrpPC, GrpPC, [Map] -> BoolElt, GrpPC
LeftExactExtension(C) : ModCpx -> ModCpx
LeftZeroExtension(C) : ModCpx -> ModCpx
LiftCharacter(x, f, G) : AlgChtrElt, MapHom, Grp -> AlgChtrElt
LiftCharacters(T, f, G) : AlgChtrElt, MapHom, Grp -> AlgChtrElt
LiftNonsplitExtension (SQP, p, i, k : parameters) : SQProc, RngIntElt, RngIntElt, RngIntElt -> RngIntElt, SQProc
LiftNonsplitExtensionRow (SQP, p, l) : SQProc, RngIntElt, RngIntElt -> RngIntElt, SQProc
LiftSplitExtension (SQP, p, i, k : parameters) : SQProc, RngIntElt, RngIntElt, RngIntElt -> RngIntElt, SQProc
LiftSplitExtensionRow (SQP): SQProc -> RngIntElt, SQProc
NextExtension (P) : Proc -> GrpPC
RadicalExtension(F, d, a) : Rng, RngIntElt, RngElt -> FldAlg
RationalExtensionRepresentation(F) : FldFunG -> FldFun
RayClassField(m) : Map -> FldAb
RightExactExtension(C) : ModCpx -> ModCpx
RightZeroExtension(C) : ModCpx -> ModCpx
SimpleExtension(F) : FldAlg -> FldAlg
SplitExtension(G, M, F) : GrpFin, ModRng, GrpFinFP -> GrpFinFP
SplitExtension(G, M, F) : GrpPerm, ModRng, GrpFP -> GrpFP
SplitExtensionSpace (SQP): SQProc -> SeqEnum
TotallyRamifiedExtension(L, g) : RngLoc, RngUPolElt -> RngLoc
UnramifiedExtension(L, f) : RngLoc, RngIntElt -> RngLoc
VariableExtension(I, k, b) : RngMPol, RngIntElt, BoolElt -> RngMPol, Map
ZeroExtension(C) : ModCpx -> ModCpx
Construction of Extensions (FINITELY PRESENTED GROUPS)
Construction of Extensions (GROUPS)
Construction of Extensions (MATRIX GROUPS)
Construction of Extensions (POLYCYCLIC GROUPS)
Constructor (OVERVIEW)
Direct Sums (FREE MODULES)
Extension and Contraction of Ideals (IDEAL THEORY AND GRÖBNER BASES)
Extension Spaces (FP GROUPS - ADVANCED FEATURES)
Extensions (FINITELY PRESENTED SEMIGROUPS)
Ground Field and Relationships (FINITE FIELDS)
Induction, Restriction, Extension (CHARACTERS OF FINITE GROUPS)
New Groups from Old (FINITE SOLUBLE GROUPS)
Standard Groups and Extensions (GROUPS)
Subgroups, Quotient Groups, Homomorphisms and Extensions (POLYCYCLIC GROUPS)
The Construction of Extensions and their Elements (MATRIX ALGEBRAS)
Transcendental Extension (INTRODUCTION [BASIC RINGS])
Variable Extension of Ideals (IDEAL THEORY AND GRÖBNER BASES)
GrpPC_extension (Example H25E6)
Extension and Contraction of Ideals (IDEAL THEORY AND GRÖBNER BASES)
DeleteNonsplitSolutionspace (SQP, p, i, k): SQProc, RngIntElt, RngIntElt, RngIntElt ->
Extension Spaces (FP GROUPS - ADVANCED FEATURES)
Standard Groups and Extensions (GROUPS)
ExtensionClasses(D, Q) : DB, MonStgElt -> SetEnum
ExtensionExponents(D, Q, p) : DB, MonStgElt, RngIntElt -> SetEnum
ExtensionField<F, x | P> : FldFin, RngIntElt -> FldFin, Map
ExtensionNumbers(D, Q, p, r) : DB, MonStgElt, RngIntElt, RngIntElt -> SetEnum
ExtensionPrimes(D, Q) : DB, MonStgElt -> SetEnum
ExtensionProcess(G, M, F) : GrpFin, ModRng, GrpFinFP -> Process
ExtensionProcess(G, M, F) : GrpPerm, ModRng, GrpFP -> Process
CentralExtensions (G, U, Q) : GrpPC, GrpPC, [AlgMatElt] -> [GrpPC]
PrintExtensions(SQP : parameters) : SQProc ->
FldFin_Extensions (Example H47E1)
Grp_Extensions (Example H19E8)
Abelian Extensions (ORDERS AND ALGEBRAIC FIELDS)
Central Extensions (FINITE SOLUBLE GROUPS)
Extensions (CHAIN COMPLEXES)
Exterior(P, C) : Plane, { PlanePt } -> { PlanePt }
ExteriorSquare(a) : AlgMat -> AlgMatElt
ExteriorSquare(L) : Lat -> Lat
ExteriorSquare(M) : ModTupRng -> ModTupRng
ExteriorSquare(a) : AlgMat -> AlgMatElt
ExteriorSquare(L) : Lat -> Lat
ExteriorSquare(M) : ModTupRng -> ModTupRng
AllPassants(P, A) : Plane, { PlanePt } -> { PlaneLn }
ExternalLines(P, A) : Plane, { PlanePt } -> { PlaneLn }
GetHelpExternalBrowser() : -> MonStgElt, MonStgElt
GetHelpExternalSystem() : -> MonStgElt
GetHelpUseExternal() : -> BoolElt, BoolElt
SetHelpExternalBrowser(S, T) : MonStgElt, MonStgElt ->
SetHelpExternalSystem(s) : MonStgElt ->
SetHelpUseExternalBrowser(b) : BoolElt ->
SetHelpUseExternalSystem(b) : BoolElt ->
AllPassants(P, A) : Plane, { PlanePt } -> { PlaneLn }
ExternalLines(P, A) : Plane, { PlanePt } -> { PlaneLn }
ExtGenerators(G, U) : GrpPC, GrpPC -> [<AlgMatElt, RngIntElt>]
ExtraSpecialGroup(G) : GrpMat -> GrpMat
ExtraSpecialGroup(C, p, n : parameters) : Cat, RngIntElt, RngIntElt -> GrpFin
ExtraSpecialGroup(GrpFP, p, n : parameters) : Cat, RngIntElt, RngIntElt -> GrpFP
ExtraSpecialGroup(GrpGPC, p, n : parameters) : Cat, RngIntElt, RngIntElt -> GrpGPC
ExtraSpecialGroup(GrpPC, p, n : parameters) : Cat, RngIntElt, RngIntElt -> GrpPC
ExtraSpecialGroup(GrpPerm, p, n : parameters) : Cat, RngIntElt, RngIntElt -> GrpPerm
ExtraSpecialParameters(G) : GrpMat -> [RngIntElt, RngIntElt]
IsExtraSpecial(G) : GrpFin -> BoolElt
IsExtraSpecial(G) : GrpMat -> BoolElt
IsExtraSpecial(G) : GrpPC -> BoolElt
IsExtraSpecial(G) : GrpPerm -> BoolElt
IsExtraSpecialNormalise(G) : GrpMat -> BoolElt
Addition of extra generators (GROUPS WHOSE ELEMENTS ARE STRAIGHT-LINE PROGRAMS)
Addition of extra generators (GROUPS WHOSE ELEMENTS ARE STRAIGHT-LINE PROGRAMS)
ExtractGenerators(P) : Process(Lix) -> { GrpFPElt }
ExtractGroup(P) : Process(Lix) -> GrpFP
ExtractGroup(P) : Process(pQuot) -> GrpPC
ExtractRep(~R, ~r) : SetEnum, Elt ->
Submatrix(a, i, j, p, q) : AlgMatElt, RngIntElt, RngIntElt, RngIntElt, RngIntElt -> ModMatRngElt
Submatrix(A, i, j, p, q) : Mtrx, RngIntElt, RngIntElt, RngIntElt, RngIntElt -> Mtrx
SubmatrixRange(A, i, j, r, s) : Mtrx, RngIntElt, RngIntElt, RngIntElt, RngIntElt -> Mtrx
ExtractBlock(a, i, j, p, q) : AlgMatElt, RngIntElt, RngIntElt, RngIntElt, RngIntElt -> ModMatRngElt
Submatrix(a, i, j, p, q) : AlgMatElt, RngIntElt, RngIntElt, RngIntElt, RngIntElt -> ModMatRngElt
Submatrix(A, i, j, p, q) : Mtrx, RngIntElt, RngIntElt, RngIntElt, RngIntElt -> Mtrx
ExtractBlockRange(A, i, j, r, s) : Mtrx, RngIntElt, RngIntElt, RngIntElt, RngIntElt -> Mtrx
SubmatrixRange(A, i, j, r, s) : Mtrx, RngIntElt, RngIntElt, RngIntElt, RngIntElt -> Mtrx
ExtractGenerators(P) : Process(Lix) -> { GrpFPElt }
ExtractGroup(P) : Process(Lix) -> GrpFP
ExtractGroup(P) : Process(pQuot) -> GrpPC
ExtractRep(~R, ~r) : SetEnum, Elt ->
Set_ExtractRep (Example H7E9)
GrpMat_ExtraSpecial (Example H21E36)
SetExtraspecialSigns( RD, s ) : RootDtm, . ->
ExtraSpecialGroup(G) : GrpMat -> GrpMat
ExtraSpecialGroup(C, p, n : parameters) : Cat, RngIntElt, RngIntElt -> GrpFin
ExtraSpecialGroup(GrpFP, p, n : parameters) : Cat, RngIntElt, RngIntElt -> GrpFP
ExtraSpecialGroup(GrpGPC, p, n : parameters) : Cat, RngIntElt, RngIntElt -> GrpGPC
ExtraSpecialGroup(GrpPC, p, n : parameters) : Cat, RngIntElt, RngIntElt -> GrpPC
ExtraSpecialGroup(GrpPerm, p, n : parameters) : Cat, RngIntElt, RngIntElt -> GrpPerm
ExtraSpecialParameters(G) : GrpMat -> [RngIntElt, RngIntElt]
[____] [____] [_____] [____] [__] [Index] [Root]