diff options
author | dos-reis <gdr@axiomatics.org> | 2011-01-03 02:45:16 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-01-03 02:45:16 +0000 |
commit | 102fe7a6693f1aa8282890b25d634079ddc86e13 (patch) | |
tree | cb96e44f1a80f89701944df07665e0ae7225c43b /src/algebra/strap | |
parent | 2b2ae9894f66dba65af62fb08b9d79b2aee2a2a8 (diff) | |
download | open-axiom-102fe7a6693f1aa8282890b25d634079ddc86e13.tar.gz |
* interp/g-util.boot: Expand new bit vector operators.
* interp/g-opt.boot (opt2bit): New.
(opt2bool): Likewise.
* interp/bits.lisp (BVEC-SIZE): Remove.
(BVEC-COPY): Likewise.
(BVEC-CONCAT): Likewise.
(BVEC-EQUAL): Likewise.
(BVEC-AND): Likewise.
(BVEC-OR): Likewise.
(BVEC-XOR): Likewise.
(BVEC-NAND): Likewise.
(BVEC-NOR): Likewise.
(BVEC-NOT): Likewise.
* algebra/boolean.spad.pamphlet (IndexedBits): Remove uses of
Lisp-level functions.
Diffstat (limited to 'src/algebra/strap')
-rw-r--r-- | src/algebra/strap/DFLOAT.lsp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/algebra/strap/DFLOAT.lsp b/src/algebra/strap/DFLOAT.lsp index d62aab80..f84457bf 100644 --- a/src/algebra/strap/DFLOAT.lsp +++ b/src/algebra/strap/DFLOAT.lsp @@ -472,7 +472,7 @@ (DEFUN |DFLOAT;pi;$;17| ($) (DECLARE (IGNORE $)) - (COERCE PI 'DOUBLE-FLOAT)) + (COERCE PI '|%DoubleFloat|)) (DEFUN |DFLOAT;coerce;$Of;18| (|x| $) (SPADCALL |x| (|getShellEntry| $ 48))) @@ -626,15 +626,15 @@ (SEQ (COND ((ZEROP |x|) (COND - ((PLUSP |y|) (/ (COERCE PI 'DOUBLE-FLOAT) 2)) - ((MINUSP |y|) (- (/ (COERCE PI 'DOUBLE-FLOAT) 2))) + ((PLUSP |y|) (/ (COERCE PI '|%DoubleFloat|) 2)) + ((MINUSP |y|) (- (/ (COERCE PI '|%DoubleFloat|) 2))) (T 0.0))) (T (SEQ (LETT |theta| (ATAN (ABS (/ |y| |x|))) |DFLOAT;atan;3$;79|) (COND ((MINUSP |x|) (SETQ |theta| - (- (COERCE PI 'DOUBLE-FLOAT) |theta|)))) + (- (COERCE PI '|%DoubleFloat|) |theta|)))) (COND ((MINUSP |y|) (SETQ |theta| (- |theta|)))) (EXIT |theta|)))))))) |