From 510c2f70ce377d60eed221e46294767f7f548f5d Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Thu, 22 Jul 2010 16:15:30 +0000
Subject: 	* 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.

---
 src/algebra/strap/POLYCAT-.lsp | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

(limited to 'src/algebra/strap/POLYCAT-.lsp')

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| $
-- 
cgit v1.2.3