[____] [____] [_____] [____] [__] [Index] [Root]
Subindex: Bogomolov .. boolean
BogomolovNumber(X) : GRFano -> FldRatElt
IsBogomolovUnstable(X) : GRFano -> BoolElt
BogomolovNumber(X) : GRFano -> FldRatElt
HasElementaryBasis(A): AlgSym -> BoolElt
HasPowerSumBasis(A): AlgSym -> BoolElt
HasMonomialBasis(A): AlgSym -> BoolElt
Predicates on Basis Types (SYMMETRIC FUNCTIONS)
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 (FINITELY PRESENTED 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)
Field Predicates (ORDERS AND ALGEBRAIC 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)
Membership and Equality (PERMUTATION GROUPS)
Membership and Equality (VECTOR SPACES)
Order Predicates (ORDERS AND ALGEBRAIC FIELDS)
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 (ORDERS AND ALGEBRAIC FIELDS)
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)
Properties of Subgroups (FINITELY PRESENTED GROUPS)
Ring Predicates (NUMBER FIELDS)
Ring Predicates (ORDERS AND ALGEBRAIC 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 H73E5)
GrpBrd_Boolean (Example H73E6)
Boolean Operations (BINARY QUADRATIC FORMS)
Boolean Operators (SYMMETRIC FUNCTIONS)
Boolean Predicates for Elements (BRAID GROUPS)
Boolean values (STATEMENTS AND EXPRESSIONS)
Comparison Operators for Elements (POLYCYCLIC GROUPS)
Elementary Properties of Incidence Structures and Designs (INCIDENCE STRUCTURES AND DESIGNS)
General Group Properties (POLYCYCLIC GROUPS)
General Properties of Subgroups (POLYCYCLIC GROUPS)
Gröbner Bases of Boolean Polynomial Rings (GRÖBNER BASES)
Membership and Equality (POLYCYCLIC GROUPS)
Predicates on Elements (ALGEBRAIC FUNCTION FIELDS)
Predicates on Elements (ALGEBRAIC FUNCTION FIELDS)
Predicates on Elements (ALGEBRAIC FUNCTION FIELDS)
Predicates on Elements (NUMBER FIELDS)
Predicates on Elements (ORDERS AND ALGEBRAIC FIELDS)
Predicates on Ideals (ALGEBRAIC FUNCTION FIELDS)
Properties of Planes (FINITE PLANES)
Properties of Subgroups Requiring a Nil-po-tent Covering Group (POLYCYCLIC GROUPS)
Ring Predicates and Booleans (MULTIVARIATE POLYNOMIAL RINGS)
Ring Predicates and Booleans (POWER, LAURENT AND PUISEUX SERIES)
Ring Predicates and Booleans (SYMMETRIC FUNCTIONS)
Ring Predicates and Booleans (UNIVARIATE POLYNOMIAL RINGS)
[____] [____] [_____] [____] [__] [Index] [Root]
Version: V2.19 of
Mon Dec 17 14:40:36 EST 2012