diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-10-01 20:37:15 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-10-01 20:37:15 +0000 |
| commit | 640c78ea50adf4d902e66c7788ba384111b338d4 (patch) | |
| tree | 2ed286c007918c03ff2d675f10933d8af38c2b81 /src/algebra/boolean.spad.pamphlet | |
| parent | ea832606b8ad21eb020bc71dbc98427a8068ca3e (diff) | |
| download | open-axiom-640c78ea50adf4d902e66c7788ba384111b338d4.tar.gz | |
* algebra/mkfunc.spad.pamphlet (InputForm): Remove local mkProperOp.
(compile$InputForm): Tidy.
* algebra/boolean.spad.pamphlet (setelt$IndexedBits): A bit is
not a Boolean.
* interp/i-intern.boot (mkAtreeForToken): New.
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 cee0e13d..07e5df47 100644 --- a/src/algebra/boolean.spad.pamphlet +++ b/src/algebra/boolean.spad.pamphlet @@ -471,7 +471,8 @@ IndexedBits(mn:Integer): BitAggregate() with _or(u, v) == (#v=#u => BVEC_-OR(v, u)$Lisp; map("or", v,u)) xor(v,u) == (#v=#u => BVEC_-XOR(v,u)$Lisp; map("xor",v,u)) setelt(v:%, i:Integer, f:Boolean) == - BVEC_-SETELT(v, range(v, i-mn), TRUTH_-TO_-BIT(f)$Lisp)$Lisp + BIT_-TO_-TRUTH(BVEC_-SETELT(v, range(v, i-mn), + TRUTH_-TO_-BIT(f)$Lisp)$Lisp)$Lisp elt(v:%, i:Integer) == BIT_-TO_-TRUTH(BVEC_-ELT(v, range(v, i-mn))$Lisp)$Lisp |