Boolean -- the class of Boolean values

Boolean -- the class of Boolean values

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

while -- loop control

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

Making a boolean value :

BasicList #? ZZ -- check for element in list

Database #? String -- check for value in database

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

Set #? Thing -- test set membership

String #? ZZ -- check for character in string

Thing != Thing

Thing < Thing

Thing <= Thing

Thing =!= Thing

Thing === Thing

Thing > Thing

Thing >= Thing

ancestor(Type,Type)

any(BasicList,Function)

any(HashTable,Function)

atEndOfFile File

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

isField -- whether something is a field

isFreeModule -- whether something 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.

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

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

isSubset -- whether something is a subset of another

isSubset((...),(...))

isSubset((...),Set)

isSubset((...),{...})

isSubset(Set,(...))

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

isSubset(Set,{...})

isSubset({...},(...))

isSubset({...},Set)

isSubset({...},{...})

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

Methods for using a boolean value :

expression Boolean

html Boolean

mathML Boolean

net Boolean

tex Boolean

texMath Boolean

text Boolean

Fixed objects of class Boolean :

false -- Boolean value false

true -- Boolean value true