Bits

boolean.spad line 168 [edit on github]

Bits provides logical functions for Indexed Bits.

# : % -> NonNegativeInteger

from Aggregate

/\ : (%, %) -> %

from MeetSemilattice

< : (%, %) -> Boolean

from PartialOrder

<= : (%, %) -> Boolean

from PartialOrder

= : (%, %) -> Boolean

from BasicType

> : (%, %) -> Boolean

from PartialOrder

>= : (%, %) -> Boolean

from PartialOrder

T : () -> %

from BoundedMeetSemilattice

\/ : (%, %) -> %

from JoinSemilattice

_|_ : () -> %

from BoundedJoinSemilattice

and : (%, %) -> %

from BitAggregate

any? : (Mapping(Boolean, Boolean), %) -> Boolean

from HomogeneousAggregate(Boolean)

bits : (NonNegativeInteger, Boolean) -> %

bits(n, b) creates bits with n values of b

coerce : % -> OutputForm

from CoercibleTo(OutputForm)

concat : (%, %) -> %

from LinearAggregate(Boolean)

concat : (%, Boolean) -> %

from LinearAggregate(Boolean)

concat : (Boolean, %) -> %

from LinearAggregate(Boolean)

concat : List(%) -> %

from LinearAggregate(Boolean)

construct : List(Boolean) -> %

from Collection(Boolean)

convert : % -> InputForm

from ConvertibleTo(InputForm)

copy : % -> %

from Aggregate

copyInto! : (%, %, Integer) -> %

from LinearAggregate(Boolean)

count : (Boolean, %) -> NonNegativeInteger

from HomogeneousAggregate(Boolean)

count : (Mapping(Boolean, Boolean), %) -> NonNegativeInteger

from HomogeneousAggregate(Boolean)

delete : (%, Integer) -> %

from LinearAggregate(Boolean)

delete : (%, UniversalSegment(Integer)) -> %

from LinearAggregate(Boolean)

elt : (%, UniversalSegment(Integer)) -> %

from Eltable(UniversalSegment(Integer), %)

elt : (%, Integer) -> Boolean

from Eltable(Integer, Boolean)

elt : (%, Integer, Boolean) -> Boolean

from EltableAggregate(Integer, Boolean)

empty : () -> %

from Aggregate

empty? : % -> Boolean

from Aggregate

entries : % -> List(Boolean)

from IndexedAggregate(Integer, Boolean)

entry? : (Boolean, %) -> Boolean

from IndexedAggregate(Integer, Boolean)

eq? : (%, %) -> Boolean

from Aggregate

eval : (%, Boolean, Boolean) -> % if Boolean has Evalable(Boolean)

from InnerEvalable(Boolean, Boolean)

eval : (%, Equation(Boolean)) -> % if Boolean has Evalable(Boolean)

from Evalable(Boolean)

eval : (%, List(Boolean), List(Boolean)) -> % if Boolean has Evalable(Boolean)

from InnerEvalable(Boolean, Boolean)

eval : (%, List(Equation(Boolean))) -> % if Boolean has Evalable(Boolean)

from Evalable(Boolean)

every? : (Mapping(Boolean, Boolean), %) -> Boolean

from HomogeneousAggregate(Boolean)

false : () -> %

from Logic

fill! : (%, Boolean) -> %

from IndexedAggregate(Integer, Boolean)

find : (Mapping(Boolean, Boolean), %) -> Union(Boolean, "failed")

from Collection(Boolean)

first : (%, NonNegativeInteger) -> %

from LinearAggregate(Boolean)

first : % -> Boolean

from IndexedAggregate(Integer, Boolean)

hash : % -> SingleInteger

from Hashable

hashUpdate! : (HashState, %) -> HashState

from Hashable

index? : (Integer, %) -> Boolean

from IndexedAggregate(Integer, Boolean)

indices : % -> List(Integer)

from IndexedAggregate(Integer, Boolean)

insert : (%, %, Integer) -> %

from LinearAggregate(Boolean)

insert : (Boolean, %, Integer) -> %

from LinearAggregate(Boolean)

latex : % -> String

from SetCategory

leftTrim : (%, Boolean) -> %

from LinearAggregate(Boolean)

less? : (%, NonNegativeInteger) -> Boolean

from Aggregate

map : (Mapping(Boolean, Boolean), %) -> %

from HomogeneousAggregate(Boolean)

map : (Mapping(Boolean, Boolean, Boolean), %, %) -> %

from LinearAggregate(Boolean)

map! : (Mapping(Boolean, Boolean), %) -> %

from HomogeneousAggregate(Boolean)

max : (%, %) -> %

from OrderedSet

max : % -> Boolean

from HomogeneousAggregate(Boolean)

