From 5768bef1b2b7cd3fd38733a26a33ec2f0d8e6c01 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Wed, 5 May 2010 01:23:36 +0000
Subject: 	* interp/c-util.boot (backendCompileSPADSLAM): Generate more 
 readable Lisp code.

---
 src/algebra/strap/GCDDOM.lsp | 40 ++++++++++++++++++----------------------
 1 file changed, 18 insertions(+), 22 deletions(-)

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

diff --git a/src/algebra/strap/GCDDOM.lsp b/src/algebra/strap/GCDDOM.lsp
index f3866954..cf17f4a6 100644
--- a/src/algebra/strap/GCDDOM.lsp
+++ b/src/algebra/strap/GCDDOM.lsp
@@ -4,29 +4,25 @@
 (DEFPARAMETER |GcdDomain;AL| 'NIL) 
 
 (DEFUN |GcdDomain;| ()
-  (PROG (#0=#:G1402)
-    (RETURN
-      (PROG1 (LETT #0#
-                   (|Join| (|IntegralDomain|)
-                           (|mkCategory| '|domain|
-                               '(((|gcd| ($ $ $)) T)
-                                 ((|gcd| ($ (|List| $))) T)
-                                 ((|lcm| ($ $ $)) T)
-                                 ((|lcm| ($ (|List| $))) T)
-                                 ((|gcdPolynomial|
-                                      ((|SparseUnivariatePolynomial| $)
-                                       (|SparseUnivariatePolynomial| $)
-                                       (|SparseUnivariatePolynomial| $)))
-                                  T))
-                               NIL
-                               '((|SparseUnivariatePolynomial| $)
-                                 (|List| $))
-                               NIL))
-                   |GcdDomain|)
-        (|setShellEntry| #0# 0 '(|GcdDomain|)))))) 
+  (LET ((#0=#:G1402
+            (|Join| (|IntegralDomain|)
+                    (|mkCategory| '|domain|
+                        '(((|gcd| ($ $ $)) T)
+                          ((|gcd| ($ (|List| $))) T)
+                          ((|lcm| ($ $ $)) T)
+                          ((|lcm| ($ (|List| $))) T)
+                          ((|gcdPolynomial|
+                               ((|SparseUnivariatePolynomial| $)
+                                (|SparseUnivariatePolynomial| $)
+                                (|SparseUnivariatePolynomial| $)))
+                           T))
+                        NIL
+                        '((|SparseUnivariatePolynomial| $) (|List| $))
+                        NIL))))
+    (|setShellEntry| #0# 0 '(|GcdDomain|))
+    #0#)) 
 
 (DEFUN |GcdDomain| ()
-  (LET ()
-    (COND (|GcdDomain;AL|) (T (SETQ |GcdDomain;AL| (|GcdDomain;|)))))) 
+  (COND (|GcdDomain;AL|) (T (SETQ |GcdDomain;AL| (|GcdDomain;|))))) 
 
 (MAKEPROP '|GcdDomain| 'NILADIC T) 
-- 
cgit v1.2.3