From 84db9d8c5349cb8b3e7e2d102867e53e610d7ef2 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sat, 16 Aug 2008 06:00:35 +0000
Subject: 	* algebra/strap:  New.  Sequester cached Lisp translation of 
 algebra bootstrap domains here.

---
 src/algebra/strap/EUCDOM.lsp | 53 ++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 53 insertions(+)
 create mode 100644 src/algebra/strap/EUCDOM.lsp

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

diff --git a/src/algebra/strap/EUCDOM.lsp b/src/algebra/strap/EUCDOM.lsp
new file mode 100644
index 00000000..c58fa54c
--- /dev/null
+++ b/src/algebra/strap/EUCDOM.lsp
@@ -0,0 +1,53 @@
+(|/VERSIONCHECK| 2) 
+
+(DEFPARAMETER |EuclideanDomain;AL| (QUOTE NIL)) 
+
+(DEFUN |EuclideanDomain| NIL 
+  (LET (#:G83585) 
+    (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|))))))) 
+
+(MAKEPROP (QUOTE |EuclideanDomain|) (QUOTE NILADIC) T) 
+
-- 
cgit v1.2.3