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/GCDDOM-.lsp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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

diff --git a/src/algebra/strap/GCDDOM-.lsp b/src/algebra/strap/GCDDOM-.lsp
index 92b58126..ff12789d 100644
--- a/src/algebra/strap/GCDDOM-.lsp
+++ b/src/algebra/strap/GCDDOM-.lsp
@@ -76,7 +76,7 @@
                               (SPADCALL |p1| (|getShellEntry| $ 29))
                               |GCDDOM-;gcdPolynomial;3Sup;4|)
                         (EXIT (COND
-                                ((< 0 |e1|)
+                                ((PLUSP |e1|)
                                  (SETQ |p1|
                                        (LET
                                         ((#0#
@@ -95,7 +95,7 @@
                               (SPADCALL |p2| (|getShellEntry| $ 29))
                               |GCDDOM-;gcdPolynomial;3Sup;4|)
                         (EXIT (COND
-                                ((< 0 |e2|)
+                                ((PLUSP |e2|)
                                  (SETQ |p2|
                                        (LET
                                         ((#0#
-- 
cgit v1.2.3