[____] [____] [_____] [____] [__] [Index] [Root]
Index F
F-key
F<char>
f-key
f<char>
F27
GrpFP_F27 (Example H12E26)
F276
GrpFP_F276 (Example H12E36)
F29
GrpFP_F29 (Example H12E37)
Facint
FactorizationToInteger(s) : [ <RngIntElt, RngIntElt> ] -> RngIntElt
Factor
Factor(n) : RngIntElt -> RngIntElt, RngIntElt
factor
Factorization (RING OF INTEGERS)
FactorBasis
FactorBasis(O, B) : RngOrd, RngIntElt -> [ RngOrdIdl ]
FactoredIndex
FactoredIndex(G, H) : GrpAb, GrpAb -> [<RngIntElt, RngIntElt>]
FactoredIndex(G, H) : GrpFin, GrpFin -> [ <RngIntElt, RngIntElt> ]
FactoredIndex(G, H) : GrpMat, GrpMat -> [ <RngIntElt, RngIntElt> ]
FactoredIndex(G, H) : GrpPC, GrpPC -> [<RngIntElt, RngIntElt>]
FactoredIndex(G, H) : GrpPerm, GrpPerm -> [ <RngIntElt, RngIntElt> ]
Index(G, H: parameters) : GrpFP, GrpFP -> RngIntElt, Map, RngIntElt, RngIntElt
FactoredOrder
FactoredOrder(a) : AlgMatElt -> [ <RngIntElt, RngIntElt> ]
FactoredOrder(a) : FldFinElt -> RngIntElt
FactoredOrder(G) : GrpAb -> [<RngIntElt, RngIntElt>]
FactoredOrder(G) : GrpFin -> [ <RngIntElt, RngIntElt> ]
FactoredOrder(G) : GrpMat -> [ <RngIntElt, RngIntElt> ]
FactoredOrder(g) : GrpMatElt -> [ <RngIntElt, RngIntElt> ]
FactoredOrder(G) : GrpPC -> [<RngIntElt, RngIntElt>]
FactoredOrder(G) : GrpPerm -> [ <RngIntElt, RngIntElt> ]
FactoredOrder(P) : Process(pQuot) -> [ <RngIntElt, RngIntElt> ]
Order(G: parameters) : GrpFP -> RngIntElt
Factorial
Factorial(n) : RngIntElt -> RngIntElt
Factorization
Factorization(p) : RngDPolElt -> [ < RngDPolElt, RngIntElt >], RngElt
Factorization(n) : RngIntElt -> [ <RngIntElt, RngIntElt> ], RngIntElt, [RngIntElt]
Factorization(I) : RngOrdIdl -> [Tup(RngOrdIdl, RngIntElt])
Factorization(p) : RngUPolElt -> [ < RngUPolElt, RngIntElt >], RngElt
factorization
Factorization (MULTIVARIATE POLYNOMIAL RINGS)
Factorization (UNIVARIATE POLYNOMIAL RINGS)
Factorization and Irreducibility (MULTIVARIATE POLYNOMIAL RINGS)
Factorization and Irreducibility (UNIVARIATE POLYNOMIAL RINGS)
Factorization and Primes (NUMBER FIELDS AND THEIR ORDERS)
Operations on Factorization Sequences (RING OF INTEGERS)
factorization-irreducibility
Factorization and Irreducibility (MULTIVARIATE POLYNOMIAL RINGS)
Factorization and Irreducibility (UNIVARIATE POLYNOMIAL RINGS)
factorization-sequence
Operations on Factorization Sequences (RING OF INTEGERS)
FactorizationToInteger
FactorizationToInteger(s) : [ <RngIntElt, RngIntElt> ] -> RngIntElt
false
Booleans (OVERVIEW)
true
Family
GrpFP_Family (Example H12E18)
Farey
Seq_Farey (Example H5E3)
feature
Magma Updates (OVERVIEW)
Fibonacci
Fibonacci(n) : RngIntElt -> RngIntElt
Field
Alphabet(C) : Code -> FldFin
field
Arithmetic (NUMBER FIELDS AND THEIR ORDERS)
Canonical Forms for Matrices over a Field (MATRIX ALGEBRAS)
Changing the Coefficient Field (VECTOR SPACES)
FINITE FIELDS
NUMBER FIELDS AND THEIR ORDERS
RATIONAL FUNCTION FIELDS
Rings, Fields, and Algebras (OVERVIEW)
field-element
Arithmetic (NUMBER FIELDS AND THEIR ORDERS)
FieldCreation
FldLoc_FieldCreation (Example H31E2)
FieldOfFractions
FieldOfFractions(Q) : FldRat -> FldRat
FieldOfFractions(R) : Rng -> FldFun
FieldOfFractions(Z) : RngInt -> FldRat
FieldOfFractions(O) : RngOrd -> FldNum
FieldOfFractions(O) : RngQuad -> FldQuad
FieldOfFractions(V) : RngVal -> Rng
pAdicField(p) : RngIntElt -> FldAdic
fields
Rings, Fields, and Algebras (OVERVIEW)
FieldTup
FieldTup(MGT) : SetCartElt -> FldFin
finish
Control-C key (OVERVIEW)
Quitting (OVERVIEW)
finite
Finite dimensional Quotient Rings (MULTIVARIATE POLYNOMIAL RINGS)
FINITE FIELDS
Rings, Fields, and Algebras (OVERVIEW)
finite-dimension-quotient
Finite dimensional Quotient Rings (MULTIVARIATE POLYNOMIAL RINGS)
finite-Galois-field
FINITE FIELDS
FiniteField
FiniteField(q) : RngIntElt -> FldFin
finitely
FINITELY PRESENTED ALGEBRAS
Finitely Presented Algebras (FINITELY PRESENTED ALGEBRAS)
FINITELY PRESENTED GROUPS
Finitely Presented Modules (FINITELY PRESENTED ALGEBRAS)
FINITELY PRESENTED SEMIGROUPS
Rings, Fields, and Algebras (OVERVIEW)
The Finitely Presented Group Associated with a Permutation Group (PERMUTATION GROUPS)
finitely-presented
FINITELY PRESENTED ALGEBRAS
FINITELY PRESENTED GROUPS
FINITELY PRESENTED SEMIGROUPS
finitely-presented-algebra
Finitely Presented Algebras (FINITELY PRESENTED ALGEBRAS)
finitely-presented-group
The Finitely Presented Group Associated with a Permutation Group (PERMUTATION GROUPS)
finitely-presented-module
Finitely Presented Modules (FINITELY PRESENTED ALGEBRAS)
finitely_presented_group
The Finitely Presented Group Associated with a Matrix Group (MATRIX GROUPS)
first
The `first use' Rule (MAGMA SEMANTICS)
first-use
The `first use' Rule (MAGMA SEMANTICS)
FittingSubgroup
FittingSubgroup(G) : GrpAb -> GrpAb
FittingSubgroup(G) : GrpFin -> GrpFin
[Future release] FittingSubgroup(G) : GrpMat -> GrpMat
FittingSubgroup(G) : GrpPC -> GrpPC
FittingSubgroup(G) : GrpPerm -> GrpPerm
Fix
Fix(C, G) : Code, GrpPerm -> Code
Fix(g, Y): GrpPermElt, GSet -> { Elt }
Fix(M): Mod -> Mod
fixed
Fixed Precision Real Numbers (REAL AND COMPLEX FIELDS)
Free and Fixed Precision (POWER SERIES AND LAURENT SERIES)
fixed-precision
Fixed Precision Real Numbers (REAL AND COMPLEX FIELDS)
FixedPrecision
FldRe_FixedPrecision (Example H29E1)
FldCom
Rings, Fields, and Algebras (OVERVIEW)
FldCyc
Rings, Fields, and Algebras (OVERVIEW)
FldFin
Rings, Fields, and Algebras (OVERVIEW)
FldFun
Rings, Fields, and Algebras (OVERVIEW)
FldNum
Rings, Fields, and Algebras (OVERVIEW)
FldPad
Rings, Fields, and Algebras (OVERVIEW)
FldPr
Rings, Fields, and Algebras (OVERVIEW)
FldQuad
Rings, Fields, and Algebras (OVERVIEW)
FldRat
Rings, Fields, and Algebras (OVERVIEW)
FldRe
Rings, Fields, and Algebras (OVERVIEW)
Floor
Floor(q) : FldRatElt -> RngIntElt
Floor(r) : FldReElt -> RngIntElt
Floor(n) : RngIntElt -> RngIntElt
for
The for statement (OVERVIEW)
for x in S do ... end for;
for x in S do statements; end for;
for-random
for random x in S do ... end for;
forall
forall(t){ e(x) : x in E | P(x) }
Force
[Future release] Force(V, i, j) : GrpFPCos, GrpFPCosElt, GrpFPCosElt -> GrpFPCosElt
forced
Forced Coercion (INTRODUCTION [RINGS AND FIELDS])
Magmas (or Structures) (OVERVIEW)
Form
[Future release] Form(V) : ModTupFld -> AlgMatElt
form
Canonical Forms (MATRIX ALGEBRAS)
Canonical Forms for Elements (THE MODULES Hom_(R)(M, N) AND End(M))
Creation of Forms (QUADRATIC FIELDS)
Defining a Quadratic Form (VECTOR SPACES)
Functions on Forms (QUADRATIC FIELDS)
Matrix Action on Forms (QUADRATIC FIELDS)
Properties of the Form (VECTOR SPACES)
Quadratic Forms and Inner Products (VECTOR SPACES)
The Standard Form (ERROR-CORRECTING CODES)
form-action-matrix
Matrix Action on Forms (QUADRATIC FIELDS)
formal
Formal Sequences (SEQUENCES)
Formal Sets (SETS)
Sets (OVERVIEW)
The Formal Sequence Constructor (SEQUENCES)
The Formal Set Constructor (SETS)
FormalSet
FormalSet(M) : Struct -> SetForm
FormAsMatrix
[Future release] FormAsMatrix(f) : AlgPolElt -> AlgMatElt
FormAsPolynomial
[Future release] FormAsPolynomial(a) : AlgMatElt -> AlgPolElt
Format
Format(r) : Rec -> RecFormat
format
RECORDS
The Record Format Constructor (RECORDS)
Forms
FldQuad_Forms (Example H26E4)
Forms1
HMod_Forms1 (Example H35E6)
Forms2
HMod_Forms2 (Example H35E7)
forward
Recursion and forward (OVERVIEW)
The forward Declaration (MAGMA LANGUAGE)
forward f : identifier ->
Lang_forward (Example H1E17)
fp
Groups (OVERVIEW)
Rings, Fields, and Algebras (OVERVIEW)
FPGroup
FPGroup(G) : GrpPC -> GrpFP, Map
FPGroup(G: parameters) : GrpMat :-> GrpFP, Hom(Grp)
FPGroup(G: parameters) : GrpPerm :-> GrpFP, Hom(Grp)
FPGroup(G: parameters) : GrpPerm :-> GrpFP, Hom(Grp)
Grp_FPGroup (Example H9E9)
fraction
Continued Fractions (REAL AND COMPLEX FIELDS)
Rings, Fields, and Algebras (OVERVIEW)
FrattiniSubgroup
FrattiniSubgroup(G) : GrpAb -> GrpAb
FrattiniSubgroup(G) : GrpFin -> GrpFin
FrattiniSubgroup(G) : GrpMat -> GrpMat
FrattiniSubgroup(G) : GrpPC -> GrpPC
FrattiniSubgroup(G) : GrpPerm -> GrpPerm
Free
GrpFP_Free (Example H12E1)
free
Construction of a Free Group (FINITELY PRESENTED GROUPS)
Construction of a Free Module (GENERAL MODULES)
Free and Fixed Precision (POWER SERIES AND LAURENT SERIES)
Free Modules (GENERAL MODULES)
Free Real Numbers (REAL AND COMPLEX FIELDS)
Structure Constructors (ABELIAN GROUPS)
Structure Constructors (FINITELY PRESENTED SEMIGROUPS)
free-fixed
Free and Fixed Precision (POWER SERIES AND LAURENT SERIES)
free-module
Construction of a Free Module (GENERAL MODULES)
FreeAbelianGroup
FreeAbelianGroup(n) : RngIntElt -> GrpAb
GrpAb_FreeAbelianGroup (Example H11E1)
FreeAlgebra
FreeAlgebra(R, M) : Rng, MonFP -> AlgFP
AlgFP_FreeAlgebra (Example H37E1)
FreeGroup
FreeGroup(n) : RngIntElt -> GrpFP
FreeMonoid
FreeMonoid(n) : RngIntElt -> MonFP
FreeProduct
FreeProduct(G, H) : GrpFP, GrpFP -> GrpFP
FreeProduct(R, S) : SgpFP, SgpFP -> SgpFP
FreeSemigroup
FreeSemigroup(n) : RngIntElt -> SgpFP
SgpFP_FreeSemigroup (Example H10E1)
func
Function Expressions (OVERVIEW)
Function
Function(f) : Map -> UserProgram
function
Arithmetic Functions (RING OF INTEGERS)
Function Application (MAGMA SEMANTICS)
Function Expressions (MAGMA SEMANTICS)
Function Values Assigned to Identifiers (MAGMA SEMANTICS)
Functions (OVERVIEW)
Functions and Procedures (MAGMA LANGUAGE)
Functions, Procedures, and Mappings (OVERVIEW)
Other Functions (LOCAL FIELDS)
RATIONAL FUNCTION FIELDS
Rings, Fields, and Algebras (OVERVIEW)
Structure Creation (CHARACTERS OF FINITE GROUPS)
function-application
Function Application (MAGMA SEMANTICS)
function-expression
Function Expressions (MAGMA SEMANTICS)
function-procedure
Functions and Procedures (MAGMA LANGUAGE)
function-procedure-mapping
Functions, Procedures, and Mappings (OVERVIEW)
function-value-assignment
Function Values Assigned to Identifiers (MAGMA SEMANTICS)
FunctionField
FunctionField(R) : Rng -> FldFun
FldFun_FunctionField (Example H24E1)
Functions
FldFin_Functions (Example H21E3)
FundamentalUnit
FundamentalUnit(K) : FldQuad -> FldQuadElt
[____] [____] [_____] [____] [__] [Index] [Root]