[____] [____] [_____] [____] [__] [Index] [Root]
Index B
B-key
B
b-key
b
BachBound
BachBound(K) : FldNum -> RngIntElt
backspace-key
<Backspace>
BadPrimes
BadPrimes(E) : GeomEC -> [ RngIntElt ]
Ball
Ball(u, n) : Vert, RngIntElt -> { Vert }
Ball(u, n) : Vert, RngIntElt -> { Vert }
Bang
Coercion(D, C) : Struct, Struct -> Map
Base
Base(G) : GrpMat -> [Elt]
Base(G) : GrpPerm -> [Elt]
base
Base and Strong Generator Functions (MATRIX GROUPS)
Base and Strong Generator Functions (PERMUTATION GROUPS)
BaseField
CoefficientField(V) : ModTupFld -> Fld
BaseImage
BaseImage(x) : GrpPermElt -> [Elt]
BaseModule
BaseModule(R, S) : AlgMat, Rng -> ModTup
BasePoint
BasePoint(G, i) : GrpMat, RngIntElt -> Elt
BasePoint(G, i) : GrpPerm, RngIntElt -> Elt
BaseRing
BaseRing(R) : AlgMat -> Rng
BaseRing(F) : FldFun -> Rng
BaseRing(P) : RngMPol -> Rng
BaseRing(R) : RngSer -> Rng
BaseRing(P) : RngUPol -> Rng
CoefficientRing(G) : GrpMat -> Rng
CoefficientRing(M) : ModTupRng -> Rng
Bases
FldNum_Bases (Example H30E9)
BasicAccess
GrpPerm_BasicAccess (Example H16E9)
BasicOrbit
BasicOrbit(G, i) : GrpMat, RngIntElt -> SetIndx
BasicOrbit(G, i) : GrpPerm, RngIntElt -> SetIndx
BasicOrbitLength
BasicOrbitLength(G, i) : GrpMat, RngIntElt -> RngIntElt
BasicOrbitLength(G, i) : GrpPerm, RngIntElt -> RngIntElt
BasicOrbitLengths
BasicOrbitLengths(G) : GrpMat -> [RngIntElt]
BasicOrbitLengths(G) : GrpPerm -> [RngIntElt]
BasicOrbits
BasicOrbits(G) : GrpPerm -> [SetIndx]
BasicStabiliser
BasicStabilizer(G, i) : GrpMat, RngIntElt -> GrpMat
BasicStabilizer(G, i) : GrpPerm, RngIntElt -> GrpPerm
BasicStabiliserChain
BasicStabilizerChain(G) : GrpMat -> [GrpMat]
BasicStabilizerChain(G) : GrpPerm -> [GrpPerm]
BasicStabilizer
BasicStabilizer(G, i) : GrpMat, RngIntElt -> GrpMat
BasicStabilizer(G, i) : GrpPerm, RngIntElt -> GrpPerm
BasicStabilizerChain
BasicStabilizerChain(G) : GrpMat -> [GrpMat]
BasicStabilizerChain(G) : GrpPerm -> [GrpPerm]
Basis
Basis(C) : Code -> [ ModTupFldElt ]
Basis(V) : ModTupFld -> [ModTupFldElt]
Basis(M) : ModTupRng -> [ModTupRngElt]
Basis(I) : RngMPol -> RngMPolElt
Basis(O) : RngOrd -> [FldNumElt]
Basis(I) : RngOrdIdl -> [RngOrdElt]
Basis(O) : RngQuad -> [ FldQuadElt ]
CharacterTable(G) : Grp -> SeqEnum
KMod_Basis (Example H35E12)
basis
Bases (VECTOR SPACES)
Bases for Free Modules (GENERAL MODULES)
Basis (QUADRATIC FIELDS)
Basis Representation (NUMBER FIELDS AND THEIR ORDERS)
Basis Representation (NUMBER FIELDS AND THEIR ORDERS)
Ideal Bases (MULTIVARIATE POLYNOMIAL RINGS)
BasisElement
BasisElement(V, i) : ModTupFld, RngIntElt -> ModTupFldElt
BasisElement(M, i) : ModTupRng, RngIntElt -> ModTupRngElt
BasisElement(I, i) : RngMPol, RngIntElt -> RngMPolElt
BasisMatrix
BasisMatrix(C) : Code -> ModMatFldElt
BasisMatrix(V) : ModTupFld -> ModMatElt
BasisMatrix(M) : ModTupRng -> ModMatElt
BasisMatrix(O) : RngOrd -> AlgMatElt
BasisMatrix(I) : RngOrdIdl -> AlgMatElt
BCH
Construction of BCH Codes and their Generalizations (ERROR-CORRECTING CODES)
BCHCode
BCHCode(K, n, d, b) : FldFin, RngIntElt, RngIntElt, RngIntElt -> Code
Code_BCHCode (Example H44E8)
begin
Overview (OVERVIEW)
Bernoulli
Bernoulli(n) : RngIntElt -> FldRatElt
BernoulliApproximation
BernoulliApproximation(n) : RngIntElt -> FldPrElt
bessel
Gamma, Bessel and Associated Functions (REAL AND COMPLEX FIELDS)
BesselFunction
BesselFunction(n, r) : RngIntElt, FldReElt -> FldReElt
BestApproximation
BestApproximation(r, n) : FldPrElt, RngIntElt -> FldPrElt
BetterPoly
FldNum_BetterPoly (Example H30E4)
BetterPolynomial
BetterPolynomial(K) : FldNum -> BoolElt, FldNum
BFSTree
BreadthFirstSearchTree(u) : Vert -> Grph
bibliography
Bibliography for Database of Groups of Order Dividing 256 (OVERVIEW)
Bibliography for Database of Groups of Order Dividing 729 (OVERVIEW)
Bibliography for Database of Irreducible Soluble Subgroups of GL(n,p) for n > 1 and p^n < 256 (OVERVIEW)
Bibliography for Database of Simple Groups (OVERVIEW)
Bicomponents
Bicomponents(G) : GrphUnd -> [GrphUnd]
bigger
Comparison (OVERVIEW)
BigO
BigO(x^n) : RngElt -> RngIntElt
BigO(x^n) : RngSerElt -> RngIntElt
binary
Binary Set Operators (SETS)
binding
Key Bindings (Emacs and VI mode) (SYSTEM FEATURES)
Key Bindings in Emacs mode only (SYSTEM FEATURES)
Key Bindings in VI mode only (SYSTEM FEATURES)
Binomial
Binomial(n, r) : RngIntElt, RngIntElt -> RngIntElt
bInvariants
bInvariants(E) : GeomEC -> [ RngElt ]
BipartiteGraph
BipartiteGraph(m, n) : RngIntElt, RngIntElt -> GrphUnd
Bipartition
Bipartition(G) : GrphUnd -> [ { Vert } ]
BiquadraticResidueSymbol
BiquadraticResidueSymbol(a, b) : FldQuadElt, FldQuadElt -> FldQuadElt
Block
Block(D, i) : Inc, RngIntElt -> IncBlk
Line(p, q) : IncPt, IncPt -> IncBlk
BlockAutomorphismGroup
Graph_BlockAutomorphismGroup (Example H41E4)
BlockDegree
BlockDegree(D) : Dsgn -> RngIntElt
BlockDegree(B) : IncBlk -> RngIntElt
BlockDegrees
BlockDegrees(D) : Inc -> [ RngIntElt ]
BlockGraph
BlockGraph(D) : Inc -> Grph
BlockGraph(D) : Inc -> GrphUnd
BlockGroup
BlockGroup(D) : Inc -> GrpPerm
Blocks
Blocks(D) : Inc -> { IncBlk }
blocks
Creating Points and Blocks (INCIDENCE STRUCTURES AND DESIGNS)
BlocksAction
BlocksAction(G, P) : GrpPerm, GSet -> Hom(GrpPerm), GrpPerm, GrpPerm
BlocksActions
GrpPerm_BlocksActions (Example H16E15)
BlockSet
BlockSet(D) : Inc -> SetIncBlk
BlocksImage
BlocksImage(G, P) : GrpPerm, GSet -> GrpPerm
BlocksKernel
BlocksKernel(G, P) : GrpPerm, GSet -> GrpPerm
BlockSystemTup
BlockSystemTup(MGT) : SetCartElt -> SetCartElt
book
Documentation (OVERVIEW)
Boolean
Boolean Functions (MAGMA LANGUAGE)
Boolean Functions and Operators (SETS)
Boolean Operators for Elements (FINITELY PRESENTED ALGEBRAS)
Boolean Operators on Ideals (INTRODUCTION [RINGS AND FIELDS])
Boolean Predicates (ERROR-CORRECTING CODES)
Booleans (OVERVIEW)
Comparison of Words (FINITELY PRESENTED GROUPS)
Comparison Operators for Elements (SOLUBLE GROUPS)
Elementary Graph Predicates (GRAPHS)
Equality (TUPLES AND CARTESIAN PRODUCTS)
Equality and Comparison (ABELIAN GROUPS)
Equality and Comparison (FINITELY PRESENTED SEMIGROUPS)
Equality and Membership (FINITE FIELDS)
Equality and Membership (INTRODUCTION [RINGS AND FIELDS])
Equality and Membership (RATIONAL FIELD)
Equality and Membership (RESIDUE CLASS RINGS)
Equality and Membership (RING OF INTEGERS)
Functions on Booleans (MAGMA LANGUAGE)
General Group Properties (ABELIAN GROUPS)
General Group Properties (SOLUBLE GROUPS)
General Properties of Subgroups (ABELIAN GROUPS)
General Properties of Subgroups (SOLUBLE GROUPS)
Generic Predicates (LOCAL FIELDS)
Membership and Equality (ABELIAN GROUPS)
Membership and Equality (GENERAL MODULES)
Membership and Equality (GROUPS)
Membership and Equality (MATRIX ALGEBRAS)
Membership and Equality (MATRIX GROUPS)
Membership and Equality (PERMUTATION GROUPS)
Membership and Equality (SOLUBLE GROUPS)
Membership and Equality (VECTOR SPACES)
Predicates (MATRIX ALGEBRAS)
Predicates and Boolean Operators (ELLIPTIC CURVES)
Predicates and Boolean Operators (QUADRATIC FIELDS)
Predicates and Booleans (CHARACTERS OF FINITE GROUPS)
Predicates for Matrices (MATRIX GROUPS)
Predicates on Ideals (NUMBER FIELDS AND THEIR ORDERS)
Predicates on Ring Elements (CYCLOTOMIC FIELDS)
Predicates on Ring Elements (FINITE FIELDS)
Predicates on Ring Elements (INTRODUCTION [RINGS AND FIELDS])
Predicates on Ring Elements (MULTIVARIATE POLYNOMIAL RINGS)
Predicates on Ring Elements (POWER SERIES AND LAURENT SERIES)
Predicates on Ring Elements (RATIONAL FIELD)
Predicates on Ring Elements (RATIONAL FUNCTION FIELDS)
Predicates on Ring Elements (RESIDUE CLASS RINGS)
Predicates on Ring Elements (RING OF INTEGERS)
Predicates on Ring Elements (UNIVARIATE POLYNOMIAL RINGS)
Predicates on Sequences (SEQUENCES)
Primes and Primality Testing (RING OF INTEGERS)
Properties of a Matrix Group (MATRIX GROUPS)
Properties of a Module (GENERAL MODULES)
Properties of a Permutation Group (PERMUTATION GROUPS)
Properties of Subgroups (FINITELY PRESENTED GROUPS)
Ring Predicates (NUMBER FIELDS AND THEIR ORDERS)
Ring Predicates and Booleans (RATIONAL FIELD)
Ring Predicates and Booleans (REAL AND COMPLEX FIELDS)
Ring Predicates and Booleans (RING OF INTEGERS)
boolean
Logical values (MAGMA LANGUAGE)
Operations on Points and Blocks (INCIDENCE STRUCTURES AND DESIGNS)
Operations on Points and Lines (FINITE PLANES)
Predicates on Elements (NUMBER FIELDS AND THEIR ORDERS)
Predicates on Points (ELLIPTIC CURVES)
Ring Predicates and Booleans (CYCLOTOMIC FIELDS)
Ring Predicates and Booleans (MULTIVARIATE POLYNOMIAL RINGS)
Ring Predicates and Booleans (POWER SERIES AND LAURENT SERIES)
Ring Predicates and Booleans (UNIVARIATE POLYNOMIAL RINGS)
Boolean-generic
Generic Predicates (LOCAL FIELDS)
Booleans
Booleans() : Nil -> Bool
Lang_Booleans (Example H1E27)
Bottom
Bottom(L): ModLat -> ModLatElt
Bottom(L): SubGrpLat -> SubGrpLatElt
brace
Sets (OVERVIEW)
bracestar\starbrace
{* *} : Null -> SetMulti
bracket
Expression (OVERVIEW)
Generator Assignment (OVERVIEW)
Sequences (OVERVIEW)
Sets (OVERVIEW)
bracketstar\starbracket
[* *] : -> List
BreadthFirstSearchTree
BreadthFirstSearchTree(u) : Vert -> Grph
break
The break statement (OVERVIEW)
Lang_break (Example H1E14)
BSGS
Base and Strong Generator Functions (MATRIX GROUPS)
Base and Strong Generator Functions (PERMUTATION GROUPS)
BSGS(G) : GrpMat ->
BSGS(G) : GrpPerm ->
GrpPerm_BSGS (Example H16E21)
BSGS-base-strong-generator
Base and Strong Generator Functions (MATRIX GROUPS)
Base and Strong Generator Functions (PERMUTATION GROUPS)
bug
Magma Updates (OVERVIEW)
BuildSchreierVector
BuildSchreierVector(G, i) : GrpPerm, RngIntElt ->
BuildSubgroups
GrpFP_BuildSubgroups (Example H14E20)
builtin
Intrinsics (OVERVIEW)
by
Call by Value Evaluation (MAGMA SEMANTICS)
Sequences (OVERVIEW)
Sets (OVERVIEW)
The for statement (OVERVIEW)
bye
Control-C key (OVERVIEW)
Quitting (OVERVIEW)
[____] [____] [_____] [____] [__] [Index] [Root]