diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-02-04 23:34:39 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-02-04 23:34:39 +0000 |
| commit | dd16b47e4904b1839b2918cf5b38c352979a6141 (patch) | |
| tree | 11760b4462d02b64729ed30b0d0bb2150d4c59f3 /src/algebra/boolean.spad.pamphlet | |
| parent | 03ab6db167d40e2448dee7de702dc77a62e57617 (diff) | |
| download | open-axiom-dd16b47e4904b1839b2918cf5b38c352979a6141.tar.gz | |
* interp/g-opt.boot ($VMsideEffectFreeOperators): Remove more Lisp
level operators. Include %property and %bitveclt.
* interp/lisp-backend.boot: Expand them.
* algebra/si.spad.pamphlet (SingleInteger): Tidy. Use %ismall?.
* algebra/domain.spad.pamphlet (DomainConstructo): Use %property.
* algebra/outform.spad.pamphlet (OutputForm): Likewise.
* algebra/boolean.spad.pamphlet (IndexedBits): Use %bitveclt.
Diffstat (limited to 'src/algebra/boolean.spad.pamphlet')
| -rw-r--r-- | src/algebra/boolean.spad.pamphlet | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/algebra/boolean.spad.pamphlet b/src/algebra/boolean.spad.pamphlet index 9a14a146..0b338604 100644 --- a/src/algebra/boolean.spad.pamphlet +++ b/src/algebra/boolean.spad.pamphlet @@ -553,6 +553,7 @@ IndexedBits(mn:Integer): BitAggregate() with import %bitvecref: (%,Integer) -> NonNegativeInteger from Foreign Builtin import %bitveceq: (%,%) -> Boolean from Foreign Builtin + import %bitveclt: (%,%) -> Boolean from Foreign Builtin import %bitvecnot: % -> % from Foreign Builtin import %bitvecand: (%,%) -> % from Foreign Builtin import %bitvecor: (%,%) -> % from Foreign Builtin @@ -580,7 +581,7 @@ IndexedBits(mn:Integer): BitAggregate() with copy v == %bitveccopy v #v == %bitveclength v v = u == %bitveceq(v,u) - v < u == BVEC_-GREATER(u, v)$Lisp + v < u == %bitveclt(v,u) u and v == (#v=#u => %bitvecand(v,u); map("and",v,u)) u or v == (#v=#u => %bitvecor(v,u); map("or", v,u)) xor(v,u) == (#v=#u => %bitvecxor(v,u); map("xor",v,u)) |