* algebra/strap: New. Sequester cached Lisp translation of

	algebra bootstrap domains here.

1 files changed, 2 insertions, 242 deletions

diff --git a/src/algebra/pscat.spad.pamphlet b/src/algebra/pscat.spad.pamphlet
index 58d549c6..ffa92a3f 100644
--- a/src/algebra/pscat.spad.pamphlet
+++ b/src/algebra/pscat.spad.pamphlet
@@ -474,130 +474,7 @@ UnivariateLaurentSeriesCategory(Coef): Category == Definition where
         --++ In fact, K((x)) is the quotient field of K[[x]].
 
 @
-\section{ULSCAT.lsp BOOTSTRAP}
-{\bf ULSCAT} depends on a chain of files. We need to break this cycle to build
-the algebra. So we keep a cached copy of the translated {\bf ULSCAT}
-category which we can write into the {\bf MID} directory. We compile 
-the lisp code and copy the {\bf ULSCAT.o} file to the {\bf OUT} directory.
-This is eventually forcibly replaced by a recompiled version. 
-
-Note that this code is not included in the generated catdef.spad file.
-
-<<ULSCAT.lsp BOOTSTRAP>>=
-
-(/VERSIONCHECK 2) 
-
-(DEFPARAMETER |UnivariateLaurentSeriesCategory;CAT| 'NIL) 
-
-(DEFPARAMETER |UnivariateLaurentSeriesCategory;AL| 'NIL) 
-
-(DEFUN |UnivariateLaurentSeriesCategory| (#0=#:G1388)
-  (LET (#1=#:G1389)
-    (COND
-      ((SETQ #1#
-             (|assoc| (|devaluate| #0#)
-                      |UnivariateLaurentSeriesCategory;AL|))
-       (CDR #1#))
-      (T (SETQ |UnivariateLaurentSeriesCategory;AL|
-               (|cons5| (CONS (|devaluate| #0#)
-                              (SETQ #1#
-                                    (|UnivariateLaurentSeriesCategory;|
-                                     #0#)))
-                        |UnivariateLaurentSeriesCategory;AL|))
-         #1#)))) 
-
-(DEFUN |UnivariateLaurentSeriesCategory;| (|t#1|)
-  (PROG (#0=#:G1387)
-    (RETURN
-      (PROG1 (LETT #0#
-                   (|sublisV|
-                       (PAIR '(|t#1|) (LIST (|devaluate| |t#1|)))
-                       (|sublisV|
-                           (PAIR '(#1=#:G1386) (LIST '(|Integer|)))
-                           (COND
-                             (|UnivariateLaurentSeriesCategory;CAT|)
-                             ('T
-                              (LETT |UnivariateLaurentSeriesCategory;CAT|
-                                    (|Join|
-                                     (|UnivariatePowerSeriesCategory|
-                                      '|t#1| '#1#)
-                                     (|mkCategory| '|domain|
-                                      '(((|series|
-                                          ($
-                                           (|Stream|
-                                            (|Record|
-                                             (|:| |k| (|Integer|))
-                                             (|:| |c| |t#1|)))))
-                                         T)
-                                        ((|multiplyCoefficients|
-                                          ($
-                                           (|Mapping| |t#1|
-                                            (|Integer|))
-                                           $))
-                                         T)
-                                        ((|rationalFunction|
-                                          ((|Fraction|
-                                            (|Polynomial| |t#1|))
-                                           $ (|Integer|)))
-                                         (|has| |t#1|
-                                          (|IntegralDomain|)))
-                                        ((|rationalFunction|
-                                          ((|Fraction|
-                                            (|Polynomial| |t#1|))
-                                           $ (|Integer|) (|Integer|)))
-                                         (|has| |t#1|
-                                          (|IntegralDomain|)))
-                                        ((|integrate| ($ $))
-                                         (|has| |t#1|
-                                          (|Algebra|
-                                           (|Fraction| (|Integer|)))))
-                                        ((|integrate| ($ $ (|Symbol|)))
-                                         (AND
-                                          (|has| |t#1|
-                                           (SIGNATURE |variables|
-                                            ((|List| (|Symbol|)) |t#1|)))
-                                          (|has| |t#1|
-                                           (SIGNATURE |integrate|
-                                            (|t#1| |t#1| (|Symbol|))))
-                                          (|has| |t#1|
-                                           (|Algebra|
-                                            (|Fraction| (|Integer|))))))
-                                        ((|integrate| ($ $ (|Symbol|)))
-                                         (AND
-                                          (|has| |t#1|
-                                           (|AlgebraicallyClosedFunctionSpace|
-                                            (|Integer|)))
-                                          (|has| |t#1|
-                                           (|PrimitiveFunctionCategory|))
-                                          (|has| |t#1|
-                                           (|TranscendentalFunctionCategory|))
-                                          (|has| |t#1|
-                                           (|Algebra|
-                                            (|Fraction| (|Integer|)))))))
-                                      '(((|RadicalCategory|)
-                                         (|has| |t#1|
-                                          (|Algebra|
-                                           (|Fraction| (|Integer|)))))
-                                        ((|TranscendentalFunctionCategory|)
-                                         (|has| |t#1|
-                                          (|Algebra|
-                                           (|Fraction| (|Integer|)))))
-                                        ((|Field|)
-                                         (|has| |t#1| (|Field|))))
-                                      '((|Symbol|)
-                                        (|Fraction|
-                                         (|Polynomial| |t#1|))
-                                        (|Integer|)
-                                        (|Stream|
-                                         (|Record|
-                                          (|:| |k| (|Integer|))
-                                          (|:| |c| |t#1|))))
-                                      NIL))
-                                    . #2=(|UnivariateLaurentSeriesCategory|)))))) . #2#)
-        (SETELT #0# 0
-                (LIST '|UnivariateLaurentSeriesCategory|
-                      (|devaluate| |t#1|))))))) 
-@
+
 \section{category UPXSCAT UnivariatePuiseuxSeriesCategory}
 <<category UPXSCAT UnivariatePuiseuxSeriesCategory>>=
 )abbrev category UPXSCAT UnivariatePuiseuxSeriesCategory
@@ -723,124 +600,7 @@ MultivariateTaylorSeriesCategory(Coef,Var): Category == Definition where
         --++ coefficients by integers.
 
 @
-\section{MTSCAT.lsp BOOTSTRAP}
-{\bf MTSCAT} depends on a chain of files. We need to break this cycle to build
-the algebra. So we keep a cached copy of the translated {\bf MTSCAT}
-category which we can write into the {\bf MID} directory. We compile 
-the lisp code and copy the {\bf MTSCAT.o} file to the {\bf OUT} directory.
-This is eventually forcibly replaced by a recompiled version. 
-
-Note that this code is not included in the generated catdef.spad file.
-
-<<MTSCAT.lsp BOOTSTRAP>>=
-
-(/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|))))))) 
-@
+
 \section{License}
 <<license>>=
 --Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.