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