diff options
author | dos-reis <gdr@axiomatics.org> | 2010-05-05 01:23:36 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-05-05 01:23:36 +0000 |
commit | 5768bef1b2b7cd3fd38733a26a33ec2f0d8e6c01 (patch) | |
tree | bbe038276bb180f6d391dee2ca22388cd1aba2d2 /src/algebra/strap/MTSCAT.lsp | |
parent | 9d2955097e1bd70c06df5c5a55da67fb151466c2 (diff) | |
download | open-axiom-5768bef1b2b7cd3fd38733a26a33ec2f0d8e6c01.tar.gz |
* interp/c-util.boot (backendCompileSPADSLAM): Generate more
readable Lisp code.
Diffstat (limited to 'src/algebra/strap/MTSCAT.lsp')
-rw-r--r-- | src/algebra/strap/MTSCAT.lsp | 60 |
1 files changed, 27 insertions, 33 deletions
diff --git a/src/algebra/strap/MTSCAT.lsp b/src/algebra/strap/MTSCAT.lsp index 52c28886..c32aefde 100644 --- a/src/algebra/strap/MTSCAT.lsp +++ b/src/algebra/strap/MTSCAT.lsp @@ -6,22 +6,18 @@ (DEFPARAMETER |MultivariateTaylorSeriesCategory;AL| 'NIL) (DEFUN |MultivariateTaylorSeriesCategory;| (|t#1| |t#2|) - (PROG (#0=#:G1398) - (RETURN - (PROG1 (LETT #0# - (|sublisV| - (PAIR '(|t#1| |t#2|) - (LIST (|devaluate| |t#1|) - (|devaluate| |t#2|))) - (|sublisV| - (PAIR '(#1=#:G1397) - (LIST '(|IndexedExponents| |t#2|))) - (COND - (|MultivariateTaylorSeriesCategory;CAT|) - ('T - (LETT |MultivariateTaylorSeriesCategory;CAT| - (|Join| - (|PartialDifferentialRing| '|t#2|) + (LET ((#0=#:G1398 + (|sublisV| + (PAIR '(|t#1| |t#2|) + (LIST (|devaluate| |t#1|) (|devaluate| |t#2|))) + (|sublisV| + (PAIR '(#1=#:G1397) + (LIST '(|IndexedExponents| |t#2|))) + (COND + (|MultivariateTaylorSeriesCategory;CAT|) + ('T + (LETT |MultivariateTaylorSeriesCategory;CAT| + (|Join| (|PartialDifferentialRing| '|t#2|) (|PowerSeriesCategory| '|t#1| '#1# '|t#2|) (|InnerEvalable| '|t#2| '$) @@ -83,25 +79,23 @@ (|List| |t#2|) (|List| (|NonNegativeInteger|))) NIL)) - . #2=(|MultivariateTaylorSeriesCategory|)))))) . #2#) - (|setShellEntry| #0# 0 - (LIST '|MultivariateTaylorSeriesCategory| - (|devaluate| |t#1|) (|devaluate| |t#2|))))))) + |MultivariateTaylorSeriesCategory|))))))) + (|setShellEntry| #0# 0 + (LIST '|MultivariateTaylorSeriesCategory| (|devaluate| |t#1|) + (|devaluate| |t#2|))) + #0#)) (DEFUN |MultivariateTaylorSeriesCategory| (&REST #0=#:G1401 &AUX #1=#:G1399) (DSETQ #1# #0#) - (LET (#2=#:G1400) + (LET ((#2=#:G1400 + (|assoc| (|devaluateList| #1#) + |MultivariateTaylorSeriesCategory;AL|))) (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#)))) + (#2# (CDR #2#)) + (T (PROGN + (SETQ #2# (APPLY #'|MultivariateTaylorSeriesCategory;| #1#)) + (SETQ |MultivariateTaylorSeriesCategory;AL| + (|cons5| (CONS (|devaluateList| #1#) #2#) + |MultivariateTaylorSeriesCategory;AL|)) + #2#))))) |