From f2d31d8bc90b46e0c3373d2980cfa6f730148d1e Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Thu, 24 Feb 2011 04:40:09 +0000
Subject: 	* interp/c-util.boot (isSimple): Accept constructor
 instantiations. 	* algebra/formula.spad.pamphlet: Avoid Lispisms. 
 * algebra/mathml.spad.pamphlet: Likewise. 	* algebra/op.spad.pamphlet:
 Likewise. 	* algebra/sex.spad.pamphlet: Likewise.

---
 src/algebra/strap/EUCDOM-.lsp | 25 ++++++++++++-------------
 1 file changed, 12 insertions(+), 13 deletions(-)

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

diff --git a/src/algebra/strap/EUCDOM-.lsp b/src/algebra/strap/EUCDOM-.lsp
index 2e47e3d4..28c0a095 100644
--- a/src/algebra/strap/EUCDOM-.lsp
+++ b/src/algebra/strap/EUCDOM-.lsp
@@ -134,23 +134,22 @@
                                      (|EUCDOM-;unitNormalizeIdealElt|
                                       |s3| $)))))))
                   (COND
-                    ((NOT (SPADCALL (SVREF |s1| 0)
-                              (|getShellEntry| $ 8)))
-                     (COND
-                       ((NOT (SPADCALL (SVREF |s1| 0) |y|
-                                 (|getShellEntry| $ 32)))
-                        (SEQ (SETQ |qr|
-                                   (SPADCALL (SVREF |s1| 0) |y|
+                    ((AND (NOT (SPADCALL (SVREF |s1| 0)
+                                   (|getShellEntry| $ 8)))
+                          (NOT (SPADCALL (SVREF |s1| 0) |y|
+                                   (|getShellEntry| $ 32))))
+                     (SEQ (SETQ |qr|
+                                (SPADCALL (SVREF |s1| 0) |y|
                                     (|getShellEntry| $ 16)))
-                             (SETF (SVREF |s1| 0) (CDR |qr|))
-                             (SETF (SVREF |s1| 1)
-                                   (SPADCALL (SVREF |s1| 1)
+                          (SETF (SVREF |s1| 0) (CDR |qr|))
+                          (SETF (SVREF |s1| 1)
+                                (SPADCALL (SVREF |s1| 1)
                                     (SPADCALL (CAR |qr|) |x|
                                      (|getShellEntry| $ 29))
                                     (|getShellEntry| $ 33)))
-                             (EXIT (SETQ |s1|
-                                    (|EUCDOM-;unitNormalizeIdealElt|
-                                     |s1| $))))))))
+                          (EXIT (SETQ |s1|
+                                      (|EUCDOM-;unitNormalizeIdealElt|
+                                       |s1| $))))))
                   (EXIT |s1|)))))))) 
 
 (DEFUN |EUCDOM-;extendedEuclidean;3SU;8| (|x| |y| |z| $)
-- 
cgit v1.2.3