blob: dbd30965412b5459a47bf300547cd8855d5da048 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
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|)))))))
|