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/INS.lsp | 75 +++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 75 insertions(+)
 create mode 100644 src/algebra/strap/INS.lsp

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

diff --git a/src/algebra/strap/INS.lsp b/src/algebra/strap/INS.lsp
new file mode 100644
index 00000000..c951d143
--- /dev/null
+++ b/src/algebra/strap/INS.lsp
@@ -0,0 +1,75 @@
+
+(/VERSIONCHECK 2) 
+
+(DEFPARAMETER |IntegerNumberSystem;AL| 'NIL) 
+
+(DEFUN |IntegerNumberSystem| ()
+  (LET (#:G1403)
+    (COND
+      (|IntegerNumberSystem;AL|)
+      (T (SETQ |IntegerNumberSystem;AL| (|IntegerNumberSystem;|)))))) 
+
+(DEFUN |IntegerNumberSystem;| ()
+  (PROG (#0=#:G1401)
+    (RETURN
+      (PROG1 (LETT #0#
+                   (|sublisV|
+                       (PAIR '(#1=#:G1395 #2=#:G1396 #3=#:G1397
+                                  #4=#:G1398 #5=#:G1399 #6=#:G1400)
+                             (LIST '(|Integer|) '(|Integer|)
+                                   '(|Integer|) '(|InputForm|)
+                                   '(|Pattern| (|Integer|))
+                                   '(|Integer|)))
+                       (|Join| (|UniqueFactorizationDomain|)
+                               (|EuclideanDomain|)
+                               (|OrderedIntegralDomain|)
+                               (|DifferentialRing|)
+                               (|ConvertibleTo| '#1#)
+                               (|RetractableTo| '#2#)
+                               (|LinearlyExplicitRingOver| '#3#)
+                               (|ConvertibleTo| '#4#)
+                               (|ConvertibleTo| '#5#)
+                               (|PatternMatchable| '#6#)
+                               (|CombinatorialFunctionCategory|)
+                               (|RealConstant|) (|CharacteristicZero|)
+                               (|StepThrough|)
+                               (|mkCategory| '|domain|
+                                   '(((|odd?| ((|Boolean|) $)) T)
+                                     ((|even?| ((|Boolean|) $)) T)
+                                     ((|base| ($)) T)
+                                     ((|length| ($ $)) T)
+                                     ((|shift| ($ $ $)) T)
+                                     ((|bit?| ((|Boolean|) $ $)) T)
+                                     ((|positiveRemainder| ($ $ $)) T)
+                                     ((|symmetricRemainder| ($ $ $)) T)
+                                     ((|rational?| ((|Boolean|) $)) T)
+                                     ((|rational|
+                                       ((|Fraction| (|Integer|)) $))
+                                      T)
+                                     ((|rationalIfCan|
+                                       ((|Union|
+                                         (|Fraction| (|Integer|))
+                                         "failed")
+                                        $))
+                                      T)
+                                     ((|random| ($)) T)
+                                     ((|random| ($ $)) T)
+                                     ((|hash| ($ $)) T)
+                                     ((|copy| ($ $)) T)
+                                     ((|inc| ($ $)) T)
+                                     ((|dec| ($ $)) T)
+                                     ((|mask| ($ $)) T)
+                                     ((|addmod| ($ $ $ $)) T)
+                                     ((|submod| ($ $ $ $)) T)
+                                     ((|mulmod| ($ $ $ $)) T)
+                                     ((|powmod| ($ $ $ $)) T)
+                                     ((|invmod| ($ $ $)) T))
+                                   '((|multiplicativeValuation| T)
+                                     (|canonicalUnitNormal| T))
+                                   '((|Fraction| (|Integer|))
+                                     (|Boolean|))
+                                   NIL)))
+                   |IntegerNumberSystem|)
+        (SETELT #0# 0 '(|IntegerNumberSystem|)))))) 
+
+(MAKEPROP '|IntegerNumberSystem| 'NILADIC T) 
-- 
cgit v1.2.3