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

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

diff --git a/src/algebra/strap/MTSCAT.lsp b/src/algebra/strap/MTSCAT.lsp
new file mode 100644
index 00000000..dbd30965
--- /dev/null
+++ b/src/algebra/strap/MTSCAT.lsp
@@ -0,0 +1,107 @@
+
+(/VERSIONCHECK 2) 
+
+(DEFPARAMETER |MultivariateTaylorSeriesCategory;CAT| 'NIL) 
+
+(DEFPARAMETER |MultivariateTaylorSeriesCategory;AL| 'NIL) 
+
+(DEFUN |MultivariateTaylorSeriesCategory|
+       (&REST #0=#:G1390 &AUX #1=#:G1388)
+  (DSETQ #1# #0#)
+  (LET (#2=#:G1389)
+    (COND
+      ((SETQ #2#
+             (|assoc| (|devaluateList| #1#)
+                      |MultivariateTaylorSeriesCategory;AL|))
+       (CDR #2#))
+      (T (SETQ |MultivariateTaylorSeriesCategory;AL|
+               (|cons5| (CONS (|devaluateList| #1#)
+                              (SETQ #2#
+                                    (APPLY
+                                     #'|MultivariateTaylorSeriesCategory;|
+                                     #1#)))
+                        |MultivariateTaylorSeriesCategory;AL|))
+         #2#)))) 
+
+(DEFUN |MultivariateTaylorSeriesCategory;| (|t#1| |t#2|)
+  (PROG (#0=#:G1387)
+    (RETURN
+      (PROG1 (LETT #0#
+                   (|sublisV|
+                       (PAIR '(|t#1| |t#2|)
+                             (LIST (|devaluate| |t#1|)
+                                   (|devaluate| |t#2|)))
+                       (|sublisV|
+                           (PAIR '(#1=#:G1386)
+                                 (LIST '(|IndexedExponents| |t#2|)))
+                           (COND
+                             (|MultivariateTaylorSeriesCategory;CAT|)
+                             ('T
+                              (LETT |MultivariateTaylorSeriesCategory;CAT|
+                                    (|Join|
+                                     (|PartialDifferentialRing| '|t#2|)
+                                     (|PowerSeriesCategory| '|t#1| '#1#
+                                      '|t#2|)
+                                     (|InnerEvalable| '|t#2| '$)
+                                     (|Evalable| '$)
+                                     (|mkCategory| '|domain|
+                                      '(((|coefficient|
+                                          ($ $ |t#2|
+                                           (|NonNegativeInteger|)))
+                                         T)
+                                        ((|coefficient|
+                                          ($ $ (|List| |t#2|)
+                                           (|List|
+                                            (|NonNegativeInteger|))))
+                                         T)
+                                        ((|extend|
+                                          ($ $ (|NonNegativeInteger|)))
+                                         T)
+                                        ((|monomial|
+                                          ($ $ |t#2|
+                                           (|NonNegativeInteger|)))
+                                         T)
+                                        ((|monomial|
+                                          ($ $ (|List| |t#2|)
+                                           (|List|
+                                            (|NonNegativeInteger|))))
+                                         T)
+                                        ((|order|
+                                          ((|NonNegativeInteger|) $
+                                           |t#2|))
+                                         T)
+                                        ((|order|
+                                          ((|NonNegativeInteger|) $
+                                           |t#2|
+                                           (|NonNegativeInteger|)))
+                                         T)
+                                        ((|polynomial|
+                                          ((|Polynomial| |t#1|) $
+                                           (|NonNegativeInteger|)))
+                                         T)
+                                        ((|polynomial|
+                                          ((|Polynomial| |t#1|) $
+                                           (|NonNegativeInteger|)
+                                           (|NonNegativeInteger|)))
+                                         T)
+                                        ((|integrate| ($ $ |t#2|))
+                                         (|has| |t#1|
+                                          (|Algebra|
+                                           (|Fraction| (|Integer|))))))
+                                      '(((|RadicalCategory|)
+                                         (|has| |t#1|
+                                          (|Algebra|
+                                           (|Fraction| (|Integer|)))))
+                                        ((|TranscendentalFunctionCategory|)
+                                         (|has| |t#1|
+                                          (|Algebra|
+                                           (|Fraction| (|Integer|))))))
+                                      '((|Polynomial| |t#1|)
+                                        (|NonNegativeInteger|)
+                                        (|List| |t#2|)
+                                        (|List| (|NonNegativeInteger|)))
+                                      NIL))
+                                    . #2=(|MultivariateTaylorSeriesCategory|)))))) . #2#)
+        (SETELT #0# 0
+                (LIST '|MultivariateTaylorSeriesCategory|
+                      (|devaluate| |t#1|) (|devaluate| |t#2|))))))) 
-- 
cgit v1.2.3