diff options
author | dos-reis <gdr@axiomatics.org> | 2010-07-22 16:15:30 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-07-22 16:15:30 +0000 |
commit | 510c2f70ce377d60eed221e46294767f7f548f5d (patch) | |
tree | db7b49602660346425298790df1ffcb9ad5f7c26 /src/algebra/strap/SINT.lsp | |
parent | c1da0d2561b27741a6feb73336b0712f5ddc7e97 (diff) | |
download | open-axiom-510c2f70ce377d60eed221e46294767f7f548f5d.tar.gz |
* interp/g-opt.boot (simplifyVMForm): New.
(optRetract): Simplify the predicate when possible.
(optNot): New transformer.
(optAnd): Likewise.
(optOr): Likewise.
(optIlt): Likewise.
(optIle): Likewise.
(optIgt): Likewise.
(optIge): Likewise.
Diffstat (limited to 'src/algebra/strap/SINT.lsp')
-rw-r--r-- | src/algebra/strap/SINT.lsp | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/src/algebra/strap/SINT.lsp b/src/algebra/strap/SINT.lsp index d37ff34e..d5afc6c2 100644 --- a/src/algebra/strap/SINT.lsp +++ b/src/algebra/strap/SINT.lsp @@ -118,12 +118,14 @@ (DECLAIM (FTYPE (FUNCTION (|%Short| |%Short| |%Shell|) |%Boolean|) |SINT;<=;2$B;28|)) -(PUT '|SINT;<=;2$B;28| '|SPADreplace| '|%ile|) +(PUT '|SINT;<=;2$B;28| '|SPADreplace| + '(XLAM (|x| |y|) (|%not| (|%ilt| |y| |x|)))) (DECLAIM (FTYPE (FUNCTION (|%Short| |%Short| |%Shell|) |%Boolean|) |SINT;>=;2$B;29|)) -(PUT '|SINT;>=;2$B;29| '|SPADreplace| '|%ige|) +(PUT '|SINT;>=;2$B;29| '|SPADreplace| + '(XLAM (|x| |y|) (|%not| (|%ilt| |x| |y|)))) (DECLAIM (FTYPE (FUNCTION (|%Short| |%Shell|) |%Short|) |SINT;inc;2$;30|)) @@ -389,9 +391,13 @@ (DECLARE (IGNORE $)) (QSGREATERP |x| |y|)) -(DEFUN |SINT;<=;2$B;28| (|x| |y| $) (DECLARE (IGNORE $)) (<= |x| |y|)) +(DEFUN |SINT;<=;2$B;28| (|x| |y| $) + (DECLARE (IGNORE $)) + (NOT (< |y| |x|))) -(DEFUN |SINT;>=;2$B;29| (|x| |y| $) (DECLARE (IGNORE $)) (>= |x| |y|)) +(DEFUN |SINT;>=;2$B;29| (|x| |y| $) + (DECLARE (IGNORE $)) + (NOT (< |x| |y|))) (DEFUN |SINT;inc;2$;30| (|x| $) (DECLARE (IGNORE $)) (QSADD1 |x|)) |