[____] [____] [_____] [____] [__] [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
Creation of elements (ORDERS AND ALGEBRAIC FIELDS)
Quitting (OVERVIEW)
d . eefpg : RngIntElt, RngIntElt, RngIntElt -> FldReElt
E
e
ExponentialIntegralE1(r) : FldReElt -> FldReElt
EARNS(G) : GrpPerm -> GrpPerm
GrpPC_EAS (Example H24E20)
EasyIdeal(I) : RngMPol -> RngMPol
EasyIdeal(I) : RngMPol -> RngMPol
CrvEll_ecdb1 (Example H87E25)
CrvEll_ecdb2 (Example H87E26)
CrvEll_ECDL (Example H87E32)
RngLoc_ech-man (Example H55E12)
RngPad_ech-man (Example H40E10)
EchelonForm(a) : AlgMatElt -> AlgMatElt, AlgMatElt
EchelonForm(A) : Mtrx -> Mtrx, AlgMatElt
EchelonForm(a) : AlgMatElt -> AlgMatElt, AlgMatElt
EchelonForm(A) : Mtrx -> Mtrx, AlgMatElt
AlgMat_EchelonForm (Example H73E6)
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) : 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) : 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) : 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 H97E7)
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) : ModSS -> ModSS
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 H41E7)
FldRe_Eisenstein (Example H41E8)
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 H93E14)
EisensteinSubspace(M) : ModBrdt -> ModBrdt
EisensteinSubspace(M) : ModFrm -> ModFrm
EisensteinSubspace(M) : ModSS -> ModSS
EisensteinSubspace(M) : ModSym -> ModSym
Elementary Operations (FINITE PLANES)
AlgGrp_el-creation (Example H74E2)
Elementary Operations (FINITE PLANES)
RngLoc_el_creation (Example H55E1)
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(u) : GrpBrdElt -> [ 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) : ModDedElt -> SeqEnum
ElementToSequence(u) : ModTupFldElt -> [RngElt]
ElementToSequence(u) : ModTupRngElt -> [RngElt]
ElementToSequence(u) : ModTupRngElt -> [RngElt]
ElementToSequence(w) : MonOrdElt -> SeqEnum
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) : 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 H68E2)
Access Functions for Elements (POLYCYCLIC GROUPS)
Accessing and Modifying a Matrix (MATRIX ALGEBRAS)
Arithmetic (ORDERS AND ALGEBRAIC FIELDS)
Arithmetic with Elements (MODULES OVER DEDEKIND DOMAINS)
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 OF 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 (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 (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 Orders and Integrality (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 OF 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 DEDEKIND DOMAINS)
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)
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)
Properties of Groups of Lie type (GROUPS OF LIE TYPE)
AlgQuat_Element_Arithmetic (Example H72E5)
Elementary Invariants (BRANDT MODULES)
AbelianSubgroups(G) : GrpPC -> SeqEnum
ElementaryAbelianGroup(GrpGPC, p, n) : Cat, RngIntElt, RngIntElt -> GrpGPC
ElementaryAbelianNormalSubgroup(G) : GrpPerm -> GrpPerm
ElementaryAbelianQuotient(G, p) : GrpAb, RngIntElt -> GrpAb, Map
ElementaryAbelianQuotient(G, p) : GrpFP, 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: parameters) : GrpPerm -> [ GrpPerm ]
ElementaryAbelianSeries(G: parameters) : GrpPerm -> [ GrpPerm ]
ElementaryAbelianSeries(G: parameters) : 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) : ModDed, ModDed -> SeqEnum
ElementaryDivisors(A) : Mtrx -> [RngElt]
ElementaryDivisors(A) : MtrxSprs -> [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 Divisors (Smith Form) (SPARSE MATRICES)
Elementary Functions (MODULES OVER DEDEKIND DOMAINS)
ModDed_elementary (Example H63E3)
Elementary Divisors (Smith Form) (SPARSE MATRICES)
Elementary Functions (MODULES OVER DEDEKIND DOMAINS)
Elementary Invariants (BRANDT MODULES)
AlgQuat_Elementary_Ideals (Example H72E8)
Elementary Invariants (HYPERELLIPTIC CURVES)
ElementaryAbelianGroup(GrpGPC, p, n) : Cat, RngIntElt, RngIntElt -> GrpGPC
ElementaryAbelianNormalSubgroup(G) : GrpPerm -> GrpPerm
ElementaryAbelianQuotient(G, p) : GrpAb, RngIntElt -> GrpAb, Map
ElementaryAbelianQuotient(G, p) : GrpFP, 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: parameters) : GrpPerm -> [ GrpPerm ]
ElementaryAbelianSeries(G: parameters) : 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) : ModDed, ModDed -> SeqEnum
ElementaryDivisors(A) : Mtrx -> [RngElt]
ElementaryDivisors(A) : MtrxSprs -> [RngElt]
AlgMat_ElementaryDivisors (Example H73E7)
ElementarySymmetricPolynomial(P, k) : RngMPol, RngIntElt -> RngMPolElt
ElementarySymmetricPolynomial(P, k) : RngMPol, RngIntElt -> RngMPolElt
GrpLie_ElementCreate (Example H35E2)
GrpAbGen_ElementCreationAndRep (Example H17E2)
GrpAbGen_ElementCreationAndRep (Example H17E6)
GB_ElementOperations (Example H66E9)
GrpAbGen_ElementOrderLog (Example H17E7)
Elements(G) : GrpDrch -> SeqEnum
Points(D) : IncGeom -> SetIndx
FldFunG_Elements (Example H53E12)
ModRng_Elements (Example H62E2)
RngOrd_Elements (Example H48E7)
Arithmetic Operators (ALGEBRAIC FUNCTION FIELDS)
Construction of an Element of a General Algebra (ALGEBRAS)
Construction of Elements of a Structure Constant Algebra (STRUCTURE CONSTANT ALGEBRAS)
Creation of Elements (ALGEBRAIC FUNCTION FIELDS)
Creation of Elements (MODULAR SYMBOLS)
Elements (ALGEBRAIC FUNCTION FIELDS)
Elements (FINITE SOLUBLE GROUPS)
Elements (LAZY POWER SERIES RINGS)
Elements (MODULAR FORMS)
Elements ({THE MODULE OF}{SUPERSINGULAR POINTS})
Elements of Graded Polynomial Rings (IDEAL THEORY AND GRÖBNER BASES)
Elements of Modules (MODULES OVER DEDEKIND DOMAINS)
Elements of Quaternion Algebras (QUATERNION ALGEBRAS)
Equality and Membership (ALGEBRAIC FUNCTION FIELDS)
Parent and Category (ALGEBRAIC FUNCTION FIELDS)
Predicates on Elements (ALGEBRAIC FUNCTION FIELDS)
Sequence Conversions (ALGEBRAIC FUNCTION FIELDS)
Special Element Operations (QUADRATIC FIELDS)
Working with the Raw Elements (THE K3 DATABASE)
FldFunG_elements (Example H53E13)
Arithmetic Operators (ALGEBRAIC FUNCTION FIELDS)
Predicates on Elements (ALGEBRAIC FUNCTION FIELDS)
Creation of Elements (ALGEBRAIC FUNCTION FIELDS)
Equality and Membership (ALGEBRAIC FUNCTION FIELDS)
Parent and Category (ALGEBRAIC FUNCTION FIELDS)
Sequence Conversions (ALGEBRAIC FUNCTION FIELDS)
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(u) : GrpBrdElt -> [ 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) : ModDedElt -> SeqEnum
ElementToSequence(u) : ModTupFldElt -> [RngElt]
ElementToSequence(u) : ModTupRngElt -> [RngElt]
ElementToSequence(u) : ModTupRngElt -> [RngElt]
ElementToSequence(w) : MonOrdElt -> SeqEnum
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) : 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 H66E12)
RngLoc_elinvar (Example H55E4)
RngPad_elinvar (Example H40E2)
EllipticCurveDatabase(: parameters) : -> DB
CremonaDatabase(: parameters) : -> DB
EllipticCurve(C) : Crv -> CrvEll, MapIsoSch, MapIsoSch
EllipticCurve(C, P) : Crv, Pt -> CrvEll, Map, Map
EllipticCurve(C,p) : Crv, Pt -> CrvEll, Map, Map
EllipticCurve(C) : CrvHyp -> CrvEll, MapIsoSch, MapIsoSch
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, MapIsoSch, MapIsoSch
IsEllipticCurve(C) : CrvHyp -> BoolElt, CrvEll, MapIsoSch, MapIsoSch
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, MapIsoSch, MapIsoSch
EllipticCurve(C, P) : Crv, Pt -> CrvEll, Map, Map
EllipticCurve(C,p) : Crv, Pt -> CrvEll, Map, Map
EllipticCurve(C) : CrvHyp -> CrvEll, MapIsoSch, MapIsoSch
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 H67E3)
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 H93E20)
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 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<R | m> : RngPowLaz, Map -> RngPowLazElt
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)
RngLaz_elt-create-fin (Example H57E3)
GrpPC_elt-definition (Example H24E8)
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 Point and Line Functions (FINITE PLANES)
Plane_elt-other (Example H99E9)
Predicates on Elements (ALGEBRAIC FUNCTION FIELDS)
Roots of Elements (LOCAL RINGS AND FIELDS)
Roots of Elements (p-ADIC RINGS AND FIELDS)
RngLaz_elt_arith (Example H57E6)
RngLaz_elt_coeffs_spiral (Example H57E7)
IsId(g) : GrpAbGenElt -> BoolElt
Equality and Comparison (GENERIC ABELIAN GROUPS)
Constructing an Element of a Generic Abelian Group (GENERIC ABELIAN GROUPS)
Creation of Finite Lazy Series (LAZY POWER SERIES RINGS)
Creation of Lazy Series from Maps (LAZY POWER SERIES RINGS)
GrpPC_elt_predicates (Example H24E9)
RngLoc_eltcons (Example H55E6)
RngPad_eltcons (Example H40E4)
Eltlist( g ) : GrpLieElt -> List
Creation of Elements (ALGEBRAIC FUNCTION FIELDS)
Elements of Quotients (ORDERS AND ALGEBRAIC FIELDS)
Other Functions on Elements (MODULES OVER DEDEKIND DOMAINS)
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(u) : GrpBrdElt -> [ 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) : ModDedElt -> SeqEnum
ElementToSequence(u) : ModTupFldElt -> [RngElt]
ElementToSequence(u) : ModTupRngElt -> [RngElt]
ElementToSequence(u) : ModTupRngElt -> [RngElt]
ElementToSequence(w) : MonOrdElt -> SeqEnum
ElementToSequence(u) : MonRWSElt -> [ RngIntElt ]
ElementToSequence(s) : MonStgElt -> [ MonStgElt ]
ElementToSequence(A) : Mtrx -> [ RngElt ]
ElementToSequence(l) : PlaneLn -> [ FldFinElt ]
ElementToSequence(p) : PlanePt -> [ FldFinElt ]
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) : ModSSElt -> SeqEnum
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 H48E11)
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 ->
Embedding(G) : GraphUnd -> SeqEnum
Embedding(v) : GrphVert -> SeqEnum
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 H99E7)
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: parameters) : RngIntElt -> GrphDir
EmptyGraph(p: parameters) : RngIntElt -> GrphUnd
EmptySubscheme(X) : Sch -> Sch, MapSch
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
IsEmptyWord(u) : GrpBrdElt -> BoolElt
Sequences (OVERVIEW)
Sets (OVERVIEW)
EmptyDigraph(p: parameters) : RngIntElt -> GrphDir
EmptyGraph(p: parameters) : RngIntElt -> GrphUnd
EmptySubscheme(X) : Sch -> Sch, MapSch
SmallGroupEncoding(G) : GrpPC -> RngIntElt, RngIntElt
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 H77E11)
ModAlg_EndoRing (Example H77E13)
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
NNZEntries(A) : Mtrx -> RngIntElt
NumberOfNonZeroEntries(A) : Mtrx -> RngIntElt
NumberOfNonZeroEntries(A) : MtrxSprs -> RngIntElt
Accessing or Modifying Entries (MATRICES)
Accessing or Modifying Entries (SPARSE MATRICES)
SetEntry(~A, i, j, x) : MtrxSprs, RngIntElt, RngIntElt, RngElt ->
Specifying an Entry of the Database (DATABASES OF GROUPS)
ENUMERATIVE COMBINATORICS
ENUMERATIVE COMBINATORICS
Enumeration of Tableaux (PARTITIONS, WORDS AND YOUNG TABLEAUX)
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
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
u eq v : GrpBrdElt, GrpBrdElt -> BoolElt
g eq h : GrpElt, GrpElt -> BoolElt
H eq G : GrpFin, GrpFin -> BoolElt
H eq K : GrpFP, GrpFP -> BoolElt
C1 eq C2 : GrpFPCosElt, GrpFPCosElt -> BoolElt
u eq v : GrpFPElt, GrpFPElt -> BoolElt
G eq H : 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 : MapIsoSch, MapIsoSch -> BoolElt
f eq g : MapSch, MapSch -> BoolElt
x eq y : ModBrdtElt, ModBrdtElt -> BoolElt
M eq N : ModDed, ModDed -> BoolElt
x eq y : ModDedElt, ModDedElt -> Bool
M eq N : ModMPol, ModMPol -> BoolElt
f eq g : ModMPolElt, ModMPolElt -> BoolElt
M1 eq M2 : ModSS, ModSS -> BoolElt
P eq Q : ModSSElt, ModSSElt -> BoolElt
U eq V : ModTupFld, ModTupFld -> BoolElt
N eq M : ModTupRng, ModTupRng -> BoolElt
N eq M : ModTupRng, ModTupRng -> BoolElt
u eq v : ModTupRngElt, ModTupRngElt -> BoolElt
w1 eq w2 : MonOrdElt, MonOrdElt -> BoolElt
t1 eq t2 : MonPlcElt, MonPlcElt -> BoolElt
u1 eq u2 : MonPlcElt, MonPlcElt -> BoolElt
u eq v : MonRWSElt, MonRWSElt -> BoolElt
s eq t : MonStgElt, MonStgElt -> BoolElt
A eq B : MtrxSprs, MtrxSprs -> 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
R1 eq R2 : RngPowLaz, RngPowLaz -> BoolElt
s eq t : RngPowLazElt, RngPowLazElt -> 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(s, t, n) : RngPowLazElt, RngPowLazElt, RngIntElt -> 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 (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 (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)
EquationOrder(A) : FldAb -> RngOrd
EquationOrder(K) : FldNum -> RngOrd
EquationOrder(F) : FldQuad -> RngQuad
EquationOrder(O) : RngOrd -> RngOrd
EquationOrder(f) : RngUPolElt -> RngOrd
EquationOrderFinite(F) : FldFun -> RngFunOrd
EquationOrderInfinite(F) : FldFun -> RngFunOrd
IndexFormEquation(O, k) : RngOrd, RngIntElt -> [ RngOrdElt ]
IsEquationOrder(O) : RngFunOrd -> BoolElt
IsEquationOrder(O) : RngOrd -> BoolElt
NormEquation(A, x) : FldAb, RngOrdElt -> BoolElt, [RngOrdElt]
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 ]
UnitEquation(a, b, c) : FldNumElt, FldNumElt, FldNumElt -> [ ModHomElt ]
Matrix Invariants (SPARSE MATRICES)
Norm Equations (ORDERS AND ALGEBRAIC FIELDS)
Nullspace (SPARSE MATRICES)
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(A) : FldAb -> RngOrd
EquationOrder(K) : FldNum -> RngOrd
EquationOrder(F) : FldQuad -> RngQuad
EquationOrder(O) : RngOrd -> RngOrd
EquationOrder(f) : RngUPolElt -> RngOrd
EquationOrderFinite(F) : FldFun -> RngFunOrd
EquationOrderInfinite(F) : FldFun -> RngFunOrd
Functions of the Equations (SCHEMES)
Norm Equations (CLASS FIELD THEORY)
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)
EquivalentPoint(x) : SpcHypElt -> SpcHypElt, GrpPSL2Elt
EquivalentQuotients(SQP, SQR : parameters) : SQProc, SQProc -> BoolElt, SQProc
IsEquivalent(G,a,b) : GrpPSL2, SpcHypElt, SpcHypElt -> BoolElt, GrpPSL2Elt
IsEquivalent(g,h,G) : GrpPSL2Elt, GrpPSL2Elt, GrpPSL2 -> BoolElt
IsEquivalent(C, D: parameters) : Code, Code -> BoolElt, Map
IsEquivalent(f, g) : QuadBinElt, QuadBinElt -> BoolElt, AlgMatElt
IsGL2Equivalent(f, g, n) : RngUPolElt, RngUPolElt, RngIntElt -> BoolElt, SeqEnum
IsHadamardEquivalent(H, J) : AlgMatElt, AlgMatElt -> BoolElt
IsKnuthEquivalent(w1, w2) : MonOrdElt, MonOrdElt -> BoolElt
IsLinearlyEquivalent(D1,D2) : DivCrvElt,DivCrvElt -> BoolElt
Writing Representations over Subfields (MATRIX GROUPS)
Writing Representations over Subfields (MATRIX GROUPS)
EquivalentPoint(x) : SpcHypElt -> SpcHypElt, GrpPSL2Elt
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
EulerPhiInverse(m) : RngIntElt -> RngIntElt
FactoredEulerPhi(n) : RngIntElt -> RngIntEltFact
FactoredEulerPhiInverse(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
EulerPhiInverse(m) : RngIntElt -> RngIntElt
RngLaz_eval (Example H57E9)
Evaluate(f,P) : MapIsoSch, PtHyp -> PtHyp
P @ f : PtHyp, MapIsoSch -> 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(f, i, r) : RngMPolElt, RngMPolElt, RngElt -> RngMPolElt
Evaluate(f, s) : RngMPolElt, [ RngElt ] -> RngElt
Evaluate(s, t) : RngPowLazElt, RngPowLazElt -> RngPowLazElt
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
EvaluatePolynomial(C, a, b, c) : CrvHyp, RngElt, RngElt, RngElt -> RngElt
Evaluation (RATIONAL FUNCTION FIELDS)
Expression (OVERVIEW)
Scheme_evaluate-funfld-example (Example H83E3)
EvaluateAt(L, p) : LP, Mtrx -> RngIntElt
EvaluatePolynomial(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 H67E1)
AlgAff_EllipticCurve (Example H67E3)
AlgAff_Factorization (Example H67E4)
AlgAff_MinimalPolynomial (Example H67E2)
AlgAff_MultiExtension (Example H67E5)
AlgAss_liealg (Example H71E1)
AlgBas_AModules (Example H81E2)
AlgBas_BasicAlgebras (Example H81E1)
AlgBas_Cohomology (Example H81E5)
AlgBas_Homomorphisms (Example H81E3)
AlgBas_Opposite (Example H81E4)
AlgCon_cayley (Example H70E2)
AlgCon_jordan (Example H70E1)
AlgFP_Abstract (Example H75E2)
AlgFP_FreeAlgebra (Example H75E1)
AlgFP_PermutationActionD8 (Example H75E3)
AlgFP_Quotient (Example H75E4)
AlgGen_quaternions (Example H69E1)
AlgGrp_average (Example H74E6)
AlgGrp_creation (Example H74E1)
AlgGrp_el-creation (Example H74E2)
AlgGrp_jacobson (Example H74E4)
AlgGrp_powering (Example H74E5)
AlgGrp_wedderburn (Example H74E3)
AlgLie_CartanSubalgebra (Example H76E6)
AlgLie_ChevalleyBasis (Example H76E4)
AlgLie_DecomposeTensor (Example H76E15)
AlgLie_DirectSumDecomposition (Example H76E8)
AlgLie_DominantCharacter (Example H76E14)
AlgLie_HighestWeight (Example H76E16)
AlgLie_LieAlgebra (Example H76E13)
AlgLie_NonNilpotentElement (Example H76E12)
AlgLie_Operations (Example H76E5)
AlgLie_Other (Example H76E11)
AlgLie_Predicates (Example H76E9)
AlgLie_RootDatum (Example H76E3)
AlgLie_RootSystem (Example H76E2)
AlgLie_SemiSimpleType (Example H76E10)
AlgLie_Series (Example H76E7)
AlgLie_SimpleLieAlgebra (Example H76E1)
AlgMat_Cambridge (Example H73E2)
AlgMat_CanonicalForms (Example H73E8)
AlgMat_Creation (Example H73E1)
AlgMat_EchelonForm (Example H73E6)
AlgMat_ElementaryDivisors (Example H73E7)
AlgMat_Invariants (Example H73E3)
AlgMat_Products (Example H73E5)
AlgMat_SubAlgebra (Example H73E4)
AlgQuat_Basis_Reduction (Example H72E11)
AlgQuat_Element_Arithmetic (Example H72E5)
AlgQuat_Elementary_Ideals (Example H72E8)
AlgQuat_Ideal_Arithmetic (Example H72E10)
AlgQuat_Ideal_Bases (Example H72E7)
AlgQuat_Ideal_Enumeration (Example H72E9)
AlgQuat_Left_Right_Isomorphisms (Example H72E12)
AlgQuat_Quaternion_Constructor (Example H72E1)
AlgQuat_Quaternion_Constructor_over_Rationals (Example H72E2)
AlgQuat_Quaternion_Orders_over_Polynomial_Rings (Example H72E4)
AlgQuat_Quaternion_Orders_over_the_Integers (Example H72E3)
AlgQuat_Ramified_Primes (Example H72E6)
AlgQuat_Unit_Group (Example H72E13)
Chtr_A5 (Example H79E1)
CodeFld_AlgebraicGeometricCode (Example H101E37)
CodeFld_AlgebraicGeometricCode (Example H101E38)
CodeFld_AlternantCode (Example H101E28)
CodeFld_AutoMorphismGroupWithWeight (Example H101E45)
CodeFld_AutomorphismGroup (Example H101E44)
CodeFld_BCHCode (Example H101E26)
CodeFld_BestLengthDimension (Example H101E40)
CodeFld_Card-Best-Comparison (Example H101E39)
CodeFld_ChainCyclic (Example H101E25)
CodeFld_CodeFromMatrix (Example H101E2)
CodeFld_ConcatenatedCode (Example H101E32)
CodeFld_Coordinates (Example H101E12)
CodeFld_CosetLeaders (Example H101E13)
CodeFld_CoveringRadius (Example H101E24)
CodeFld_CyclicCode (Example H101E5)
CodeFld_Decode (Example H101E42)
CodeFld_Distance (Example H101E11)
CodeFld_DualRS (Example H101E16)
CodeFld_GRSCode (Example H101E30)
CodeFld_GeneratorMatrix (Example H101E8)
CodeFld_GeneratorPolynomial (Example H101E10)
CodeFld_GoppaCode (Example H101E27)
CodeFld_HammingCode (Example H101E6)
CodeFld_MacWilliams (Example H101E22)
CodeFld_Make12-8-4Code (Example H101E31)
CodeFld_MattsonSolomonTransform (Example H101E43)
CodeFld_PermutationCode (Example H101E3)
CodeFld_QuadraticResidueCode (Example H101E29)
CodeFld_ReedMullerCode (Example H101E7)
CodeFld_SelfDual (Example H101E17)
CodeFld_SimpleCodeChain (Example H101E4)
CodeFld_StandardForm (Example H101E9)
CodeFld_SubcodeBetweenCode (Example H101E14)
CodeFld_SumIntersection (Example H101E15)
CodeFld_TernaryGolayCode (Example H101E1)
CodeFld_VerboseBestCode (Example H101E41)
CodeFld_VerifyLower (Example H101E19)
CodeFld_WeaklySelfDual (Example H101E18)
CodeFld_WeightDistribution (Example H101E20)
CodeFld_WeightEnumerator (Example H101E21)
CodeFld_Words (Example H101E23)
CodeFld_X3 (Example H101E34)
CodeFld_XX (Example H101E35)
CodeFld_Zinoviev (Example H101E36)
CodeFld_constructionX (Example H101E33)
CodeRng_CodeFromMatrix (Example H102E2)
CodeRng_CyclicCode (Example H102E4)
CodeRng_Distance (Example H102E6)
CodeRng_GrayMap (Example H102E9)
CodeRng_Kerdock (Example H102E11)
CodeRng_PermutationCode (Example H102E3)
CodeRng_SelfDualZ4 (Example H102E7)
CodeRng_StandardForm (Example H102E8)
CodeRng_SumIntersection (Example H102E5)
CodeRng_TernaryGolayCode (Example H102E1)
CodeRng_WeightEnumerator (Example H102E10)
Coproduct_cop (Example H11E1)
CrvCon_ (Example H86E10)
CrvCon_ (Example H86E9)
CrvCon_ConicAccess (Example H86E5)
CrvCon_ConicAutomorphisms (Example H86E12)
CrvCon_ConicCreation (Example H86E1)
CrvCon_ConicCurve (Example H86E3)
CrvCon_LocalGlobal (Example H86E4)
CrvCon_PointFinding (Example H86E8)
CrvCon_PointReduction (Example H86E7)
CrvCon_RationalCurveExample (Example H86E2)
CrvCon_RationalParametrization (Example H86E11)
CrvCon_rational-point-enum (Example H86E6)
CrvEll_AbelianGroup (Example H87E31)
CrvEll_BaseExtend (Example H87E2)
CrvEll_Creation (Example H87E1)
CrvEll_Desboves (Example H87E24)
CrvEll_DivisionPolynomial (Example H87E15)
CrvEll_DualIsogeny (Example H87E37)
CrvEll_ECDL (Example H87E32)
CrvEll_Frobenius (Example H87E38)
CrvEll_FunWithHeights (Example H87E19)
CrvEll_GenericCurve (Example H87E7)
CrvEll_GenericPoint (Example H87E12)
CrvEll_IntegralPoints (Example H87E21)
CrvEll_IntegralPointsSequence (Example H87E22)
CrvEll_Invariants (Example H87E6)
CrvEll_Invariants to Read (Example H87E30)
CrvEll_Isogeny (Example H87E33)
CrvEll_Isomorphism (Example H87E35)
CrvEll_Isomorphisms (Example H87E34)
CrvEll_Kodaira (Example H87E16)
CrvEll_LinearIndependence (Example H87E20)
CrvEll_Map (Example H87E36)
CrvEll_Models (Example H87E3)
CrvEll_MordellWeil (Example H87E17)
CrvEll_NonquadraticTwists (Example H87E5)
CrvEll_Order (Example H87E28)
CrvEll_PlayWithPoints (Example H87E13)
CrvEll_PointArithmetic (Example H87E11)
CrvEll_PointSets (Example H87E10)
CrvEll_QuadraticTwists (Example H87E4)
CrvEll_Rank (Example H87E18)
CrvEll_SEA (Example H87E27)
CrvEll_SIntegralPoints (Example H87E23)
CrvEll_SubgroupSchemes (Example H87E9)
CrvEll_Twists (Example H87E29)
CrvEll_Twists2 (Example H87E8)
CrvEll_WeilPairing (Example H87E14)
CrvEll_ecdb1 (Example H87E25)
CrvEll_ecdb2 (Example H87E26)
CrvHyp_Automorphism_Group (Example H88E8)
CrvHyp_BaseExtension (Example H88E2)
CrvHyp_Creation (Example H88E1)
CrvHyp_CurveFromIgusa (Example H88E5)
CrvHyp_HeightPairing (Example H88E12)
CrvHyp_Jac_Point_Counting (Example H88E10)
CrvHyp_Jac_WeilPairing (Example H88E9)
CrvHyp_KummerRationalPoints (Example H88E13)
CrvHyp_PointEnumeration (Example H88E6)
CrvHyp_QuadraticTwists (Example H88E3)
CrvHyp_QuadraticTwists (Example H88E4)
CrvHyp_TorsionGroups (Example H88E11)
CrvHyp_Transformation (Example H88E7)
CrvMod_Modular base curve (Example H89E4)
CrvMod_Modular polynomials (Example H89E2)
CrvMod_Moduli points (Example H89E1)
CrvMod_Parametrized subgroup schemes (Example H89E3)
CrvMod_Standard class polynomials (Example H89E5)
Crv_canonical-map (Example H84E20)
Crv_canonical_divisor (Example H84E18)
Crv_curve-base-change (Example H84E2)
Crv_curve-differentials (Example H84E12)
Crv_curve-hessian (Example H84E3)
Crv_curve-iscusp (Example H84E4)
Crv_divisor-class-group-example (Example H84E19)
Crv_divisor-equations (Example H84E15)
Crv_divisor1 (Example H84E16)
Crv_divisor2 (Example H84E17)
Crv_ff-creation-example (Example H84E10)
Crv_ff-elements-example (Example H84E11)
Crv_klein-quartic-code (Example H84E22)
Crv_local-intersection-example (Example H84E6)
Crv_place-equations (Example H84E13)
Crv_plane-points (Example H84E1)
Crv_proj-cl-commutes (Example H84E7)
Crv_second-affine-patch (Example H84E8)
Crv_translation-to-infinity (Example H84E9)
Crv_trigonal-curve (Example H84E21)
Crv_weighted-blowup (Example H84E5)
Crv_zeros-and-poles (Example H84E14)
Design_Constructors (Example H98E1)
Design_DevelopDifferenceSet (Example H98E6)
Design_auto (Example H98E11)
Design_automorphism (Example H98E12)
Design_conv (Example H98E10)
Design_design-invar (Example H98E7)
Design_graphs (Example H98E13)
Design_hadamard (Example H98E5)
Design_points-blocks (Example H98E2)
Design_pts-blks-ops (Example H98E8)
Design_related (Example H98E3)
Design_resol-parallel (Example H98E9)
Design_wittex (Example H98E4)
EnumComb_OddGraph (Example H95E1)
Env_Startup (Example H4E1)
FldAC_Create (Example H52E1)
FldAC_Cyclic6 (Example H52E5)
FldAC_Functions (Example H52E4)
FldAC_Puiseux (Example H52E3)
FldAC_Split (Example H52E6)
FldAC_SwinnertonDyer (Example H52E2)
FldAb_Selmer-group (Example H51E3)
FldAb_abelian-extension-attributes (Example H51E9)
FldAb_class-field (Example H51E5)
FldAb_cyclotomic-extension (Example H51E8)
FldAb_hilbert (Example H51E1)
FldAb_hilbert-class-field (Example H51E6)
FldAb_ideal-ray (Example H51E2)
FldAb_inducedMap (Example H51E4)
FldAb_norm-equation (Example H51E7)
FldCyc_GaussianPeriods (Example H50E2)
FldCyc_creation (Example H50E1)
FldFin_Dickson (Example H45E6)
FldFin_Extensions (Example H45E1)
FldFin_Functions (Example H45E3)
FldFin_Functions (Example H45E4)
FldFin_Log (Example H45E5)
FldFin_VectorSpace (Example H45E2)
FldFunG_AlgReln1 (Example H53E19)
FldFunG_AlgReln2 (Example H53E20)
FldFunG_Creation (Example H53E1)
FldFunG_Elements (Example H53E12)
FldFunG_GaloisGroups (Example H53E8)
FldFunG_Subfields (Example H53E9)
FldFunG_creation-rel (Example H53E2)
FldFunG_creation_herm (Example H53E3)
FldFunG_div_diff (Example H53E22)
FldFunG_divisors (Example H53E18)
FldFunG_elements (Example H53E13)
FldFunG_global-function-fields (Example H53E21)
FldFunG_hom (Example H53E11)
FldFunG_ideals (Example H53E15)
FldFunG_int_cl (Example H53E5)
FldFunG_invar (Example H53E7)
FldFunG_module (Example H53E14)
FldFunG_order-ideals (Example H53E16)
FldFunG_orders (Example H53E10)
FldFunG_orders (Example H53E4)
FldFunG_places (Example H53E17)
FldFunG_related-structures (Example H53E6)
FldFunRat_FunctionField (Example H44E1)
FldFunRat_Homomorphism (Example H44E2)
FldFunRat_PartialFractionDecomposition (Example H44E3)
FldQuad_Represent (Example H49E4)
FldQuad_creation (Example H49E1)
FldQuad_hom (Example H49E2)
FldQuad_norm-equation (Example H49E3)
FldRat_Coercion (Example H39E1)
FldRat_homomorphism (Example H39E2)
FldRat_numerator (Example H39E3)
FldRe_CreateComplexField (Example H41E3)
FldRe_CreateElements (Example H41E4)
FldRe_Eisenstein (Example H41E7)
FldRe_Eisenstein (Example H41E8)
FldRe_FixedPrecision (Example H41E1)
FldRe_Homomorphisms (Example H41E2)
FldRe_Integral (Example H41E9)
FldRe_Roots (Example H41E5)
FldRe_RootsNonExact (Example H41E6)
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 H66E16)
GB_ChangeRing (Example H66E15)
GB_Coordinates (Example H66E7)
GB_Cyclic6 (Example H66E2)
GB_Degree-d (Example H66E21)
GB_ElementOperations (Example H66E9)
GB_EliminationIdeal (Example H66E12)
GB_FindingPrimes (Example H66E5)
GB_GBoverZ (Example H66E4)
GB_Graded (Example H66E20)
GB_Hilbert (Example H66E22)
GB_HilbertGroebner (Example H66E23)
GB_HomogeneousModuleTest1 (Example H66E27)
GB_IdealArithmetic (Example H66E8)
GB_IsSymmetric (Example H66E26)
GB_Map1 (Example H66E25)
GB_Order (Example H66E1)
GB_PrimaryDecomposition (Example H66E18)
GB_QuadraticOrderElim (Example H66E11)
GB_QuadraticOrderGB (Example H66E6)
GB_Radical (Example H66E17)
GB_RelationIdeal (Example H66E14)
GB_RungeKutta2 (Example H66E3)
GB_SyzygyModule (Example H66E24)
GB_TriangularDecomposition (Example H66E19)
GB_Variety (Example H66E10)
GB_ZRadical (Example H66E13)
Graph_AutomorphismAction (Example H97E18)
Graph_AutomorphismGroup (Example H97E16)
Graph_CayleyGraph (Example H97E9)
Graph_ChromaticNumber (Example H97E13)
Graph_Cliques (Example H97E14)
Graph_Constructors (Example H97E1)
Graph_Constructors (Example H97E3)
Graph_Constructors (Example H97E4)
Graph_Constructors (Example H97E5)
Graph_EdgeSets (Example H97E7)
Graph_GraphGeneralAccess (Example H97E22)
Graph_GraphGeneration (Example H97E21)
Graph_GraphIsomorphim (Example H97E17)
Graph_Grotzch (Example H97E12)
Graph_Labels (Example H97E8)
Graph_Planarity (Example H97E15)
Graph_Quotient (Example H97E11)
Graph_Regularity (Example H97E19)
Graph_SparseReps (Example H97E6)
Graph_StronglyRegularGraphs (Example H97E20)
Graph_Subgraph (Example H97E10)
Graph_TutteCage (Example H97E2)
GrpAbGen_Creation (Example H17E1)
GrpAbGen_ElementCreationAndRep (Example H17E2)
GrpAbGen_ElementCreationAndRep (Example H17E6)
GrpAbGen_ElementOrderLog (Example H17E7)
GrpAbGen_GroupComputation (Example H17E3)
GrpAbGen_Homomorphisms (Example H17E8)
GrpAbGen_SubgroupCreation (Example H17E4)
GrpAbGen_pSylowComputation (Example H17E5)
GrpAb_AbelianGroup (Example H18E3)
GrpAb_FreeAbelianGroup (Example H18E1)
GrpAb_Relations (Example H18E2)
GrpAb_Relations (Example H18E5)
GrpAb_Subgroups (Example H18E4)
GrpAtc_Arithmetic (Example H28E3)
GrpAtc_AutomaticGroup (Example H28E1)
GrpAtc_BasicAccess (Example H28E4)
GrpAtc_Conversion (Example H28E9)
GrpAtc_GrowthFunction (Example H28E8)
GrpAtc_IsConfluent (Example H28E7)
GrpAtc_Order (Example H28E5)
GrpAtc_Set (Example H28E6)
GrpAtc_Words (Example H28E2)
GrpAuto_auto-maximals (Example H26E3)
GrpAuto_autogp-elts (Example H26E1)
GrpAuto_characteristicsubgps (Example H26E2)
GrpBrd_Access (Example H30E2)
GrpBrd_Constructor (Example H30E1)
GrpBrd_Homomorphisms (Example H30E4)
GrpBrd_Operators (Example H30E3)
GrpCox_Actions (Example H34E16)
GrpCox_AdditiveOrder (Example H34E7)
GrpCox_BasicDegrees (Example H34E8)
GrpCox_BraidGroups (Example H34E17)
GrpCox_CorootAction (Example H34E10)
GrpCox_Create (Example H34E1)
GrpCox_DescentSets (Example H34E6)
GrpCox_DominantWeights (Example H34E19)
GrpCox_F4 (Example H34E12)
GrpCox_FPCoxeterGroups (Example H34E13)
GrpCox_GSets (Example H34E9)
GrpCox_LongestCoxeterElements (Example H34E5)
GrpCox_RDFromCox (Example H34E4)
GrpCox_ReflectionGroups (Example H34E11)
GrpCox_ReflectionSubgroups (Example H34E2)
GrpCox_StandardAction (Example H34E18)
GrpCox_Transversals (Example H34E3)
GrpCox_WordArithmetic (Example H34E15)
GrpCox_WordOperations (Example H34E14)
GrpData_IsolGroup (Example H22E12)
GrpData_Quaternionic (Example H22E7)
GrpData_SmallGroups (Example H22E1)
GrpData_SmallIdentify (Example H22E3)
GrpData_SmallInternal (Example H22E4)
GrpData_Transitive (Example H22E8)
GrpData_TransitiveId (Example H22E10)
GrpData_TransitiveProcess (Example H22E9)
GrpData_perfgps (Example H22E5)
GrpData_ratgps1 (Example H22E6)
GrpData_sg-process (Example H22E13)
GrpData_sg-process (Example H22E2)
GrpData_sgdb (Example H22E11)
GrpFP_1_BuildSubgroups (Example H19E44)
GrpFP_1_Co1 (Example H19E52)
GrpFP_1_ControlExtn (Example H19E15)
GrpFP_1_CosetSatisfying (Example H19E51)
GrpFP_1_CosetSpace (Example H19E47)
GrpFP_1_CosetTable1 (Example H19E45)
GrpFP_1_CosetTable2 (Example H19E46)
GrpFP_1_Coxeter (Example H19E10)
GrpFP_1_DerSub (Example H19E48)
GrpFP_1_DirectProduct (Example H19E16)
GrpFP_1_DoubleCosets (Example H19E50)
GrpFP_1_ExcludedConjugates (Example H19E49)
GrpFP_1_F27 (Example H19E18)
GrpFP_1_F276 (Example H19E55)
GrpFP_1_F29 (Example H19E57)
GrpFP_1_FPCoxeterGroups (Example H19E12)
GrpFP_1_FPGroup1 (Example H19E11)
GrpFP_1_FPGroup2 (Example H19E13)
GrpFP_1_Family (Example H19E33)
GrpFP_1_Free (Example H19E1)
GrpFP_1_G23 (Example H19E53)
GrpFP_1_HN (Example H19E32)
GrpFP_1_Homomorphism (Example H19E17)
GrpFP_1_IdentifyGroup (Example H19E61)
GrpFP_1_ImplicitCosetEnumeration (Example H19E34)
GrpFP_1_Index1 (Example H19E30)
GrpFP_1_L372 (Example H19E58)
GrpFP_1_Lix1 (Example H19E36)
GrpFP_1_Lix2 (Example H19E37)
GrpFP_1_Lix3 (Example H19E38)
GrpFP_1_Lix4 (Example H19E39)
GrpFP_1_Lix5 (Example H19E40)
GrpFP_1_Modular (Example H19E7)
GrpFP_1_NilpotentQuotient1 (Example H19E24)
GrpFP_1_NilpotentQuotient2 (Example H19E25)
GrpFP_1_Order11 (Example H19E31)
GrpFP_1_ReduceGeneratingSet (Example H19E56)
GrpFP_1_Relations (Example H19E4)
GrpFP_1_RepresentationTheory (Example H19E59)
GrpFP_1_Rewrite (Example H19E35)
GrpFP_1_SchreierGenerators (Example H19E42)
GrpFP_1_Simplify1 (Example H19E54)
GrpFP_1_SolubleQuotient1 (Example H19E26)
GrpFP_1_SolubleQuotient2 (Example H19E27)
GrpFP_1_StandardGroups (Example H19E14)
GrpFP_1_SubgroupConstructions (Example H19E41)
GrpFP_1_SubgroupOps (Example H19E43)
GrpFP_1_Subgroups1 (Example H19E28)
GrpFP_1_Subgroups2 (Example H19E29)
GrpFP_1_Symmetric1 (Example H19E5)
GrpFP_1_Symmetric2 (Example H19E6)
GrpFP_1_Tetrahedral (Example H19E8)
GrpFP_1_ThreeInvols (Example H19E9)
GrpFP_1_WordAccess (Example H19E2)
GrpFP_1_Words (Example H19E3)
GrpFP_1_gmoduleprimes (Example H19E60)
GrpFP_1_modular-abelian-quotient (Example H19E19)
GrpFP_1_pQuotient1 (Example H19E20)
GrpFP_1_pQuotient2 (Example H19E21)
GrpFP_1_pQuotient3 (Example H19E22)
GrpFP_1_pQuotient4 (Example H19E23)
GrpFP_2_ACEProc1 (Example H32E3)
GrpFP_2_ACEProc2 (Example H32E4)
GrpFP_2_ACEProc3 (Example H32E5)
GrpFP_2_ACEProc4 (Example H32E6)
GrpFP_2_ACEProcCosetSpace (Example H32E8)
GrpFP_2_ACEProcTransversal (Example H32E7)
GrpFP_2_Replace (Example H32E1)
GrpFP_2_SolubleQuotient (Example H32E13)
GrpFP_2_WordOps (Example H32E2)
GrpFP_2_pQuotient5 (Example H32E9)
GrpFP_2_pQuotient6 (Example H32E10)
GrpFP_2_pQuotient7 (Example H32E11)
GrpFP_2_pQuotient8 (Example H32E12)
GrpGPC_Conjugacy (Example H23E12)
GrpGPC_Constructor (Example H23E1)
GrpGPC_CosetAction (Example H23E8)
GrpGPC_CosetTable (Example H23E7)
GrpGPC_FittingSubgroup (Example H23E15)
GrpGPC_Homomorphism (Example H23E4)
GrpGPC_ModuleMaps (Example H23E16)
GrpGPC_NormalStructure (Example H23E11)
GrpGPC_PolycyclicGroup (Example H23E2)
GrpGPC_RepresentationTheory (Example H23E13)
GrpGPC_Subgroup (Example H23E3)
GrpGPC_SubgroupStructure (Example H23E9)
GrpGPC_SubgroupStructure2 (Example H23E10)
GrpGPC_SubgroupsQuotientsTransfer (Example H23E6)
GrpGPC_Symmetric2 (Example H23E5)
GrpGPC_gmoduleprimes (Example H23E14)
GrpLie_Bruhat (Example H35E6)
GrpLie_Create (Example H35E1)
GrpLie_ElementCreate (Example H35E2)
GrpLie_Generators (Example H35E3)
GrpLie_GrpLieEltArith (Example H35E5)
GrpLie_GrpLieEltProduct (Example H35E4)
GrpLie_StandardRepresentation (Example H35E7)
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 H24E26)
GrpPC_CentralExtension (Example H24E28)
GrpPC_CompactPresentation (Example H24E25)
GrpPC_EAS (Example H24E20)
GrpPC_Hall (Example H24E17)
GrpPC_IsConsistent (Example H24E3)
GrpPC_NormalComplements (Example H24E21)
GrpPC_PolycyclicGroup (Example H24E2)
GrpPC_PowerGroupTwo (Example H24E29)
GrpPC_Reps (Example H24E27)
GrpPC_Set (Example H24E11)
GrpPC_SpecialPresentation (Example H24E24)
GrpPC_Standard (Example H24E1)
GrpPC_SubgroupClasses (Example H24E18)
GrpPC_class_map (Example H24E12)
GrpPC_coercion (Example H24E14)
GrpPC_cossey_hawkes (Example H24E7)
GrpPC_elt-definition (Example H24E8)
GrpPC_elt_predicates (Example H24E9)
GrpPC_extension (Example H24E6)
GrpPC_group-props (Example H24E4)
GrpPC_pc-to-perm (Example H24E23)
GrpPC_pc_hom (Example H24E5)
GrpPC_pc_quotient (Example H24E19)
GrpPC_pcgroup (Example H24E22)
GrpPC_set_ops (Example H24E10)
GrpPC_sub-predicates (Example H24E16)
GrpPC_sub_creation (Example H24E13)
GrpPC_subgroup-constructions (Example H24E15)
GrpPGp_AutomorphismGroup (Example H25E5)
GrpPGp_ClassTwo (Example H25E6)
GrpPGp_GeneratepGroups (Example H25E2)
GrpPGp_Generating_p_groups (Example H25E1)
GrpPGp_IsGood (Example H25E3)
GrpPGp_StandardPresentation (Example H25E4)
GrpPGp_subgroupsabelianpgroups (Example H25E7)
GrpPSL2_Creation (Example H31E2)
GrpPSL2_Creation-CongruenceSubgroups (Example H31E5)
GrpPSL2_Example-of-finding-coset-representatives (Example H31E3)
GrpPSL2_Graphics (Example H31E10)
GrpPSL2_Graphics (Example H31E8)
GrpPSL2_Upper-half-plane-example (Example H31E6)
GrpPSL2_basic-example (Example H31E1)
GrpPSL2_cusp-example (Example H31E4)
GrpPSL2_geodesic-intersection (Example H31E7)
GrpPSL2_more-graphics (Example H31E9)
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 H27E3)
GrpRWS_BasicAccess (Example H27E4)
GrpRWS_Conversion (Example H27E8)
GrpRWS_IsConfluent (Example H27E7)
GrpRWS_Order (Example H27E5)
GrpRWS_RWSGroup (Example H27E1)
GrpRWS_Set (Example H27E6)
GrpRWS_Words (Example H27E2)
GrpSLP_ConstructingHomomorphisms (Example H29E2)
GrpSLP_HomomorphismSpeed (Example H29E3)
GrpSLP_SLPGroup (Example H29E1)
Grp_Arithmetic (Example H16E2)
Grp_Classes (Example H16E14)
Grp_CosetAction (Example H16E9)
Grp_CreateSubgroupPoset (Example H16E16)
Grp_Extensions (Example H16E8)
Grp_FPGroup (Example H16E10)
Grp_Generators (Example H16E11)
Grp_GroupConstructors (Example H16E3)
Grp_Homomorphisms (Example H16E1)
Grp_LatticeOperations (Example H16E17)
Grp_Modules (Example H16E18)
Grp_Order (Example H16E12)
Grp_PolycyclicGroup (Example H16E4)
Grp_Quotient (Example H16E6)
Grp_SetOperations (Example H16E13)
Grp_StandardGroups (Example H16E7)
Grp_Subgroup (Example H16E5)
Grp_Subgroups (Example H16E15)
GrphRes_pencil (Example H85E2)
GrphRes_singularity (Example H85E1)
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 H100E1)
IncidenceGeometry_Constructors (Example H100E2)
IncidenceGeometry_Constructors (Example H100E3)
IncidenceGeometry_Constructors (Example H100E4)
IncidenceGeometry_Constructors (Example H100E5)
IncidenceGeometry_Constructors (Example H100E6)
IncidenceGeometry_Constructors (Example H100E7)
IncidenceGeometry_Constructors (Example H100E8)
IncidenceGeometry_diagram (Example H100E10)
IncidenceGeometry_diagram (Example H100E11)
IncidenceGeometry_diagram (Example H100E12)
IncidenceGeometry_diagram (Example H100E9)
K3_k3-baskets (Example H94E4)
K3_k3-projection (Example H94E1)
K3_k3-unprojection (Example H94E2)
K3_k3-unprojection-chain (Example H94E3)
LP_ExplicitLPSolutionsOne (Example H104E1)
LP_ExplicitLPSolutionsTwo (Example H104E2)
LP_FillingLPObject (Example H104E4)
LP_LPCreation (Example H104E3)
Lat_AutoAction (Example H64E15)
Lat_AutoDepth (Example H64E17)
Lat_AutoStabilizers (Example H64E16)
Lat_Closest (Example H64E7)
Lat_Code (Example H64E2)
Lat_Genus (Example H64E20)
Lat_Isom (Example H64E18)
Lat_Knapsack (Example H64E8)
Lat_LLLXGCD (Example H64E12)
Lat_LatticeCreate (Example H64E1)
Lat_LatticeFunctions (Example H64E4)
Lat_Leech (Example H64E6)
Lat_Neighbour (Example H64E19)
Lat_OrderLattice (Example H64E3)
Lat_Orthogonalize (Example H64E14)
Lat_PositiveDefiniteForm (Example H64E21)
Lat_Seysen (Example H64E13)
Lat_SingularElements (Example H64E9)
Lat_SubSuperQuo (Example H64E5)
Lat_Sublattices (Example H64E22)
Lat_ThetaSeries (Example H64E10)
Lat_Voronoi (Example H64E11)
Lat_latdb (Example H64E24)
Lat_latdb-names (Example H64E23)
Mat_CanonicalForms (Example H59E9)
Mat_Create (Example H59E1)
Mat_Forms1 (Example H59E10)
Mat_Indexing (Example H59E4)
Mat_Nullspace (Example H59E7)
Mat_RowColumnOps (Example H59E6)
Mat_ShortCuts (Example H59E2)
Mat_Shortcuts (Example H59E3)
Mat_Solution (Example H59E8)
Mat_Submatrix (Example H59E5)
ModAlg_Access (Example H77E2)
ModAlg_CompSeries (Example H77E6)
ModAlg_CreateHomGHom (Example H77E12)
ModAlg_CreateK6 (Example H77E1)
ModAlg_CreateLattice (Example H77E9)
ModAlg_Decomposable (Example H77E8)
ModAlg_EndoRing (Example H77E11)
ModAlg_EndoRing (Example H77E13)
ModAlg_LatticeOps (Example H77E10)
ModAlg_Meataxe (Example H77E5)
ModAlg_Minimals (Example H77E7)
ModAlg_QuotientModule (Example H77E4)
ModAlg_Submodule (Example H77E3)
ModBrdt_ModBrdt:Constructors (Example H91E1)
ModBrdt_ModBrdt:Decomposition (Example H91E4)
ModBrdt_ModBrdt:Dimension (Example H91E6)
ModBrdt_ModBrdt:EisensteinSubspace (Example H91E5)
ModBrdt_ModBrdt:Module-Creation (Example H91E2)
ModBrdt_ModBrdt:Verbose-Output (Example H91E3)
ModCpx_Chainmaps (Example H82E2)
ModCpx_Complexes (Example H82E1)
ModCpx_LongExactSequence (Example H82E3)
ModDed_basis-other (Example H63E5)
ModDed_coerce-quo (Example H63E7)
ModDed_create (Example H63E1)
ModDed_elementary (Example H63E3)
ModDed_hom (Example H63E6)
ModDed_ops_arith (Example H63E4)
ModDed_sub-quo (Example H63E2)
ModFld_Arithmetic (Example H61E5)
ModFld_Basis (Example H61E13)
ModFld_CreateK35 (Example H61E2)
ModFld_CreateQ6 (Example H61E1)
ModFld_Indexing (Example H61E7)
ModFld_InnerProduct (Example H61E6)
ModFld_LinearTrans (Example H61E14)
ModFld_Matrices (Example H61E4)
ModFld_Quotients1 (Example H61E10)
ModFld_Quotients2 (Example H61E11)
ModFld_Quotients3 (Example H61E12)
ModFld_Subspace1 (Example H61E8)
ModFld_Subspace2 (Example H61E9)
ModFld_Vectors (Example H61E3)
ModForm_Arithmetic (Example H93E9)
ModForm_BaseExtend (Example H93E4)
ModForm_Bases (Example H93E6)
ModForm_Basics (Example H93E1)
ModForm_Congruences (Example H93E18)
ModForm_Creation-Space (Example H93E3)
ModForm_CreationElements (Example H93E5)
ModForm_EisensteinSeries (Example H93E14)
ModForm_EllipticCurves (Example H93E20)
ModForm_HeckePolynomials (Example H93E13)
ModForm_ModularSymbols (Example H93E21)
ModForm_NewformLabeling (Example H93E16)
ModForm_Newforms (Example H93E15)
ModForm_Overview (Example H93E2)
ModForm_Predicates (Example H93E10)
ModForm_Properties (Example H93E11)
ModForm_ReductionsAndEmbeddings (Example H93E17)
ModForm_Relations (Example H93E19)
ModForm_Subspaces (Example H93E12)
ModForm_WeierstrassPoints (Example H93E8)
ModForm_qExpansion (Example H93E7)
ModGrp_CreateA4wrC3 (Example H78E4)
ModGrp_CreateA7 (Example H78E6)
ModGrp_CreateL27 (Example H78E1)
ModGrp_CreateM11 (Example H78E3)
ModGrp_CreateM12 (Example H78E5)
ModGrp_CreateMatrices (Example H78E2)
ModGrp_CreatePolyAction (Example H78E7)
ModGrp_Dual (Example H78E9)
ModGrp_Extension (Example H78E11)
ModGrp_GModules1 (Example H78E10)
ModGrp_IrreducibleModules (Example H78E12)
ModGrp_Representation (Example H78E8)
ModGrp_Reps (Example H78E13)
ModRng_Create (Example H62E5)
ModRng_CreateHom (Example H62E6)
ModRng_CreateHom (Example H62E7)
ModRng_CreateZ6 (Example H62E1)
ModRng_Elements (Example H62E2)
ModRng_Matrix (Example H62E10)
ModRng_Operations (Example H62E11)
ModRng_Operations (Example H62E3)
ModRng_Reduce (Example H62E8)
ModRng_ReduceHom (Example H62E9)
ModRng_Submodule (Example H62E4)
ModSS_Arithmetic (Example H92E7)
ModSS_Associated structures (Example H92E5)
ModSS_Creation of elements (Example H92E2)
ModSS_Creation of spaces (Example H92E1)
ModSS_Creation of subspaces (Example H92E3)
ModSS_Hecke operators (Example H92E8)
ModSS_Monodromy pairing (Example H92E9)
ModSS_Predicates (Example H92E6)
ModSS_Properties (Example H92E4)
ModSym_BSD (Example H90E23)
ModSym_BSD389A (Example H90E27)
ModSym_BoundaryMap (Example H90E13)
ModSym_Coercion-spaces (Example H90E10)
ModSym_Creation (Example H90E1)
ModSym_Creation-Ambient (Example H90E2)
ModSym_Creation-Elements-1 (Example H90E4)
ModSym_Creation-Elements-2 (Example H90E6)
ModSym_Creation-Spaces (Example H90E3)
ModSym_CuspidalSubgroup (Example H90E21)
ModSym_CuspidalSubgroupTable (Example H90E22)
ModSym_Decomposition (Example H90E11)
ModSym_DimensionFormulas (Example H90E28)
ModSym_Dirichlet (Example H90E7)
ModSym_HeckeAlgebra (Example H90E17)
ModSym_HeckeOperators (Example H90E14)
ModSym_IntegralBasis (Example H90E8)
ModSym_IntersectionPairing (Example H90E18)
ModSym_LSeries (Example H90E20)
ModSym_ModularAbVarArithmetic (Example H90E25)
ModSym_ModularAbVarCompGrp (Example H90E26)
ModSym_ModularAbVarRational (Example H90E24)
ModSym_Operators (Example H90E15)
ModSym_Representation (Example H90E9)
ModSym_RepresentationConversion (Example H90E5)
ModSym_Subspaces (Example H90E12)
ModSym_ThetaOperator (Example H90E16)
ModSym_qExpansions (Example H90E19)
MonRWS_Arithmetic (Example H15E3)
MonRWS_BasicAccess (Example H15E4)
MonRWS_Conversion (Example H15E8)
MonRWS_IsConfluent (Example H15E7)
MonRWS_Order (Example H15E5)
MonRWS_RWSMonoid (Example H15E1)
MonRWS_Set (Example H15E6)
MonRWS_Words (Example H15E2)
Newton_create-ex (Example H54E1)
Newton_duval-ex (Example H54E9)
Newton_exps (Example H54E8)
Newton_faces-ex (Example H54E2)
Newton_grad-ex (Example H54E5)
Newton_pol-is (Example H54E7)
Newton_poly-ops-ex (Example H54E6)
Newton_roots-ex (Example H54E10)
Newton_sp-vertices-ex (Example H54E4)
Newton_vertices-ex (Example H54E3)
PMod_Create (Example H68E1)
PMod_Element (Example H68E2)
PMod_FreeResolution (Example H68E6)
PMod_Hilbert (Example H68E4)
PMod_Hilbert (Example H68E5)
PMod_SubQuo (Example H68E3)
Plane_Collineation (Example H99E13)
Plane_CollineationGSet (Example H99E12)
Plane_Constructors (Example H99E1)
Plane_arcs (Example H99E10)
Plane_baer (Example H99E14)
Plane_cent-coll (Example H99E15)
Plane_codes (Example H99E18)
Plane_decon (Example H99E8)
Plane_designs (Example H99E17)
Plane_elt-other (Example H99E9)
Plane_embedding (Example H99E7)
Plane_invar (Example H99E6)
Plane_points-lines (Example H99E2)
Plane_sub (Example H99E4)
Plane_sub (Example H99E5)
Plane_supp (Example H99E3)
Plane_trans (Example H99E16)
Plane_unital (Example H99E11)
PseudoRandom_autocorr_example (Example H103E3)
PseudoRandom_decimate (Example H103E4)
PseudoRandom_reconstruct-sequence (Example H103E1)
PseudoRandom_rsa_stats (Example H103E2)
QuadBin_Forms (Example H65E1)
Rec_Record (Example H12E2)
Rec_RecordAccess (Example H12E3)
Rec_RecordFormat (Example H12E1)
RngGal_Create (Example H46E1)
RngGal_Create (Example H46E2)
RngInt_70digitnfs (Example H38E10)
RngInt_80digitnfs (Example H38E11)
RngInt_87digitnfs (Example H38E12)
RngInt_Amicable (Example H38E4)
RngInt_Coercion (Example H38E5)
RngInt_GetPoly (Example H38E13)
RngInt_Integers (Example H38E2)
RngInt_IsPrime (Example H38E3)
RngInt_PartialFact (Example H38E8)
RngInt_Perfect (Example H38E7)
RngInt_RepUnits (Example H38E6)
RngInt_hom (Example H38E1)
RngInt_norm-equation (Example H38E9)
RngInvar_AdemMilgram (Example H80E6)
RngInvar_Attributes (Example H80E15)
RngInvar_Depth (Example H80E11)
RngInvar_FundamentalInvariants (Example H80E8)
RngInvar_GModule (Example H80E2)
RngInvar_GroupActions (Example H80E1)
RngInvar_HomogeneousModuleTest2 (Example H80E14)
RngInvar_InvariantsOfDegree (Example H80E3)
RngInvar_InvariantsOfDegree (Example H80E4)
RngInvar_MinimalAlgebraGenerators (Example H80E13)
RngInvar_Module (Example H80E9)
RngInvar_MolienSeries (Example H80E5)
RngInvar_Relations (Example H80E10)
RngInvar_SecondaryInvariants (Example H80E7)
RngInvar_SteenrodOperation (Example H80E12)
RngLaz_coeff_non_spiral (Example H57E8)
RngLaz_elt-create-fin (Example H57E3)
RngLaz_elt_arith (Example H57E6)
RngLaz_elt_coeffs_spiral (Example H57E7)
RngLaz_eval (Example H57E9)
RngLaz_maps-multi (Example H57E5)
RngLaz_maps-uni (Example H57E4)
RngLaz_ring-ops (Example H57E2)
RngLaz_ring_create (Example H57E1)
RngLoc_Division (Example H55E8)
RngLoc_Factors (Example H55E20)
RngLoc_Hensel (Example H55E15)
RngLoc_Poly-Hensel (Example H55E17)
RngLoc_creation-ex (Example H55E3)
RngLoc_ech-man (Example H55E12)
RngLoc_el_creation (Example H55E1)
RngLoc_elinvar (Example H55E4)
RngLoc_eltcons (Example H55E6)
RngLoc_factors-infinite (Example H55E18)
RngLoc_factors-precision (Example H55E19)
RngLoc_gal-desc (Example H55E7)
RngLoc_gcd (Example H55E13)
RngLoc_log (Example H55E11)
RngLoc_newton-polygon (Example H55E14)
RngLoc_ofe (Example H55E10)
RngLoc_ramified-ext (Example H55E16)
RngLoc_series-print (Example H55E2)
RngLoc_strop (Example H55E5)
RngLoc_units-autos (Example H55E21)
RngLoc_unram-ext (Example H55E9)
RngMPol_AssignNames (Example H43E1)
RngMPol_Coefficients (Example H43E4)
RngMPol_FiniteFieldFactorization (Example H43E10)
RngMPol_Global (Example H43E2)
RngMPol_Heron (Example H43E9)
RngMPol_Homomorphism (Example H43E3)
RngMPol_Interpolate (Example H43E5)
RngMPol_IsSymmetric (Example H43E11)
RngMPol_Sym_Bi_Linear (Example H43E6)
RngMPol_Trinomials (Example H43E7)
RngMPol_Vandermonde (Example H43E8)
RngOrd_Automorphisms (Example H48E20)
RngOrd_Bases (Example H48E14)
RngOrd_ClassGroup (Example H48E18)
RngOrd_CompositeFields (Example H48E2)
RngOrd_Compositum (Example H48E9)
RngOrd_Creation (Example H48E1)
RngOrd_Discriminant (Example H48E16)
RngOrd_Elements (Example H48E7)
RngOrd_GaloisGroups (Example H48E22)
RngOrd_Homomorphisms (Example H48E8)
RngOrd_Ideals (Example H48E28)
RngOrd_MultiplicationTable (Example H48E15)
RngOrd_NormsEtc (Example H48E17)
RngOrd_Orders (Example H48E4)
RngOrd_Ramification (Example H48E21)
RngOrd_Round2 (Example H48E6)
RngOrd_SubfieldLattice (Example H48E23)
RngOrd_UnitGroup (Example H48E19)
RngOrd_basis-ring (Example H48E13)
RngOrd_em (Example H48E11)
RngOrd_fractions (Example H48E5)
RngOrd_ideal-basis (Example H48E30)
RngOrd_ideal-invar (Example H48E29)
RngOrd_ideal-two (Example H48E31)
RngOrd_index-form (Example H48E27)
RngOrd_lll (Example H48E10)
RngOrd_norm-equation (Example H48E24)
RngOrd_opt-rep (Example H48E3)
RngOrd_quotient (Example H48E32)
RngOrd_thue (Example H48E25)
RngOrd_uniteq (Example H48E26)
RngOrd_zero (Example H48E12)
RngPad_Division (Example H40E6)
RngPad_Factors (Example H40E18)
RngPad_Hensel (Example H40E13)
RngPad_Poly-Hensel (Example H40E15)
RngPad_ech-man (Example H40E10)
RngPad_elinvar (Example H40E2)
RngPad_eltcons (Example H40E4)
RngPad_factors-infinite (Example H40E16)
RngPad_factors-precision (Example H40E17)
RngPad_gal-desc (Example H40E5)
RngPad_gcd (Example H40E11)
RngPad_log (Example H40E9)
RngPad_newton-polygon (Example H40E12)
RngPad_ofe (Example H40E8)
RngPad_ramified-ext (Example H40E14)
RngPad_series-print (Example H40E1)
RngPad_strop (Example H40E3)
RngPad_unram-ext (Example H40E7)
RngPol_ChangeRing (Example H42E3)
RngPol_Creation (Example H42E1)
RngPol_Hensel (Example H42E6)
RngPol_Homomorphism (Example H42E4)
RngPol_Polynomials (Example H42E2)
RngPol_SwinnertonDyerPolynomial (Example H42E5)
RngSer_Bernoulli (Example H56E3)
RngSer_CompositionReversion (Example H56E2)
RngSer_Creation (Example H56E1)
RootDtm_Action (Example H33E11)
RootDtm_BasicOperations (Example H33E6)
RootDtm_CartanMatrices (Example H33E1)
RootDtm_CartanMatrixFunctions (Example H33E2)
RootDtm_CreatingRootData (Example H33E3)
RootDtm_DirectSumDual (Example H33E15)
RootDtm_GLRootDatum (Example H33E4)
RootDtm_HeighestRoots (Example H33E10)
RootDtm_IsogenyGroups (Example H33E7)
RootDtm_IsomorphismIsogeny (Example H33E5)
RootDtm_Properties (Example H33E8)
RootDtm_RootArithmetic (Example H33E12)
RootDtm_RootOperations (Example H33E13)
RootDtm_RootSubdata (Example H33E16)
RootDtm_RootsCoroots (Example H33E9)
RootDtm_SubRD (Example H33E18)
RootDtm_Weights (Example H33E14)
RootDtm_consts (Example H33E17)
SMat_Create (Example H60E1)
SMat_DiscreteLog (Example H60E3)
SMat_Indexing (Example H60E2)
Scheme_affine-space-names (Example H83E1)
Scheme_aut-aff-jac (Example H83E22)
Scheme_aut-aff-perm (Example H83E23)
Scheme_automorphism-construction (Example H83E21)
Scheme_base-change-schemes (Example H83E9)
Scheme_cluster-degree5 (Example H83E7)
Scheme_creation-by-subspace (Example H83E34)
Scheme_cremona-factorisation (Example H83E28)
Scheme_curves-in-space (Example H83E36)
Scheme_decompose-automorphism (Example H83E24)
Scheme_evaluate-funfld-example (Example H83E3)
Scheme_hom-spaces (Example H83E14)
Scheme_image-finder (Example H83E30)
Scheme_linsys-construction (Example H83E29)
Scheme_ls-reduction (Example H83E33)
Scheme_map-base-points (Example H83E18)
Scheme_map-creation (Example H83E11)
Scheme_map-error (Example H83E13)
Scheme_map-frobenius (Example H83E12)
Scheme_map-image1 (Example H83E16)
Scheme_map-image2 (Example H83E17)
Scheme_map-patches (Example H83E20)
Scheme_maps-point-image (Example H83E15)
Scheme_projective-automorphism-group (Example H83E26)
Scheme_projective-closure (Example H83E10)
Scheme_projectivity (Example H83E25)
Scheme_scheme-equality (Example H83E5)
Scheme_scheme-points (Example H83E6)
Scheme_schemes-creation (Example H83E4)
Scheme_schemes-points-example1 (Example H83E2)
Scheme_schemes-prime-components (Example H83E8)
Scheme_scroll-map-base-points (Example H83E19)
Scheme_subsystems (Example H83E31)
Scheme_trace (Example H83E32)
Scheme_translation (Example H83E27)
Scheme_twisted-cubics (Example H83E35)
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 H14E1)
SgpFP_Monoid (Example H14E2)
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)
Tableau_CountStandardTab (Example H96E25)
Tableau_CountTabAlph-Binomial (Example H96E26)
Tableau_MultTabCreate1 (Example H96E13)
Tableau_MultTabcreate-fingen (Example H96E14)
Tableau_OrderedMonoid-Creation (Example H96E3)
Tableau_OrderedMonoid-basic (Example H96E6)
Tableau_OrderedMonoid-fingen (Example H96E7)
Tableau_OrderedMonoid-longest (Example H96E5)
Tableau_Partitions (Example H96E1)
Tableau_RSK-Matrix (Example H96E23)
Tableau_RSK-doubleword (Example H96E22)
Tableau_RSK-perms (Example H96E24)
Tableau_RSK-singleword (Example H96E21)
Tableau_RestrictedPartitions (Example H96E2)
Tableau_Tab-Access (Example H96E16)
Tableau_Tab-Comp-Mult (Example H96E20)
Tableau_Tab-Jeu (Example H96E19)
Tableau_Tab-Random (Example H96E15)
Tableau_Tab-check-standard (Example H96E17)
Tableau_Tab-check-words (Example H96E18)
Tableau_TabMonoid-fingen (Example H96E9)
Tableau_TabMonoid-standard (Example H96E8)
Tableau_Tabcreate-bang (Example H96E12)
Tableau_Tabcreate-basic (Example H96E10)
Tableau_Tabcreate-fingen (Example H96E11)
Tableau_orderedmon--fingen (Example H96E4)
Tup_CartesianProduct (Example H9E1)
Tup_Tuple (Example H9E2)
Tup_TupleAccess (Example H9E3)
CrvCon_ (Example H86E10)
CrvCon_ (Example H86E9)
RngInt_70digitnfs (Example H38E10)
RngInt_80digitnfs (Example H38E11)
RngInt_87digitnfs (Example H38E12)
Chtr_A5 (Example H79E1)
FldAb_abelian-extension-attributes (Example H51E9)
CrvEll_AbelianGroup (Example H87E31)
GrpAb_AbelianGroup (Example H18E3)
AlgFP_Abstract (Example H75E2)
GrpBrd_Access (Example H30E2)
ModAlg_Access (Example H77E2)
GrpFP_2_ACEProc1 (Example H32E3)
GrpFP_2_ACEProc2 (Example H32E4)
GrpFP_2_ACEProc3 (Example H32E5)
GrpFP_2_ACEProc4 (Example H32E6)
GrpFP_2_ACEProcCosetSpace (Example H32E8)
GrpFP_2_ACEProcTransversal (Example H32E7)
RootDtm_Action (Example H33E11)
GrpCox_Actions (Example H34E16)
GrpMat_Actions (Example H21E24)
GrpPerm_Actions (Example H20E20)
GrpCox_AdditiveOrder (Example H34E7)
RngInvar_AdemMilgram (Example H80E6)
Scheme_affine-space-names (Example H83E1)
CodeFld_AlgebraicGeometricCode (Example H101E37)
CodeFld_AlgebraicGeometricCode (Example H101E38)
FldFunG_AlgReln1 (Example H53E19)
FldFunG_AlgReln2 (Example H53E20)
Set_AlmostFermat (Example H7E2)
Set_AlmostFermatIndexed (Example H7E3)
CodeFld_AlternantCode (Example H101E28)
RngInt_Amicable (Example H38E4)
AlgBas_AModules (Example H81E2)
Plane_arcs (Example H99E10)
GrpAtc_Arithmetic (Example H28E3)
GrpMat_Arithmetic (Example H21E11)
GrpPerm_Arithmetic (Example H20E9)
GrpRWS_Arithmetic (Example H27E3)
Grp_Arithmetic (Example H16E2)
ModFld_Arithmetic (Example H61E5)
ModForm_Arithmetic (Example H93E9)
ModSS_Arithmetic (Example H92E7)
MonRWS_Arithmetic (Example H15E3)
RngMPol_AssignNames (Example H43E1)
ModSS_Associated structures (Example H92E5)
RngInvar_Attributes (Example H80E15)
Scheme_aut-aff-jac (Example H83E22)
Scheme_aut-aff-perm (Example H83E23)
Design_auto (Example H98E11)
GrpAuto_auto-maximals (Example H26E3)
IO_auto-print (Example H3E7)
Lat_AutoAction (Example H64E15)
PseudoRandom_autocorr_example (Example H103E3)
Lat_AutoDepth (Example H64E17)
GrpAuto_autogp-elts (Example H26E1)
GrpAtc_AutomaticGroup (Example H28E1)
Design_automorphism (Example H98E12)
Scheme_automorphism-construction (Example H83E21)
CrvHyp_Automorphism_Group (Example H88E8)
Graph_AutomorphismAction (Example H97E18)
CodeFld_AutomorphismGroup (Example H101E44)
Graph_AutomorphismGroup (Example H97E16)
GrpPC_AutomorphismGroup (Example H24E26)
GrpPGp_AutomorphismGroup (Example H25E5)
CodeFld_AutoMorphismGroupWithWeight (Example H101E45)
GrpPerm_Automorphisms (Example H20E29)
RngOrd_Automorphisms (Example H48E20)
Lat_AutoStabilizers (Example H64E16)
AlgGrp_average (Example H74E6)
Plane_baer (Example H99E14)
Scheme_base-change-schemes (Example H83E9)
CrvEll_BaseExtend (Example H87E2)
ModForm_BaseExtend (Example H93E4)
CrvHyp_BaseExtension (Example H88E2)
ModForm_Bases (Example H93E6)
RngOrd_Bases (Example H48E14)
GrpPSL2_basic-example (Example H31E1)
GrpAtc_BasicAccess (Example H28E4)
GrpPerm_BasicAccess (Example H20E4)
GrpRWS_BasicAccess (Example H27E4)
MonRWS_BasicAccess (Example H15E4)
AlgBas_BasicAlgebras (Example H81E1)
GrpCox_BasicDegrees (Example H34E8)
RootDtm_BasicOperations (Example H33E6)
GrpPerm_BasicProperties (Example H20E5)
ModForm_Basics (Example H93E1)
ModFld_Basis (Example H61E13)
ModDed_basis-other (Example H63E5)
RngOrd_basis-ring (Example H48E13)
AlgQuat_Basis_Reduction (Example H72E11)
CodeFld_BCHCode (Example H101E26)
RngSer_Bernoulli (Example H56E3)
CodeFld_BestLengthDimension (Example H101E40)
GrpPerm_BlocksActions (Example H20E22)
State_Booleans (Example H1E8)
ModSym_BoundaryMap (Example H90E13)
GrpCox_BraidGroups (Example H34E17)
State_break (Example H1E15)
GrpLie_Bruhat (Example H35E6)
ModSym_BSD (Example H90E23)
ModSym_BSD389A (Example H90E27)
GrpPerm_BSGS (Example H20E32)
GrpFP_1_BuildSubgroups (Example H19E44)
AlgMat_Cambridge (Example H73E2)
Crv_canonical-map (Example H84E20)
Crv_canonical_divisor (Example H84E18)
AlgMat_CanonicalForms (Example H73E8)
Mat_CanonicalForms (Example H59E9)
CodeFld_Card-Best-Comparison (Example H101E39)
RootDtm_CartanMatrices (Example H33E1)
RootDtm_CartanMatrixFunctions (Example H33E2)
AlgLie_CartanSubalgebra (Example H76E6)
Tup_CartesianProduct (Example H9E1)
State_case (Example H1E12)
AlgCon_cayley (Example H70E2)
Graph_CayleyGraph (Example H97E9)
Plane_cent-coll (Example H99E15)
GrpPC_CentralExtension (Example H24E28)
CodeFld_ChainCyclic (Example H101E25)
ModCpx_Chainmaps (Example H82E2)
GB_ChangeOrder (Example H66E16)
GB_ChangeRing (Example H66E15)
RngPol_ChangeRing (Example H42E3)
GrpAuto_characteristicsubgps (Example H26E2)
AlgLie_ChevalleyBasis (Example H76E4)
Graph_ChromaticNumber (Example H97E13)
FldAb_class-field (Example H51E5)
GrpPC_class_map (Example H24E12)
GrpPerm_Classes (Example H20E11)
Grp_Classes (Example H16E14)
RngOrd_ClassGroup (Example H48E18)
GrpMat_ClassicalForms (Example H21E29)
GrpPGp_ClassTwo (Example H25E6)
Graph_Cliques (Example H97E14)
Lat_Closest (Example H64E7)
Scheme_cluster-degree5 (Example H83E7)
GrpFP_1_Co1 (Example H19E52)
Lat_Code (Example H64E2)
CodeFld_CodeFromMatrix (Example H101E2)
CodeRng_CodeFromMatrix (Example H102E2)
Plane_codes (Example H99E18)
RngLaz_coeff_non_spiral (Example H57E8)
RngMPol_Coefficients (Example H43E4)
ModDed_coerce-quo (Example H63E7)
FldRat_Coercion (Example H39E1)
RngInt_Coercion (Example H38E5)
GrpPC_coercion (Example H24E14)
ModSym_Coercion-spaces (Example H90E10)
AlgBas_Cohomology (Example H81E5)
GrpPerm_Cohomology (Example H20E30)
Plane_Collineation (Example H99E13)
Plane_CollineationGSet (Example H99E12)
GrpPC_CompactPresentation (Example H24E25)
GrpPerm_CompFactors (Example H20E25)
GrpPerm_Complements (Example H20E28)
ModCpx_Complexes (Example H82E1)
RngOrd_CompositeFields (Example H48E2)
GrpMat_CompositionFactors (Example H21E27)
RngSer_CompositionReversion (Example H56E2)
RngOrd_Compositum (Example H48E9)
ModAlg_CompSeries (Example H77E6)
CodeFld_ConcatenatedCode (Example H101E32)
ModForm_Congruences (Example H93E18)
CrvCon_ConicAccess (Example H86E5)
CrvCon_ConicAutomorphisms (Example H86E12)
CrvCon_ConicCreation (Example H86E1)
CrvCon_ConicCurve (Example H86E3)
GrpGPC_Conjugacy (Example H23E12)
GrpSLP_ConstructingHomomorphisms (Example H29E2)
GrpMat_Constructions (Example H21E10)
CodeFld_constructionX (Example H101E33)
GrpBrd_Constructor (Example H30E1)
GrpGPC_Constructor (Example H23E1)
GrpMat_Constructor (Example H21E3)
Design_Constructors (Example H98E1)
Graph_Constructors (Example H97E1)
Graph_Constructors (Example H97E3)
Graph_Constructors (Example H97E4)
Graph_Constructors (Example H97E5)
GrpPerm_Constructors (Example H20E12)
IncidenceGeometry_Constructors (Example H100E1)
IncidenceGeometry_Constructors (Example H100E2)
IncidenceGeometry_Constructors (Example H100E3)
IncidenceGeometry_Constructors (Example H100E4)
IncidenceGeometry_Constructors (Example H100E5)
IncidenceGeometry_Constructors (Example H100E6)
IncidenceGeometry_Constructors (Example H100E7)
IncidenceGeometry_Constructors (Example H100E8)
Plane_Constructors (Example H99E1)
RootDtm_consts (Example H33E17)
GrpFP_1_ControlExtn (Example H19E15)
Design_conv (Example H98E10)
GrpAtc_Conversion (Example H28E9)
GrpRWS_Conversion (Example H27E8)
MonRWS_Conversion (Example H15E8)
CodeFld_Coordinates (Example H101E12)
GB_Coordinates (Example H66E7)
Coproduct_cop (Example H11E1)
GrpCox_CorootAction (Example H34E10)
GrpGPC_CosetAction (Example H23E8)
GrpMat_CosetAction (Example H21E25)
Grp_CosetAction (Example H16E9)
CodeFld_CosetLeaders (Example H101E13)
GrpFP_1_CosetSatisfying (Example H19E51)
GrpFP_1_CosetSpace (Example H19E47)
GrpGPC_CosetTable (Example H23E7)
GrpFP_1_CosetTable1 (Example H19E45)
GrpFP_1_CosetTable2 (Example H19E46)
GrpPC_cossey_hawkes (Example H24E7)
Tableau_CountStandardTab (Example H96E25)
Tableau_CountTabAlph-Binomial (Example H96E26)
CodeFld_CoveringRadius (Example H101E24)
GrpFP_1_Coxeter (Example H19E10)
FldAC_Create (Example H52E1)
GrpCox_Create (Example H34E1)
GrpLie_Create (Example H35E1)
GrpMat_Create (Example H21E1)
Mat_Create (Example H59E1)
ModRng_Create (Example H62E5)
PMod_Create (Example H68E1)
RngGal_Create (Example H46E1)
RngGal_Create (Example H46E2)
SMat_Create (Example H60E1)
ModDed_create (Example H63E1)
Newton_create-ex (Example H54E1)
ModGrp_CreateA4wrC3 (Example H78E4)
ModGrp_CreateA7 (Example H78E6)
FldRe_CreateComplexField (Example H41E3)
FldRe_CreateElements (Example H41E4)
ModRng_CreateHom (Example H62E6)
ModRng_CreateHom (Example H62E7)
ModAlg_CreateHomGHom (Example H77E12)
ModFld_CreateK35 (Example H61E2)
ModAlg_CreateK6 (Example H77E1)
ModGrp_CreateL27 (Example H78E1)
ModAlg_CreateLattice (Example H77E9)
ModGrp_CreateM11 (Example H78E3)
ModGrp_CreateM12 (Example H78E5)
ModGrp_CreateMatrices (Example H78E2)
ModGrp_CreatePolyAction (Example H78E7)
ModFld_CreateQ6 (Example H61E1)
Grp_CreateSubgroupPoset (Example H16E16)
ModRng_CreateZ6 (Example H62E1)
RootDtm_CreatingRootData (Example H33E3)
AlgAff_Creation (Example H67E1)
AlgMat_Creation (Example H73E1)
CrvEll_Creation (Example H87E1)
CrvHyp_Creation (Example H88E1)
FldFunG_Creation (Example H53E1)
GrpAbGen_Creation (Example H17E1)
GrpPSL2_Creation (Example H31E2)
ModSym_Creation (Example H90E1)
RngOrd_Creation (Example H48E1)
RngPol_Creation (Example H42E1)
RngSer_Creation (Example H56E1)
AlgGrp_creation (Example H74E1)
FldCyc_creation (Example H50E1)
FldQuad_creation (Example H49E1)
ModSS_Creation of elements (Example H92E2)
ModSS_Creation of spaces (Example H92E1)
ModSS_Creation of subspaces (Example H92E3)
ModSym_Creation-Ambient (Example H90E2)
Scheme_creation-by-subspace (Example H83E34)
GrpPSL2_Creation-CongruenceSubgroups (Example H31E5)
ModSym_Creation-Elements-1 (Example H90E4)
ModSym_Creation-Elements-2 (Example H90E6)
RngLoc_creation-ex (Example H55E3)
FldFunG_creation-rel (Example H53E2)
ModForm_Creation-Space (Example H93E3)
ModSym_Creation-Spaces (Example H90E3)
FldFunG_creation_herm (Example H53E3)
ModForm_CreationElements (Example H93E5)
Scheme_cremona-factorisation (Example H83E28)
Crv_curve-base-change (Example H84E2)
Crv_curve-differentials (Example H84E12)
Crv_curve-hessian (Example H84E3)
Crv_curve-iscusp (Example H84E4)
CrvHyp_CurveFromIgusa (Example H88E5)
Scheme_curves-in-space (Example H83E36)
GrpPSL2_cusp-example (Example H31E4)
ModSym_CuspidalSubgroup (Example H90E21)
ModSym_CuspidalSubgroupTable (Example H90E22)
FldAC_Cyclic6 (Example H52E5)
GB_Cyclic6 (Example H66E2)
CodeFld_CyclicCode (Example H101E5)
CodeRng_CyclicCode (Example H102E4)
FldAb_cyclotomic-extension (Example H51E8)
PseudoRandom_decimate (Example H103E4)
CodeFld_Decode (Example H101E42)
ModAlg_Decomposable (Example H77E8)
GrpMat_Decompose (Example H21E35)
Scheme_decompose-automorphism (Example H83E24)
AlgLie_DecomposeTensor (Example H76E15)
ModSym_Decomposition (Example H90E11)
Plane_decon (Example H99E8)
GB_Degree-d (Example H66E21)
RngInvar_Depth (Example H80E11)
GrpFP_1_DerSub (Example H19E48)
CrvEll_Desboves (Example H87E24)
GrpCox_DescentSets (Example H34E6)
Design_design-invar (Example H98E7)
Plane_designs (Example H99E17)
Design_DevelopDifferenceSet (Example H98E6)
IncidenceGeometry_diagram (Example H100E10)
IncidenceGeometry_diagram (Example H100E11)
IncidenceGeometry_diagram (Example H100E12)
IncidenceGeometry_diagram (Example H100E9)
FldFin_Dickson (Example H45E6)
ModSym_DimensionFormulas (Example H90E28)
GrpFP_1_DirectProduct (Example H19E16)
AlgLie_DirectSumDecomposition (Example H76E8)
RootDtm_DirectSumDual (Example H33E15)
ModSym_Dirichlet (Example H90E7)
SMat_DiscreteLog (Example H60E3)
RngOrd_Discriminant (Example H48E16)
CodeFld_Distance (Example H101E11)
CodeRng_Distance (Example H102E6)
FldFunG_div_diff (Example H53E22)
RngLoc_Division (Example H55E8)
RngPad_Division (Example H40E6)
CrvEll_DivisionPolynomial (Example H87E15)
Crv_divisor-class-group-example (Example H84E19)
Crv_divisor-equations (Example H84E15)
Crv_divisor1 (Example H84E16)
Crv_divisor2 (Example H84E17)
FldFunG_divisors (Example H53E18)
AlgLie_DominantCharacter (Example H76E14)
GrpCox_DominantWeights (Example H34E19)
GrpFP_1_DoubleCosets (Example H19E50)
ModGrp_Dual (Example H78E9)
CrvEll_DualIsogeny (Example H87E37)
CodeFld_DualRS (Example H101E16)
Newton_duval-ex (Example H54E9)
GrpPC_EAS (Example H24E20)
CrvEll_ecdb1 (Example H87E25)
CrvEll_ecdb2 (Example H87E26)
CrvEll_ECDL (Example H87E32)
RngLoc_ech-man (Example H55E12)
RngPad_ech-man (Example H40E10)
AlgMat_EchelonForm (Example H73E6)
Graph_EdgeSets (Example H97E7)
Seq_EgyptianFractions (Example H8E4)
FldRe_Eisenstein (Example H41E7)
FldRe_Eisenstein (Example H41E8)
ModForm_EisensteinSeries (Example H93E14)
AlgGrp_el-creation (Example H74E2)
RngLoc_el_creation (Example H55E1)
PMod_Element (Example H68E2)
AlgQuat_Element_Arithmetic (Example H72E5)
ModDed_elementary (Example H63E3)
AlgQuat_Elementary_Ideals (Example H72E8)
AlgMat_ElementaryDivisors (Example H73E7)
GrpLie_ElementCreate (Example H35E2)
GrpAbGen_ElementCreationAndRep (Example H17E2)
GrpAbGen_ElementCreationAndRep (Example H17E6)
GB_ElementOperations (Example H66E9)
GrpAbGen_ElementOrderLog (Example H17E7)
FldFunG_Elements (Example H53E12)
ModRng_Elements (Example H62E2)
RngOrd_Elements (Example H48E7)
FldFunG_elements (Example H53E13)
GB_EliminationIdeal (Example H66E12)
RngLoc_elinvar (Example H55E4)
RngPad_elinvar (Example H40E2)
AlgAff_EllipticCurve (Example H67E3)
ModForm_EllipticCurves (Example H93E20)
RngLaz_elt-create-fin (Example H57E3)
GrpPC_elt-definition (Example H24E8)
Plane_elt-other (Example H99E9)
RngLaz_elt_arith (Example H57E6)
RngLaz_elt_coeffs_spiral (Example H57E7)
GrpPC_elt_predicates (Example H24E9)
RngLoc_eltcons (Example H55E6)
RngPad_eltcons (Example H40E4)
RngOrd_em (Example H48E11)
Plane_embedding (Example H99E7)
ModAlg_EndoRing (Example H77E11)
ModAlg_EndoRing (Example H77E13)
State_Equality (Example H1E7)
RngLaz_eval (Example H57E9)
Scheme_evaluate-funfld-example (Example H83E3)
GrpPSL2_Example-of-finding-coset-representatives (Example H31E3)
GrpFP_1_ExcludedConjugates (Example H19E49)
Set_Exists (Example H7E12)
LP_ExplicitLPSolutionsOne (Example H104E1)
LP_ExplicitLPSolutionsTwo (Example H104E2)
Newton_exps (Example H54E8)
ModGrp_Extension (Example H78E11)
GrpPC_extension (Example H24E6)
FldFin_Extensions (Example H45E1)
Grp_Extensions (Example H16E8)
Set_ExtractRep (Example H7E9)
GrpMat_ExtraSpecial (Example H21E36)
GrpFP_1_F27 (Example H19E18)
GrpFP_1_F276 (Example H19E55)
GrpFP_1_F29 (Example H19E57)
GrpCox_F4 (Example H34E12)
Newton_faces-ex (Example H54E2)
AlgAff_Factorization (Example H67E4)
RngLoc_Factors (Example H55E20)
RngPad_Factors (Example H40E18)
RngLoc_factors-infinite (Example H55E18)
RngPad_factors-infinite (Example H40E16)
RngLoc_factors-precision (Example H55E19)
RngPad_factors-precision (Example H40E17)
GrpFP_1_Family (Example H19E33)
Seq_Farey (Example H8E3)
Crv_ff-creation-example (Example H84E10)
Crv_ff-elements-example (Example H84E11)
LP_FillingLPObject (Example H104E4)
GB_FindingPrimes (Example H66E5)
RngMPol_FiniteFieldFactorization (Example H43E10)
GrpGPC_FittingSubgroup (Example H23E15)
FldRe_FixedPrecision (Example H41E1)
QuadBin_Forms (Example H65E1)
Mat_Forms1 (Example H59E10)
Func_forward (Example H2E5)
GrpCox_FPCoxeterGroups (Example H34E13)
GrpFP_1_FPCoxeterGroups (Example H19E12)
Grp_FPGroup (Example H16E10)
GrpFP_1_FPGroup1 (Example H19E11)
GrpFP_1_FPGroup2 (Example H19E13)
RngOrd_fractions (Example H48E5)
GrpFP_1_Free (Example H19E1)
GrpAb_FreeAbelianGroup (Example H18E1)
AlgFP_FreeAlgebra (Example H75E1)
PMod_FreeResolution (Example H68E6)
SgpFP_FreeSemigroup (Example H14E1)
CrvEll_Frobenius (Example H87E38)
FldFunRat_FunctionField (Example H44E1)
FldAC_Functions (Example H52E4)
FldFin_Functions (Example H45E3)
FldFin_Functions (Example H45E4)
RngInvar_FundamentalInvariants (Example H80E8)
CrvEll_FunWithHeights (Example H87E19)
GrpFP_1_G23 (Example H19E53)
RngLoc_gal-desc (Example H55E7)
RngPad_gal-desc (Example H40E5)
FldFunG_GaloisGroups (Example H53E8)
RngOrd_GaloisGroups (Example H48E22)
FldCyc_GaussianPeriods (Example H50E2)
GB_GBoverZ (Example H66E4)
RngLoc_gcd (Example H55E13)
RngPad_gcd (Example H40E11)
GrpPGp_GeneratepGroups (Example H25E2)
GrpPGp_Generating_p_groups (Example H25E1)
CodeFld_GeneratorMatrix (Example H101E8)
State_GeneratorNaming (Example H1E5)
State_GeneratorNamingSequence (Example H1E4)
CodeFld_GeneratorPolynomial (Example H101E10)
GrpLie_Generators (Example H35E3)
Grp_Generators (Example H16E11)
CrvEll_GenericCurve (Example H87E7)
CrvEll_GenericPoint (Example H87E12)
Lat_Genus (Example H64E20)
GrpPSL2_geodesic-intersection (Example H31E7)
RngInt_GetPoly (Example H38E13)
IO_GetTime (Example H3E10)
RngMPol_Global (Example H43E2)
FldFunG_global-function-fields (Example H53E21)
RootDtm_GLRootDatum (Example H33E4)
GrpMat_GLSylow (Example H21E4)
GrpMat_GModule (Example H21E28)
GrpPerm_GModule (Example H20E31)
RngInvar_GModule (Example H80E2)
GrpFP_1_gmoduleprimes (Example H19E60)
GrpGPC_gmoduleprimes (Example H23E14)
ModGrp_GModules1 (Example H78E10)
CodeFld_GoppaCode (Example H101E27)
Newton_grad-ex (Example H54E5)
GB_Graded (Example H66E20)
Graph_GraphGeneralAccess (Example H97E22)
Graph_GraphGeneration (Example H97E21)
GrpPSL2_Graphics (Example H31E10)
GrpPSL2_Graphics (Example H31E8)
Graph_GraphIsomorphim (Example H97E17)
Design_graphs (Example H98E13)
CodeRng_GrayMap (Example H102E9)
Graph_Grotzch (Example H97E12)
GrpPC_group-props (Example H24E4)
RngInvar_GroupActions (Example H80E1)
GrpAbGen_GroupComputation (Example H17E3)
Grp_GroupConstructors (Example H16E3)
GrpAtc_GrowthFunction (Example H28E8)
GrpLie_GrpLieEltArith (Example H35E5)
GrpLie_GrpLieEltProduct (Example H35E4)
CodeFld_GRSCode (Example H101E30)
GrpCox_GSets (Example H34E9)
GrpPerm_GSets (Example H20E18)
Design_hadamard (Example H98E5)
GrpPC_Hall (Example H24E17)
CodeFld_HammingCode (Example H101E6)
ModSS_Hecke operators (Example H92E8)
ModSym_HeckeAlgebra (Example H90E17)
ModSym_HeckeOperators (Example H90E14)
ModForm_HeckePolynomials (Example H93E13)
RootDtm_HeighestRoots (Example H33E10)
CrvHyp_HeightPairing (Example H88E12)
RngLoc_Hensel (Example H55E15)
RngPad_Hensel (Example H40E13)
RngPol_Hensel (Example H42E6)
RngMPol_Heron (Example H43E9)
GrpPerm_Hessian (Example H20E3)
AlgLie_HighestWeight (Example H76E16)
GB_Hilbert (Example H66E22)
PMod_Hilbert (Example H68E4)
PMod_Hilbert (Example H68E5)
FldAb_hilbert (Example H51E1)
FldAb_hilbert-class-field (Example H51E6)
GB_HilbertGroebner (Example H66E23)
GrpFP_1_HN (Example H19E32)
FldFunG_hom (Example H53E11)
FldQuad_hom (Example H49E2)
ModDed_hom (Example H63E6)
RngInt_hom (Example H38E1)
Scheme_hom-spaces (Example H83E14)
GB_HomogeneousModuleTest1 (Example H66E27)
RngInvar_HomogeneousModuleTest2 (Example H80E14)
FldFunRat_Homomorphism (Example H44E2)
GrpFP_1_Homomorphism (Example H19E17)
GrpGPC_Homomorphism (Example H23E4)
GrpMat_Homomorphism (Example H21E7)
GrpPerm_Homomorphism (Example H20E6)
RngMPol_Homomorphism (Example H43E3)
RngPol_Homomorphism (Example H42E4)
FldRat_homomorphism (Example H39E2)
AlgBas_Homomorphisms (Example H81E3)
FldRe_Homomorphisms (Example H41E2)
GrpAbGen_Homomorphisms (Example H17E8)
GrpBrd_Homomorphisms (Example H30E4)
Grp_Homomorphisms (Example H16E1)
RngOrd_Homomorphisms (Example H48E8)
GrpSLP_HomomorphismSpeed (Example H29E3)
RngOrd_ideal-basis (Example H48E30)
RngOrd_ideal-invar (Example H48E29)
FldAb_ideal-ray (Example H51E2)
RngOrd_ideal-two (Example H48E31)
AlgQuat_Ideal_Arithmetic (Example H72E10)
AlgQuat_Ideal_Bases (Example H72E7)
AlgQuat_Ideal_Enumeration (Example H72E9)
GB_IdealArithmetic (Example H66E8)
RngOrd_Ideals (Example H48E28)
FldFunG_ideals (Example H53E15)
State_Identifiers (Example H1E1)
GrpFP_1_IdentifyGroup (Example H19E61)
State_if (Example H1E10)
Scheme_image-finder (Example H83E30)
GrpFP_1_ImplicitCosetEnumeration (Example H19E34)
Func_import (Example H2E7)
Set_Include (Example H7E10)
RngOrd_index-form (Example H48E27)
GrpFP_1_Index1 (Example H19E30)
Mat_Indexing (Example H59E4)
ModFld_Indexing (Example H61E7)
SMat_Indexing (Example H60E2)
State_Indexing (Example H1E3)
FldAb_inducedMap (Example H51E4)
State_InLineConditional (Example H1E11)
ModFld_InnerProduct (Example H61E6)
FldFunG_int_cl (Example H53E5)
RngInt_Integers (Example H38E2)
FldRe_Integral (Example H41E9)
ModSym_IntegralBasis (Example H90E8)
CrvEll_IntegralPoints (Example H87E21)
CrvEll_IntegralPointsSequence (Example H87E22)
Func_InteractiveUserAttributes (Example H2E12)
RngMPol_Interpolate (Example H43E5)
ModSym_IntersectionPairing (Example H90E18)
Func_intrinsic (Example H2E6)
FldFunG_invar (Example H53E7)
Plane_invar (Example H99E6)
AlgMat_Invariants (Example H73E3)
CrvEll_Invariants (Example H87E6)
GrpMat_Invariants (Example H21E12)
CrvEll_Invariants to Read (Example H87E30)
RngInvar_InvariantsOfDegree (Example H80E3)
RngInvar_InvariantsOfDegree (Example H80E4)
ModGrp_IrreducibleModules (Example H78E12)
GrpAtc_IsConfluent (Example H28E7)
GrpRWS_IsConfluent (Example H27E7)
MonRWS_IsConfluent (Example H15E7)
GrpPC_IsConsistent (Example H24E3)
GrpPGp_IsGood (Example H25E3)
State_IsIntrinsic (Example H1E19)
State_IsIntrinsic (Example H1E20)
CrvEll_Isogeny (Example H87E33)
RootDtm_IsogenyGroups (Example H33E7)
GrpData_IsolGroup (Example H22E12)
Lat_Isom (Example H64E18)
CrvEll_Isomorphism (Example H87E35)
RootDtm_IsomorphismIsogeny (Example H33E5)
CrvEll_Isomorphisms (Example H87E34)
GrpMat_IsOverSmallerField (Example H21E37)
RngInt_IsPrime (Example H38E3)
GrpMat_IsPrimitive (Example H21E31)
GB_IsSymmetric (Example H66E26)
RngMPol_IsSymmetric (Example H43E11)
CrvHyp_Jac_Point_Counting (Example H88E10)
CrvHyp_Jac_WeilPairing (Example H88E9)
AlgGrp_jacobson (Example H74E4)
Set_Join (Example H7E11)
AlgCon_jordan (Example H70E1)
K3_k3-baskets (Example H94E4)
K3_k3-projection (Example H94E1)
K3_k3-unprojection (Example H94E2)
K3_k3-unprojection-chain (Example H94E3)
CodeRng_Kerdock (Example H102E11)
Crv_klein-quartic-code (Example H84E22)
Lat_Knapsack (Example H64E8)
CrvEll_Kodaira (Example H87E16)
CrvHyp_KummerRationalPoints (Example H88E13)
GrpFP_1_L372 (Example H19E58)
Graph_Labels (Example H97E8)
Lat_latdb (Example H64E24)
Lat_latdb-names (Example H64E23)
Lat_LatticeCreate (Example H64E1)
Lat_LatticeFunctions (Example H64E4)
Grp_LatticeOperations (Example H16E17)
ModAlg_LatticeOps (Example H77E10)
Lat_Leech (Example H64E6)
AlgQuat_Left_Right_Isomorphisms (Example H72E12)
AlgAss_liealg (Example H71E1)
AlgLie_LieAlgebra (Example H76E13)
CrvEll_LinearIndependence (Example H87E20)
ModFld_LinearTrans (Example H61E14)
IO_LineCount (Example H3E9)
Scheme_linsys-construction (Example H83E29)
GrpFP_1_Lix1 (Example H19E36)
GrpFP_1_Lix2 (Example H19E37)
GrpFP_1_Lix3 (Example H19E38)
GrpFP_1_Lix4 (Example H19E39)
GrpFP_1_Lix5 (Example H19E40)
RngOrd_lll (Example H48E10)
Lat_LLLXGCD (Example H64E12)
Crv_local-intersection-example (Example H84E6)
CrvCon_LocalGlobal (Example H86E4)
FldFin_Log (Example H45E5)
RngLoc_log (Example H55E11)
RngPad_log (Example H40E9)
GrpCox_LongestCoxeterElements (Example H34E5)
ModCpx_LongExactSequence (Example H82E3)
GrpMat_LowIndexMatrixGroup (Example H21E16)
LP_LPCreation (Example H104E3)
Scheme_ls-reduction (Example H83E33)
ModSym_LSeries (Example H90E20)
CodeFld_MacWilliams (Example H101E22)
CodeFld_Make12-8-4Code (Example H101E31)
CrvEll_Map (Example H87E36)
Scheme_map-base-points (Example H83E18)
Scheme_map-creation (Example H83E11)
Scheme_map-error (Example H83E13)
Scheme_map-frobenius (Example H83E12)
Scheme_map-image1 (Example H83E16)
Scheme_map-image2 (Example H83E17)
Scheme_map-patches (Example H83E20)
GB_Map1 (Example H66E25)
RngLaz_maps-multi (Example H57E5)
Scheme_maps-point-image (Example H83E15)
RngLaz_maps-uni (Example H57E4)
GrpMat_Matrices (Example H21E2)
ModFld_Matrices (Example H61E4)
ModRng_Matrix (Example H62E10)
CodeFld_MattsonSolomonTransform (Example H101E43)
GrpPerm_Maximals (Example H20E14)
ModAlg_Meataxe (Example H77E5)
RngInvar_MinimalAlgebraGenerators (Example H80E13)
AlgAff_MinimalPolynomial (Example H67E2)
ModAlg_Minimals (Example H77E7)
Set_Miscellaneous (Example H7E7)
ModBrdt_ModBrdt:Constructors (Example H91E1)
ModBrdt_ModBrdt:Decomposition (Example H91E4)
ModBrdt_ModBrdt:Dimension (Example H91E6)
ModBrdt_ModBrdt:EisensteinSubspace (Example H91E5)
ModBrdt_ModBrdt:Module-Creation (Example H91E2)
ModBrdt_ModBrdt:Verbose-Output (Example H91E3)
CrvEll_Models (Example H87E3)
GrpFP_1_Modular (Example H19E7)
CrvMod_Modular base curve (Example H89E4)
CrvMod_Modular polynomials (Example H89E2)
GrpFP_1_modular-abelian-quotient (Example H19E19)
ModSym_ModularAbVarArithmetic (Example H90E25)
ModSym_ModularAbVarCompGrp (Example H90E26)
ModSym_ModularAbVarRational (Example H90E24)
ModForm_ModularSymbols (Example H93E21)
RngInvar_Module (Example H80E9)
FldFunG_module (Example H53E14)
GrpGPC_ModuleMaps (Example H23E16)
Grp_Modules (Example H16E18)
CrvMod_Moduli points (Example H89E1)
RngInvar_MolienSeries (Example H80E5)
ModSS_Monodromy pairing (Example H92E9)
SgpFP_Monoid (Example H14E2)
CrvEll_MordellWeil (Example H87E17)
GrpPSL2_more-graphics (Example H31E9)
AlgAff_MultiExtension (Example H67E5)
State_MultipleReturns (Example H1E2)
RngOrd_MultiplicationTable (Example H48E15)
Set_Multiset (Example H7E4)
Tableau_MultTabcreate-fingen (Example H96E14)
Tableau_MultTabCreate1 (Example H96E13)
State_MutationAssignment (Example H1E6)
Lat_Neighbour (Example H64E19)
Set_NestedExists (Example H7E13)
Seq_NestedIteration (Example H8E6)
ModForm_NewformLabeling (Example H93E16)
ModForm_Newforms (Example H93E15)
RngLoc_newton-polygon (Example H55E14)
RngPad_newton-polygon (Example H40E12)
GrpFP_1_NilpotentQuotient1 (Example H19E24)
GrpFP_1_NilpotentQuotient2 (Example H19E25)
AlgLie_NonNilpotentElement (Example H76E12)
CrvEll_NonquadraticTwists (Example H87E5)
FldAb_norm-equation (Example H51E7)
FldQuad_norm-equation (Example H49E3)
RngInt_norm-equation (Example H38E9)
RngOrd_norm-equation (Example H48E24)
GrpPC_NormalComplements (Example H24E21)
GrpGPC_NormalStructure (Example H23E11)
GrpPerm_NormalSubgroups (Example H20E24)
RngOrd_NormsEtc (Example H48E17)
Mat_Nullspace (Example H59E7)
FldRat_numerator (Example H39E3)
EnumComb_OddGraph (Example H95E1)
GrpPSL2_Example-of-finding-coset-representatives (Example H31E3)
RngLoc_ofe (Example H55E10)
RngPad_ofe (Example H40E8)
AlgLie_Operations (Example H76E5)
ModRng_Operations (Example H62E11)
ModRng_Operations (Example H62E3)
GrpBrd_Operators (Example H30E3)
ModSym_Operators (Example H90E15)
AlgBas_Opposite (Example H81E4)
ModDed_ops_arith (Example H63E4)
RngOrd_opt-rep (Example H48E3)
GrpPerm_OrbitActions (Example H20E21)
GrpMat_Orbits (Example H21E19)
GrpMat_OrbitsOfSpaces (Example H21E20)
GrpMat_OrbitsOfSpaces (Example H21E21)
CrvEll_Order (Example H87E28)
GB_Order (Example H66E1)
GrpAtc_Order (Example H28E5)
GrpMat_Order (Example H21E5)
GrpMat_Order (Example H21E6)
GrpRWS_Order (Example H27E5)
Grp_Order (Example H16E12)
MonRWS_Order (Example H15E5)
FldFunG_order-ideals (Example H53E16)
GrpFP_1_Order11 (Example H19E31)
Tableau_orderedmon--fingen (Example H96E4)
Tableau_OrderedMonoid-basic (Example H96E6)
Tableau_OrderedMonoid-Creation (Example H96E3)
Tableau_OrderedMonoid-fingen (Example H96E7)
Tableau_OrderedMonoid-longest (Example H96E5)
Lat_OrderLattice (Example H64E3)
RngOrd_Orders (Example H48E4)
FldFunG_orders (Example H53E10)
FldFunG_orders (Example H53E4)
Lat_Orthogonalize (Example H64E14)
AlgLie_Other (Example H76E11)
ModForm_Overview (Example H93E2)
Func_PackageUserAttributes (Example H2E13)
Func_Parameters (Example H2E2)
CrvMod_Parametrized subgroup schemes (Example H89E3)
RngInt_PartialFact (Example H38E8)
FldFunRat_PartialFractionDecomposition (Example H44E3)
Tableau_Partitions (Example H96E1)
GrpPC_pc-to-perm (Example H24E23)
GrpPC_pc_hom (Example H24E5)
GrpPC_pc_quotient (Example H24E19)
GrpPC_pcgroup (Example H24E22)
GrphRes_pencil (Example H85E2)
RngInt_Perfect (Example H38E7)
GrpData_perfgps (Example H22E5)
AlgFP_PermutationActionD8 (Example H75E3)
CodeFld_PermutationCode (Example H101E3)
CodeRng_PermutationCode (Example H102E3)
GrpPerm_Permutations (Example H20E2)
Crv_place-equations (Example H84E13)
FldFunG_places (Example H53E17)
Graph_Planarity (Example H97E15)
Crv_plane-points (Example H84E1)
CrvEll_PlayWithPoints (Example H87E13)
CrvEll_PointArithmetic (Example H87E11)
CrvHyp_PointEnumeration (Example H88E6)
CrvCon_PointFinding (Example H86E8)
CrvCon_PointReduction (Example H86E7)
Design_points-blocks (Example H98E2)
Plane_points-lines (Example H99E2)
CrvEll_PointSets (Example H87E10)
Newton_pol-is (Example H54E7)
RngLoc_Poly-Hensel (Example H55E17)
RngPad_Poly-Hensel (Example H40E15)
Newton_poly-ops-ex (Example H54E6)
GrpGPC_PolycyclicGroup (Example H23E2)
GrpPC_PolycyclicGroup (Example H24E2)
Grp_PolycyclicGroup (Example H16E4)
RngPol_Polynomials (Example H42E2)
Lat_PositiveDefiniteForm (Example H64E21)
GrpPC_PowerGroupTwo (Example H24E29)
AlgGrp_powering (Example H74E5)
Seq_PowerSequence (Example H8E2)
Set_PowerSet (Example H7E6)
GrpFP_1_pQuotient1 (Example H19E20)
GrpFP_1_pQuotient2 (Example H19E21)
GrpFP_1_pQuotient3 (Example H19E22)
GrpFP_1_pQuotient4 (Example H19E23)
GrpFP_2_pQuotient5 (Example H32E9)
GrpFP_2_pQuotient6 (Example H32E10)
GrpFP_2_pQuotient7 (Example H32E11)
GrpFP_2_pQuotient8 (Example H32E12)
AlgLie_Predicates (Example H76E9)
ModForm_Predicates (Example H93E10)
ModSS_Predicates (Example H92E6)
GB_PrimaryDecomposition (Example H66E18)
GrpPerm_PrimitiveStructure (Example H20E26)
IO_printf (Example H3E4)
IO_printf (Example H3E6)
IO_printf2 (Example H3E5)
Func_Procedures (Example H2E4)
AlgMat_Products (Example H73E5)
GrpPerm_Products (Example H20E8)
Seq_Progression (Example H8E1)
Set_Progression (Example H7E5)
Crv_proj-cl-commutes (Example H84E7)
Scheme_projective-automorphism-group (Example H83E26)
Scheme_projective-closure (Example H83E10)
Scheme_projectivity (Example H83E25)
ModForm_Properties (Example H93E11)
ModSS_Properties (Example H92E4)
RootDtm_Properties (Example H33E8)
GrpAbGen_pSylowComputation (Example H17E5)
Design_pts-blks-ops (Example H98E8)
FldAC_Puiseux (Example H52E3)
ModForm_qExpansion (Example H93E7)
ModSym_qExpansions (Example H90E19)
GB_QuadraticOrderElim (Example H66E11)
GB_QuadraticOrderGB (Example H66E6)
CodeFld_QuadraticResidueCode (Example H101E29)
CrvEll_QuadraticTwists (Example H87E4)
CrvHyp_QuadraticTwists (Example H88E3)
CrvHyp_QuadraticTwists (Example H88E4)
AlgQuat_Quaternion_Constructor (Example H72E1)
AlgQuat_Quaternion_Constructor_over_Rationals (Example H72E2)
AlgQuat_Quaternion_Orders_over_Polynomial_Rings (Example H72E4)
AlgQuat_Quaternion_Orders_over_the_Integers (Example H72E3)
GrpData_Quaternionic (Example H22E7)
AlgGen_quaternions (Example H69E1)
AlgFP_Quotient (Example H75E4)
Graph_Quotient (Example H97E11)
GrpMat_Quotient (Example H21E17)
GrpPerm_Quotient (Example H20E16)
Grp_Quotient (Example H16E6)
RngOrd_quotient (Example H48E32)
ModAlg_QuotientModule (Example H77E4)
ModFld_Quotients1 (Example H61E10)
ModFld_Quotients2 (Example H61E11)
ModFld_Quotients3 (Example H61E12)
GB_Radical (Example H66E17)
GrpPerm_Radical (Example H20E27)
RngOrd_Ramification (Example H48E21)
RngLoc_ramified-ext (Example H55E16)
RngPad_ramified-ext (Example H40E14)
AlgQuat_Ramified_Primes (Example H72E6)
GrpMat_Random (Example H21E13)
Set_Random (Example H7E8)
GrpPerm_RandomSchreier (Example H20E33)
CrvEll_Rank (Example H87E18)
GrpData_ratgps1 (Example H22E6)
CrvCon_rational-point-enum (Example H86E6)
CrvCon_RationalCurveExample (Example H86E2)
GrpMat_RationalMatrixGroupDatabase (Example H21E14)
CrvCon_RationalParametrization (Example H86E11)
GrpCox_RDFromCox (Example H34E4)
IO_Read (Example H3E11)
GrpMat_RecognizeClassical (Example H21E30)
PseudoRandom_reconstruct-sequence (Example H103E1)
Rec_Record (Example H12E2)
Rec_RecordAccess (Example H12E3)
Rec_RecordFormat (Example H12E1)
Func_Recursion (Example H2E1)
ModRng_Reduce (Example H62E8)
GrpFP_1_ReduceGeneratingSet (Example H19E56)
ModRng_ReduceHom (Example H62E9)
Set_Reduction (Example H7E14)
ModForm_ReductionsAndEmbeddings (Example H93E17)
CodeFld_ReedMullerCode (Example H101E7)
GrpCox_ReflectionGroups (Example H34E11)
GrpCox_ReflectionSubgroups (Example H34E2)
IO_Regexp (Example H3E3)
Graph_Regularity (Example H97E19)
Design_related (Example H98E3)
FldFunG_related-structures (Example H53E6)
GB_RelationIdeal (Example H66E14)
GrpAb_Relations (Example H18E2)
GrpAb_Relations (Example H18E5)
GrpFP_1_Relations (Example H19E4)
ModForm_Relations (Example H93E19)
RngInvar_Relations (Example H80E10)
State_repeat (Example H1E14)
GrpFP_2_Replace (Example H32E1)
FldQuad_Represent (Example H49E4)
ModGrp_Representation (Example H78E8)
ModSym_Representation (Example H90E9)
ModSym_RepresentationConversion (Example H90E5)
GrpFP_1_RepresentationTheory (Example H19E59)
GrpGPC_RepresentationTheory (Example H23E13)
GrpPC_Reps (Example H24E27)
ModGrp_Reps (Example H78E13)
RngInt_RepUnits (Example H38E6)
Func_require (Example H2E8)
Design_resol-parallel (Example H98E9)
Tableau_RestrictedPartitions (Example H96E2)
GrpFP_1_Rewrite (Example H19E35)
RngLaz_ring-ops (Example H57E2)
RngLaz_ring_create (Example H57E1)
RootDtm_RootArithmetic (Example H33E12)
AlgLie_RootDatum (Example H76E3)
RootDtm_RootOperations (Example H33E13)
FldRe_Roots (Example H41E5)
Newton_roots-ex (Example H54E10)
RootDtm_RootsCoroots (Example H33E9)
FldRe_RootsNonExact (Example H41E6)
RootDtm_RootSubdata (Example H33E16)
AlgLie_RootSystem (Example H76E2)
RngOrd_Round2 (Example H48E6)
Mat_RowColumnOps (Example H59E6)
PseudoRandom_rsa_stats (Example H103E2)
Tableau_RSK-doubleword (Example H96E22)
Tableau_RSK-Matrix (Example H96E23)
Tableau_RSK-perms (Example H96E24)
Tableau_RSK-singleword (Example H96E21)
GB_RungeKutta2 (Example H66E3)
GrpRWS_RWSGroup (Example H27E1)
MonRWS_RWSMonoid (Example H15E1)
Scheme_scheme-equality (Example H83E5)
Scheme_scheme-points (Example H83E6)
Scheme_schemes-creation (Example H83E4)
Scheme_schemes-points-example1 (Example H83E2)
Scheme_schemes-prime-components (Example H83E8)
GrpFP_1_SchreierGenerators (Example H19E42)
Scheme_scroll-map-base-points (Example H83E19)
CrvEll_SEA (Example H87E27)
Crv_second-affine-patch (Example H84E8)
RngInvar_SecondaryInvariants (Example H80E7)
Seq_Self (Example H8E5)
CodeFld_SelfDual (Example H101E17)
CodeRng_SelfDualZ4 (Example H102E7)
FldAb_Selmer-group (Example H51E3)
GrpMat_Semilinearity (Example H21E32)
AlgLie_SemiSimpleType (Example H76E10)
AlgLie_Series (Example H76E7)
GrpMat_Series (Example H21E26)
GrpPerm_Series (Example H20E23)
RngLoc_series-print (Example H55E2)
RngPad_series-print (Example H40E1)
GrpAtc_Set (Example H28E6)
GrpPC_Set (Example H24E11)
GrpRWS_Set (Example H27E6)
MonRWS_Set (Example H15E6)
GrpPC_set_ops (Example H24E10)
GrpPerm_SetOperations (Example H20E10)
Grp_SetOperations (Example H16E13)
Lat_Seysen (Example H64E13)
GrpData_sg-process (Example H22E13)
GrpData_sg-process (Example H22E2)
GrpData_sgdb (Example H22E11)
Mat_ShortCuts (Example H59E2)
Mat_Shortcuts (Example H59E3)
CodeFld_SimpleCodeChain (Example H101E4)
AlgLie_SimpleLieAlgebra (Example H76E1)
GrpFP_1_Simplify1 (Example H19E54)
Lat_SingularElements (Example H64E9)
GrphRes_singularity (Example H85E1)
CrvEll_SIntegralPoints (Example H87E23)
GrpSLP_SLPGroup (Example H29E1)
GrpData_SmallGroups (Example H22E1)
GrpData_SmallIdentify (Example H22E3)
GrpData_SmallInternal (Example H22E4)
GrpFP_2_SolubleQuotient (Example H32E13)
GrpFP_1_SolubleQuotient1 (Example H19E26)
GrpFP_1_SolubleQuotient2 (Example H19E27)
Mat_Solution (Example H59E8)
Newton_sp-vertices-ex (Example H54E4)
Graph_SparseReps (Example H97E6)
Func_spec (Example H2E9)
GrpPC_SpecialPresentation (Example H24E24)
GrpMat_SpecialQuotient (Example H21E18)
GrpPerm_SpecialQuotient (Example H20E17)
FldAC_Split (Example H52E6)
IO_Split (Example H3E2)
IO_Sprintf (Example H3E8)
GrpMat_StabiliserOfSpaces (Example H21E22)
GrpPerm_Stabilizers (Example H20E19)
GrpPC_Standard (Example H24E1)
CrvMod_Standard class polynomials (Example H89E5)
GrpCox_StandardAction (Example H34E18)
CodeFld_StandardForm (Example H101E9)
CodeRng_StandardForm (Example H102E8)
GrpFP_1_StandardGroups (Example H19E14)
GrpPerm_StandardGroups (Example H20E7)
Grp_StandardGroups (Example H16E7)
GrpPGp_StandardPresentation (Example H25E4)
GrpLie_StandardRepresentation (Example H35E7)
Env_Startup (Example H4E1)
Func_startup-spec (Example H2E10)
RngInvar_SteenrodOperation (Example H80E12)
IO_Strings (Example H3E1)
Graph_StronglyRegularGraphs (Example H97E20)
RngLoc_strop (Example H55E5)
RngPad_strop (Example H40E3)
Plane_sub (Example H99E4)
Plane_sub (Example H99E5)
GrpPC_sub-predicates (Example H24E16)
ModDed_sub-quo (Example H63E2)
GrpPC_sub_creation (Example H24E13)
AlgMat_SubAlgebra (Example H73E4)
CodeFld_SubcodeBetweenCode (Example H101E14)
RngOrd_SubfieldLattice (Example H48E23)
FldFunG_Subfields (Example H53E9)
Graph_Subgraph (Example H97E10)
GrpGPC_Subgroup (Example H23E3)
Grp_Subgroup (Example H16E5)
GrpPC_subgroup-constructions (Example H24E15)
GrpPC_SubgroupClasses (Example H24E18)
GrpFP_1_SubgroupConstructions (Example H19E41)
GrpPerm_SubgroupConstructions (Example H20E13)
GrpAbGen_SubgroupCreation (Example H17E4)
GrpFP_1_SubgroupOps (Example H19E43)
GrpAb_Subgroups (Example H18E4)
GrpMat_Subgroups (Example H21E15)
GrpPerm_Subgroups (Example H20E15)
Grp_Subgroups (Example H16E15)
GrpFP_1_Subgroups1 (Example H19E28)
GrpFP_1_Subgroups2 (Example H19E29)
GrpPGp_subgroupsabelianpgroups (Example H25E7)
CrvEll_SubgroupSchemes (Example H87E9)
GrpGPC_SubgroupsQuotientsTransfer (Example H23E6)
GrpGPC_SubgroupStructure (Example H23E9)
GrpGPC_SubgroupStructure2 (Example H23E10)
Lat_Sublattices (Example H64E22)
Mat_Submatrix (Example H59E5)
ModAlg_Submodule (Example H77E3)
ModRng_Submodule (Example H62E4)
PMod_SubQuo (Example H68E3)
RootDtm_SubRD (Example H33E18)
ModFld_Subspace1 (Example H61E8)
ModFld_Subspace2 (Example H61E9)
ModForm_Subspaces (Example H93E12)
ModSym_Subspaces (Example H90E12)
Lat_SubSuperQuo (Example H64E5)
Scheme_subsystems (Example H83E31)
CodeFld_SumIntersection (Example H101E15)
CodeRng_SumIntersection (Example H102E5)
Plane_supp (Example H99E3)
GrpMat_Suzuki (Example H21E9)
FldAC_SwinnertonDyer (Example H52E2)
RngPol_SwinnertonDyerPolynomial (Example H42E5)
GrpPerm_Sym (Example H20E1)
RngMPol_Sym_Bi_Linear (Example H43E6)
GrpFP_1_Symmetric1 (Example H19E5)
GrpFP_1_Symmetric2 (Example H19E6)
GrpGPC_Symmetric2 (Example H23E5)
GrpMat_Symplectic (Example H21E8)
Func_SystemAttributes (Example H2E11)
GB_SyzygyModule (Example H66E24)
Tableau_Tab-Access (Example H96E16)
Tableau_Tab-check-standard (Example H96E17)
Tableau_Tab-check-words (Example H96E18)
Tableau_Tab-Comp-Mult (Example H96E20)
Tableau_Tab-Jeu (Example H96E19)
Tableau_Tab-Random (Example H96E15)
Tableau_Tabcreate-bang (Example H96E12)
Tableau_Tabcreate-basic (Example H96E10)
Tableau_Tabcreate-fingen (Example H96E11)
Tableau_TabMonoid-fingen (Example H96E9)
Tableau_TabMonoid-standard (Example H96E8)
GrpMat_Tensor (Example H21E33)
GrpMat_TensorInduced (Example H21E34)
CodeFld_TernaryGolayCode (Example H101E1)
CodeRng_TernaryGolayCode (Example H102E1)
GrpFP_1_Tetrahedral (Example H19E8)
ModSym_ThetaOperator (Example H90E16)
Lat_ThetaSeries (Example H64E10)
GrpFP_1_ThreeInvols (Example H19E9)
RngOrd_thue (Example H48E25)
State_Time (Example H1E17)
CrvHyp_TorsionGroups (Example H88E11)
Scheme_trace (Example H83E32)
Plane_trans (Example H99E16)
CrvHyp_Transformation (Example H88E7)
GrpData_Transitive (Example H22E8)
GrpData_TransitiveId (Example H22E10)
GrpData_TransitiveProcess (Example H22E9)
Scheme_translation (Example H83E27)
Crv_translation-to-infinity (Example H84E9)
GrpCox_Transversals (Example H34E3)
GB_TriangularDecomposition (Example H66E19)
Crv_trigonal-curve (Example H84E21)
RngMPol_Trinomials (Example H43E7)
Tup_Tuple (Example H9E2)
Tup_TupleAccess (Example H9E3)
Graph_TutteCage (Example H97E2)
Scheme_twisted-cubics (Example H83E35)
CrvEll_Twists (Example H87E29)
CrvEll_Twists2 (Example H87E8)
State_TypeStructures (Example H1E18)
Func_Underscore (Example H2E3)
GrpMat_UnipotentStabiliser (Example H21E23)
AlgQuat_Unit_Group (Example H72E13)
Plane_unital (Example H99E11)
RngOrd_uniteq (Example H48E26)
RngOrd_UnitGroup (Example H48E19)
RngLoc_units-autos (Example H55E21)
Set_Universe (Example H7E1)
RngLoc_unram-ext (Example H55E9)
RngPad_unram-ext (Example H40E7)
GrpPSL2_Upper-half-plane-example (Example H31E6)
RngMPol_Vandermonde (Example H43E8)
GB_Variety (Example H66E10)
State_Various (Example H1E16)
ModFld_Vectors (Example H61E3)
FldFin_VectorSpace (Example H45E2)
CodeFld_VerboseBestCode (Example H101E41)
CodeFld_VerifyLower (Example H101E19)
Newton_vertices-ex (Example H54E3)
Lat_Voronoi (Example H64E11)
CodeFld_WeaklySelfDual (Example H101E18)
AlgGrp_wedderburn (Example H74E3)
ModForm_WeierstrassPoints (Example H93E8)
CodeFld_WeightDistribution (Example H101E20)
Crv_weighted-blowup (Example H84E5)
CodeFld_WeightEnumerator (Example H101E21)
CodeRng_WeightEnumerator (Example H102E10)
RootDtm_Weights (Example H33E14)
CrvEll_WeilPairing (Example H87E14)
State_where (Example H1E9)
State_while (Example H1E13)
Design_wittex (Example H98E4)
GrpFP_1_WordAccess (Example H19E2)
GrpCox_WordArithmetic (Example H34E15)
GrpCox_WordOperations (Example H34E14)
GrpFP_2_WordOps (Example H32E2)
CodeFld_Words (Example H101E23)
GrpAtc_Words (Example H28E2)
GrpFP_1_Words (Example H19E3)
GrpRWS_Words (Example H27E2)
MonRWS_Words (Example H15E2)
GrpMat_WriteOverSmallerField (Example H21E38)
CodeFld_X3 (Example H101E34)
CodeFld_XX (Example H101E35)
RngOrd_zero (Example H48E12)
Crv_zeros-and-poles (Example H84E14)
CodeFld_Zinoviev (Example H101E36)
GB_ZRadical (Example H66E13)
An Example of Use of the Database (THE K3 DATABASE)
Examples (FUNCTIONS, PROCEDURES AND PACKAGES)
Rational Curve and Conic Examples (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)
Algebraic Geometric Codes (PLANE ALGEBRAIC CURVES)
Trigonal Curves (PLANE ALGEBRAIC CURVES)
Algebraic 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 H19E49)
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 H104E1)
LP_ExplicitLPSolutionsTwo (Example H104E2)
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 H54E8)
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<O | f> : RngFunOrd, RngUPolElt -> RngFunOrd
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
AbelianExtension(K) : FldOrd -> FldAb
AbelianExtension(I) : RngOrdIdl -> FldAb
AbelianExtension(I, P) : RngOrdIdl, [RngIntElt] -> FldAb
AbelianpExtension(m, p) : Map, RngIntElt -> FldAb
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
NonsplitExtensionSpace(SQP): SQProc -> SeqEnum
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
ModGrp_Extension (Example H78E11)
CLASS FIELD THEORY
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 H24E6)
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) : SQProc ->
FldFin_Extensions (Example H45E1)
Grp_Extensions (Example H16E8)
Abelian Extensions (CLASS FIELD THEORY)
Abelian Extensions (CLASS FIELD THEORY)
Central Extensions (FINITE SOLUBLE GROUPS)
Extensions (CHAIN COMPLEXES)
Exterior(P, C) : Plane, { PlanePt } -> { PlanePt }
ExteriorSquare(a) : AlgMat -> AlgMatElt
ExteriorSquare(L) : Lat -> Lat
ExteriorSquare(M) : ModGrp -> ModGrp
ExteriorSquare(a) : AlgMat -> AlgMatElt
ExteriorSquare(L) : Lat -> Lat
ExteriorSquare(M) : ModGrp -> ModGrp
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 OF STRAIGHT-LINE PROGRAMS)
Addition of extra generators (GROUPS OF 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]