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/POLYCAT-.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/POLYCAT-.lsp')
-rw-r--r-- | src/algebra/strap/POLYCAT-.lsp | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/algebra/strap/POLYCAT-.lsp b/src/algebra/strap/POLYCAT-.lsp index 9426e0ee..ca0cad36 100644 --- a/src/algebra/strap/POLYCAT-.lsp +++ b/src/algebra/strap/POLYCAT-.lsp @@ -752,7 +752,9 @@ ((#10=#:G1612 (CDR |nd|))) (|check-subtype| - (>= #10# 0) + (NOT + (MINUSP + #10#)) '(|NonNegativeInteger|) #10#)))))) #9#))))) @@ -936,7 +938,7 @@ |POLYCAT-;charthRootlv|) (LOOP (COND - ((NOT (< 0 |d|)) (RETURN NIL)) + ((NOT (PLUSP |d|)) (RETURN NIL)) (T (SEQ (LETT |dd| (SPADCALL |d| |ch| (|getShellEntry| $ 173)) @@ -981,7 +983,7 @@ ((#0=#:G1640 (CDR |dd|))) (|check-subtype| - (>= #0# 0) + (NOT (MINUSP #0#)) '(|NonNegativeInteger|) #0#)) (|getShellEntry| $ |