Boolean -- the class of Boolean values

Boolean -- the class of Boolean values

The type Boolean is a member of the class Type. Each object of class Boolean is called a boolean value.

Predicate functions return these as values, and the logical connectives expect to receive them as arguments.

Special operators dealing with truth values.

not -- negation

and -- conjunction

or -- disjunction

if -- condition testing

Functions and methods returning a a boolean value :

all(BasicList,Function)

all(HashTable,Function)

ancestor(Type,Type)

any(BasicList,Function)

any(HashTable,Function)

atEndOfFile File

BasicList #? ZZ -- check for element in list

Database #? String -- check for value in database

HashTable #? Thing -- check for value in hash table

inducesWellDefinedMap -- whether a map is well defined

instance(Thing,Type)

isAffineRing -- whether something is an affine ring

isBorel -- whether an ideal is Borel fixed

isCommutative -- whether a ring is commutative

isConstant -- test whether something is constant

isField -- whether something is a field

isFreeModule -- whether something is a free module

isHomogeneous -- test for homogeneity

isHomogeneous Module

isIdeal -- whether something is an ideal

isInjective -- whether a map is injective

isInputFile File

isIsomorphism -- whether a map is an isomorphism

isListener File

isModule -- whether something is a module.

isMonomialIdeal

isNormal Ring -- determine if a reduced ring is normal

isOpenFile File

isOutputFile File

isPolynomialRing -- whether something is a polynomial ring

isPrime -- tell whether an integer is a prime

isPrime ZZ

isQuotientModule -- whether a module is evidently a quotient of a free module

isQuotientOf -- whether one thing is a quotient of another

isQuotientRing -- whether something is a quotient ring

isReady File

isRing -- whether something is a ring

isSquareFree

isSubmodule -- whether a module is evidently a submodule of a free module

isSubset -- whether something is a subset of another

isSubset(Sequence,Sequence)

isSubset(Sequence,List)

isSubset(Sequence,Set)

isSubset(List,Sequence)

isSubset(List,List)

isSubset(List,Set)

isSubset(Set,Sequence)

isSubset(Set,List)

isSubset(Set,Set) -- whether something is a subset of another

isSurjective -- whether a map is surjective

isUnit -- whether a ring element is a unit

isWellDefined -- whether a map is well defined

liftable(RingElement,Ring)

match(String,String)

member(Thing,Set)

member(Thing,VisibleList)

mutable Thing

Set #? Thing -- test set membership

String #? ZZ -- check for character in string

Thing < Thing

Thing > Thing

Methods for using a boolean value :

Fixed objects of class Boolean :

false -- Boolean value false

true -- Boolean value true