aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/pscat.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/pscat.spad.pamphlet')
-rw-r--r--src/algebra/pscat.spad.pamphlet244
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.
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-04 10:55:37 +0000