BitsΒΆ

boolean.spad line 172

Bits provides logical functions for Indexed Bits.

/\: (%, %) -> %
from MeetSemilattice
<: (%, %) -> Boolean
from PartialOrder
<=: (%, %) -> Boolean
from PartialOrder
=: (%, %) -> Boolean
from BasicType
>: (%, %) -> Boolean
from PartialOrder
>=: (%, %) -> Boolean
from PartialOrder
\/: (%, %) -> %
from JoinSemilattice
_|_: %
from BoundedJoinSemilattice
~: % -> %
from Logic
~=: (%, %) -> Boolean
from BasicType
and: (%, %) -> %
from BitAggregate
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
delete: (%, Integer) -> %
from LinearAggregate Boolean
delete: (%, UniversalSegment Integer) -> %
from LinearAggregate Boolean
elt: (%, Integer) -> Boolean
from Eltable(Integer, Boolean)
elt: (%, Integer, Boolean) -> Boolean
from EltableAggregate(Integer, Boolean)
elt: (%, UniversalSegment Integer) -> %
from Eltable(UniversalSegment Integer, %)
empty: () -> %
from Aggregate
empty?: % -> Boolean
from Aggregate
entries: % -> List 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
find: (Boolean -> Boolean, %) -> Union(Boolean, failed)
from Collection Boolean
first: % -> Boolean
from IndexedAggregate(Integer, Boolean)
hash: % -> SingleInteger
from SetCategory
hashUpdate!: (HashState, %) -> HashState
from SetCategory
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
less?: (%, NonNegativeInteger) -> Boolean
from Aggregate
map: ((Boolean, Boolean) -> Boolean, %, %) -> %
from LinearAggregate Boolean
map: (Boolean -> Boolean, %) -> %
from HomogeneousAggregate Boolean
max: (%, %) -> %
from OrderedSet
maxIndex: % -> Integer
from IndexedAggregate(Integer, Boolean)
min: (%, %) -> %
from OrderedSet
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
qelt: (%, Integer) -> Boolean
from EltableAggregate(Integer, Boolean)
sample: %
from Aggregate
size?: (%, NonNegativeInteger) -> Boolean
from Aggregate
smaller?: (%, %) -> Boolean
from Comparable
T: %
from BoundedMeetSemilattice
xor: (%, %) -> %
from BitAggregate

Aggregate

BasicType

BitAggregate

BoundedDistributiveLattice

BoundedJoinSemilattice

BoundedLattice

BoundedMeetSemilattice

CoercibleTo OutputForm

Collection Boolean

Comparable

ConvertibleTo InputForm

DistributiveLattice

Eltable(Integer, Boolean)

Eltable(UniversalSegment Integer, %)

EltableAggregate(Integer, Boolean)

Evalable Boolean if Boolean has Evalable Boolean

finiteAggregate

FiniteLinearAggregate Boolean

HomogeneousAggregate Boolean

IndexedAggregate(Integer, Boolean)

InnerEvalable(Boolean, Boolean) if Boolean has Evalable Boolean

JoinSemilattice

Lattice

LinearAggregate Boolean

Logic

MeetSemilattice

OneDimensionalArrayAggregate Boolean

OrderedSet

PartialOrder

SetCategory

shallowlyMutable