blob: 94ef7e990887e37ae2140823497125e5e73ec726 (
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
108
109
110
111
112
113
|
(/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|)))))))
|