max : (Mapping(Boolean, Boolean, Boolean), %) -> Boolean

from HomogeneousAggregate(Boolean)

maxIndex : % -> Integer

from IndexedAggregate(Integer, Boolean)

member? : (Boolean, %) -> Boolean

from HomogeneousAggregate(Boolean)

members : % -> List(Boolean)

from HomogeneousAggregate(Boolean)

merge : (%, %) -> %

from LinearAggregate(Boolean)

merge : (Mapping(Boolean, Boolean, Boolean), %, %) -> %

from LinearAggregate(Boolean)

min : (%, %) -> %

from OrderedSet

min : % -> Boolean

from HomogeneousAggregate(Boolean)

minIndex : % -> Integer

from IndexedAggregate(Integer, Boolean)

more? : (%, NonNegativeInteger) -> Boolean

from Aggregate

nand : (%, %) -> %

from BitAggregate

new : (NonNegativeInteger, Boolean) -> %

from LinearAggregate(Boolean)

nor : (%, %) -> %

from BitAggregate

not : % -> %

from BitAggregate

or : (%, %) -> %

from BitAggregate

parts : % -> List(Boolean)

from HomogeneousAggregate(Boolean)

position : (Boolean, %) -> Integer

from LinearAggregate(Boolean)

position : (Boolean, %, Integer) -> Integer

from LinearAggregate(Boolean)

position : (Mapping(Boolean, Boolean), %) -> Integer

from LinearAggregate(Boolean)

qelt : (%, Integer) -> Boolean

from EltableAggregate(Integer, Boolean)

qsetelt! : (%, Integer, Boolean) -> Boolean

from EltableAggregate(Integer, Boolean)

reduce : (Mapping(Boolean, Boolean, Boolean), %) -> Boolean

from Collection(Boolean)

reduce : (Mapping(Boolean, Boolean, Boolean), %, Boolean) -> Boolean

from Collection(Boolean)

reduce : (Mapping(Boolean, Boolean, Boolean), %, Boolean, Boolean) -> Boolean

from Collection(Boolean)

remove : (Boolean, %) -> %

from Collection(Boolean)

remove : (Mapping(Boolean, Boolean), %) -> %

from Collection(Boolean)

removeDuplicates : % -> %

from Collection(Boolean)

reverse : % -> %

from LinearAggregate(Boolean)

reverse! : % -> %

from LinearAggregate(Boolean)

rightTrim : (%, Boolean) -> %

from LinearAggregate(Boolean)

sample : () -> %

from Aggregate

select : (Mapping(Boolean, Boolean), %) -> %

from Collection(Boolean)

setelt! : (%, Integer, Boolean) -> Boolean

from EltableAggregate(Integer, Boolean)

setelt! : (%, UniversalSegment(Integer), Boolean) -> Boolean

from LinearAggregate(Boolean)

size? : (%, NonNegativeInteger) -> Boolean

from Aggregate

smaller? : (%, %) -> Boolean

from Comparable

sort : % -> %

from LinearAggregate(Boolean)

sort : (Mapping(Boolean, Boolean, Boolean), %) -> %

from LinearAggregate(Boolean)

sort! : % -> %

from LinearAggregate(Boolean)

sort! : (Mapping(Boolean, Boolean, Boolean), %) -> %

from LinearAggregate(Boolean)

sorted? : % -> Boolean

from LinearAggregate(Boolean)

sorted? : (Mapping(Boolean, Boolean, Boolean), %) -> Boolean

from LinearAggregate(Boolean)

swap! : (%, Integer, Integer) -> Void

from IndexedAggregate(Integer, Boolean)

trim : (%, Boolean) -> %

from LinearAggregate(Boolean)

true : () -> %

from Logic

xor : (%, %) -> %

from BitAggregate

~ : % -> %

from Logic

~= : (%, %) -> Boolean

from BasicType

Comparable

ConvertibleTo(InputForm)

shallowlyMutable

Aggregate

MeetSemilattice

Eltable(Integer, Boolean)

FiniteLinearAggregate(Boolean)

HomogeneousAggregate(Boolean)

Collection(Boolean)

OrderedSet

DistributiveLattice

SetCategory

IndexedAggregate(Integer, Boolean)

InnerEvalable(Boolean, Boolean)

OneDimensionalArrayAggregate(Boolean)

BoundedMeetSemilattice

Evalable(Boolean)

Lattice

BoundedDistributiveLattice

Logic

PartialOrder

CoercibleTo(OutputForm)

BoundedJoinSemilattice

LinearAggregate(Boolean)

BitAggregate

BoundedLattice

Eltable(UniversalSegment(Integer), %)

EltableAggregate(Integer, Boolean)

Hashable

BasicType

finiteAggregate

JoinSemilattice