1
2(SDEFUN |INTDEN;li_factors|
3        ((|df| |SparseUnivariatePolynomial| F) (|k| |Kernel| F)
4         (|lk| |List| (|Kernel| F)) (|x| |Symbol|)
5         ($ |List|
6          (|Record| (|:| |factor| (|SparseUnivariatePolynomial| F))
7                    (|:| |cfactor| (|SparseUnivariatePolynomial| F))
8                    (|:| |ufun| F) (|:| |vfun| F) (|:| |den| (|Integer|)))))
9        (SPROG
10         ((|res|
11           (|List|
12            (|Record| (|:| |factor| (|SparseUnivariatePolynomial| F))
13                      (|:| |cfactor| (|SparseUnivariatePolynomial| F))
14                      (|:| |ufun| F) (|:| |vfun| F) (|:| |den| (|Integer|)))))
15          (|f2| (|SparseUnivariatePolynomial| F)) (|k2| (F)) (#1=#:G512 NIL)
16          (|c| NIL) (#2=#:G513 NIL) (|ki| NIL) (#3=#:G511 NIL) (|u1| (F))
17          (#4=#:G509 NIL) (|ui| NIL) (#5=#:G510 NIL) (#6=#:G508 NIL)
18          (|d| #7=(|Integer|))
19          (|cd| (|Record| (|:| |num| (|List| (|Integer|))) (|:| |den| #7#)))
20          (|sv| (|Vector| (|Fraction| (|Integer|))))
21          (|su| (|Union| (|Vector| (|Fraction| (|Integer|))) "failed"))
22          (|ulst| (|List| F)) (#8=#:G507 NIL) (|kk| NIL) (#9=#:G506 NIL)
23          (|dvvec| (|Vector| F)) (#10=#:G505 NIL) (#11=#:G504 NIL)
24          (|vlst| (|List| F)) (#12=#:G503 NIL) (#13=#:G502 NIL) (|rsum| (F))
25          (|deg1| (|NonNegativeInteger|))
26          (|f1| #14=(|SparseUnivariatePolynomial| F)) (#15=#:G501 NIL)
27          (|fac| NIL) (|u0| (F)) (|nk| (|NonNegativeInteger|))
28          (|dummy| (|SingletonAsOrderedSet|))
29          (|lfac|
30           (|List|
31            (|Record| (|:| |flag| (|Union| "nil" "sqfr" "irred" "prime"))
32                      (|:| |factor| #14#)
33                      (|:| |exponent| (|NonNegativeInteger|))))))
34         (SEQ
35          (LETT |lfac|
36                (SPADCALL (SPADCALL |df| (QREFELT $ 11)) (QREFELT $ 15)))
37          (LETT |res| NIL) (LETT |dummy| (SPADCALL (QREFELT $ 17)))
38          (LETT |vlst| NIL) (LETT |nk| (LENGTH |lk|))
39          (LETT |u0| (SPADCALL (SPADCALL |k| (QREFELT $ 20)) 1 (QREFELT $ 22)))
40          (SEQ (LETT |fac| NIL) (LETT #15# |lfac|) G190
41               (COND
42                ((OR (ATOM #15#) (PROGN (LETT |fac| (CAR #15#)) NIL))
43                 (GO G191)))
44               (SEQ (LETT |f1| (QVELT |fac| 1))
45                    (LETT |f1|
46                          (SPADCALL
47                           (SPADCALL (SPADCALL |f1| (QREFELT $ 23))
48                                     (QREFELT $ 24))
49                           |f1| (QREFELT $ 25)))
50                    (LETT |deg1| (SPADCALL |f1| (QREFELT $ 27)))
51                    (EXIT
52                     (COND ((EQL |deg1| 0) "iterate")
53                           ((SPADCALL
54                             (CONS #'|INTDEN;li_factors!0| (VECTOR $ |x|))
55                             (SPADCALL |f1| (QREFELT $ 34)) (QREFELT $ 36))
56                            (LETT |res|
57                                  (CONS
58                                   (VECTOR |f1| |f1| |u0| (|spadConstant| $ 29)
59                                           1)
60                                   |res|)))
61                           ((NULL |lk|) "iterate")
62                           ('T
63                            (SEQ
64                             (LETT |rsum|
65                                   (SPADCALL
66                                    (SPADCALL (SPADCALL |deg1| (QREFELT $ 37))
67                                              (QREFELT $ 24))
68                                    (SPADCALL |f1| (- |deg1| 1) (QREFELT $ 40))
69                                    (QREFELT $ 41)))
70                             (COND
71                              ((> |deg1| 1)
72                               (LETT |f2|
73                                     (SPADCALL |f1| |dummy|
74                                               (SPADCALL
75                                                (SPADCALL (|spadConstant| $ 39)
76                                                          1 (QREFELT $ 42))
77                                                (SPADCALL |rsum|
78                                                          (QREFELT $ 43))
79                                                (QREFELT $ 44))
80                                               (QREFELT $ 45)))))
81                             (COND
82                              ((> |deg1| 1)
83                               (COND
84                                ((NULL
85                                  (SPADCALL
86                                   (CONS #'|INTDEN;li_factors!1|
87                                         (VECTOR $ |x|))
88                                   (SPADCALL |f2| (QREFELT $ 34))
89                                   (QREFELT $ 36)))
90                                 (EXIT "iterate")))))
91                             (COND
92                              ((NULL |vlst|)
93                               (SEQ
94                                (LETT |vlst|
95                                      (PROGN
96                                       (LETT #13# NIL)
97                                       (SEQ (LETT |kk| NIL) (LETT #12# |lk|)
98                                            G190
99                                            (COND
100                                             ((OR (ATOM #12#)
101                                                  (PROGN
102                                                   (LETT |kk| (CAR #12#))
103                                                   NIL))
104                                              (GO G191)))
105                                            (SEQ
106                                             (EXIT
107                                              (LETT #13#
108                                                    (CONS
109                                                     (COND
110                                                      ((SPADCALL |kk| '|log|
111                                                                 (QREFELT $
112                                                                          46))
113                                                       (SPADCALL |kk|
114                                                                 (QREFELT $
115                                                                          48)))
116                                                      ('T
117                                                       (SPADCALL
118                                                        (SPADCALL |kk|
119                                                                  (QREFELT $
120                                                                           20))
121                                                        1 (QREFELT $ 22))))
122                                                     #13#))))
123                                            (LETT #12# (CDR #12#)) (GO G190)
124                                            G191 (EXIT (NREVERSE #13#)))))
125                                (LETT |dvvec|
126                                      (SPADCALL
127                                       (PROGN
128                                        (LETT #11# NIL)
129                                        (SEQ (LETT |c| NIL) (LETT #10# |vlst|)
130                                             G190
131                                             (COND
132                                              ((OR (ATOM #10#)
133                                                   (PROGN
134                                                    (LETT |c| (CAR #10#))
135                                                    NIL))
136                                               (GO G191)))
137                                             (SEQ
138                                              (EXIT
139                                               (LETT #11#
140                                                     (CONS
141                                                      (SPADCALL |c| |x|
142                                                                (QREFELT $ 31))
143                                                      #11#))))
144                                             (LETT #10# (CDR #10#)) (GO G190)
145                                             G191 (EXIT (NREVERSE #11#))))
146                                       (QREFELT $ 50)))
147                                (EXIT
148                                 (LETT |ulst|
149                                       (PROGN
150                                        (LETT #9# NIL)
151                                        (SEQ (LETT |kk| NIL) (LETT #8# |lk|)
152                                             G190
153                                             (COND
154                                              ((OR (ATOM #8#)
155                                                   (PROGN
156                                                    (LETT |kk| (CAR #8#))
157                                                    NIL))
158                                               (GO G191)))
159                                             (SEQ
160                                              (EXIT
161                                               (LETT #9#
162                                                     (CONS
163                                                      (COND
164                                                       ((SPADCALL |kk| '|log|
165                                                                  (QREFELT $
166                                                                           46))
167                                                        (SPADCALL
168                                                         (SPADCALL |kk|
169                                                                   (QREFELT $
170                                                                            20))
171                                                         1 (QREFELT $ 22)))
172                                                       ('T
173                                                        (SPADCALL |kk|
174                                                                  (QREFELT $
175                                                                           48))))
176                                                      #9#))))
177                                             (LETT #8# (CDR #8#)) (GO G190)
178                                             G191 (EXIT (NREVERSE #9#)))))))))
179                             (LETT |su|
180                                   (SPADCALL |dvvec|
181                                             (SPADCALL |rsum| |x|
182                                                       (QREFELT $ 31))
183                                             (QREFELT $ 53)))
184                             (EXIT
185                              (COND ((QEQCAR |su| 1) "iterate")
186                                    ('T
187                                     (SEQ (LETT |sv| (QCDR |su|))
188                                          (LETT |cd|
189                                                (SPADCALL |sv| (QREFELT $ 57)))
190                                          (LETT |d| (QCDR |cd|))
191                                          (EXIT
192                                           (COND
193                                            ((SPADCALL |d| 1 (QREFELT $ 58))
194                                             "iterate")
195                                            ('T
196                                             (SEQ
197                                              (LETT |u1|
198                                                    (SPADCALL (ELT $ 41)
199                                                              (PROGN
200                                                               (LETT #6# NIL)
201                                                               (SEQ
202                                                                (LETT |ki| NIL)
203                                                                (LETT #5#
204                                                                      (QCAR
205                                                                       |cd|))
206                                                                (LETT |ui| NIL)
207                                                                (LETT #4#
208                                                                      |ulst|)
209                                                                G190
210                                                                (COND
211                                                                 ((OR
212                                                                   (ATOM #4#)
213                                                                   (PROGN
214                                                                    (LETT |ui|
215                                                                          (CAR
216                                                                           #4#))
217                                                                    NIL)
218                                                                   (ATOM #5#)
219                                                                   (PROGN
220                                                                    (LETT |ki|
221                                                                          (CAR
222                                                                           #5#))
223                                                                    NIL))
224                                                                  (GO G191)))
225                                                                (SEQ
226                                                                 (EXIT
227                                                                  (LETT #6#
228                                                                        (CONS
229                                                                         (SPADCALL
230                                                                          |ui|
231                                                                          |ki|
232                                                                          (QREFELT
233                                                                           $
234                                                                           59))
235                                                                         #6#))))
236                                                                (LETT #4#
237                                                                      (PROG1
238                                                                          (CDR
239                                                                           #4#)
240                                                                        (LETT
241                                                                         #5#
242                                                                         (CDR
243                                                                          #5#))))
244                                                                (GO G190) G191
245                                                                (EXIT
246                                                                 (NREVERSE
247                                                                  #6#))))
248                                                              (QREFELT $ 61)))
249                                              (LETT |k2|
250                                                    (SPADCALL (ELT $ 62)
251                                                              (PROGN
252                                                               (LETT #3# NIL)
253                                                               (SEQ
254                                                                (LETT |ki| NIL)
255                                                                (LETT #2#
256                                                                      (QCAR
257                                                                       |cd|))
258                                                                (LETT |c| NIL)
259                                                                (LETT #1#
260                                                                      |vlst|)
261                                                                G190
262                                                                (COND
263                                                                 ((OR
264                                                                   (ATOM #1#)
265                                                                   (PROGN
266                                                                    (LETT |c|
267                                                                          (CAR
268                                                                           #1#))
269                                                                    NIL)
270                                                                   (ATOM #2#)
271                                                                   (PROGN
272                                                                    (LETT |ki|
273                                                                          (CAR
274                                                                           #2#))
275                                                                    NIL))
276                                                                  (GO G191)))
277                                                                (SEQ
278                                                                 (EXIT
279                                                                  (LETT #3#
280                                                                        (CONS
281                                                                         (SPADCALL
282                                                                          (SPADCALL
283                                                                           (SPADCALL
284                                                                            |ki|
285                                                                            (QREFELT
286                                                                             $
287                                                                             63))
288                                                                           (QREFELT
289                                                                            $
290                                                                            64))
291                                                                          |c|
292                                                                          (QREFELT
293                                                                           $
294                                                                           41))
295                                                                         #3#))))
296                                                                (LETT #1#
297                                                                      (PROG1
298                                                                          (CDR
299                                                                           #1#)
300                                                                        (LETT
301                                                                         #2#
302                                                                         (CDR
303                                                                          #2#))))
304                                                                (GO G190) G191
305                                                                (EXIT
306                                                                 (NREVERSE
307                                                                  #3#))))
308                                                              (QREFELT $ 61)))
309                                              (LETT |f2|
310                                                    (SPADCALL |f1| |dummy|
311                                                              (SPADCALL
312                                                               (SPADCALL
313                                                                (|spadConstant|
314                                                                 $ 39)
315                                                                1
316                                                                (QREFELT $ 42))
317                                                               (SPADCALL |k2|
318                                                                         (QREFELT
319                                                                          $
320                                                                          43))
321                                                               (QREFELT $ 44))
322                                                              (QREFELT $ 45)))
323                                              (COND
324                                               ((NULL
325                                                 (SPADCALL
326                                                  (CONS #'|INTDEN;li_factors!2|
327                                                        (VECTOR $ |x|))
328                                                  (SPADCALL |f2|
329                                                            (QREFELT $ 34))
330                                                  (QREFELT $ 36)))
331                                                (EXIT
332                                                 (|error| "Impossible 1"))))
333                                              (EXIT
334                                               (LETT |res|
335                                                     (CONS
336                                                      (VECTOR |f1| |f2|
337                                                              (SPADCALL
338                                                               (SPADCALL |u0|
339                                                                         |d|
340                                                                         (QREFELT
341                                                                          $
342                                                                          59))
343                                                               |u1|
344                                                               (QREFELT $ 41))
345                                                              |k2| |d|)
346                                                      |res|))))))))))))))))
347               (LETT #15# (CDR #15#)) (GO G190) G191 (EXIT NIL))
348          (EXIT |res|))))
349
350(SDEFUN |INTDEN;li_factors!2| ((|c| NIL) ($$ NIL))
351        (PROG (|x| $)
352          (LETT |x| (QREFELT $$ 1))
353          (LETT $ (QREFELT $$ 0))
354          (RETURN
355           (PROGN
356            (SPADCALL (SPADCALL |c| |x| (QREFELT $ 31)) (|spadConstant| $ 29)
357                      (QREFELT $ 33))))))
358
359(SDEFUN |INTDEN;li_factors!1| ((|c| NIL) ($$ NIL))
360        (PROG (|x| $)
361          (LETT |x| (QREFELT $$ 1))
362          (LETT $ (QREFELT $$ 0))
363          (RETURN
364           (PROGN
365            (SPADCALL (SPADCALL |c| |x| (QREFELT $ 31)) (|spadConstant| $ 29)
366                      (QREFELT $ 33))))))
367
368(SDEFUN |INTDEN;li_factors!0| ((|c| NIL) ($$ NIL))
369        (PROG (|x| $)
370          (LETT |x| (QREFELT $$ 1))
371          (LETT $ (QREFELT $$ 0))
372          (RETURN
373           (PROGN
374            (SPADCALL (SPADCALL |c| |x| (QREFELT $ 31)) (|spadConstant| $ 29)
375                      (QREFELT $ 33))))))
376
377(SDEFUN |INTDEN;poly_factors|
378        ((|df| |SparseUnivariatePolynomial| F) (|k| |Kernel| F)
379         (|lk| |List| (|Kernel| F)) (|x| |Symbol|)
380         ($ |List|
381          (|Record| (|:| |factor| (|SparseUnivariatePolynomial| F))
382                    (|:| |cfactor| (|SparseUnivariatePolynomial| F))
383                    (|:| |ufun| F) (|:| |vfun| F) (|:| |den| (|Integer|)))))
384        (SPROG
385         ((|res|
386           (|List|
387            (|Record| (|:| |factor| (|SparseUnivariatePolynomial| F))
388                      (|:| |cfactor| (|SparseUnivariatePolynomial| F))
389                      (|:| |ufun| F) (|:| |vfun| F) (|:| |den| (|Integer|)))))
390          (|f2| (|SparseUnivariatePolynomial| F)) (|k2| (F)) (#1=#:G580 NIL)
391          (|c| NIL) (#2=#:G581 NIL) (|ki| NIL) (#3=#:G579 NIL) (|u1| (F))
392          (#4=#:G577 NIL) (|ui| NIL) (#5=#:G578 NIL) (#6=#:G576 NIL)
393          (|d| #7=(|Integer|))
394          (|cd| (|Record| (|:| |num| (|List| (|Integer|))) (|:| |den| #7#)))
395          (|sv| (|Vector| (|Fraction| (|Integer|))))
396          (|su| (|Union| (|Vector| (|Fraction| (|Integer|))) "failed"))
397          (|ulst| (|List| F)) (#8=#:G575 NIL) (|kk| NIL) (#9=#:G574 NIL)
398          (|dvvec| (|Vector| F)) (#10=#:G573 NIL) (#11=#:G572 NIL)
399          (|vlst| (|List| F)) (#12=#:G571 NIL) (#13=#:G570 NIL) (|lprod| (F))
400          (|f1| #14=(|SparseUnivariatePolynomial| F)) (|tc| (F))
401          (|deg1| (|NonNegativeInteger|)) (#15=#:G569 NIL) (|fac| NIL)
402          (|v0| (F)) (|nk| (|NonNegativeInteger|))
403          (|dummy| (|SingletonAsOrderedSet|))
404          (|lfac|
405           (|List|
406            (|Record| (|:| |flag| (|Union| "nil" "sqfr" "irred" "prime"))
407                      (|:| |factor| #14#)
408                      (|:| |exponent| (|NonNegativeInteger|))))))
409         (SEQ
410          (LETT |lfac|
411                (SPADCALL (SPADCALL |df| (QREFELT $ 11)) (QREFELT $ 15)))
412          (LETT |res| NIL) (LETT |dummy| (SPADCALL (QREFELT $ 17)))
413          (LETT |vlst| NIL) (LETT |nk| (LENGTH |lk|))
414          (LETT |v0| (SPADCALL (SPADCALL |k| (QREFELT $ 20)) 1 (QREFELT $ 22)))
415          (SEQ (LETT |fac| NIL) (LETT #15# |lfac|) G190
416               (COND
417                ((OR (ATOM #15#) (PROGN (LETT |fac| (CAR #15#)) NIL))
418                 (GO G191)))
419               (SEQ (LETT |f1| (QVELT |fac| 1))
420                    (LETT |deg1| (SPADCALL |f1| (QREFELT $ 27)))
421                    (EXIT
422                     (COND ((EQL |deg1| 0) "iterate")
423                           ('T
424                            (SEQ (LETT |tc| (SPADCALL |f1| 0 (QREFELT $ 40)))
425                                 (EXIT
426                                  (COND
427                                   ((SPADCALL |tc| (|spadConstant| $ 29)
428                                              (QREFELT $ 33))
429                                    "iterate")
430                                   ('T
431                                    (SEQ
432                                     (LETT |f1|
433                                           (SPADCALL
434                                            (SPADCALL |tc| (QREFELT $ 24)) |f1|
435                                            (QREFELT $ 25)))
436                                     (EXIT
437                                      (COND
438                                       ((SPADCALL
439                                         (CONS #'|INTDEN;poly_factors!0|
440                                               (VECTOR $ |x|))
441                                         (SPADCALL |f1| (QREFELT $ 34))
442                                         (QREFELT $ 36))
443                                        (LETT |res|
444                                              (CONS
445                                               (VECTOR |f1| |f1|
446                                                       (|spadConstant| $ 39)
447                                                       |v0| 1)
448                                               |res|)))
449                                       ((NULL |lk|) "iterate")
450                                       ('T
451                                        (SEQ
452                                         (LETT |lprod|
453                                               (SPADCALL |f1| (QREFELT $ 23)))
454                                         (COND
455                                          ((NULL |vlst|)
456                                           (SEQ
457                                            (LETT |vlst|
458                                                  (PROGN
459                                                   (LETT #13# NIL)
460                                                   (SEQ (LETT |kk| NIL)
461                                                        (LETT #12# |lk|) G190
462                                                        (COND
463                                                         ((OR (ATOM #12#)
464                                                              (PROGN
465                                                               (LETT |kk|
466                                                                     (CAR
467                                                                      #12#))
468                                                               NIL))
469                                                          (GO G191)))
470                                                        (SEQ
471                                                         (EXIT
472                                                          (LETT #13#
473                                                                (CONS
474                                                                 (COND
475                                                                  ((SPADCALL
476                                                                    |kk| '|log|
477                                                                    (QREFELT $
478                                                                             46))
479                                                                   (SPADCALL
480                                                                    |kk|
481                                                                    (QREFELT $
482                                                                             48)))
483                                                                  ('T
484                                                                   (SPADCALL
485                                                                    (SPADCALL
486                                                                     |kk|
487                                                                     (QREFELT $
488                                                                              20))
489                                                                    1
490                                                                    (QREFELT $
491                                                                             22))))
492                                                                 #13#))))
493                                                        (LETT #12# (CDR #12#))
494                                                        (GO G190) G191
495                                                        (EXIT
496                                                         (NREVERSE #13#)))))
497                                            (LETT |dvvec|
498                                                  (SPADCALL
499                                                   (PROGN
500                                                    (LETT #11# NIL)
501                                                    (SEQ (LETT |c| NIL)
502                                                         (LETT #10# |vlst|)
503                                                         G190
504                                                         (COND
505                                                          ((OR (ATOM #10#)
506                                                               (PROGN
507                                                                (LETT |c|
508                                                                      (CAR
509                                                                       #10#))
510                                                                NIL))
511                                                           (GO G191)))
512                                                         (SEQ
513                                                          (EXIT
514                                                           (LETT #11#
515                                                                 (CONS
516                                                                  (SPADCALL |c|
517                                                                            |x|
518                                                                            (QREFELT
519                                                                             $
520                                                                             31))
521                                                                  #11#))))
522                                                         (LETT #10# (CDR #10#))
523                                                         (GO G190) G191
524                                                         (EXIT
525                                                          (NREVERSE #11#))))
526                                                   (QREFELT $ 50)))
527                                            (EXIT
528                                             (LETT |ulst|
529                                                   (PROGN
530                                                    (LETT #9# NIL)
531                                                    (SEQ (LETT |kk| NIL)
532                                                         (LETT #8# |lk|) G190
533                                                         (COND
534                                                          ((OR (ATOM #8#)
535                                                               (PROGN
536                                                                (LETT |kk|
537                                                                      (CAR
538                                                                       #8#))
539                                                                NIL))
540                                                           (GO G191)))
541                                                         (SEQ
542                                                          (EXIT
543                                                           (LETT #9#
544                                                                 (CONS
545                                                                  (COND
546                                                                   ((SPADCALL
547                                                                     |kk|
548                                                                     '|log|
549                                                                     (QREFELT $
550                                                                              46))
551                                                                    (SPADCALL
552                                                                     (SPADCALL
553                                                                      |kk|
554                                                                      (QREFELT
555                                                                       $ 20))
556                                                                     1
557                                                                     (QREFELT $
558                                                                              22)))
559                                                                   ('T
560                                                                    (SPADCALL
561                                                                     |kk|
562                                                                     (QREFELT $
563                                                                              48))))
564                                                                  #9#))))
565                                                         (LETT #8# (CDR #8#))
566                                                         (GO G190) G191
567                                                         (EXIT
568                                                          (NREVERSE
569                                                           #9#)))))))))
570                                         (LETT |su|
571                                               (SPADCALL |dvvec|
572                                                         (SPADCALL
573                                                          (SPADCALL |lprod| |x|
574                                                                    (QREFELT $
575                                                                             31))
576                                                          (SPADCALL
577                                                           (SPADCALL
578                                                            (SPADCALL |deg1|
579                                                                      (QREFELT
580                                                                       $ 63))
581                                                            (QREFELT $ 64))
582                                                           |lprod|
583                                                           (QREFELT $ 41))
584                                                          (QREFELT $ 65))
585                                                         (QREFELT $ 53)))
586                                         (EXIT
587                                          (COND ((QEQCAR |su| 1) "iterate")
588                                                ('T
589                                                 (SEQ (LETT |sv| (QCDR |su|))
590                                                      (LETT |cd|
591                                                            (SPADCALL |sv|
592                                                                      (QREFELT
593                                                                       $ 57)))
594                                                      (LETT |d| (QCDR |cd|))
595                                                      (EXIT
596                                                       (COND
597                                                        ((SPADCALL |d| 1
598                                                                   (QREFELT $
599                                                                            58))
600                                                         "iterate")
601                                                        ('T
602                                                         (SEQ
603                                                          (LETT |u1|
604                                                                (SPADCALL
605                                                                 (ELT $ 41)
606                                                                 (PROGN
607                                                                  (LETT #6#
608                                                                        NIL)
609                                                                  (SEQ
610                                                                   (LETT |ki|
611                                                                         NIL)
612                                                                   (LETT #5#
613                                                                         (QCAR
614                                                                          |cd|))
615                                                                   (LETT |ui|
616                                                                         NIL)
617                                                                   (LETT #4#
618                                                                         |ulst|)
619                                                                   G190
620                                                                   (COND
621                                                                    ((OR
622                                                                      (ATOM
623                                                                       #4#)
624                                                                      (PROGN
625                                                                       (LETT
626                                                                        |ui|
627                                                                        (CAR
628                                                                         #4#))
629                                                                       NIL)
630                                                                      (ATOM
631                                                                       #5#)
632                                                                      (PROGN
633                                                                       (LETT
634                                                                        |ki|
635                                                                        (CAR
636                                                                         #5#))
637                                                                       NIL))
638                                                                     (GO
639                                                                      G191)))
640                                                                   (SEQ
641                                                                    (EXIT
642                                                                     (LETT #6#
643                                                                           (CONS
644                                                                            (SPADCALL
645                                                                             |ui|
646                                                                             |ki|
647                                                                             (QREFELT
648                                                                              $
649                                                                              59))
650                                                                            #6#))))
651                                                                   (LETT #4#
652                                                                         (PROG1
653                                                                             (CDR
654                                                                              #4#)
655                                                                           (LETT
656                                                                            #5#
657                                                                            (CDR
658                                                                             #5#))))
659                                                                   (GO G190)
660                                                                   G191
661                                                                   (EXIT
662                                                                    (NREVERSE
663                                                                     #6#))))
664                                                                 (QREFELT $
665                                                                          61)))
666                                                          (LETT |k2|
667                                                                (SPADCALL
668                                                                 (ELT $ 62)
669                                                                 (PROGN
670                                                                  (LETT #3#
671                                                                        NIL)
672                                                                  (SEQ
673                                                                   (LETT |ki|
674                                                                         NIL)
675                                                                   (LETT #2#
676                                                                         (QCAR
677                                                                          |cd|))
678                                                                   (LETT |c|
679                                                                         NIL)
680                                                                   (LETT #1#
681                                                                         |vlst|)
682                                                                   G190
683                                                                   (COND
684                                                                    ((OR
685                                                                      (ATOM
686                                                                       #1#)
687                                                                      (PROGN
688                                                                       (LETT
689                                                                        |c|
690                                                                        (CAR
691                                                                         #1#))
692                                                                       NIL)
693                                                                      (ATOM
694                                                                       #2#)
695                                                                      (PROGN
696                                                                       (LETT
697                                                                        |ki|
698                                                                        (CAR
699                                                                         #2#))
700                                                                       NIL))
701                                                                     (GO
702                                                                      G191)))
703                                                                   (SEQ
704                                                                    (EXIT
705                                                                     (LETT #3#
706                                                                           (CONS
707                                                                            (SPADCALL
708                                                                             (SPADCALL
709                                                                              (SPADCALL
710                                                                               |ki|
711                                                                               (QREFELT
712                                                                                $
713                                                                                63))
714                                                                              (QREFELT
715                                                                               $
716                                                                               64))
717                                                                             |c|
718                                                                             (QREFELT
719                                                                              $
720                                                                              41))
721                                                                            #3#))))
722                                                                   (LETT #1#
723                                                                         (PROG1
724                                                                             (CDR
725                                                                              #1#)
726                                                                           (LETT
727                                                                            #2#
728                                                                            (CDR
729                                                                             #2#))))
730                                                                   (GO G190)
731                                                                   G191
732                                                                   (EXIT
733                                                                    (NREVERSE
734                                                                     #3#))))
735                                                                 (QREFELT $
736                                                                          61)))
737                                                          (LETT |f2|
738                                                                (SPADCALL |f1|
739                                                                          |dummy|
740                                                                          (SPADCALL
741                                                                           (SPADCALL
742                                                                            |u1|
743                                                                            (QREFELT
744                                                                             $
745                                                                             24))
746                                                                           (SPADCALL
747                                                                            (|spadConstant|
748                                                                             $
749                                                                             39)
750                                                                            1
751                                                                            (QREFELT
752                                                                             $
753                                                                             42))
754                                                                           (QREFELT
755                                                                            $
756                                                                            25))
757                                                                          (QREFELT
758                                                                           $
759                                                                           45)))
760                                                          (COND
761                                                           ((NULL
762                                                             (SPADCALL
763                                                              (CONS
764                                                               #'|INTDEN;poly_factors!1|
765                                                               (VECTOR $ |x|))
766                                                              (SPADCALL |f2|
767                                                                        (QREFELT
768                                                                         $ 34))
769                                                              (QREFELT $ 36)))
770                                                            (EXIT "iterate")))
771                                                          (EXIT
772                                                           (LETT |res|
773                                                                 (CONS
774                                                                  (VECTOR |f1|
775                                                                          |f2|
776                                                                          |u1|
777                                                                          (SPADCALL
778                                                                           |v0|
779                                                                           |k2|
780                                                                           (QREFELT
781                                                                            $
782                                                                            62))
783                                                                          1)
784                                                                  |res|))))))))))))))))))))))))
785               (LETT #15# (CDR #15#)) (GO G190) G191 (EXIT NIL))
786          (EXIT |res|))))
787
788(SDEFUN |INTDEN;poly_factors!1| ((|c| NIL) ($$ NIL))
789        (PROG (|x| $)
790          (LETT |x| (QREFELT $$ 1))
791          (LETT $ (QREFELT $$ 0))
792          (RETURN
793           (PROGN
794            (SPADCALL (SPADCALL |c| |x| (QREFELT $ 31)) (|spadConstant| $ 29)
795                      (QREFELT $ 33))))))
796
797(SDEFUN |INTDEN;poly_factors!0| ((|c| NIL) ($$ NIL))
798        (PROG (|x| $)
799          (LETT |x| (QREFELT $$ 1))
800          (LETT $ (QREFELT $$ 0))
801          (RETURN
802           (PROGN
803            (SPADCALL (SPADCALL |c| |x| (QREFELT $ 31)) (|spadConstant| $ 29)
804                      (QREFELT $ 33))))))
805
806(SDEFUN |INTDEN;decompose1|
807        ((|nn| |SparseUnivariatePolynomial| F)
808         (|elden| |SparseUnivariatePolynomial| F)
809         (|lidens| |List| (|SparseUnivariatePolynomial| F))
810         ($ |List| (|SparseUnivariatePolynomial| F)))
811        (SPROG ((|res| (|List| (|SparseUnivariatePolynomial| F))))
812               (SEQ
813                (COND
814                 ((> (SPADCALL |elden| (QREFELT $ 27)) 0)
815                  (LETT |lidens| (CONS |elden| |lidens|)))
816                 ((SPADCALL |elden| (|spadConstant| $ 66) (QREFELT $ 67))
817                  (|error| "Impossible 5")))
818                (LETT |res| (SPADCALL |nn| |lidens| (QREFELT $ 70)))
819                (EXIT
820                 (COND ((> (SPADCALL |elden| (QREFELT $ 27)) 0) |res|)
821                       ('T (CONS (|spadConstant| $ 71) |res|)))))))
822
823(SDEFUN |INTDEN;p_power_in_q|
824        ((|p| |SparseMultivariatePolynomial| F (|Kernel| F))
825         (|q| |SparseMultivariatePolynomial| F (|Kernel| F)) ($ |Integer|))
826        (SPROG
827         ((|res| (|Integer|)) (#1=#:G587 NIL)
828          (|qq|
829           (|Union| (|SparseMultivariatePolynomial| F (|Kernel| F))
830                    #2="failed")))
831         (SEQ (LETT |res| 0)
832              (SEQ G190
833                   (COND
834                    ((NULL
835                      (QEQCAR (LETT |qq| (SPADCALL |q| |p| (QREFELT $ 74))) 0))
836                     (GO G191)))
837                   (SEQ
838                    (LETT |q|
839                          (PROG2 (LETT #1# |qq|)
840                              (QCDR #1#)
841                            (|check_union2| (QEQCAR #1# 0)
842                                            (|SparseMultivariatePolynomial|
843                                             (QREFELT $ 7)
844                                             (|Kernel| (QREFELT $ 7)))
845                                            (|Union|
846                                             (|SparseMultivariatePolynomial|
847                                              (QREFELT $ 7)
848                                              (|Kernel| (QREFELT $ 7)))
849                                             #2#)
850                                            #1#)))
851                    (EXIT (LETT |res| (+ |res| 1))))
852                   NIL (GO G190) G191 (EXIT NIL))
853              (EXIT |res|))))
854
855(SDEFUN |INTDEN;MP_to_MPF|
856        ((|p| |SparseMultivariatePolynomial| R (|Kernel| F))
857         (|lk| |List| (|Kernel| F))
858         ($ |SparseMultivariatePolynomial| F (|Kernel| F)))
859        (SPROG NIL
860               (SPADCALL (CONS #'|INTDEN;MP_to_MPF!0| (VECTOR $ |lk|))
861                         (CONS #'|INTDEN;MP_to_MPF!1| $) |p| (QREFELT $ 85))))
862
863(SDEFUN |INTDEN;MP_to_MPF!1| ((|c| NIL) ($ NIL))
864        (SPADCALL (SPADCALL |c| (QREFELT $ 64)) (QREFELT $ 80)))
865
866(SDEFUN |INTDEN;MP_to_MPF!0| ((|k| NIL) ($$ NIL))
867        (PROG (|lk| $)
868          (LETT |lk| (QREFELT $$ 1))
869          (LETT $ (QREFELT $$ 0))
870          (RETURN
871           (PROGN
872            (COND
873             ((SPADCALL |k| |lk| (QREFELT $ 76))
874              (SPADCALL (|spadConstant| $ 77) |k| (|spadConstant| $ 78)
875                        (QREFELT $ 79)))
876             ('T (SPADCALL (SPADCALL |k| (QREFELT $ 48)) (QREFELT $ 80))))))))
877
878(SDEFUN |INTDEN;solve_u;2FSU;6|
879        ((|f1| F) (|u| F) (|x| |Symbol|)
880         ($ |Union| (|List| (|List| F)) "failed"))
881        (SPROG
882         ((#1=#:G660 NIL) (|c| NIL) (#2=#:G661 NIL) (|j| NIL) (#3=#:G659 NIL)
883          (#4=#:G647 NIL) (#5=#:G658 NIL) (|sl| (|List| F))
884          (|sl0| (|Union| (|List| F) "failed")) (|eqsl| (|List| F))
885          (|eqs| (|SparseMultivariatePolynomial| F (|Kernel| F)))
886          (#6=#:G656 NIL) (|p1| NIL) (#7=#:G657 NIL) (|coef| NIL)
887          (|lpow| (|List| (|SparseMultivariatePolynomial| F (|Kernel| F))))
888          (|pp| #8=(|SparseMultivariatePolynomial| F (|Kernel| F)))
889          (#9=#:G655 NIL) (|lpow0| (|List| #8#)) (#10=#:G654 NIL)
890          (|coefs| (|List| (|Symbol|))) (#11=#:G653 NIL) (#12=#:G652 NIL)
891          (|nf1| #13=(|SparseMultivariatePolynomial| F (|Kernel| F)))
892          (|cc| (F)) (|ccru| (|Union| F "failed"))
893          (|ccu|
894           (|Union| (|SparseMultivariatePolynomial| F (|Kernel| F)) "failed"))
895          (|dup| #8#) (#14=#:G615 NIL) (|nup| #8#) (#15=#:G613 NIL)
896          (|m| (|Integer|)) (|n| (|Integer|))
897          (|qu| (|Union| (|NonNegativeInteger|) "failed"))
898          (|degdu| #16=(|NonNegativeInteger|)) (|degnu| #16#) (|degdf| #16#)
899          (|degnf| #16#) (|du| #13#) (|nu| #13#) (|df1| #13#)
900          (|vk2| (|List| #17=(|Kernel| F))) (#18=#:G651 NIL) (|k| NIL)
901          (#19=#:G650 NIL) (|k1| (|Kernel| F)) (|vk| (|List| #17#))
902          (#20=#:G649 NIL) (#21=#:G648 NIL))
903         (SEQ
904          (EXIT
905           (SEQ
906            (LETT |vk|
907                  (PROGN
908                   (LETT #21# NIL)
909                   (SEQ (LETT |k| NIL)
910                        (LETT #20# (SPADCALL |u| (QREFELT $ 87))) G190
911                        (COND
912                         ((OR (ATOM #20#) (PROGN (LETT |k| (CAR #20#)) NIL))
913                          (GO G191)))
914                        (SEQ
915                         (EXIT
916                          (COND
917                           ((SPADCALL
918                             (SPADCALL (SPADCALL |k| (QREFELT $ 48)) |x|
919                                       (QREFELT $ 31))
920                             (|spadConstant| $ 29) (QREFELT $ 88))
921                            (LETT #21# (CONS |k| #21#))))))
922                        (LETT #20# (CDR #20#)) (GO G190) G191
923                        (EXIT (NREVERSE #21#)))))
924            (EXIT
925             (COND ((NULL |vk|) (|error| "solve_u: constant u"))
926                   (#22='T
927                    (SEQ (LETT |k1| (SPADCALL |vk| (QREFELT $ 89)))
928                         (EXIT
929                          (COND
930                           ((SPADCALL (SPADCALL |f1| |x| (QREFELT $ 31))
931                                      (|spadConstant| $ 29) (QREFELT $ 33))
932                            (CONS 0 (LIST (LIST |f1| (|spadConstant| $ 29)))))
933                           (#22#
934                            (SEQ
935                             (LETT |vk2|
936                                   (PROGN
937                                    (LETT #19# NIL)
938                                    (SEQ (LETT |k| NIL)
939                                         (LETT #18#
940                                               (SPADCALL |f1| (QREFELT $ 87)))
941                                         G190
942                                         (COND
943                                          ((OR (ATOM #18#)
944                                               (PROGN
945                                                (LETT |k| (CAR #18#))
946                                                NIL))
947                                           (GO G191)))
948                                         (SEQ
949                                          (EXIT
950                                           (COND
951                                            ((SPADCALL
952                                              (SPADCALL
953                                               (SPADCALL |k| (QREFELT $ 48))
954                                               |x| (QREFELT $ 31))
955                                              (|spadConstant| $ 29)
956                                              (QREFELT $ 88))
957                                             (LETT #19# (CONS |k| #19#))))))
958                                         (LETT #18# (CDR #18#)) (GO G190) G191
959                                         (EXIT (NREVERSE #19#)))))
960                             (COND
961                              ((NULL (SPADCALL |vk2| |vk| (QREFELT $ 90)))
962                               (COND
963                                ((NULL
964                                  (NULL (SPADCALL |vk| |vk2| (QREFELT $ 90))))
965                                 (EXIT
966                                  (PROGN
967                                   (LETT #4# (CONS 1 #23="failed"))
968                                   (GO #24=#:G646))))))
969                              (#22#
970                               (EXIT
971                                (PROGN (LETT #4# (CONS 1 #23#)) (GO #24#)))))
972                             (LETT |nf1|
973                                   (|INTDEN;MP_to_MPF|
974                                    (SPADCALL |f1| (QREFELT $ 92)) |vk| $))
975                             (LETT |df1|
976                                   (|INTDEN;MP_to_MPF|
977                                    (SPADCALL |f1| (QREFELT $ 93)) |vk| $))
978                             (LETT |nu|
979                                   (|INTDEN;MP_to_MPF|
980                                    (SPADCALL |u| (QREFELT $ 92)) |vk| $))
981                             (LETT |du|
982                                   (|INTDEN;MP_to_MPF|
983                                    (SPADCALL |u| (QREFELT $ 93)) |vk| $))
984                             (LETT |degnf|
985                                   (SPADCALL |nf1| |k1| (QREFELT $ 94)))
986                             (LETT |degdf|
987                                   (SPADCALL |df1| |k1| (QREFELT $ 94)))
988                             (LETT |degnu| (SPADCALL |nu| |k1| (QREFELT $ 94)))
989                             (LETT |degdu| (SPADCALL |du| |k1| (QREFELT $ 94)))
990                             (COND
991                              ((EQL |degdu| 0)
992                               (SEQ
993                                (LETT |qu|
994                                      (SPADCALL |degdf| |degnu|
995                                                (QREFELT $ 95)))
996                                (EXIT
997                                 (COND
998                                  ((QEQCAR |qu| 1)
999                                   (PROGN
1000                                    (LETT #4# (CONS 1 "failed"))
1001                                    (GO #24#)))
1002                                  (#22#
1003                                   (SEQ (LETT |n| (QCDR |qu|))
1004                                        (LETT |qu|
1005                                              (SPADCALL |degnf| |degnu|
1006                                                        (QREFELT $ 95)))
1007                                        (EXIT
1008                                         (COND
1009                                          ((QEQCAR |qu| 1)
1010                                           (PROGN
1011                                            (LETT #4# (CONS 1 "failed"))
1012                                            (GO #24#)))
1013                                          (#22#
1014                                           (LETT |m|
1015                                                 (- (QCDR |qu|) |n|)))))))))))
1016                              ((EQL |degnu| 0)
1017                               (SEQ
1018                                (LETT |qu|
1019                                      (SPADCALL |degdf| |degdu|
1020                                                (QREFELT $ 95)))
1021                                (EXIT
1022                                 (COND
1023                                  ((QEQCAR |qu| 1)
1024                                   (PROGN
1025                                    (LETT #4# (CONS 1 "failed"))
1026                                    (GO #24#)))
1027                                  (#22#
1028                                   (SEQ (LETT |m| (QCDR |qu|))
1029                                        (LETT |qu|
1030                                              (SPADCALL |degnf| |degdu|
1031                                                        (QREFELT $ 95)))
1032                                        (EXIT
1033                                         (COND
1034                                          ((QEQCAR |qu| 1)
1035                                           (PROGN
1036                                            (LETT #4# (CONS 1 "failed"))
1037                                            (GO #24#)))
1038                                          (#22#
1039                                           (LETT |n|
1040                                                 (- (QCDR |qu|) |m|)))))))))))
1041                              (#22#
1042                               (SEQ
1043                                (LETT |m| (|INTDEN;p_power_in_q| |du| |df1| $))
1044                                (LETT |n| (|INTDEN;p_power_in_q| |nu| |df1| $))
1045                                (EXIT
1046                                 (COND
1047                                  ((SPADCALL
1048                                    (+ (* |m| |degdu|) (* |n| |degnu|)) |degdf|
1049                                    (QREFELT $ 58))
1050                                   (PROGN
1051                                    (LETT #4# (CONS 1 "failed"))
1052                                    (GO #24#))))))))
1053                             (LETT |n| (MAX |n| 0)) (LETT |m| (MAX |m| 0))
1054                             (LETT |nup|
1055                                   (COND
1056                                    ((> |n| 0)
1057                                     (SPADCALL |nu|
1058                                               (PROG1 (LETT #15# |n|)
1059                                                 (|check_subtype2| (>= #15# 0)
1060                                                                   '(|NonNegativeInteger|)
1061                                                                   '(|Integer|)
1062                                                                   #15#))
1063                                               (QREFELT $ 96)))
1064                                    (#22# (|spadConstant| $ 77))))
1065                             (LETT |dup|
1066                                   (COND
1067                                    ((> |m| 0)
1068                                     (SPADCALL |du|
1069                                               (PROG1 (LETT #14# |m|)
1070                                                 (|check_subtype2| (>= #14# 0)
1071                                                                   '(|NonNegativeInteger|)
1072                                                                   '(|Integer|)
1073                                                                   #14#))
1074                                               (QREFELT $ 96)))
1075                                    (#22# (|spadConstant| $ 77))))
1076                             (LETT |ccu|
1077                                   (SPADCALL |df1|
1078                                             (SPADCALL |dup| |nup|
1079                                                       (QREFELT $ 97))
1080                                             (QREFELT $ 74)))
1081                             (EXIT
1082                              (COND
1083                               ((QEQCAR |ccu| 1)
1084                                (PROGN (LETT #4# (CONS 1 "failed")) (GO #24#)))
1085                               (#22#
1086                                (SEQ
1087                                 (LETT |ccru|
1088                                       (SPADCALL (QCDR |ccu|) (QREFELT $ 99)))
1089                                 (EXIT
1090                                  (COND
1091                                   ((QEQCAR |ccru| 1)
1092                                    (PROGN
1093                                     (LETT #4# (CONS 1 "failed"))
1094                                     (GO #24#)))
1095                                   (#22#
1096                                    (SEQ (LETT |cc| (QCDR |ccru|))
1097                                         (LETT |nf1|
1098                                               (SPADCALL
1099                                                (SPADCALL (|spadConstant| $ 39)
1100                                                          |cc| (QREFELT $ 65))
1101                                                |nf1| (QREFELT $ 104)))
1102                                         (LETT |coefs|
1103                                               (PROGN
1104                                                (LETT #12# NIL)
1105                                                (SEQ (LETT |j| (- |n|))
1106                                                     (LETT #11# |m|) G190
1107                                                     (COND
1108                                                      ((> |j| #11#) (GO G191)))
1109                                                     (SEQ
1110                                                      (EXIT
1111                                                       (LETT #12#
1112                                                             (CONS
1113                                                              (SPADCALL
1114                                                               (QREFELT $ 105))
1115                                                              #12#))))
1116                                                     (LETT |j| (+ |j| 1))
1117                                                     (GO G190) G191
1118                                                     (EXIT (NREVERSE #12#)))))
1119                                         (LETT |eqs| |nf1|)
1120                                         (LETT |pp| (|spadConstant| $ 77))
1121                                         (LETT |lpow0| (LIST |pp|))
1122                                         (SEQ (LETT |j| (- 1 |n|))
1123                                              (LETT #10# |m|) G190
1124                                              (COND ((> |j| #10#) (GO G191)))
1125                                              (SEQ
1126                                               (LETT |pp|
1127                                                     (SPADCALL |nu| |pp|
1128                                                               (QREFELT $ 97)))
1129                                               (EXIT
1130                                                (LETT |lpow0|
1131                                                      (CONS |pp| |lpow0|))))
1132                                              (LETT |j| (+ |j| 1)) (GO G190)
1133                                              G191 (EXIT NIL))
1134                                         (LETT |lpow|
1135                                               (LIST (|SPADfirst| |lpow0|)))
1136                                         (LETT |pp| (|spadConstant| $ 77))
1137                                         (SEQ (LETT |p1| NIL)
1138                                              (LETT #9# (CDR |lpow0|)) G190
1139                                              (COND
1140                                               ((OR (ATOM #9#)
1141                                                    (PROGN
1142                                                     (LETT |p1| (CAR #9#))
1143                                                     NIL))
1144                                                (GO G191)))
1145                                              (SEQ
1146                                               (LETT |pp|
1147                                                     (SPADCALL |du| |pp|
1148                                                               (QREFELT $ 97)))
1149                                               (EXIT
1150                                                (LETT |lpow|
1151                                                      (CONS
1152                                                       (SPADCALL |pp| |p1|
1153                                                                 (QREFELT $
1154                                                                          97))
1155                                                       |lpow|))))
1156                                              (LETT #9# (CDR #9#)) (GO G190)
1157                                              G191 (EXIT NIL))
1158                                         (SEQ (LETT |coef| NIL)
1159                                              (LETT #7# |coefs|)
1160                                              (LETT |p1| NIL) (LETT #6# |lpow|)
1161                                              G190
1162                                              (COND
1163                                               ((OR (ATOM #6#)
1164                                                    (PROGN
1165                                                     (LETT |p1| (CAR #6#))
1166                                                     NIL)
1167                                                    (ATOM #7#)
1168                                                    (PROGN
1169                                                     (LETT |coef| (CAR #7#))
1170                                                     NIL))
1171                                                (GO G191)))
1172                                              (SEQ
1173                                               (EXIT
1174                                                (LETT |eqs|
1175                                                      (SPADCALL |eqs|
1176                                                                (SPADCALL
1177                                                                 (SPADCALL
1178                                                                  |coef|
1179                                                                  (QREFELT $
1180                                                                           106))
1181                                                                 |p1|
1182                                                                 (QREFELT $
1183                                                                          104))
1184                                                                (QREFELT $
1185                                                                         107)))))
1186                                              (LETT #6#
1187                                                    (PROG1 (CDR #6#)
1188                                                      (LETT #7# (CDR #7#))))
1189                                              (GO G190) G191 (EXIT NIL))
1190                                         (LETT |eqsl|
1191                                               (SPADCALL |eqs|
1192                                                         (QREFELT $ 108)))
1193                                         (LETT |sl0|
1194                                               (SPADCALL |eqsl| |coefs|
1195                                                         (QREFELT $ 112)))
1196                                         (EXIT
1197                                          (COND
1198                                           ((QEQCAR |sl0| 1) (CONS 1 "failed"))
1199                                           (#22#
1200                                            (SEQ (LETT |sl| (QCDR |sl0|))
1201                                                 (SEQ (LETT |c| NIL)
1202                                                      (LETT #5# |sl|) G190
1203                                                      (COND
1204                                                       ((OR (ATOM #5#)
1205                                                            (PROGN
1206                                                             (LETT |c|
1207                                                                   (CAR #5#))
1208                                                             NIL))
1209                                                        (GO G191)))
1210                                                      (SEQ
1211                                                       (EXIT
1212                                                        (COND
1213                                                         ((SPADCALL
1214                                                           (SPADCALL |c| |x|
1215                                                                     (QREFELT $
1216                                                                              31))
1217                                                           (|spadConstant| $
1218                                                                           29)
1219                                                           (QREFELT $ 88))
1220                                                          (PROGN
1221                                                           (LETT #4#
1222                                                                 (CONS 1
1223                                                                       "failed"))
1224                                                           (GO #24#))))))
1225                                                      (LETT #5# (CDR #5#))
1226                                                      (GO G190) G191
1227                                                      (EXIT NIL))
1228                                                 (EXIT
1229                                                  (CONS 0
1230                                                        (PROGN
1231                                                         (LETT #3# NIL)
1232                                                         (SEQ
1233                                                          (LETT |j| (- |n|))
1234                                                          (LETT #2# |m|)
1235                                                          (LETT |c| NIL)
1236                                                          (LETT #1# |sl|) G190
1237                                                          (COND
1238                                                           ((OR (ATOM #1#)
1239                                                                (PROGN
1240                                                                 (LETT |c|
1241                                                                       (CAR
1242                                                                        #1#))
1243                                                                 NIL)
1244                                                                (> |j| #2#))
1245                                                            (GO G191)))
1246                                                          (SEQ
1247                                                           (EXIT
1248                                                            (COND
1249                                                             ((SPADCALL |c|
1250                                                                        (|spadConstant|
1251                                                                         $ 29)
1252                                                                        (QREFELT
1253                                                                         $ 88))
1254                                                              (LETT #3#
1255                                                                    (CONS
1256                                                                     (LIST |c|
1257                                                                           (SPADCALL
1258                                                                            |j|
1259                                                                            (QREFELT
1260                                                                             $
1261                                                                             37)))
1262                                                                     #3#))))))
1263                                                          (LETT #1#
1264                                                                (PROG1
1265                                                                    (CDR #1#)
1266                                                                  (LETT |j|
1267                                                                        (+ |j|
1268                                                                           1))))
1269                                                          (GO G190) G191
1270                                                          (EXIT
1271                                                           (NREVERSE
1272                                                            #3#))))))))))))))))))))))))))))
1273          #24# (EXIT #4#))))
1274
1275(SDEFUN |INTDEN;li_int1|
1276        ((|f| F) (|u| F) (|x| |Symbol|)
1277         ($ |Union| (|List| (|List| F)) "failed"))
1278        (SPROG ((|deru| (F)))
1279               (SEQ (LETT |deru| (SPADCALL |u| |x| (QREFELT $ 31)))
1280                    (EXIT
1281                     (COND
1282                      ((SPADCALL |deru| (|spadConstant| $ 29) (QREFELT $ 33))
1283                       (|error| "li_int1: constant log"))
1284                      ('T
1285                       (SPADCALL (SPADCALL |f| |deru| (QREFELT $ 65)) |u| |x|
1286                                 (QREFELT $ 114))))))))
1287
1288(SDEFUN |INTDEN;mk_li| ((|c| F) (|j| |Integer|) (|u| F) (|s| F) ($ F))
1289        (SPROG ((|es| (F)))
1290               (SEQ
1291                (COND
1292                 ((EQL |j| -1)
1293                  (SPADCALL |c|
1294                            (SPADCALL
1295                             (SPADCALL (SPADCALL |u| (QREFELT $ 115)) |s|
1296                                       (QREFELT $ 62))
1297                             (QREFELT $ 115))
1298                            (QREFELT $ 41)))
1299                 ('T
1300                  (SEQ (LETT |es| (SPADCALL |s| (QREFELT $ 116)))
1301                       (EXIT
1302                        (SPADCALL
1303                         (SPADCALL |c|
1304                                   (SPADCALL
1305                                    (SPADCALL
1306                                     (SPADCALL |u| |es| (QREFELT $ 41))
1307                                     (+ |j| 1) (QREFELT $ 59))
1308                                    (QREFELT $ 117))
1309                                   (QREFELT $ 41))
1310                         (SPADCALL |es| (+ |j| 1) (QREFELT $ 59))
1311                         (QREFELT $ 65)))))))))
1312
1313(SDEFUN |INTDEN;UP2UPR|
1314        ((|p| |SparseUnivariatePolynomial| F)
1315         ($ |SparseUnivariatePolynomial|
1316          (|Fraction| (|SparseUnivariatePolynomial| F))))
1317        (SPADCALL (CONS #'|INTDEN;UP2UPR!0| $) |p| (QREFELT $ 123)))
1318
1319(SDEFUN |INTDEN;UP2UPR!0| ((|x1| NIL) ($ NIL))
1320        (SPADCALL (SPADCALL |x1| (QREFELT $ 43)) (QREFELT $ 119)))
1321
1322(SDEFUN |INTDEN;li_int3|
1323        ((|f| F) (|rf| |Fraction| (|SparseUnivariatePolynomial| F))
1324         (|k| |Kernel| F) (|lk| |List| (|Kernel| F)) (|x| |Symbol|)
1325         ($ |Union|
1326          (|Record|
1327           (|:| |answer| (|Fraction| (|SparseUnivariatePolynomial| F)))
1328           (|:| |logpart| (|Fraction| (|SparseUnivariatePolynomial| F)))
1329           (|:| |ir|
1330                (|IntegrationResult|
1331                 (|Fraction| (|SparseUnivariatePolynomial| F)))))
1332          "failed"))
1333        (SPROG
1334         ((|res| (F)) (#1=#:G707 NIL) (|zz| NIL) (|lle| (F))
1335          (|logs|
1336           (|List|
1337            (|Record| (|:| |scalar| (|Fraction| (|Integer|)))
1338                      (|:| |coeff|
1339                           (|SparseUnivariatePolynomial|
1340                            (|Fraction| (|SparseUnivariatePolynomial| F))))
1341                      (|:| |logand|
1342                           (|SparseUnivariatePolynomial|
1343                            (|Fraction| (|SparseUnivariatePolynomial| F)))))))
1344          (#2=#:G706 NIL) (|e| NIL) (|zzl| (|List| F)) (|rf1k| (|Kernel| F))
1345          (|elpart| (|Fraction| (|SparseUnivariatePolynomial| F)))
1346          (|lli| (|List| (|List| F))) (#3=#:G701 NIL)
1347          (|liu| (|Union| (|List| (|List| F)) "failed")) (|tf| (F))
1348          (|c_shift| (F)) (|ddf| (F)) (|rf1| (F)) (|rfc| (F))
1349          (|deg1| (|NonNegativeInteger|)) (|u1| (F))
1350          (|cfac| (|SparseUnivariatePolynomial| F))
1351          (|liden| #4=(|SparseUnivariatePolynomial| F)) (#5=#:G704 NIL)
1352          (|ldr| NIL) (#6=#:G705 NIL) (|linum| NIL) (|u0| (F))
1353          (|dummy| (|SingletonAsOrderedSet|))
1354          (|linums| (|List| (|SparseUnivariatePolynomial| F)))
1355          (|dn| (|List| (|SparseUnivariatePolynomial| F)))
1356          (|elden| (|Union| (|SparseUnivariatePolynomial| F) "failed"))
1357          (|lidens| (|List| #4#)) (#7=#:G703 NIL) (#8=#:G702 NIL)
1358          (|ldrs|
1359           (|List|
1360            (|Record| (|:| |factor| (|SparseUnivariatePolynomial| F))
1361                      (|:| |cfactor| (|SparseUnivariatePolynomial| F))
1362                      (|:| |ufun| F) (|:| |vfun| F) (|:| |den| (|Integer|))))))
1363         (SEQ
1364          (EXIT
1365           (SEQ
1366            (LETT |ldrs|
1367                  (|INTDEN;li_factors| (SPADCALL |rf| (QREFELT $ 124)) |k| |lk|
1368                   |x| $))
1369            (LETT |lidens|
1370                  (PROGN
1371                   (LETT #8# NIL)
1372                   (SEQ (LETT |ldr| NIL) (LETT #7# |ldrs|) G190
1373                        (COND
1374                         ((OR (ATOM #7#) (PROGN (LETT |ldr| (CAR #7#)) NIL))
1375                          (GO G191)))
1376                        (SEQ (EXIT (LETT #8# (CONS (QVELT |ldr| 0) #8#))))
1377                        (LETT #7# (CDR #7#)) (GO G190) G191
1378                        (EXIT (NREVERSE #8#)))))
1379            (EXIT
1380             (COND ((NULL |lidens|) (CONS 1 "failed"))
1381                   (#9='T
1382                    (SEQ
1383                     (LETT |elden|
1384                           (SPADCALL (SPADCALL |rf| (QREFELT $ 124))
1385                                     (SPADCALL (ELT $ 125) |lidens|
1386                                               (QREFELT $ 127))
1387                                     (QREFELT $ 128)))
1388                     (EXIT
1389                      (COND ((QEQCAR |elden| 1) (|error| "Impossible 2"))
1390                            (#9#
1391                             (SEQ
1392                              (LETT |dn|
1393                                    (|INTDEN;decompose1|
1394                                     (SPADCALL |rf| (QREFELT $ 129))
1395                                     (QCDR |elden|) |lidens| $))
1396                              (LETT |elpart|
1397                                    (SPADCALL (|SPADfirst| |dn|) (QCDR |elden|)
1398                                              (QREFELT $ 130)))
1399                              (LETT |linums| (CDR |dn|))
1400                              (LETT |dummy| (SPADCALL (QREFELT $ 17)))
1401                              (LETT |u0|
1402                                    (SPADCALL (SPADCALL |k| (QREFELT $ 20)) 1
1403                                              (QREFELT $ 22)))
1404                              (LETT |res| (|spadConstant| $ 29))
1405                              (LETT |logs| NIL)
1406                              (SEQ (LETT |linum| NIL) (LETT #6# |linums|)
1407                                   (LETT |ldr| NIL) (LETT #5# |ldrs|) G190
1408                                   (COND
1409                                    ((OR (ATOM #5#)
1410                                         (PROGN (LETT |ldr| (CAR #5#)) NIL)
1411                                         (ATOM #6#)
1412                                         (PROGN (LETT |linum| (CAR #6#)) NIL))
1413                                     (GO G191)))
1414                                   (SEQ (LETT |liden| (QVELT |ldr| 0))
1415                                        (LETT |cfac| (QVELT |ldr| 1))
1416                                        (LETT |u1| (QVELT |ldr| 2))
1417                                        (SEQ
1418                                         (LETT |deg1|
1419                                               (SPADCALL |liden|
1420                                                         (QREFELT $ 27)))
1421                                         (EXIT
1422                                          (COND
1423                                           ((> |deg1| 1)
1424                                            (SEQ
1425                                             (LETT |rfc|
1426                                                   (SPADCALL |cfac|
1427                                                             (QREFELT $ 132)))
1428                                             (LETT |c_shift|
1429                                                   (SPADCALL |rfc|
1430                                                             (QREFELT $ 133)))
1431                                             (LETT |rf1|
1432                                                   (SPADCALL |rfc|
1433                                                             (QVELT |ldr| 3)
1434                                                             (QREFELT $ 134)))
1435                                             (LETT |ddf|
1436                                                   (SPADCALL
1437                                                    (SPADCALL
1438                                                     (SPADCALL |liden|
1439                                                               (QREFELT $ 135))
1440                                                     |dummy| |rf1|
1441                                                     (QREFELT $ 136))
1442                                                    (QREFELT $ 137)))
1443                                             (EXIT
1444                                              (LETT |tf|
1445                                                    (SPADCALL
1446                                                     (SPADCALL
1447                                                      (SPADCALL |linum| |dummy|
1448                                                                |rf1|
1449                                                                (QREFELT $
1450                                                                         136))
1451                                                      (QREFELT $ 137))
1452                                                     |ddf| (QREFELT $ 65))))))
1453                                           ('T
1454                                            (SEQ
1455                                             (LETT |c_shift|
1456                                                   (SPADCALL |cfac| 0
1457                                                             (QREFELT $ 40)))
1458                                             (EXIT
1459                                              (LETT |tf|
1460                                                    (SPADCALL |linum|
1461                                                              (QREFELT $
1462                                                                       137)))))))))
1463                                        (LETT |liu|
1464                                              (|INTDEN;li_int1| |tf| |u1| |x|
1465                                               $))
1466                                        (EXIT
1467                                         (COND
1468                                          ((QEQCAR |liu| 1)
1469                                           (PROGN
1470                                            (LETT #3# (CONS 1 "failed"))
1471                                            (GO #10=#:G700)))
1472                                          ('T
1473                                           (SEQ (LETT |lli| (QCDR |liu|))
1474                                                (COND
1475                                                 ((EQL (LENGTH |lli|) 1)
1476                                                  (COND
1477                                                   ((SPADCALL
1478                                                     (SPADCALL
1479                                                      (SPADCALL |lli| 1
1480                                                                (QREFELT $
1481                                                                         139))
1482                                                      2 (QREFELT $ 22))
1483                                                     (SPADCALL
1484                                                      (|spadConstant| $ 39)
1485                                                      (QREFELT $ 133))
1486                                                     (QREFELT $ 33))
1487                                                    (EXIT
1488                                                     (COND
1489                                                      ((EQL |deg1| 1)
1490                                                       (LETT |logs|
1491                                                             (CONS
1492                                                              (VECTOR
1493                                                               (|spadConstant|
1494                                                                $ 102)
1495                                                               (SPADCALL
1496                                                                (SPADCALL
1497                                                                 (|spadConstant|
1498                                                                  $ 140)
1499                                                                 1
1500                                                                 (QREFELT $
1501                                                                          141))
1502                                                                (SPADCALL
1503                                                                 (SPADCALL
1504                                                                  (SPADCALL
1505                                                                   (SPADCALL
1506                                                                    (SPADCALL
1507                                                                     |lli| 1
1508                                                                     (QREFELT $
1509                                                                              139))
1510                                                                    1
1511                                                                    (QREFELT $
1512                                                                             22))
1513                                                                   (QREFELT $
1514                                                                            43))
1515                                                                  (QREFELT $
1516                                                                           119))
1517                                                                 (QREFELT $
1518                                                                          142))
1519                                                                (QREFELT $
1520                                                                         143))
1521                                                               (SPADCALL
1522                                                                (SPADCALL
1523                                                                 |liden|
1524                                                                 (QREFELT $
1525                                                                          119))
1526                                                                (QREFELT $
1527                                                                         142)))
1528                                                              |logs|)))
1529                                                      ('T
1530                                                       (LETT |elpart|
1531                                                             (SPADCALL |elpart|
1532                                                                       (SPADCALL
1533                                                                        |linum|
1534                                                                        |liden|
1535                                                                        (QREFELT
1536                                                                         $
1537                                                                         130))
1538                                                                       (QREFELT
1539                                                                        $
1540                                                                        144))))))))))
1541                                                (COND
1542                                                 ((> |deg1| 1)
1543                                                  (SEQ
1544                                                   (LETT |rf1k|
1545                                                         (SPADCALL |rfc|
1546                                                                   (QREFELT $
1547                                                                            145)))
1548                                                   (EXIT
1549                                                    (LETT |zzl|
1550                                                          (SPADCALL |cfac|
1551                                                                    (QREFELT $
1552                                                                             147)))))))
1553                                                (EXIT
1554                                                 (SEQ (LETT |e| NIL)
1555                                                      (LETT #2# |lli|) G190
1556                                                      (COND
1557                                                       ((OR (ATOM #2#)
1558                                                            (PROGN
1559                                                             (LETT |e|
1560                                                                   (CAR #2#))
1561                                                             NIL))
1562                                                        (GO G191)))
1563                                                      (SEQ
1564                                                       (COND
1565                                                        ((SPADCALL
1566                                                          (SPADCALL |e| 2
1567                                                                    (QREFELT $
1568                                                                             22))
1569                                                          (SPADCALL
1570                                                           (|spadConstant| $
1571                                                                           39)
1572                                                           (QREFELT $ 133))
1573                                                          (QREFELT $ 33))
1574                                                         (COND
1575                                                          ((EQL |deg1| 1)
1576                                                           (EXIT
1577                                                            (LETT |logs|
1578                                                                  (CONS
1579                                                                   (VECTOR
1580                                                                    (|spadConstant|
1581                                                                     $ 102)
1582                                                                    (SPADCALL
1583                                                                     (SPADCALL
1584                                                                      (|spadConstant|
1585                                                                       $ 140)
1586                                                                      1
1587                                                                      (QREFELT
1588                                                                       $ 141))
1589                                                                     (SPADCALL
1590                                                                      (SPADCALL
1591                                                                       (SPADCALL
1592                                                                        (SPADCALL
1593                                                                         |e| 1
1594                                                                         (QREFELT
1595                                                                          $
1596                                                                          22))
1597                                                                        (QREFELT
1598                                                                         $ 43))
1599                                                                       (QREFELT
1600                                                                        $ 119))
1601                                                                      (QREFELT
1602                                                                       $ 142))
1603                                                                     (QREFELT $
1604                                                                              143))
1605                                                                    (SPADCALL
1606                                                                     (SPADCALL
1607                                                                      |liden|
1608                                                                      (QREFELT
1609                                                                       $ 119))
1610                                                                     (QREFELT $
1611                                                                              142)))
1612                                                                   |logs|)))))))
1613                                                       (LETT |lle|
1614                                                             (|INTDEN;mk_li|
1615                                                              (SPADCALL |e| 1
1616                                                                        (QREFELT
1617                                                                         $ 22))
1618                                                              (SPADCALL
1619                                                               (SPADCALL |e| 2
1620                                                                         (QREFELT
1621                                                                          $
1622                                                                          22))
1623                                                               (QREFELT $ 148))
1624                                                              |u1| |c_shift|
1625                                                              $))
1626                                                       (EXIT
1627                                                        (COND
1628                                                         ((> |deg1| 1)
1629                                                          (SEQ (LETT |zz| NIL)
1630                                                               (LETT #1# |zzl|)
1631                                                               G190
1632                                                               (COND
1633                                                                ((OR (ATOM #1#)
1634                                                                     (PROGN
1635                                                                      (LETT
1636                                                                       |zz|
1637                                                                       (CAR
1638                                                                        #1#))
1639                                                                      NIL))
1640                                                                 (GO G191)))
1641                                                               (SEQ
1642                                                                (EXIT
1643                                                                 (LETT |res|
1644                                                                       (SPADCALL
1645                                                                        |res|
1646                                                                        (SPADCALL
1647                                                                         |lle|
1648                                                                         |rf1k|
1649                                                                         |zz|
1650                                                                         (QREFELT
1651                                                                          $
1652                                                                          149))
1653                                                                        (QREFELT
1654                                                                         $
1655                                                                         62)))))
1656                                                               (LETT #1#
1657                                                                     (CDR #1#))
1658                                                               (GO G190) G191
1659                                                               (EXIT NIL)))
1660                                                         ('T
1661                                                          (LETT |res|
1662                                                                (SPADCALL |res|
1663                                                                          |lle|
1664                                                                          (QREFELT
1665                                                                           $
1666                                                                           62)))))))
1667                                                      (LETT #2# (CDR #2#))
1668                                                      (GO G190) G191
1669                                                      (EXIT NIL))))))))
1670                                   (LETT #5#
1671                                         (PROG1 (CDR #5#)
1672                                           (LETT #6# (CDR #6#))))
1673                                   (GO G190) G191 (EXIT NIL))
1674                              (EXIT
1675                               (CONS 0
1676                                     (VECTOR
1677                                      (SPADCALL (SPADCALL |res| (QREFELT $ 43))
1678                                                (QREFELT $ 119))
1679                                      |elpart|
1680                                      (SPADCALL (|spadConstant| $ 150) |logs|
1681                                                NIL
1682                                                (QREFELT $ 156)))))))))))))))
1683          #10# (EXIT #3#))))
1684
1685(SDEFUN |INTDEN;mk_poly| ((|c| F) (|j| |Integer|) (|u| F) (|s| F) ($ F))
1686        (SPROG
1687         ((|ifac| (F)) (|res| (F)) (|i1| (|Integer|)) (#1=#:G712 NIL) (|i| NIL)
1688          (|j1| (|Integer|)) (|eu| (F)))
1689         (SEQ
1690          (COND
1691           ((EQL |j| 0)
1692            (SPADCALL |c|
1693                      (SPADCALL |u|
1694                                (SPADCALL
1695                                 (SPADCALL (SPADCALL |u| (QREFELT $ 116))
1696                                           (SPADCALL (|spadConstant| $ 39) |s|
1697                                                     (QREFELT $ 65))
1698                                           (QREFELT $ 62))
1699                                 (QREFELT $ 115))
1700                                (QREFELT $ 134))
1701                      (QREFELT $ 41)))
1702           ('T
1703            (SEQ
1704             (LETT |eu|
1705                   (SPADCALL |s| (SPADCALL |u| (QREFELT $ 116))
1706                             (QREFELT $ 41)))
1707             (LETT |j1| (+ |j| 1))
1708             (LETT |res|
1709                   (SPADCALL (SPADCALL |u| |j1| (QREFELT $ 59))
1710                             (SPADCALL (SPADCALL |j1| (QREFELT $ 63))
1711                                       (QREFELT $ 64))
1712                             (QREFELT $ 65)))
1713             (LETT |res|
1714                   (SPADCALL |res|
1715                             (SPADCALL (SPADCALL |u| |j| (QREFELT $ 59))
1716                                       (SPADCALL
1717                                        (SPADCALL |eu| (|spadConstant| $ 39)
1718                                                  (QREFELT $ 62))
1719                                        (QREFELT $ 115))
1720                                       (QREFELT $ 41))
1721                             (QREFELT $ 134)))
1722             (LETT |ifac|
1723                   (SPADCALL
1724                    (SPADCALL (SPADCALL |j| (QREFELT $ 63)) (QREFELT $ 64))
1725                    (QREFELT $ 133)))
1726             (SEQ (LETT |i| 1) (LETT #1# |j|) G190
1727                  (COND ((|greater_SI| |i| #1#) (GO G191)))
1728                  (SEQ (LETT |i1| (- |j| |i|))
1729                       (LETT |res|
1730                             (SPADCALL |res|
1731                                       (SPADCALL
1732                                        (SPADCALL |ifac|
1733                                                  (SPADCALL |u| |i1|
1734                                                            (QREFELT $ 59))
1735                                                  (QREFELT $ 41))
1736                                        (SPADCALL
1737                                         (SPADCALL
1738                                          (SPADCALL (+ |i| 1) (QREFELT $ 63))
1739                                          (QREFELT $ 64))
1740                                         (SPADCALL |eu| (QREFELT $ 133))
1741                                         (QREFELT $ 157))
1742                                        (QREFELT $ 41))
1743                                       (QREFELT $ 62)))
1744                       (EXIT
1745                        (LETT |ifac|
1746                              (SPADCALL
1747                               (SPADCALL
1748                                (SPADCALL (SPADCALL |i1| (QREFELT $ 63))
1749                                          (QREFELT $ 64))
1750                                |ifac| (QREFELT $ 41))
1751                               (QREFELT $ 133)))))
1752                  (LETT |i| (|inc_SI| |i|)) (GO G190) G191 (EXIT NIL))
1753             (EXIT (SPADCALL |c| |res| (QREFELT $ 41)))))))))
1754
1755(SDEFUN |INTDEN;poly_int3|
1756        ((|f| F) (|rf| |Fraction| (|SparseUnivariatePolynomial| F))
1757         (|k| |Kernel| F) (|lk| |List| (|Kernel| F)) (|x| |Symbol|)
1758         ($ |Union|
1759          (|Record|
1760           (|:| |answer| (|Fraction| (|SparseUnivariatePolynomial| F)))
1761           (|:| |logpart| (|Fraction| (|SparseUnivariatePolynomial| F)))
1762           (|:| |ir|
1763                (|IntegrationResult|
1764                 (|Fraction| (|SparseUnivariatePolynomial| F)))))
1765          "failed"))
1766        (SPROG
1767         ((|res| (F)) (#1=#:G748 NIL) (|zz| NIL) (|lle| (F)) (#2=#:G740 NIL)
1768          (|ii| (|Integer|)) (#3=#:G747 NIL) (|e| NIL) (|zzl| (|List| F))
1769          (|rf1k| (|Kernel| F))
1770          (|elpart| (|Fraction| (|SparseUnivariatePolynomial| F)))
1771          (|lpoly| (|List| (|List| F)))
1772          (|polyu| (|Union| (|List| (|List| F)) "failed")) (|tf| (F))
1773          (|c_shift| (F)) (|ddf| (F)) (|rf1| (F)) (|rfc| (F))
1774          (|deg1| (|NonNegativeInteger|))
1775          (|polynum| #4=(|SparseUnivariatePolynomial| F)) (|v1| (F))
1776          (|cfac| (|SparseUnivariatePolynomial| F))
1777          (|polyden| #5=(|SparseUnivariatePolynomial| F)) (#6=#:G745 NIL)
1778          (|ldr| NIL) (#7=#:G746 NIL) (|polynum1| NIL)
1779          (|logs|
1780           (|List|
1781            (|Record| (|:| |scalar| (|Fraction| (|Integer|)))
1782                      (|:| |coeff|
1783                           (|SparseUnivariatePolynomial|
1784                            (|Fraction| (|SparseUnivariatePolynomial| F))))
1785                      (|:| |logand|
1786                           (|SparseUnivariatePolynomial|
1787                            (|Fraction| (|SparseUnivariatePolynomial| F)))))))
1788          (|u0| (F)) (|dummy| (|SingletonAsOrderedSet|))
1789          (|polynums1| (|List| (|SparseUnivariatePolynomial| F)))
1790          (|dn| (|List| (|SparseUnivariatePolynomial| F)))
1791          (|elden| (|Union| (|SparseUnivariatePolynomial| F) "failed"))
1792          (|polydens1| (|List| #4#)) (#8=#:G744 NIL) (|p| NIL) (#9=#:G743 NIL)
1793          (|polydens| (|List| #5#)) (#10=#:G742 NIL) (#11=#:G741 NIL)
1794          (|ldrs|
1795           (|List|
1796            (|Record| (|:| |factor| (|SparseUnivariatePolynomial| F))
1797                      (|:| |cfactor| (|SparseUnivariatePolynomial| F))
1798                      (|:| |ufun| F) (|:| |vfun| F) (|:| |den| (|Integer|))))))
1799         (SEQ
1800          (EXIT
1801           (SEQ
1802            (LETT |ldrs|
1803                  (|INTDEN;poly_factors| (SPADCALL |rf| (QREFELT $ 124)) |k|
1804                   |lk| |x| $))
1805            (LETT |polydens|
1806                  (PROGN
1807                   (LETT #11# NIL)
1808                   (SEQ (LETT |ldr| NIL) (LETT #10# |ldrs|) G190
1809                        (COND
1810                         ((OR (ATOM #10#) (PROGN (LETT |ldr| (CAR #10#)) NIL))
1811                          (GO G191)))
1812                        (SEQ (EXIT (LETT #11# (CONS (QVELT |ldr| 0) #11#))))
1813                        (LETT #10# (CDR #10#)) (GO G190) G191
1814                        (EXIT (NREVERSE #11#)))))
1815            (EXIT
1816             (COND ((NULL |polydens|) (CONS 1 "failed"))
1817                   (#12='T
1818                    (SEQ
1819                     (LETT |polydens1|
1820                           (PROGN
1821                            (LETT #9# NIL)
1822                            (SEQ (LETT |p| NIL) (LETT #8# |polydens|) G190
1823                                 (COND
1824                                  ((OR (ATOM #8#)
1825                                       (PROGN (LETT |p| (CAR #8#)) NIL))
1826                                   (GO G191)))
1827                                 (SEQ
1828                                  (EXIT
1829                                   (LETT #9#
1830                                         (CONS
1831                                          (SPADCALL
1832                                           (SPADCALL
1833                                            (SPADCALL |p| (QREFELT $ 23))
1834                                            (QREFELT $ 24))
1835                                           |p| (QREFELT $ 25))
1836                                          #9#))))
1837                                 (LETT #8# (CDR #8#)) (GO G190) G191
1838                                 (EXIT (NREVERSE #9#)))))
1839                     (LETT |elden|
1840                           (SPADCALL (SPADCALL |rf| (QREFELT $ 124))
1841                                     (SPADCALL (ELT $ 125) |polydens1|
1842                                               (QREFELT $ 127))
1843                                     (QREFELT $ 128)))
1844                     (EXIT
1845                      (COND ((QEQCAR |elden| 1) (|error| "Impossible 4"))
1846                            (#12#
1847                             (SEQ
1848                              (LETT |dn|
1849                                    (|INTDEN;decompose1|
1850                                     (SPADCALL |rf| (QREFELT $ 129))
1851                                     (QCDR |elden|) |polydens1| $))
1852                              (LETT |elpart|
1853                                    (SPADCALL (|SPADfirst| |dn|) (QCDR |elden|)
1854                                              (QREFELT $ 130)))
1855                              (LETT |polynums1| (CDR |dn|))
1856                              (LETT |dummy| (SPADCALL (QREFELT $ 17)))
1857                              (LETT |u0|
1858                                    (SPADCALL (SPADCALL |k| (QREFELT $ 20)) 1
1859                                              (QREFELT $ 22)))
1860                              (LETT |res| (|spadConstant| $ 29))
1861                              (LETT |logs| NIL)
1862                              (SEQ (LETT |polynum1| NIL) (LETT #7# |polynums1|)
1863                                   (LETT |ldr| NIL) (LETT #6# |ldrs|) G190
1864                                   (COND
1865                                    ((OR (ATOM #6#)
1866                                         (PROGN (LETT |ldr| (CAR #6#)) NIL)
1867                                         (ATOM #7#)
1868                                         (PROGN
1869                                          (LETT |polynum1| (CAR #7#))
1870                                          NIL))
1871                                     (GO G191)))
1872                                   (SEQ (LETT |polyden| (QVELT |ldr| 0))
1873                                        (LETT |cfac| (QVELT |ldr| 1))
1874                                        (LETT |v1| (QVELT |ldr| 3))
1875                                        (LETT |polynum|
1876                                              (SPADCALL
1877                                               (SPADCALL |polyden|
1878                                                         (QREFELT $ 23))
1879                                               |polynum1| (QREFELT $ 25)))
1880                                        (SEQ
1881                                         (LETT |deg1|
1882                                               (SPADCALL |polyden|
1883                                                         (QREFELT $ 27)))
1884                                         (EXIT
1885                                          (COND
1886                                           ((> |deg1| 1)
1887                                            (SEQ
1888                                             (LETT |rfc|
1889                                                   (SPADCALL |cfac|
1890                                                             (QREFELT $ 132)))
1891                                             (LETT |rf1|
1892                                                   (SPADCALL |rfc|
1893                                                             (QVELT |ldr| 2)
1894                                                             (QREFELT $ 65)))
1895                                             (LETT |c_shift|
1896                                                   (SPADCALL
1897                                                    (SPADCALL
1898                                                     (|spadConstant| $ 39)
1899                                                     |rfc| (QREFELT $ 65))
1900                                                    (QREFELT $ 133)))
1901                                             (LETT |ddf|
1902                                                   (SPADCALL
1903                                                    (SPADCALL
1904                                                     (SPADCALL |cfac|
1905                                                               (QREFELT $ 135))
1906                                                     |dummy| |rfc|
1907                                                     (QREFELT $ 136))
1908                                                    (QREFELT $ 137)))
1909                                             (EXIT
1910                                              (LETT |tf|
1911                                                    (SPADCALL
1912                                                     (SPADCALL
1913                                                      (SPADCALL
1914                                                       (SPADCALL |polynum|
1915                                                                 |dummy| |rf1|
1916                                                                 (QREFELT $
1917                                                                          136))
1918                                                       (QREFELT $ 137))
1919                                                      (SPADCALL |rfc| |ddf|
1920                                                                (QREFELT $ 41))
1921                                                      (QREFELT $ 65))
1922                                                     (QREFELT $ 133))))))
1923                                           ('T
1924                                            (SEQ
1925                                             (LETT |c_shift|
1926                                                   (SPADCALL |cfac| 1
1927                                                             (QREFELT $ 40)))
1928                                             (EXIT
1929                                              (LETT |tf|
1930                                                    (SPADCALL |polynum|
1931                                                              (QREFELT $
1932                                                                       137)))))))))
1933                                        (LETT |polyu|
1934                                              (|INTDEN;li_int1| |tf| |v1| |x|
1935                                               $))
1936                                        (EXIT
1937                                         (COND
1938                                          ((QEQCAR |polyu| 1)
1939                                           (PROGN
1940                                            (LETT #2# (CONS 1 "failed"))
1941                                            (GO #13=#:G739)))
1942                                          ('T
1943                                           (SEQ (LETT |lpoly| (QCDR |polyu|))
1944                                                (COND
1945                                                 ((EQL (LENGTH |lpoly|) 1)
1946                                                  (COND
1947                                                   ((SPADCALL
1948                                                     (SPADCALL
1949                                                      (SPADCALL |lpoly| 1
1950                                                                (QREFELT $
1951                                                                         139))
1952                                                      2 (QREFELT $ 22))
1953                                                     (|spadConstant| $ 29)
1954                                                     (QREFELT $ 33))
1955                                                    (EXIT
1956                                                     (LETT |elpart|
1957                                                           (SPADCALL |elpart|
1958                                                                     (SPADCALL
1959                                                                      |polynum|
1960                                                                      |polyden|
1961                                                                      (QREFELT
1962                                                                       $ 130))
1963                                                                     (QREFELT $
1964                                                                              144))))))))
1965                                                (COND
1966                                                 ((> |deg1| 1)
1967                                                  (SEQ
1968                                                   (LETT |rf1k|
1969                                                         (SPADCALL |rfc|
1970                                                                   (QREFELT $
1971                                                                            145)))
1972                                                   (EXIT
1973                                                    (LETT |zzl|
1974                                                          (SPADCALL |cfac|
1975                                                                    (QREFELT $
1976                                                                             147)))))))
1977                                                (EXIT
1978                                                 (SEQ (LETT |e| NIL)
1979                                                      (LETT #3# |lpoly|) G190
1980                                                      (COND
1981                                                       ((OR (ATOM #3#)
1982                                                            (PROGN
1983                                                             (LETT |e|
1984                                                                   (CAR #3#))
1985                                                             NIL))
1986                                                        (GO G191)))
1987                                                      (SEQ
1988                                                       (LETT |ii|
1989                                                             (SPADCALL
1990                                                              (SPADCALL |e| 2
1991                                                                        (QREFELT
1992                                                                         $ 22))
1993                                                              (QREFELT $ 148)))
1994                                                       (EXIT
1995                                                        (COND
1996                                                         ((< |ii| 0)
1997                                                          (PROGN
1998                                                           (LETT #2#
1999                                                                 (CONS 1
2000                                                                       "failed"))
2001                                                           (GO #13#)))
2002                                                         ((SPADCALL
2003                                                           (SPADCALL |e| 1
2004                                                                     (QREFELT $
2005                                                                              22))
2006                                                           (|spadConstant| $
2007                                                                           29)
2008                                                           (QREFELT $ 33))
2009                                                          "iterate")
2010                                                         ('T
2011                                                          (SEQ
2012                                                           (LETT |lle|
2013                                                                 (|INTDEN;mk_poly|
2014                                                                  (SPADCALL |e|
2015                                                                            1
2016                                                                            (QREFELT
2017                                                                             $
2018                                                                             22))
2019                                                                  |ii| |v1|
2020                                                                  |c_shift| $))
2021                                                           (EXIT
2022                                                            (COND
2023                                                             ((> |deg1| 1)
2024                                                              (SEQ
2025                                                               (LETT |zz| NIL)
2026                                                               (LETT #1# |zzl|)
2027                                                               G190
2028                                                               (COND
2029                                                                ((OR (ATOM #1#)
2030                                                                     (PROGN
2031                                                                      (LETT
2032                                                                       |zz|
2033                                                                       (CAR
2034                                                                        #1#))
2035                                                                      NIL))
2036                                                                 (GO G191)))
2037                                                               (SEQ
2038                                                                (EXIT
2039                                                                 (LETT |res|
2040                                                                       (SPADCALL
2041                                                                        |res|
2042                                                                        (SPADCALL
2043                                                                         |lle|
2044                                                                         |rf1k|
2045                                                                         |zz|
2046                                                                         (QREFELT
2047                                                                          $
2048                                                                          149))
2049                                                                        (QREFELT
2050                                                                         $
2051                                                                         62)))))
2052                                                               (LETT #1#
2053                                                                     (CDR #1#))
2054                                                               (GO G190) G191
2055                                                               (EXIT NIL)))
2056                                                             ('T
2057                                                              (LETT |res|
2058                                                                    (SPADCALL
2059                                                                     |res|
2060                                                                     |lle|
2061                                                                     (QREFELT $
2062                                                                              62)))))))))))
2063                                                      (LETT #3# (CDR #3#))
2064                                                      (GO G190) G191
2065                                                      (EXIT NIL))))))))
2066                                   (LETT #6#
2067                                         (PROG1 (CDR #6#)
2068                                           (LETT #7# (CDR #7#))))
2069                                   (GO G190) G191 (EXIT NIL))
2070                              (EXIT
2071                               (CONS 0
2072                                     (VECTOR
2073                                      (SPADCALL (SPADCALL |res| (QREFELT $ 43))
2074                                                (QREFELT $ 119))
2075                                      |elpart|
2076                                      (SPADCALL (|spadConstant| $ 150) |logs|
2077                                                NIL
2078                                                (QREFELT $ 156)))))))))))))))
2079          #13# (EXIT #2#))))
2080
2081(SDEFUN |INTDEN;li_int;FKSR;13|
2082        ((|rf| |Fraction| (|SparseUnivariatePolynomial| F)) (|k| |Kernel| F)
2083         (|x| |Symbol|)
2084         ($ |Record|
2085          (|:| |answer| (|Fraction| (|SparseUnivariatePolynomial| F)))
2086          (|:| |logpart| (|Fraction| (|SparseUnivariatePolynomial| F)))
2087          (|:| |ir|
2088               (|IntegrationResult|
2089                (|Fraction| (|SparseUnivariatePolynomial| F))))))
2090        (SPROG
2091         ((|res|
2092           (|Union|
2093            (|Record|
2094             (|:| |answer| (|Fraction| (|SparseUnivariatePolynomial| F)))
2095             (|:| |logpart| (|Fraction| (|SparseUnivariatePolynomial| F)))
2096             (|:| |ir|
2097                  (|IntegrationResult|
2098                   (|Fraction| (|SparseUnivariatePolynomial| F)))))
2099            "failed"))
2100          (|lk| (|List| (|Kernel| F))) (#1=#:G756 NIL) (|kk| NIL)
2101          (#2=#:G755 NIL) (|f| (F)))
2102         (SEQ (LETT |f| (SPADCALL |rf| |k| (QREFELT $ 159)))
2103              (LETT |lk|
2104                    (SPADCALL
2105                     (PROGN
2106                      (LETT #2# NIL)
2107                      (SEQ (LETT |kk| NIL)
2108                           (LETT #1# (SPADCALL |f| (QREFELT $ 160))) G190
2109                           (COND
2110                            ((OR (ATOM #1#) (PROGN (LETT |kk| (CAR #1#)) NIL))
2111                             (GO G191)))
2112                           (SEQ
2113                            (EXIT
2114                             (COND
2115                              ((COND ((SPADCALL |kk| '|exp| (QREFELT $ 46)) 'T)
2116                                     ((SPADCALL |kk| '|log| (QREFELT $ 46))
2117                                      (SPADCALL |kk| |k| (QREFELT $ 161)))
2118                                     (#3='T NIL))
2119                               (LETT #2# (CONS |kk| #2#))))))
2120                           (LETT #1# (CDR #1#)) (GO G190) G191
2121                           (EXIT (NREVERSE #2#))))
2122                     |x| (QREFELT $ 163)))
2123              (LETT |res| (|INTDEN;li_int3| |f| |rf| |k| |lk| |x| $))
2124              (EXIT
2125               (COND
2126                ((QEQCAR |res| 1)
2127                 (VECTOR (|spadConstant| $ 150) |rf| (|spadConstant| $ 164)))
2128                (#3# (QCDR |res|)))))))
2129
2130(SDEFUN |INTDEN;poly_int;FKSR;14|
2131        ((|rf| |Fraction| (|SparseUnivariatePolynomial| F)) (|k| |Kernel| F)
2132         (|x| |Symbol|)
2133         ($ |Record|
2134          (|:| |answer| (|Fraction| (|SparseUnivariatePolynomial| F)))
2135          (|:| |logpart| (|Fraction| (|SparseUnivariatePolynomial| F)))
2136          (|:| |ir|
2137               (|IntegrationResult|
2138                (|Fraction| (|SparseUnivariatePolynomial| F))))))
2139        (SPROG
2140         ((|res|
2141           (|Union|
2142            (|Record|
2143             (|:| |answer| (|Fraction| (|SparseUnivariatePolynomial| F)))
2144             (|:| |logpart| (|Fraction| (|SparseUnivariatePolynomial| F)))
2145             (|:| |ir|
2146                  (|IntegrationResult|
2147                   (|Fraction| (|SparseUnivariatePolynomial| F)))))
2148            "failed"))
2149          (|lk| (|List| (|Kernel| F))) (#1=#:G763 NIL) (|kk| NIL)
2150          (#2=#:G762 NIL) (|f| (F)))
2151         (SEQ (LETT |f| (SPADCALL |rf| |k| (QREFELT $ 159)))
2152              (LETT |lk|
2153                    (SPADCALL
2154                     (PROGN
2155                      (LETT #2# NIL)
2156                      (SEQ (LETT |kk| NIL)
2157                           (LETT #1# (SPADCALL |f| (QREFELT $ 160))) G190
2158                           (COND
2159                            ((OR (ATOM #1#) (PROGN (LETT |kk| (CAR #1#)) NIL))
2160                             (GO G191)))
2161                           (SEQ
2162                            (EXIT
2163                             (COND
2164                              ((COND ((SPADCALL |kk| '|exp| (QREFELT $ 46)) 'T)
2165                                     ((SPADCALL |kk| '|log| (QREFELT $ 46))
2166                                      (SPADCALL |kk| |k| (QREFELT $ 161)))
2167                                     (#3='T NIL))
2168                               (LETT #2# (CONS |kk| #2#))))))
2169                           (LETT #1# (CDR #1#)) (GO G190) G191
2170                           (EXIT (NREVERSE #2#))))
2171                     |x| (QREFELT $ 163)))
2172              (LETT |res| (|INTDEN;poly_int3| |f| |rf| |k| |lk| |x| $))
2173              (EXIT
2174               (COND
2175                ((QEQCAR |res| 1)
2176                 (VECTOR (|spadConstant| $ 150) |rf| (|spadConstant| $ 164)))
2177                (#3# (QCDR |res|)))))))
2178
2179(DECLAIM (NOTINLINE |DenominatorIntegration;|))
2180
2181(DEFUN |DenominatorIntegration| (&REST #1=#:G764)
2182  (SPROG NIL
2183         (PROG (#2=#:G765)
2184           (RETURN
2185            (COND
2186             ((LETT #2#
2187                    (|lassocShiftWithFunction| (|devaluateList| #1#)
2188                                               (HGET |$ConstructorCache|
2189                                                     '|DenominatorIntegration|)
2190                                               '|domainEqualList|))
2191              (|CDRwithIncrement| #2#))
2192             ('T
2193              (UNWIND-PROTECT
2194                  (PROG1 (APPLY (|function| |DenominatorIntegration;|) #1#)
2195                    (LETT #2# T))
2196                (COND
2197                 ((NOT #2#)
2198                  (HREM |$ConstructorCache| '|DenominatorIntegration|))))))))))
2199
2200(DEFUN |DenominatorIntegration;| (|#1| |#2|)
2201  (SPROG ((|pv$| NIL) ($ NIL) (|dv$| NIL) (DV$2 NIL) (DV$1 NIL))
2202         (PROGN
2203          (LETT DV$1 (|devaluate| |#1|))
2204          (LETT DV$2 (|devaluate| |#2|))
2205          (LETT |dv$| (LIST '|DenominatorIntegration| DV$1 DV$2))
2206          (LETT $ (GETREFV 168))
2207          (QSETREFV $ 0 |dv$|)
2208          (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL)))
2209          (|haddProp| |$ConstructorCache| '|DenominatorIntegration|
2210                      (LIST DV$1 DV$2) (CONS 1 $))
2211          (|stuffDomainSlots| $)
2212          (QSETREFV $ 6 |#1|)
2213          (QSETREFV $ 7 |#2|)
2214          (SETF |pv$| (QREFELT $ 3))
2215          $)))
2216
2217(MAKEPROP '|DenominatorIntegration| '|infovec|
2218          (LIST
2219           '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|)
2220              (|Factored| 9) (|SparseUnivariatePolynomial| 7)
2221              (|ExpressionFactorPolynomial| 6 7) (0 . |factorPolynomial|)
2222              (|Union| '"nil" '"sqfr" '"irred" '"prime")
2223              (|Record| (|:| |flag| 12) (|:| |factor| 9) (|:| |exponent| 26))
2224              (|List| 13) (5 . |factorList|) (|SingletonAsOrderedSet|)
2225              (10 . |create|) (|List| 7) (|Kernel| 7) (14 . |argument|)
2226              (|Integer|) (19 . |elt|) (25 . |leadingCoefficient|) (30 . |inv|)
2227              (35 . *) (|NonNegativeInteger|) (41 . |degree|) (46 . |Zero|)
2228              (50 . |Zero|) (|Symbol|) (54 . D) (|Boolean|) (60 . =)
2229              (66 . |coefficients|) (|Mapping| 32 7) (71 . |every?|)
2230              (77 . |coerce|) (82 . |One|) (86 . |One|) (90 . |coefficient|)
2231              (96 . *) (102 . |monomial|) (108 . |coerce|) (113 . -)
2232              (119 . |eval|) (126 . |is?|) (|Kernel| $) (132 . |coerce|)
2233              (|Vector| 7) (137 . |vector|) (|Union| 55 '"failed")
2234              (|IntegerLinearDependence| 7) (142 . |particularSolutionOverQ|)
2235              (|Record| (|:| |num| (|List| 21)) (|:| |den| 21)) (|Vector| 101)
2236              (|InnerCommonDenominator| 21 101 (|List| 21) 55)
2237              (148 . |splitDenominator|) (153 . ~=) (159 . ^) (|Mapping| 7 7 7)
2238              (165 . |reduce|) (171 . +) (177 . |coerce|) (182 . |coerce|)
2239              (187 . /) (193 . |One|) (197 . ~=) (|List| 9)
2240              (|PartialFractionUtilities| 7 9) (203 . |decompose|)
2241              (209 . |Zero|) (|Union| $ '"failed")
2242              (|SparseMultivariatePolynomial| 7 19) (213 . |exquo|) (|List| 19)
2243              (219 . |member?|) (225 . |One|) (229 . |One|) (233 . |monomial|)
2244              (240 . |coerce|) (|Mapping| 73 19) (|Mapping| 73 6)
2245              (|SparseMultivariatePolynomial| 6 19)
2246              (|PolynomialCategoryLifting| (|IndexedExponents| 19) 19 6 83 73)
2247              (245 . |map|) (|List| 47) (252 . |kernels|) (257 . ~=)
2248              (263 . |last|) (268 . |setDifference|)
2249              (|SparseMultivariatePolynomial| 6 47) (274 . |numer|)
2250              (279 . |denom|) (284 . |degree|) (290 . |exquo|) (296 . ^)
2251              (302 . *) (|Union| 7 '"failed") (308 . |retractIfCan|) (313 . /)
2252              (|Fraction| 21) (319 . |One|) (323 . |One|) (327 . *)
2253              (333 . |new|) (337 . |coerce|) (342 . -) (348 . |coefficients|)
2254              (|Union| 18 '"failed") (|List| 30) (|ExpressionLinearSolve| 6 7)
2255              (353 . |lin_sol|) (|Union| 138 '"failed") |INTDEN;solve_u;2FSU;6|
2256              (359 . |log|) (364 . |exp|) (369 . |li|) (|Fraction| 9)
2257              (374 . |coerce|) (|SparseUnivariatePolynomial| 118)
2258              (|Mapping| 118 7)
2259              (|UnivariatePolynomialCategoryFunctions2| 7 9 118 120)
2260              (379 . |map|) (385 . |denom|) (390 . *) (|Mapping| 9 9 9)
2261              (396 . |reduce|) (402 . |exquo|) (408 . |numer|) (413 . /)
2262              (|SparseUnivariatePolynomial| $) (419 . |rootOf|) (424 . -)
2263              (429 . -) (435 . |differentiate|) (440 . |eval|)
2264              (447 . |retract|) (|List| 18) (452 . |elt|) (458 . |One|)
2265              (462 . |monomial|) (468 . |coerce|) (473 . -) (479 . +)
2266              (485 . |retract|) (|List| $) (490 . |zerosOf|) (495 . |retract|)
2267              (500 . |eval|) (507 . |Zero|)
2268              (|Record| (|:| |scalar| 101) (|:| |coeff| 120)
2269                        (|:| |logand| 120))
2270              (|List| 151) (|Record| (|:| |integrand| 118) (|:| |intvar| 118))
2271              (|List| 153) (|IntegrationResult| 118) (511 . |mkAnswer|)
2272              (518 . |polylog|)
2273              (|PolynomialCategoryQuotientFunctions| (|IndexedExponents| 19) 19
2274                                                     6 83 7)
2275              (524 . |multivariate|) (530 . |tower|) (535 . ~=)
2276              (|IntegrationTools| 6 7) (541 . |varselect|) (547 . |Zero|)
2277              (|Record| (|:| |answer| 118) (|:| |logpart| 118) (|:| |ir| 155))
2278              |INTDEN;li_int;FKSR;13| |INTDEN;poly_int;FKSR;14|)
2279           '#(|solve_u| 551 |poly_int| 558 |li_int| 565) 'NIL
2280           (CONS (|makeByteWordVec2| 1 '(0))
2281                 (CONS '#(NIL)
2282                       (CONS
2283                        '#((|Join|
2284                            (|mkCategory|
2285                             (LIST
2286                              '((|li_int|
2287                                 ((|Record|
2288                                   (|:| |answer|
2289                                        (|Fraction|
2290                                         (|SparseUnivariatePolynomial| |#2|)))
2291                                   (|:| |logpart|
2292                                        (|Fraction|
2293                                         (|SparseUnivariatePolynomial| |#2|)))
2294                                   (|:| |ir|
2295                                        (|IntegrationResult|
2296                                         (|Fraction|
2297                                          (|SparseUnivariatePolynomial|
2298                                           |#2|)))))
2299                                  (|Fraction|
2300                                   (|SparseUnivariatePolynomial| |#2|))
2301                                  (|Kernel| |#2|) (|Symbol|)))
2302                                T)
2303                              '((|poly_int|
2304                                 ((|Record|
2305                                   (|:| |answer|
2306                                        (|Fraction|
2307                                         (|SparseUnivariatePolynomial| |#2|)))
2308                                   (|:| |logpart|
2309                                        (|Fraction|
2310                                         (|SparseUnivariatePolynomial| |#2|)))
2311                                   (|:| |ir|
2312                                        (|IntegrationResult|
2313                                         (|Fraction|
2314                                          (|SparseUnivariatePolynomial|
2315                                           |#2|)))))
2316                                  (|Fraction|
2317                                   (|SparseUnivariatePolynomial| |#2|))
2318                                  (|Kernel| |#2|) (|Symbol|)))
2319                                T)
2320                              '((|solve_u|
2321                                 ((|Union| (|List| (|List| |#2|)) "failed")
2322                                  |#2| |#2| (|Symbol|)))
2323                                T))
2324                             (LIST) NIL NIL)))
2325                        (|makeByteWordVec2| 167
2326                                            '(1 10 8 9 11 1 8 14 0 15 0 16 0 17
2327                                              1 19 18 0 20 2 18 7 0 21 22 1 9 7
2328                                              0 23 1 7 0 0 24 2 9 0 7 0 25 1 9
2329                                              26 0 27 0 6 0 28 0 7 0 29 2 7 0 0
2330                                              30 31 2 7 32 0 0 33 1 9 18 0 34 2
2331                                              18 32 35 0 36 1 7 0 21 37 0 6 0
2332                                              38 0 7 0 39 2 9 7 0 26 40 2 7 0 0
2333                                              0 41 2 9 0 7 26 42 1 9 0 7 43 2 9
2334                                              0 0 0 44 3 9 0 0 16 0 45 2 19 32
2335                                              0 30 46 1 7 0 47 48 1 49 0 18 50
2336                                              2 52 51 49 7 53 1 56 54 55 57 2
2337                                              21 32 0 0 58 2 7 0 0 21 59 2 18 7
2338                                              60 0 61 2 7 0 0 0 62 1 6 0 21 63
2339                                              1 7 0 6 64 2 7 0 0 0 65 0 9 0 66
2340                                              2 9 32 0 0 67 2 69 68 9 68 70 0 9
2341                                              0 71 2 73 72 0 0 74 2 75 32 19 0
2342                                              76 0 73 0 77 0 26 0 78 3 73 0 0
2343                                              19 26 79 1 73 0 7 80 3 84 73 81
2344                                              82 83 85 1 7 86 0 87 2 7 32 0 0
2345                                              88 1 75 19 0 89 2 75 0 0 0 90 1 7
2346                                              91 0 92 1 7 91 0 93 2 73 26 0 19
2347                                              94 2 26 72 0 0 95 2 73 0 0 26 96
2348                                              2 73 0 0 0 97 1 73 98 0 99 2 73 0
2349                                              0 7 100 0 101 0 102 0 83 0 103 2
2350                                              73 0 7 0 104 0 30 0 105 1 7 0 30
2351                                              106 2 73 0 0 0 107 1 73 18 0 108
2352                                              2 111 109 18 110 112 1 7 0 0 115
2353                                              1 7 0 0 116 1 7 0 0 117 1 118 0 9
2354                                              119 2 122 120 121 9 123 1 118 9 0
2355                                              124 2 9 0 0 0 125 2 68 9 126 0
2356                                              127 2 9 72 0 0 128 1 118 9 0 129
2357                                              2 118 0 9 9 130 1 7 0 131 132 1 7
2358                                              0 0 133 2 7 0 0 0 134 1 9 0 0 135
2359                                              3 9 0 0 16 7 136 1 9 7 0 137 2
2360                                              138 18 0 21 139 0 118 0 140 2 120
2361                                              0 118 26 141 1 120 0 118 142 2
2362                                              120 0 0 0 143 2 118 0 0 0 144 1 7
2363                                              47 0 145 1 7 146 131 147 1 7 21 0
2364                                              148 3 7 0 0 47 0 149 0 118 0 150
2365                                              3 155 0 118 152 154 156 2 7 0 0 0
2366                                              157 2 158 7 118 19 159 1 7 86 0
2367                                              160 2 19 32 0 0 161 2 162 75 75
2368                                              30 163 0 155 0 164 3 0 113 7 7 30
2369                                              114 3 0 165 118 19 30 167 3 0 165
2370                                              118 19 30 166)))))
2371           '|lookupComplete|))
2372