Documentation

block
- Creating Points and Blocks (INCIDENCE STRUCTURES AND DESIGNS)
- Operations on Points and Blocks (INCIDENCE STRUCTURES AND DESIGNS)
- The Point-Set and Block-Set of an Incidence Structure (INCIDENCE STRUCTURES AND DESIGNS)
BlockDegree
- BlockSize(D) : Dsgn -> RngIntElt
- BlockDegree(D) : Dsgn -> RngIntElt
- BlockDegree(D, B) : Inc, IncBlk -> RngIntElt
BlockDegrees
- BlockSizes(D) : Inc -> [ RngIntElt ]
- BlockDegrees(D) : Inc -> [ RngIntElt ]
BlockGraph
- BlockGraph(D) : Inc -> Grph
- BlockGraph(D) : Inc -> GrphUnd
BlockGroup
- BlockGroup(D) : Inc -> GrpPerm
BlockMatrix
- BlockMatrix(m, n, blocks) : RngIntElt, RngIntElt, [ Mtrx ] -> Mtrx
- BlockMatrix(m, n, rows) : RngIntElt, RngIntElt, [ [ Mtrx ] ] -> Mtrx
Blocks
- Blocks(G) : GrpMat -> SeqEnum
- Blocks(D) : Inc -> { IncBlk }
- Blocks(T, p) : SeqEnum[AlgChtrElt], RngIntElt -> SeqEnum, SeqEnum
- BlocksAction(G, P) : GrpPerm, Any -> Hom(GrpPerm), GrpPerm, GrpPerm
- BlocksImage(G) : GrpMat -> GrpPerm
- BlocksImage(G, P) : GrpPerm, Any -> GrpPerm
- BlocksKernel(G, P) : GrpPerm, Any -> GrpPerm
- MinimalBlocks(G: parameters) : GrpPerm -> [ SetEnum ]
- NumberOfBlocks(D) : Inc -> RngIntElt
blocks
- Building Blocks (MODULAR ABELIAN VARIETIES)
BlocksAction
- BlocksAction(G, P) : GrpPerm, Any -> Hom(GrpPerm), GrpPerm, GrpPerm
BlocksActions
- GrpPerm_BlocksActions (Example H64E28)
BlocksActions-2
- GrpPerm_BlocksActions-2 (Example H64E29)
BlockSet
- BlockSet(D) : Inc -> IncBlkSet
BlocksImage
- BlocksImage(G) : GrpMat -> GrpPerm
- BlocksImage(G, P) : GrpPerm, Any -> GrpPerm
BlockSize
- BlockSize(D) : Dsgn -> RngIntElt
- BlockDegree(D) : Dsgn -> RngIntElt
- BlockDegree(D, B) : Inc, IncBlk -> RngIntElt
BlockSizes
- BlockSizes(D) : Inc -> [ RngIntElt ]
- BlockDegrees(D) : Inc -> [ RngIntElt ]
BlocksKernel
- BlocksKernel(G, P) : GrpPerm, Any -> GrpPerm
Blow
- BlowUpDivisor(S, dsd, i) : Srfc, DesingData, RngIntElt -> Crv, Sch, MapSch
- BlowUpDivisorAllPatches(dsd, i) : DesingData, RngIntElt -> List, RngIntElt
- DesingulariseSurfaceByBlowUp(S) : Srfc -> List
- LocalBlowUp(X,Y) : Sch, Sch -> SeqEnum
- NumberOfBlowUpDivisors(dsd) : DesingData -> RngIntElt
- ResolveSingByBlowUp(X,Y) : Sch, Sch -> DesingData
blow
- Accessor Functions (ALGEBRAIC SURFACES)
- Canonical Divisor Functionality (ALGEBRAIC SURFACES)
- Desingularisation by Blow Up (ALGEBRAIC SURFACES)
- Dual Resolution Graphs (ALGEBRAIC SURFACES)
- Multiplicities, Intersections and Restricted Linear Systems (ALGEBRAIC SURFACES)
- Resolution of Singularities (ALGEBRAIC CURVES)
blow-up-desing-basic
- Accessor Functions (ALGEBRAIC SURFACES)
blow-up-desing-dual_grph
- Dual Resolution Graphs (ALGEBRAIC SURFACES)
blow-up-desing-non-P3
- Multiplicities, Intersections and Restricted Linear Systems (ALGEBRAIC SURFACES)
blow-up-desing-P3
- Canonical Divisor Functionality (ALGEBRAIC SURFACES)
blow-ups
- Resolution of Singularities (ALGEBRAIC CURVES)
Blowup
- Blowup(C) : CrvPln -> CrvPln, CrvPln
- Blowup(C, M) : CrvPln,Mtrx -> CrvPln, RngIntElt, RngIntElt
- Blowup(X,Y) : Sch, Sch -> Sch, MapSch
- Blowup(F,v): TorFan,TorLatElt -> TorFan
- Blowup(X,v) : TorVar,TorLatElt -> TorVar,TorMap
BlowUpDivisor
- BlowUpDivisor(S, dsd, i) : Srfc, DesingData, RngIntElt -> Crv, Sch, MapSch
BlowUpDivisorAllPatches
- BlowUpDivisorAllPatches(dsd, i) : DesingData, RngIntElt -> List, RngIntElt
Blum
- BlumBlumShubModulus(b) : RngIntElt -> RngIntElt
- BBSModulus(b) : RngIntElt -> RngIntElt
- RandomSequenceBlumBlumShub(b, t) : RngIntElt, RngIntElt -> SeqEnum
- RandomSequenceBlumBlumShub(n, s, t) : RngIntElt, RngIntElt, RngIntElt -> SeqEnum
BlumBlumShub
- BlumBlumShub(b, t) : RngIntElt, RngIntElt -> SeqEnum
- RandomSequenceBlumBlumShub(b, t) : RngIntElt, RngIntElt -> SeqEnum
- RandomSequenceBlumBlumShub(n, s, t) : RngIntElt, RngIntElt, RngIntElt -> SeqEnum
BlumBlumShubModulus
- BlumBlumShubModulus(b) : RngIntElt -> RngIntElt
- BBSModulus(b) : RngIntElt -> RngIntElt
Bogomolov
- BogomolovNumber(X) : GRFano -> FldRatElt
- IsBogomolovUnstable(X) : GRFano -> BoolElt
BogomolovNumber
- BogomolovNumber(X) : GRFano -> FldRatElt
bool
- HasElementaryBasis(A): AlgSym -> BoolElt
- HasPowerSumBasis(A): AlgSym -> BoolElt
- HasMonomialBasis(A): AlgSym -> BoolElt
- Predicates on Basis Types (SYMMETRIC FUNCTIONS)
Boolean
- Boolean Functions (INPUT AND OUTPUT)
- Boolean Functions and Operators (SETS)
- Boolean Operators on Ideals (INTRODUCTION TO RINGS [BASIC RINGS])
- Boolean Predicates (LINEAR CODES OVER FINITE RINGS)
- Comparison of Words (FREE GROUPS)
- Elementary Graph Predicates (GRAPHS)
- Equality (TUPLES AND CARTESIAN PRODUCTS)
- Equality and Comparison (ABELIAN GROUPS)
- Equality and Comparison (BLACK-BOX GROUPS)
- Equality and Comparison (FINITELY PRESENTED SEMIGROUPS)
- Equality and Comparison (GROUPS OF STRAIGHT-LINE PROGRAMS)
- Equality and Membership (ALGEBRAICALLY CLOSED FIELDS)
- Equality and Membership (FINITE FIELDS)
- Equality and Membership (GALOIS RINGS)
- Equality and Membership (INTEGER RESIDUE CLASS RINGS)
- Equality and Membership (INTRODUCTION TO RINGS [BASIC RINGS])
- Equality and Membership (NEARFIELDS)
- Equality and Membership (RATIONAL FIELD)
- Equality and Membership (RING OF INTEGERS)
- Field Predicates (NUMBER FIELDS AND ORDERS)
- Field Predicates (NUMBER FIELDS)
- General Group Properties (ABELIAN GROUPS)
- Membership and Equality (ABELIAN GROUPS)
- Membership and Equality (ADDITIVE CODES)
- Membership and Equality (BLACK-BOX GROUPS)
- Membership and Equality (FREE MODULES)
- Membership and Equality (GROUPS OF STRAIGHT-LINE PROGRAMS)
- Membership and Equality (GROUPS)
- Membership and Equality (LINEAR CODES OVER FINITE FIELDS)
- Membership and Equality (MATRIX ALGEBRAS)
- Membership and Equality (MATRIX GROUPS OVER GENERAL RINGS)
- Membership and Equality (MODULES OVER AN ALGEBRA AND GROUP REPRESENTATIONS)
- Membership and Equality (PERMUTATION GROUPS)
- Membership and Equality (VECTOR SPACES)
- Order Predicates (NUMBER FIELDS AND ORDERS)
- Predicates (MATRIX ALGEBRAS)
- Predicates and Booleans (CHARACTERS OF FINITE GROUPS)
- Predicates for Matrices (MATRIX GROUPS OVER GENERAL RINGS)
- Predicates on Algebra Elements (FINITELY PRESENTED ALGEBRAS)
- Predicates on Ideals (NUMBER FIELDS AND ORDERS)
- Predicates on Nearfield Elements (NEARFIELDS)
- Predicates on Ring Elements (ALGEBRAICALLY CLOSED FIELDS)
- Predicates on Ring Elements (FINITE FIELDS)
- Predicates on Ring Elements (GALOIS RINGS)
- Predicates on Ring Elements (INTEGER RESIDUE CLASS RINGS)
- Predicates on Ring Elements (INTRODUCTION TO RINGS [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 (UNIVARIATE POLYNOMIAL RINGS)
- Predicates on Sequences (SEQUENCES)
- Properties of a Rewrite Monoid (MONOIDS GIVEN BY REWRITE SYSTEMS)
- Properties of Codes (ADDITIVE CODES)
- Properties of Codes (LINEAR CODES OVER FINITE FIELDS)
- Properties of Subgroups (ABELIAN GROUPS)
- Ring Predicates (NUMBER FIELDS AND ORDERS)
- Ring Predicates (NUMBER FIELDS)
- Ring Predicates and Booleans (RATIONAL FIELD)
- Ring Predicates and Booleans (REAL AND COMPLEX FIELDS)
- Ring Predicates and Booleans (RING OF INTEGERS)
- BooleanPolynomialRing(n) : RngIntElt -> RngMPolBool
- BooleanPolynomialRing(n, order) : RngIntElt, MonStgElt -> RngMPolBool
- BooleanPolynomialRing(B, Q) : RngMPolBool, [RngIntElt] -> RngMPolBoolElt
- GrpBrd_Boolean (Example H80E5)
- GrpBrd_Boolean (Example H80E6)

V2.28, 13 July 2023