From 5e504b6abaef6cf7e7c58c17e26bec33856b60c0 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sun, 17 Aug 2008 08:59:26 +0000
Subject: 	* algebra/Makefile.pamphlet (all-algstrap): New. 	*
 algebra/strap: Update cached Lisp translation.

---
 src/algebra/strap/EUCDOM.lsp | 97 +++++++++++++++++++++++---------------------
 1 file changed, 51 insertions(+), 46 deletions(-)

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

diff --git a/src/algebra/strap/EUCDOM.lsp b/src/algebra/strap/EUCDOM.lsp
index c58fa54c..2597fe0b 100644
--- a/src/algebra/strap/EUCDOM.lsp
+++ b/src/algebra/strap/EUCDOM.lsp
@@ -1,53 +1,58 @@
-(|/VERSIONCHECK| 2) 
 
-(DEFPARAMETER |EuclideanDomain;AL| (QUOTE NIL)) 
+(/VERSIONCHECK 2) 
 
-(DEFUN |EuclideanDomain| NIL 
-  (LET (#:G83585) 
-    (COND 
+(DEFPARAMETER |EuclideanDomain;AL| 'NIL) 
+
+(DEFUN |EuclideanDomain| ()
+  (LET (#:G1411)
+    (COND
       (|EuclideanDomain;AL|)
       (T (SETQ |EuclideanDomain;AL| (|EuclideanDomain;|)))))) 
 
-(DEFUN |EuclideanDomain;| NIL 
-  (PROG (#1=#:G83583) 
-    (RETURN 
-      (PROG1 
-        (LETT #1# 
-          (|Join| 
-            (|PrincipalIdealDomain|)
-            (|mkCategory| 
-              (QUOTE |domain|)
-              (QUOTE (
-                ((|sizeLess?| ((|Boolean|) |$| |$|)) T)
-                ((|euclideanSize| ((|NonNegativeInteger|) |$|)) T)
-                ((|divide| 
-                  ((|Record| 
-                    (|:| |quotient| |$|)
-                    (|:| |remainder| |$|))
-                  |$| |$|)) T)
-                ((|quo| (|$| |$| |$|)) T)
-                ((|rem| (|$| |$| |$|)) T)
-                ((|extendedEuclidean| 
-                  ((|Record| 
-                    (|:| |coef1| |$|)
-                    (|:| |coef2| |$|)
-                    (|:| |generator| |$|))
-                  |$| |$|)) T)
-                ((|extendedEuclidean| 
-                  ((|Union| 
-                      (|Record| (|:| |coef1| |$|) (|:| |coef2| |$|))
-                      "failed")
-                    |$| |$| |$|)) T)
-                ((|multiEuclidean| 
-                  ((|Union| 
-                      (|List| |$|)
-                      "failed") 
-                   (|List| |$|) |$|)) T)))
-              NIL 
-              (QUOTE ((|List| |$|) (|NonNegativeInteger|) (|Boolean|)))
-              NIL)) 
-            |EuclideanDomain|)
-        (SETELT #1# 0 (QUOTE (|EuclideanDomain|))))))) 
+(DEFUN |EuclideanDomain;| ()
+  (PROG (#0=#:G1409)
+    (RETURN
+      (PROG1 (LETT #0#
+                   (|Join| (|PrincipalIdealDomain|)
+                           (|mkCategory| '|domain|
+                               '(((|sizeLess?| ((|Boolean|) $ $)) T)
+                                 ((|euclideanSize|
+                                      ((|NonNegativeInteger|) $))
+                                  T)
+                                 ((|divide|
+                                      ((|Record| (|:| |quotient| $)
+                                        (|:| |remainder| $))
+                                       $ $))
+                                  T)
+                                 ((|quo| ($ $ $)) T)
+                                 ((|rem| ($ $ $)) T)
+                                 ((|extendedEuclidean|
+                                      ((|Record| (|:| |coef1| $)
+                                        (|:| |coef2| $)
+                                        (|:| |generator| $))
+                                       $ $))
+                                  T)
+                                 ((|extendedEuclidean|
+                                      ((|Union|
+                                        (|Record| (|:| |coef1| $)
+                                         (|:| |coef2| $))
+                                        "failed")
+                                       $ $ $))
+                                  T)
+                                 ((|multiEuclidean|
+                                      ((|Union| (|List| $) "failed")
+                                       (|List| $) $))
+                                  T))
+                               NIL
+                               '((|List| $) (|NonNegativeInteger|)
+                                 (|Boolean|))
+                               NIL))
+                   |EuclideanDomain|)
+        (SETELT #0# 0 '(|EuclideanDomain|)))))) 
 
-(MAKEPROP (QUOTE |EuclideanDomain|) (QUOTE NILADIC) T) 
+(SETQ |$CategoryFrame|
+      (|put| '|EuclideanDomain| '|isCategory| T
+             (|addModemap| '|EuclideanDomain| '(|EuclideanDomain|)
+                 '((|Category|)) T '|EuclideanDomain| |$CategoryFrame|))) 
 
+(MAKEPROP '|EuclideanDomain| 'NILADIC T) 
-- 
cgit v1.2.3