1 2(SDEFUN |RDEPAR;get_denom| 3 ((|f| |Fraction| (|SparseUnivariatePolynomial| F)) 4 (|lg| |List| (|Fraction| (|SparseUnivariatePolynomial| F))) 5 (|der| |Mapping| (|SparseUnivariatePolynomial| F) 6 (|SparseUnivariatePolynomial| F)) 7 ($ |List| (|SparseUnivariatePolynomial| F))) 8 (SPROG 9 ((|h| (|SparseUnivariatePolynomial| F)) (#1=#:G448 NIL) 10 (|gg| (|SparseUnivariatePolynomial| F)) 11 (|s| #2=(|SparseUnivariatePolynomial| F)) 12 (|e| #3=(|SparseUnivariatePolynomial| F)) 13 (|#G8| (|Record| (|:| |normal| #3#) (|:| |special| #2#))) 14 (|e0| (|SparseUnivariatePolynomial| F)) (#4=#:G453 NIL) (|g| NIL) 15 (#5=#:G452 NIL) (|d| (|SparseUnivariatePolynomial| F))) 16 (SEQ (LETT |d| (SPADCALL |f| |der| (QREFELT $ 12))) 17 (LETT |e0| 18 (SPADCALL 19 (PROGN 20 (LETT #5# NIL) 21 (SEQ (LETT |g| NIL) (LETT #4# |lg|) G190 22 (COND 23 ((OR (ATOM #4#) (PROGN (LETT |g| (CAR #4#)) NIL)) 24 (GO G191))) 25 (SEQ 26 (EXIT 27 (LETT #5# 28 (CONS (SPADCALL |g| (QREFELT $ 13)) #5#)))) 29 (LETT #4# (CDR #4#)) (GO G190) G191 30 (EXIT (NREVERSE #5#)))) 31 (QREFELT $ 15))) 32 (PROGN 33 (LETT |#G8| (SPADCALL |e0| |der| (QREFELT $ 17))) 34 (LETT |e| (QCAR |#G8|)) 35 (LETT |s| (QCDR |#G8|)) 36 |#G8|) 37 (LETT |gg| (SPADCALL |d| |e| (QREFELT $ 18))) 38 (LETT |h| 39 (PROG2 40 (LETT #1# 41 (SPADCALL 42 (SPADCALL |e| (SPADCALL |e| (QREFELT $ 19)) 43 (QREFELT $ 18)) 44 (SPADCALL |gg| (SPADCALL |gg| (QREFELT $ 19)) 45 (QREFELT $ 18)) 46 (QREFELT $ 21))) 47 (QCDR #1#) 48 (|check_union2| (QEQCAR #1# 0) 49 (|SparseUnivariatePolynomial| 50 (QREFELT $ 7)) 51 (|Union| 52 (|SparseUnivariatePolynomial| 53 (QREFELT $ 7)) 54 "failed") 55 #1#))) 56 (EXIT (LIST |d| |h|))))) 57 58(SDEFUN |RDEPAR;normalize| 59 ((|f| |Fraction| (|SparseUnivariatePolynomial| F)) 60 (|der| |Mapping| #1=(|SparseUnivariatePolynomial| F) 61 (|SparseUnivariatePolynomial| F)) 62 ($ |List| 63 (|Record| (|:| |fctr| (|SparseUnivariatePolynomial| F)) 64 (|:| |xpnt| (|Integer|))))) 65 (SPROG 66 ((|rl| 67 (|List| 68 (|Record| (|:| |fctr| (|SparseUnivariatePolynomial| F)) 69 (|:| |xpnt| (|Integer|))))) 70 (|pi| #2=(|SparseUnivariatePolynomial| F)) (|m| (|Integer|)) 71 (|mu| (|Union| (|Integer|) "failed")) (#3=#:G472 NIL) (|rq| NIL) 72 (|rql| (|List| (|Fraction| (|Integer|)))) (|r| (F)) (|dd1| #1#) 73 (|zk| (|Kernel| F)) (|b| #4=(|SparseUnivariatePolynomial| F)) 74 (|a| #5=(|SparseUnivariatePolynomial| F)) 75 (|#G11| 76 (|Record| (|:| |coef1| (|SparseUnivariatePolynomial| F)) 77 (|:| |coef2| (|SparseUnivariatePolynomial| F)))) 78 (#6=#:G461 NIL) 79 (|eeu| 80 (|Union| (|Record| (|:| |coef1| #5#) (|:| |coef2| #4#)) 81 #7="failed")) 82 (|d2| (|SparseUnivariatePolynomial| F)) (#8=#:G457 NIL) 83 (|d1| (|SparseUnivariatePolynomial| F)) (|dd| #2#) 84 (|d0| (|SparseUnivariatePolynomial| F)) (|g| #2#) 85 (|d| (|SparseUnivariatePolynomial| F))) 86 (SEQ (LETT |d| (SPADCALL |f| |der| (QREFELT $ 12))) 87 (LETT |g| 88 (SPADCALL |d| (SPADCALL |d| (QREFELT $ 19)) 89 (QREFELT $ 18))) 90 (LETT |d0| 91 (PROG2 (LETT #8# (SPADCALL |d| |g| (QREFELT $ 21))) 92 (QCDR #8#) 93 (|check_union2| (QEQCAR #8# 0) 94 (|SparseUnivariatePolynomial| 95 (QREFELT $ 7)) 96 (|Union| 97 (|SparseUnivariatePolynomial| 98 (QREFELT $ 7)) 99 #9="failed") 100 #8#))) 101 (LETT |dd| (SPADCALL |d0| |g| (QREFELT $ 18))) 102 (LETT |d1| 103 (PROG2 (LETT #8# (SPADCALL |d0| |dd| (QREFELT $ 21))) 104 (QCDR #8#) 105 (|check_union2| (QEQCAR #8# 0) 106 (|SparseUnivariatePolynomial| 107 (QREFELT $ 7)) 108 (|Union| 109 (|SparseUnivariatePolynomial| 110 (QREFELT $ 7)) 111 #9#) 112 #8#))) 113 (LETT |d2| 114 (PROG2 115 (LETT #8# 116 (SPADCALL (SPADCALL |f| (QREFELT $ 13)) |d1| 117 (QREFELT $ 21))) 118 (QCDR #8#) 119 (|check_union2| (QEQCAR #8# 0) 120 (|SparseUnivariatePolynomial| 121 (QREFELT $ 7)) 122 (|Union| 123 (|SparseUnivariatePolynomial| 124 (QREFELT $ 7)) 125 #9#) 126 #8#))) 127 (LETT |eeu| 128 (SPADCALL |d2| |d1| (SPADCALL |f| (QREFELT $ 22)) 129 (QREFELT $ 25))) 130 (PROGN 131 (LETT |#G11| 132 (PROG2 (LETT #6# |eeu|) 133 (QCDR #6#) 134 (|check_union2| (QEQCAR #6# 0) 135 (|Record| 136 (|:| |coef1| 137 (|SparseUnivariatePolynomial| 138 (QREFELT $ 7))) 139 (|:| |coef2| 140 (|SparseUnivariatePolynomial| 141 (QREFELT $ 7)))) 142 (|Union| 143 (|Record| 144 (|:| |coef1| 145 (|SparseUnivariatePolynomial| 146 (QREFELT $ 7))) 147 (|:| |coef2| 148 (|SparseUnivariatePolynomial| 149 (QREFELT $ 7)))) 150 #7#) 151 #6#))) 152 (LETT |a| (QCAR |#G11|)) 153 (LETT |b| (QCDR |#G11|)) 154 |#G11|) 155 (LETT |zk| (SPADCALL (SPADCALL (QREFELT $ 27)) (QREFELT $ 29))) 156 (LETT |dd1| (SPADCALL |d1| |der|)) 157 (LETT |r| 158 (SPADCALL 159 (SPADCALL |a| 160 (SPADCALL (SPADCALL |zk| (QREFELT $ 31)) |dd1| 161 (QREFELT $ 32)) 162 (QREFELT $ 33)) 163 |d1| (QREFELT $ 34))) 164 (LETT |rql| (SPADCALL |r| |zk| (QREFELT $ 37))) (LETT |rl| NIL) 165 (SEQ (LETT |rq| NIL) (LETT #3# |rql|) G190 166 (COND 167 ((OR (ATOM #3#) (PROGN (LETT |rq| (CAR #3#)) NIL)) 168 (GO G191))) 169 (SEQ (LETT |mu| (SPADCALL |rq| (QREFELT $ 40))) 170 (EXIT 171 (COND 172 ((QEQCAR |mu| 0) 173 (SEQ (LETT |m| (QCDR |mu|)) 174 (EXIT 175 (COND 176 ((> |m| 0) 177 (SEQ 178 (LETT |pi| 179 (SPADCALL 180 (SPADCALL |a| 181 (SPADCALL 182 (SPADCALL |m| 183 (QREFELT $ 44)) 184 |dd1| (QREFELT $ 32)) 185 (QREFELT $ 33)) 186 |d1| (QREFELT $ 18))) 187 (EXIT 188 (LETT |rl| 189 (CONS (CONS |pi| |m|) 190 |rl|)))))))))))) 191 (LETT #3# (CDR #3#)) (GO G190) G191 (EXIT NIL)) 192 (EXIT |rl|)))) 193 194(SDEFUN |RDEPAR;RF_to_GP| 195 ((|f| |Fraction| (|SparseUnivariatePolynomial| F)) 196 ($ |LaurentPolynomial| F (|SparseUnivariatePolynomial| F))) 197 (SPROG ((#1=#:G474 NIL)) 198 (PROG2 199 (LETT #1# 200 (SPADCALL 201 (SPADCALL (SPADCALL |f| (QREFELT $ 22)) 202 (QREFELT $ 46)) 203 (SPADCALL (SPADCALL |f| (QREFELT $ 13)) 204 (QREFELT $ 46)) 205 (QREFELT $ 47))) 206 (QCDR #1#) 207 (|check_union2| (QEQCAR #1# 0) 208 (|LaurentPolynomial| (QREFELT $ 7) 209 (|SparseUnivariatePolynomial| 210 (QREFELT $ 7))) 211 (|Union| 212 (|LaurentPolynomial| (QREFELT $ 7) 213 (|SparseUnivariatePolynomial| 214 (QREFELT $ 7))) 215 "failed") 216 #1#)))) 217 218(SDEFUN |RDEPAR;do_spde1| 219 ((|b| |SparseUnivariatePolynomial| F) 220 (|lc| |List| (|SparseUnivariatePolynomial| F)) 221 (|der| |Mapping| (|SparseUnivariatePolynomial| F) 222 (|SparseUnivariatePolynomial| F)) 223 (|get_rs| |Mapping| #1=(|Matrix| F) (|Matrix| F)) 224 ($ |List| 225 (|Record| (|:| |ratpart| (|SparseUnivariatePolynomial| F)) 226 (|:| |coeffs| (|Vector| F))))) 227 (SPROG 228 ((#2=#:G493 NIL) (|kv| NIL) (#3=#:G492 NIL) 229 (|lkv| (|List| (|Vector| F))) (|rs2| #1#) (|rs1| (|Matrix| F)) 230 (|lrem| (|List| #4=(|SparseUnivariatePolynomial| F))) (#5=#:G491 NIL) 231 (|ar| NIL) (#6=#:G490 NIL) 232 (|la| (|List| #7=(|SparseUnivariatePolynomial| F))) (#8=#:G489 NIL) 233 (#9=#:G488 NIL) 234 (|lar| (|List| (|Record| (|:| |ans| #7#) (|:| |remainder| #4#)))) 235 (#10=#:G487 NIL) (|c| NIL) (#11=#:G486 NIL)) 236 (SEQ 237 (LETT |lar| 238 (PROGN 239 (LETT #11# NIL) 240 (SEQ (LETT |c| NIL) (LETT #10# |lc|) G190 241 (COND 242 ((OR (ATOM #10#) (PROGN (LETT |c| (CAR #10#)) NIL)) 243 (GO G191))) 244 (SEQ 245 (EXIT 246 (LETT #11# 247 (CONS (SPADCALL |b| |c| |der| (QREFELT $ 50)) 248 #11#)))) 249 (LETT #10# (CDR #10#)) (GO G190) G191 250 (EXIT (NREVERSE #11#))))) 251 (LETT |la| 252 (PROGN 253 (LETT #9# NIL) 254 (SEQ (LETT |ar| NIL) (LETT #8# |lar|) G190 255 (COND 256 ((OR (ATOM #8#) (PROGN (LETT |ar| (CAR #8#)) NIL)) 257 (GO G191))) 258 (SEQ (EXIT (LETT #9# (CONS (QCAR |ar|) #9#)))) 259 (LETT #8# (CDR #8#)) (GO G190) G191 260 (EXIT (NREVERSE #9#))))) 261 (LETT |lrem| 262 (PROGN 263 (LETT #6# NIL) 264 (SEQ (LETT |ar| NIL) (LETT #5# |lar|) G190 265 (COND 266 ((OR (ATOM #5#) (PROGN (LETT |ar| (CAR #5#)) NIL)) 267 (GO G191))) 268 (SEQ (EXIT (LETT #6# (CONS (QCDR |ar|) #6#)))) 269 (LETT #5# (CDR #5#)) (GO G190) G191 270 (EXIT (NREVERSE #6#))))) 271 (LETT |rs1| 272 (SPADCALL (SPADCALL (LIST |lrem|) (QREFELT $ 53)) 273 (QREFELT $ 56))) 274 (LETT |rs2| (SPADCALL |rs1| |get_rs|)) 275 (LETT |lkv| (SPADCALL |rs2| (QREFELT $ 58))) 276 (EXIT 277 (PROGN 278 (LETT #3# NIL) 279 (SEQ (LETT |kv| NIL) (LETT #2# |lkv|) G190 280 (COND 281 ((OR (ATOM #2#) (PROGN (LETT |kv| (CAR #2#)) NIL)) 282 (GO G191))) 283 (SEQ 284 (EXIT 285 (LETT #3# 286 (CONS (CONS (SPADCALL |kv| |la| (QREFELT $ 62)) |kv|) 287 #3#)))) 288 (LETT #2# (CDR #2#)) (GO G190) G191 (EXIT (NREVERSE #3#)))))))) 289 290(SDEFUN |RDEPAR;param_SPDE| 291 ((|a| |SparseUnivariatePolynomial| F) 292 (|b| |SparseUnivariatePolynomial| F) 293 (|lc| |List| (|SparseUnivariatePolynomial| F)) (|d| |Integer|) 294 (|der| |Mapping| #1=(|SparseUnivariatePolynomial| F) 295 (|SparseUnivariatePolynomial| F)) 296 (|get_rs| |Mapping| #2=(|Matrix| F) (|Matrix| F)) 297 (|do_degrad| |Mapping| 298 #3=(|List| 299 (|Record| 300 (|:| |ratpart| (|Fraction| (|SparseUnivariatePolynomial| F))) 301 (|:| |coeffs| (|Vector| F)))) 302 (|Fraction| (|SparseUnivariatePolynomial| F)) 303 (|List| (|Fraction| (|SparseUnivariatePolynomial| F)))) 304 (|x| |Symbol|) 305 ($ 306 . #4=(|List| 307 (|Record| (|:| |ratpart| (|SparseUnivariatePolynomial| F)) 308 (|:| |coeffs| (|Vector| F)))))) 309 (SPROG 310 ((|nres| 311 (|List| 312 (|Record| (|:| |ratpart| (|SparseUnivariatePolynomial| F)) 313 (|:| |coeffs| (|Vector| F))))) 314 (|ans1| (|SparseUnivariatePolynomial| F)) (|bv| (|Vector| F)) 315 (#5=#:G553 NIL) (|be| NIL) (|s2| #4#) (|n2| (|NonNegativeInteger|)) 316 (|nlc| (|List| (|SparseUnivariatePolynomial| F))) (#6=#:G552 NIL) 317 (|kv| NIL) (#7=#:G551 NIL) (|q| NIL) (#8=#:G550 NIL) 318 (|lkv| (|List| (|Vector| F))) (|rs2| #2#) (|rs1| (|Matrix| F)) 319 (|lr| (|List| #9=(|SparseUnivariatePolynomial| F))) (#10=#:G549 NIL) 320 (#11=#:G548 NIL) 321 (|lq| 322 (|List| 323 (|Record| (|:| |quotient| (|SparseUnivariatePolynomial| F)) 324 (|:| |remainder| #9#)))) 325 (#12=#:G547 NIL) (|c| NIL) (#13=#:G546 NIL) 326 (|oans| #14=(|List| (|SparseUnivariatePolynomial| F))) 327 (|aa| #15=(|SparseUnivariatePolynomial| F)) (#16=#:G516 NIL) 328 (|g| #17=(|SparseUnivariatePolynomial| F)) 329 (|dres| 330 (|Record| (|:| |ans| (|List| (|SparseUnivariatePolynomial| F))) 331 (|:| |acoeff| (|SparseUnivariatePolynomial| F)) 332 (|:| |eegen| (|SparseUnivariatePolynomial| F)) 333 (|:| |bpar| (|SparseUnivariatePolynomial| F)) 334 (|:| |lcpar| (|List| (|SparseUnivariatePolynomial| F))) 335 (|:| |dpar| (|Integer|)))) 336 (#18=#:G545 NIL) (#19=#:G544 NIL) 337 (|a1l| (|List| #20=(|SparseUnivariatePolynomial| F))) 338 (#21=#:G543 NIL) (|rsol| NIL) (#22=#:G542 NIL) 339 (|m1| (|Matrix| (|SparseUnivariatePolynomial| F))) (#23=#:G541 NIL) 340 (#24=#:G540 NIL) 341 (|lrs| 342 (|List| 343 (|Record| (|:| |ans| (|SparseUnivariatePolynomial| F)) 344 (|:| |remainder| (|SparseUnivariatePolynomial| F))))) 345 (|s1| 346 (|Union| 347 (|List| 348 (|Record| (|:| |ans| #20#) 349 (|:| |remainder| (|SparseUnivariatePolynomial| F)))) 350 (|Record| (|:| |ans| #14#) (|:| |acoeff| #15#) (|:| |eegen| #17#) 351 (|:| |bpar| (|SparseUnivariatePolynomial| F)) 352 (|:| |lcpar| (|List| (|SparseUnivariatePolynomial| F))) 353 (|:| |dpar| (|Integer|))))) 354 (|n1| (|NonNegativeInteger|)) (#25=#:G539 NIL) (|re| NIL) 355 (#26=#:G538 NIL) (|res1| #3#) 356 (|lcr| (|List| (|Fraction| (|SparseUnivariatePolynomial| F)))) 357 (#27=#:G537 NIL) (#28=#:G536 NIL) (|base_case| (|Boolean|)) 358 (|degt| (|Integer|)) (|dt| #1#)) 359 (SEQ 360 (LETT |dt| 361 (SPADCALL (SPADCALL (|spadConstant| $ 64) 1 (QREFELT $ 66)) 362 |der|)) 363 (EXIT 364 (COND 365 ((EQL (SPADCALL |a| (QREFELT $ 67)) 0) 366 (COND 367 ((SPADCALL |a| (|spadConstant| $ 68) (QREFELT $ 70)) 368 (|error| "param_SPDE: degree(a) = 0 but a ~= 1")) 369 (#29='T 370 (SEQ (LETT |degt| (- (SPADCALL |dt| (QREFELT $ 67)) 1)) 371 (LETT |base_case| 372 (SPADCALL |dt| (|spadConstant| $ 68) (QREFELT $ 71))) 373 (COND 374 ((SPADCALL |b| (|spadConstant| $ 72) (QREFELT $ 70)) 375 (COND 376 ((OR |base_case| 377 (> (SPADCALL |b| (QREFELT $ 67)) (MAX 0 |degt|))) 378 (EXIT 379 (|RDEPAR;do_spde1| |b| |lc| |der| |get_rs| $)))))) 380 (LETT |lcr| 381 (PROGN 382 (LETT #28# NIL) 383 (SEQ (LETT |c| NIL) (LETT #27# |lc|) G190 384 (COND 385 ((OR (ATOM #27#) 386 (PROGN (LETT |c| (CAR #27#)) NIL)) 387 (GO G191))) 388 (SEQ 389 (EXIT 390 (LETT #28# 391 (CONS (SPADCALL |c| (QREFELT $ 73)) 392 #28#)))) 393 (LETT #27# (CDR #27#)) (GO G190) G191 394 (EXIT (NREVERSE #28#))))) 395 (LETT |res1| 396 (SPADCALL (SPADCALL |b| (QREFELT $ 73)) |lcr| 397 |do_degrad|)) 398 (EXIT 399 (PROGN 400 (LETT #26# NIL) 401 (SEQ (LETT |re| NIL) (LETT #25# |res1|) G190 402 (COND 403 ((OR (ATOM #25#) 404 (PROGN (LETT |re| (CAR #25#)) NIL)) 405 (GO G191))) 406 (SEQ 407 (EXIT 408 (LETT #26# 409 (CONS 410 (CONS (SPADCALL (QCAR |re|) (QREFELT $ 74)) 411 (QCDR |re|)) 412 #26#)))) 413 (LETT #25# (CDR #25#)) (GO G190) G191 414 (EXIT (NREVERSE #26#))))))))) 415 (#29# 416 (SEQ (LETT |n1| (LENGTH |lc|)) 417 (LETT |s1| (SPADCALL |a| |b| |lc| |d| |der| (QREFELT $ 77))) 418 (EXIT 419 (COND 420 ((QEQCAR |s1| 0) 421 (SEQ (LETT |lrs| (QCDR |s1|)) 422 (LETT |m1| 423 (SPADCALL 424 (LIST 425 (PROGN 426 (LETT #24# NIL) 427 (SEQ (LETT |rsol| NIL) (LETT #23# |lrs|) 428 G190 429 (COND 430 ((OR (ATOM #23#) 431 (PROGN 432 (LETT |rsol| (CAR #23#)) 433 NIL)) 434 (GO G191))) 435 (SEQ 436 (EXIT 437 (LETT #24# 438 (CONS (QCDR |rsol|) #24#)))) 439 (LETT #23# (CDR #23#)) (GO G190) G191 440 (EXIT (NREVERSE #24#))))) 441 (QREFELT $ 53))) 442 (LETT |rs1| (SPADCALL |m1| (QREFELT $ 56))) 443 (LETT |rs2| (SPADCALL |rs1| |get_rs|)) 444 (LETT |lkv| (SPADCALL |rs2| (QREFELT $ 58))) 445 (LETT |a1l| 446 (PROGN 447 (LETT #22# NIL) 448 (SEQ (LETT |rsol| NIL) (LETT #21# |lrs|) G190 449 (COND 450 ((OR (ATOM #21#) 451 (PROGN 452 (LETT |rsol| (CAR #21#)) 453 NIL)) 454 (GO G191))) 455 (SEQ 456 (EXIT 457 (LETT #22# (CONS (QCAR |rsol|) #22#)))) 458 (LETT #21# (CDR #21#)) (GO G190) G191 459 (EXIT (NREVERSE #22#))))) 460 (EXIT 461 (PROGN 462 (LETT #19# NIL) 463 (SEQ (LETT |kv| NIL) (LETT #18# |lkv|) G190 464 (COND 465 ((OR (ATOM #18#) 466 (PROGN (LETT |kv| (CAR #18#)) NIL)) 467 (GO G191))) 468 (SEQ 469 (EXIT 470 (LETT #19# 471 (CONS 472 (CONS 473 (SPADCALL |kv| |a1l| (QREFELT $ 62)) 474 |kv|) 475 #19#)))) 476 (LETT #18# (CDR #18#)) (GO G190) G191 477 (EXIT (NREVERSE #19#))))))) 478 (#29# 479 (SEQ (LETT |dres| (QCDR |s1|)) (LETT |g| (QVELT |dres| 2)) 480 (LETT |a| 481 (PROG2 482 (LETT #16# 483 (SPADCALL |a| |g| (QREFELT $ 21))) 484 (QCDR #16#) 485 (|check_union2| (QEQCAR #16# 0) 486 (|SparseUnivariatePolynomial| 487 (QREFELT $ 7)) 488 (|Union| 489 (|SparseUnivariatePolynomial| 490 (QREFELT $ 7)) 491 #30="failed") 492 #16#))) 493 (LETT |b| 494 (PROG2 495 (LETT #16# 496 (SPADCALL (QVELT |dres| 3) |g| 497 (QREFELT $ 21))) 498 (QCDR #16#) 499 (|check_union2| (QEQCAR #16# 0) 500 (|SparseUnivariatePolynomial| 501 (QREFELT $ 7)) 502 (|Union| 503 (|SparseUnivariatePolynomial| 504 (QREFELT $ 7)) 505 #30#) 506 #16#))) 507 (LETT |aa| (QVELT |dres| 1)) 508 (LETT |oans| (QVELT |dres| 0)) 509 (LETT |lq| 510 (PROGN 511 (LETT #13# NIL) 512 (SEQ (LETT |c| NIL) 513 (LETT #12# (QVELT |dres| 4)) G190 514 (COND 515 ((OR (ATOM #12#) 516 (PROGN (LETT |c| (CAR #12#)) NIL)) 517 (GO G191))) 518 (SEQ 519 (EXIT 520 (LETT #13# 521 (CONS 522 (SPADCALL |c| |g| 523 (QREFELT $ 79)) 524 #13#)))) 525 (LETT #12# (CDR #12#)) (GO G190) G191 526 (EXIT (NREVERSE #13#))))) 527 (LETT |lr| 528 (PROGN 529 (LETT #11# NIL) 530 (SEQ (LETT |q| NIL) (LETT #10# |lq|) G190 531 (COND 532 ((OR (ATOM #10#) 533 (PROGN (LETT |q| (CAR #10#)) NIL)) 534 (GO G191))) 535 (SEQ 536 (EXIT 537 (LETT #11# (CONS (QCDR |q|) #11#)))) 538 (LETT #10# (CDR #10#)) (GO G190) G191 539 (EXIT (NREVERSE #11#))))) 540 (LETT |rs1| 541 (SPADCALL (SPADCALL (LIST |lr|) (QREFELT $ 53)) 542 (QREFELT $ 56))) 543 (LETT |rs2| (SPADCALL |rs1| |get_rs|)) 544 (LETT |lkv| (SPADCALL |rs2| (QREFELT $ 58))) 545 (EXIT 546 (COND ((NULL |lkv|) NIL) 547 (#29# 548 (SEQ 549 (LETT |lc| 550 (PROGN 551 (LETT #8# NIL) 552 (SEQ (LETT |q| NIL) (LETT #7# |lq|) 553 G190 554 (COND 555 ((OR (ATOM #7#) 556 (PROGN 557 (LETT |q| (CAR #7#)) 558 NIL)) 559 (GO G191))) 560 (SEQ 561 (EXIT 562 (LETT #8# 563 (CONS (QCAR |q|) #8#)))) 564 (LETT #7# (CDR #7#)) (GO G190) 565 G191 (EXIT (NREVERSE #8#))))) 566 (LETT |nlc| NIL) 567 (SEQ (LETT |kv| NIL) (LETT #6# |lkv|) G190 568 (COND 569 ((OR (ATOM #6#) 570 (PROGN 571 (LETT |kv| (CAR #6#)) 572 NIL)) 573 (GO G191))) 574 (SEQ 575 (EXIT 576 (LETT |nlc| 577 (CONS 578 (SPADCALL |kv| |lc| 579 (QREFELT $ 62)) 580 |nlc|)))) 581 (LETT #6# (CDR #6#)) (GO G190) G191 582 (EXIT NIL)) 583 (LETT |nlc| (NREVERSE |nlc|)) 584 (LETT |n2| (LENGTH |lkv|)) 585 (LETT |s2| 586 (|RDEPAR;param_SPDE| |a| |b| |nlc| 587 (QVELT |dres| 5) |der| |get_rs| 588 |do_degrad| |x| $)) 589 (LETT |nres| NIL) 590 (SEQ (LETT |be| NIL) (LETT #5# |s2|) G190 591 (COND 592 ((OR (ATOM #5#) 593 (PROGN 594 (LETT |be| (CAR #5#)) 595 NIL)) 596 (GO G191))) 597 (SEQ 598 (LETT |bv| 599 (SPADCALL (QCDR |be|) |lkv| 600 (QREFELT $ 80))) 601 (LETT |ans1| 602 (SPADCALL 603 (SPADCALL |bv| |oans| 604 (QREFELT $ 62)) 605 (SPADCALL |aa| (QCAR |be|) 606 (QREFELT $ 81)) 607 (QREFELT $ 82))) 608 (EXIT 609 (LETT |nres| 610 (CONS (CONS |ans1| |bv|) 611 |nres|)))) 612 (LETT #5# (CDR #5#)) (GO G190) G191 613 (EXIT NIL)) 614 (EXIT (NREVERSE |nres|))))))))))))))))) 615 616(SDEFUN |RDEPAR;integer_vector| 617 ((|v| |Vector| (|Fraction| (|Integer|))) 618 ($ |Union| (|Vector| (|Integer|)) "failed")) 619 (SPROG 620 ((#1=#:G563 NIL) (|i| NIL) (#2=#:G562 NIL) (|d| #3=(|Integer|)) 621 (|nv| #4=(|Vector| (|Fraction| (|Integer|)))) 622 (|#G42| (|Record| (|:| |num| #4#) (|:| |den| #3#)))) 623 (SEQ 624 (PROGN 625 (LETT |#G42| (SPADCALL |v| (QREFELT $ 86))) 626 (LETT |nv| (QCAR |#G42|)) 627 (LETT |d| (QCDR |#G42|)) 628 |#G42|) 629 (EXIT 630 (COND 631 ((OR (SPADCALL |d| 1 (QREFELT $ 87)) 632 (SPADCALL (SPADCALL |nv| 1 (QREFELT $ 88)) 633 (|spadConstant| $ 89) (QREFELT $ 90))) 634 (CONS 1 "failed")) 635 ('T 636 (CONS 0 637 (SPADCALL 638 (PROGN 639 (LETT #2# NIL) 640 (SEQ (LETT |i| 1) (LETT #1# (QVSIZE |nv|)) G190 641 (COND ((|greater_SI| |i| #1#) (GO G191))) 642 (SEQ 643 (EXIT 644 (LETT #2# 645 (CONS 646 (SPADCALL (SPADCALL |nv| |i| (QREFELT $ 88)) 647 (QREFELT $ 91)) 648 #2#)))) 649 (LETT |i| (|inc_SI| |i|)) (GO G190) G191 650 (EXIT (NREVERSE #2#)))) 651 (QREFELT $ 94))))))))) 652 653(SDEFUN |RDEPAR;do_SPDE_prim0| 654 ((|b| F) (|lc| |List| (|SparseUnivariatePolynomial| F)) 655 (|lk| |List| (|Kernel| F)) 656 (|ext| |Mapping| 657 (|List| (|Record| (|:| |ratpart| F) (|:| |coeffs| (|Vector| F)))) 658 (|List| (|Kernel| F)) (|List| F)) 659 (|logi| |Mapping| 660 (|Record| (|:| |logands| (|List| F)) 661 (|:| |basis| (|List| (|Vector| (|Fraction| (|Integer|)))))) 662 (|List| (|Kernel| F)) (|List| F)) 663 (|der| |Mapping| (|SparseUnivariatePolynomial| F) 664 (|SparseUnivariatePolynomial| F)) 665 (|get_rs| |Mapping| (|Matrix| F) (|Matrix| F)) (|x| |Symbol|) 666 ($ |List| 667 (|Record| 668 (|:| |ratpart| (|Fraction| (|SparseUnivariatePolynomial| F))) 669 (|:| |coeffs| (|Vector| F))))) 670 (SPROG 671 ((#1=#:G614 NIL) (|ba| NIL) (#2=#:G615 NIL) (|bv| NIL) (#3=#:G613 NIL) 672 (|lba| (|List| (|Fraction| (|SparseUnivariatePolynomial| F)))) 673 (|cb| (|List| (|Vector| F))) 674 (|nlba| (|List| (|Fraction| (|SparseUnivariatePolynomial| F)))) 675 (#4=#:G587 NIL) (#5=#:G612 NIL) (|be| NIL) (#6=#:G611 NIL) 676 (|cba| (|List| F)) (#7=#:G610 NIL) (#8=#:G609 NIL) 677 (|ncb| (|List| (|Vector| F))) (#9=#:G608 NIL) (#10=#:G607 NIL) 678 (|s2f| 679 (|List| (|Record| (|:| |ratpart| F) (|:| |coeffs| (|Vector| F))))) 680 (|lgj1| (|List| F)) (|ff| (F)) (#11=#:G605 NIL) (#12=#:G606 NIL) 681 (|aa| NIL) (|lgj| (|List| F)) (|gij| (F)) 682 (|gi| (|SparseUnivariatePolynomial| F)) (#13=#:G604 NIL) (|i| NIL) 683 (|n1| (|NonNegativeInteger|)) (|j| NIL) (#14=#:G603 NIL) 684 (#15=#:G602 NIL) (#16=#:G601 NIL) (#17=#:G600 NIL) (|dk| (F)) 685 (|d| (|Integer|)) (#18=#:G599 NIL) (|c| NIL) (#19=#:G598 NIL) 686 (#20=#:G596 NIL) (#21=#:G597 NIL) (#22=#:G595 NIL) (#23=#:G594 NIL) 687 (|vg2| (|Vector| (|SparseUnivariatePolynomial| F))) 688 (|n| (|NonNegativeInteger|))) 689 (SEQ (LETT |n| (LENGTH |lc|)) 690 (LETT |vg2| (SPADCALL |lc| (QREFELT $ 96))) 691 (LETT |cb| 692 (PROGN 693 (LETT #23# NIL) 694 (SEQ (LETT |i| 1) (LETT #22# |n|) G190 695 (COND ((|greater_SI| |i| #22#) (GO G191))) 696 (SEQ 697 (EXIT 698 (LETT #23# 699 (CONS (MAKEARR1 |n| (|spadConstant| $ 42)) 700 #23#)))) 701 (LETT |i| (|inc_SI| |i|)) (GO G190) G191 702 (EXIT (NREVERSE #23#))))) 703 (SEQ (LETT |bv| NIL) (LETT #21# |cb|) (LETT |i| 1) 704 (LETT #20# |n|) G190 705 (COND 706 ((OR (|greater_SI| |i| #20#) (ATOM #21#) 707 (PROGN (LETT |bv| (CAR #21#)) NIL)) 708 (GO G191))) 709 (SEQ 710 (EXIT 711 (SPADCALL |bv| |i| (|spadConstant| $ 64) (QREFELT $ 97)))) 712 (LETT |i| (PROG1 (|inc_SI| |i|) (LETT #21# (CDR #21#)))) 713 (GO G190) G191 (EXIT NIL)) 714 (LETT |d| 715 (SPADCALL (ELT $ 98) 716 (PROGN 717 (LETT #19# NIL) 718 (SEQ (LETT |c| NIL) (LETT #18# |lc|) G190 719 (COND 720 ((OR (ATOM #18#) 721 (PROGN (LETT |c| (CAR #18#)) NIL)) 722 (GO G191))) 723 (SEQ 724 (EXIT 725 (LETT #19# 726 (CONS (SPADCALL |c| (QREFELT $ 67)) 727 #19#)))) 728 (LETT #18# (CDR #18#)) (GO G190) G191 729 (EXIT (NREVERSE #19#)))) 730 0 (QREFELT $ 100))) 731 (LETT |dk| 732 (SPADCALL 733 (SPADCALL 734 (SPADCALL (|spadConstant| $ 64) 1 (QREFELT $ 66)) |der|) 735 (QREFELT $ 101))) 736 (LETT |lba| 737 (PROGN 738 (LETT #17# NIL) 739 (SEQ (LETT |bv| NIL) (LETT #16# |cb|) G190 740 (COND 741 ((OR (ATOM #16#) (PROGN (LETT |bv| (CAR #16#)) NIL)) 742 (GO G191))) 743 (SEQ 744 (EXIT 745 (LETT #17# (CONS (|spadConstant| $ 102) #17#)))) 746 (LETT #16# (CDR #16#)) (GO G190) G191 747 (EXIT (NREVERSE #17#))))) 748 (LETT |cba| 749 (PROGN 750 (LETT #15# NIL) 751 (SEQ (LETT |bv| NIL) (LETT #14# |cb|) G190 752 (COND 753 ((OR (ATOM #14#) (PROGN (LETT |bv| (CAR #14#)) NIL)) 754 (GO G191))) 755 (SEQ 756 (EXIT 757 (LETT #15# (CONS (|spadConstant| $ 42) #15#)))) 758 (LETT #14# (CDR #14#)) (GO G190) G191 759 (EXIT (NREVERSE #15#))))) 760 (SEQ (LETT |j| |d|) G190 (COND ((< |j| 0) (GO G191))) 761 (SEQ (LETT |n1| (LENGTH |cb|)) (LETT |lgj| NIL) 762 (SEQ (LETT |i| 1) (LETT #13# |n|) G190 763 (COND ((|greater_SI| |i| #13#) (GO G191))) 764 (SEQ 765 (LETT |gi| (SPADCALL |vg2| |i| (QREFELT $ 103))) 766 (LETT |gij| (|spadConstant| $ 42)) 767 (COND 768 ((EQL (SPADCALL |gi| (QREFELT $ 67)) |j|) 769 (SEQ 770 (LETT |gij| (SPADCALL |gi| (QREFELT $ 104))) 771 (EXIT 772 (SPADCALL |vg2| |i| 773 (SPADCALL |gi| (QREFELT $ 105)) 774 (QREFELT $ 106)))))) 775 (EXIT 776 (LETT |lgj| 777 (CONS (SPADCALL |gij| (QREFELT $ 107)) 778 |lgj|)))) 779 (LETT |i| (|inc_SI| |i|)) (GO G190) G191 780 (EXIT NIL)) 781 (LETT |lgj| (NREVERSE |lgj|)) (LETT |lgj1| NIL) 782 (SEQ (LETT |aa| NIL) (LETT #12# |cba|) (LETT |bv| NIL) 783 (LETT #11# |cb|) G190 784 (COND 785 ((OR (ATOM #11#) 786 (PROGN (LETT |bv| (CAR #11#)) NIL) 787 (ATOM #12#) 788 (PROGN (LETT |aa| (CAR #12#)) NIL)) 789 (GO G191))) 790 (SEQ 791 (LETT |ff| 792 (SPADCALL 793 (SPADCALL |bv| |lgj| (QREFELT $ 109)) 794 (SPADCALL 795 (SPADCALL 796 (SPADCALL (+ |j| 1) (QREFELT $ 44)) |dk| 797 (QREFELT $ 110)) 798 |aa| (QREFELT $ 110)) 799 (QREFELT $ 111))) 800 (EXIT (LETT |lgj1| (CONS |ff| |lgj1|)))) 801 (LETT #11# 802 (PROG1 (CDR #11#) (LETT #12# (CDR #12#)))) 803 (GO G190) G191 (EXIT NIL)) 804 (LETT |lgj1| (NREVERSE |lgj1|)) 805 (LETT |s2f| 806 (SPADCALL |b| |lgj1| |x| |lk| |ext| |logi| 807 (QREFELT $ 118))) 808 (LETT |ncb| 809 (PROGN 810 (LETT #10# NIL) 811 (SEQ (LETT |be| NIL) (LETT #9# |s2f|) G190 812 (COND 813 ((OR (ATOM #9#) 814 (PROGN (LETT |be| (CAR #9#)) NIL)) 815 (GO G191))) 816 (SEQ 817 (EXIT 818 (LETT #10# 819 (CONS 820 (SPADCALL (QCDR |be|) |cb| 821 (QREFELT $ 80)) 822 #10#)))) 823 (LETT #9# (CDR #9#)) (GO G190) G191 824 (EXIT (NREVERSE #10#))))) 825 (LETT |cba| 826 (PROGN 827 (LETT #8# NIL) 828 (SEQ (LETT |be| NIL) (LETT #7# |s2f|) G190 829 (COND 830 ((OR (ATOM #7#) 831 (PROGN (LETT |be| (CAR #7#)) NIL)) 832 (GO G191))) 833 (SEQ 834 (EXIT (LETT #8# (CONS (QCAR |be|) #8#)))) 835 (LETT #7# (CDR #7#)) (GO G190) G191 836 (EXIT (NREVERSE #8#))))) 837 (LETT |nlba| 838 (PROGN 839 (LETT #6# NIL) 840 (SEQ (LETT |be| NIL) (LETT #5# |s2f|) G190 841 (COND 842 ((OR (ATOM #5#) 843 (PROGN (LETT |be| (CAR #5#)) NIL)) 844 (GO G191))) 845 (SEQ 846 (EXIT 847 (LETT #6# 848 (CONS 849 (SPADCALL 850 (SPADCALL (QCDR |be|) |lba| 851 (QREFELT $ 120)) 852 (SPADCALL 853 (SPADCALL (QCAR |be|) 854 (PROG1 (LETT #4# |j|) 855 (|check_subtype2| 856 (>= #4# 0) 857 '(|NonNegativeInteger|) 858 '(|Integer|) #4#)) 859 (QREFELT $ 66)) 860 (QREFELT $ 73)) 861 (QREFELT $ 121)) 862 #6#)))) 863 (LETT #5# (CDR #5#)) (GO G190) G191 864 (EXIT (NREVERSE #6#))))) 865 (LETT |cb| |ncb|) (EXIT (LETT |lba| |nlba|))) 866 (LETT |j| (+ |j| -1)) (GO G190) G191 (EXIT NIL)) 867 (EXIT 868 (PROGN 869 (LETT #3# NIL) 870 (SEQ (LETT |bv| NIL) (LETT #2# |cb|) (LETT |ba| NIL) 871 (LETT #1# |lba|) G190 872 (COND 873 ((OR (ATOM #1#) (PROGN (LETT |ba| (CAR #1#)) NIL) 874 (ATOM #2#) (PROGN (LETT |bv| (CAR #2#)) NIL)) 875 (GO G191))) 876 (SEQ (EXIT (LETT #3# (CONS (CONS |ba| |bv|) #3#)))) 877 (LETT #1# (PROG1 (CDR #1#) (LETT #2# (CDR #2#)))) 878 (GO G190) G191 (EXIT (NREVERSE #3#)))))))) 879 880(SDEFUN |RDEPAR;do_ext| 881 ((|ext| |Mapping| 882 #1=(|List| (|Record| (|:| |ratpart| F) (|:| |coeffs| (|Vector| F)))) 883 (|List| (|Kernel| F)) (|List| F)) 884 (|lcr| |List| (|Fraction| (|SparseUnivariatePolynomial| F))) 885 (|k| |Kernel| F) (|lk| |List| (|Kernel| F)) 886 ($ |List| 887 (|Record| 888 (|:| |ratpart| (|Fraction| (|SparseUnivariatePolynomial| F))) 889 (|:| |coeffs| (|Vector| F))))) 890 (SPROG 891 ((#2=#:G624 NIL) (|be| NIL) (#3=#:G623 NIL) (|res1| #1#) 892 (|lc| (|List| F)) (#4=#:G622 NIL) (|cr| NIL) (#5=#:G621 NIL)) 893 (SEQ 894 (LETT |lc| 895 (PROGN 896 (LETT #5# NIL) 897 (SEQ (LETT |cr| NIL) (LETT #4# |lcr|) G190 898 (COND 899 ((OR (ATOM #4#) (PROGN (LETT |cr| (CAR #4#)) NIL)) 900 (GO G191))) 901 (SEQ 902 (EXIT 903 (LETT #5# 904 (CONS (SPADCALL |cr| |k| (QREFELT $ 123)) #5#)))) 905 (LETT #4# (CDR #4#)) (GO G190) G191 906 (EXIT (NREVERSE #5#))))) 907 (LETT |res1| (SPADCALL |lk| |lc| |ext|)) 908 (EXIT 909 (PROGN 910 (LETT #3# NIL) 911 (SEQ (LETT |be| NIL) (LETT #2# |res1|) G190 912 (COND 913 ((OR (ATOM #2#) (PROGN (LETT |be| (CAR #2#)) NIL)) 914 (GO G191))) 915 (SEQ 916 (EXIT 917 (LETT #3# 918 (CONS 919 (CONS (SPADCALL (QCAR |be|) |k| (QREFELT $ 125)) 920 (QCDR |be|)) 921 #3#)))) 922 (LETT #2# (CDR #2#)) (GO G190) G191 (EXIT (NREVERSE #3#)))))))) 923 924(SDEFUN |RDEPAR;do_SPDE_prim| 925 ((|a| |SparseUnivariatePolynomial| F) 926 (|bbr| |Fraction| (|SparseUnivariatePolynomial| F)) 927 (|is_der| |Boolean|) 928 (|lcr| |List| (|Fraction| (|SparseUnivariatePolynomial| F))) 929 (|k| |Kernel| F) (|lk| |List| (|Kernel| F)) 930 (|ext| |Mapping| 931 (|List| (|Record| (|:| |ratpart| F) (|:| |coeffs| (|Vector| F)))) 932 (|List| (|Kernel| F)) (|List| F)) 933 (|logi| |Mapping| 934 #1=(|Record| (|:| |logands| #2=(|List| F)) 935 (|:| |basis| 936 #3=(|List| (|Vector| (|Fraction| (|Integer|)))))) 937 (|List| (|Kernel| F)) (|List| F)) 938 (|der| |Mapping| (|SparseUnivariatePolynomial| F) 939 (|SparseUnivariatePolynomial| F)) 940 (|get_rs| |Mapping| (|Matrix| F) (|Matrix| F)) (|x| |Symbol|) 941 ($ |List| 942 (|Record| 943 (|:| |ratpart| (|Fraction| (|SparseUnivariatePolynomial| F))) 944 (|:| |coeffs| (|Vector| F))))) 945 (SPROG 946 ((#4=#:G677 NIL) (|re| NIL) (#5=#:G676 NIL) 947 (|res1| 948 (|List| 949 (|Record| (|:| |ratpart| (|SparseUnivariatePolynomial| F)) 950 (|:| |coeffs| (|Vector| F))))) 951 (|do_degrad| 952 (|Mapping| 953 (|List| 954 (|Record| 955 (|:| |ratpart| (|Fraction| (|SparseUnivariatePolynomial| F))) 956 (|:| |coeffs| (|Vector| F)))) 957 (|Fraction| (|SparseUnivariatePolynomial| F)) 958 (|List| (|Fraction| (|SparseUnivariatePolynomial| F))))) 959 (|n| (|Integer|)) (|mu| (|Union| (|Integer|) "failed")) (|mf| (F)) 960 (|r0| 961 (|Union| (|Record| (|:| |ratpart| F) (|:| |coeffs| (|Vector| F))) 962 "failed")) 963 (|f1| (F)) (|b1| (|SparseUnivariatePolynomial| F)) (|f0| (F)) 964 (|bvu| (|Union| (|Vector| (|Integer|)) "failed")) 965 (|bv| (|Vector| (|Fraction| (|Integer|)))) (|bl| #3#) (|ll| #2#) 966 (|#G86| #1#) (|dc| (|Integer|)) (#6=#:G675 NIL) (|c| NIL) 967 (#7=#:G674 NIL) (|db| #8=(|NonNegativeInteger|)) (|da| #8#) 968 (|lc| (|List| (|SparseUnivariatePolynomial| F))) (#9=#:G673 NIL) 969 (|cr| NIL) (#10=#:G672 NIL) (|b| (|SparseUnivariatePolynomial| F)) 970 (|base_case| (|Boolean|)) (|fp| (F))) 971 (SEQ 972 (LETT |fp| 973 (SPADCALL 974 (SPADCALL (SPADCALL (|spadConstant| $ 64) 1 (QREFELT $ 66)) 975 |der|) 976 (QREFELT $ 101))) 977 (LETT |base_case| 978 (SPADCALL |fp| (|spadConstant| $ 64) (QREFELT $ 126))) 979 (LETT |b| (SPADCALL |bbr| (QREFELT $ 74))) 980 (LETT |lc| 981 (PROGN 982 (LETT #10# NIL) 983 (SEQ (LETT |cr| NIL) (LETT #9# |lcr|) G190 984 (COND 985 ((OR (ATOM #9#) (PROGN (LETT |cr| (CAR #9#)) NIL)) 986 (GO G191))) 987 (SEQ 988 (EXIT 989 (LETT #10# 990 (CONS (SPADCALL |cr| (QREFELT $ 74)) #10#)))) 991 (LETT #9# (CDR #9#)) (GO G190) G191 992 (EXIT (NREVERSE #10#))))) 993 (LETT |da| (SPADCALL |a| (QREFELT $ 67))) 994 (LETT |db| (SPADCALL |b| (QREFELT $ 67))) 995 (LETT |dc| 996 (SPADCALL (ELT $ 98) 997 (PROGN 998 (LETT #7# NIL) 999 (SEQ (LETT |c| NIL) (LETT #6# |lc|) G190 1000 (COND 1001 ((OR (ATOM #6#) 1002 (PROGN (LETT |c| (CAR #6#)) NIL)) 1003 (GO G191))) 1004 (SEQ 1005 (EXIT 1006 (LETT #7# 1007 (CONS (SPADCALL |c| (QREFELT $ 67)) 1008 #7#)))) 1009 (LETT #6# (CDR #6#)) (GO G190) G191 1010 (EXIT (NREVERSE #7#)))) 1011 (QREFELT $ 127))) 1012 (COND 1013 ((NULL |base_case|) 1014 (COND 1015 ((EQL |da| 0) 1016 (COND 1017 ((EQL |db| 0) 1018 (EXIT 1019 (SEQ 1020 (LETT |b1| 1021 (SPADCALL (SPADCALL |b| (QREFELT $ 101)) 1022 (SPADCALL |a| (QREFELT $ 101)) 1023 (QREFELT $ 128))) 1024 (EXIT 1025 (COND 1026 ((SPADCALL |b1| (|spadConstant| $ 42) (QREFELT $ 126)) 1027 (|RDEPAR;do_ext| |ext| |lcr| |k| |lk| $)) 1028 (#11='T 1029 (SEQ 1030 (COND 1031 ((NULL |is_der|) 1032 (SEQ 1033 (PROGN 1034 (LETT |#G86| (SPADCALL |lk| (LIST |b1|) |logi|)) 1035 (LETT |ll| (QCAR |#G86|)) 1036 (LETT |bl| (QCDR |#G86|)) 1037 |#G86|) 1038 (EXIT 1039 (COND 1040 ((NULL (NULL |bl|)) 1041 (SEQ (LETT |bv| (|SPADfirst| |bl|)) 1042 (LETT |bvu| (|RDEPAR;integer_vector| |bv| $)) 1043 (EXIT 1044 (COND 1045 ((QEQCAR |bvu| 0) 1046 (|error| 1047 "need transform and call ext"))))))))))) 1048 (EXIT 1049 (|RDEPAR;do_SPDE_prim0| |b1| |lc| |lk| |ext| |logi| 1050 |der| |get_rs| |x| $)))))))))))))) 1051 (LETT |n| 1052 (COND ((> |db| |da|) (MAX 0 (- |dc| |db|))) 1053 (#11# (MAX 0 (+ (- |dc| |da|) 1))))) 1054 (COND 1055 ((EQL |da| (+ |db| 1)) 1056 (SEQ 1057 (LETT |f0| 1058 (SPADCALL 1059 (SPADCALL (SPADCALL |b| (QREFELT $ 104)) 1060 (SPADCALL |a| (QREFELT $ 104)) (QREFELT $ 128)) 1061 (QREFELT $ 107))) 1062 (EXIT 1063 (COND 1064 (|base_case| 1065 (SEQ (LETT |mu| (SPADCALL |f0| (QREFELT $ 129))) 1066 (EXIT 1067 (COND 1068 ((QEQCAR |mu| 0) (LETT |n| (MAX |n| (QCDR |mu|)))))))) 1069 (#11# 1070 (SEQ 1071 (LETT |r0| 1072 (QCAR 1073 (SPADCALL 1074 (SPADCALL |lk| 1075 (LIST (SPADCALL |f0| (QREFELT $ 107)) |fp|) 1076 |ext|) 1077 (QREFELT $ 132)))) 1078 (EXIT 1079 (COND 1080 ((NULL (QEQCAR |r0| 1)) 1081 (SEQ 1082 (LETT |mf| 1083 (SPADCALL (QCDR (QCDR |r0|)) 1 (QREFELT $ 133))) 1084 (LETT |mu| (SPADCALL |mf| (QREFELT $ 129))) 1085 (EXIT 1086 (COND 1087 ((QEQCAR |mu| 0) 1088 (LETT |n| (MAX |n| (QCDR |mu|))))))))))))))))) 1089 (COND 1090 ((NULL |base_case|) 1091 (COND 1092 ((EQL |da| |db|) 1093 (SEQ 1094 (LETT |f0| 1095 (SPADCALL 1096 (SPADCALL (SPADCALL |b| (QREFELT $ 104)) 1097 (SPADCALL |a| (QREFELT $ 104)) (QREFELT $ 128)) 1098 (QREFELT $ 107))) 1099 (LETT |b1| 1100 (SPADCALL (SPADCALL |f0| |a| (QREFELT $ 32)) |b| 1101 (QREFELT $ 82))) 1102 (EXIT 1103 (COND 1104 ((EQL (+ (SPADCALL |b1| (QREFELT $ 67)) 1) |da|) 1105 (SEQ 1106 (LETT |f1| 1107 (SPADCALL 1108 (SPADCALL (SPADCALL |b1| (QREFELT $ 104)) 1109 (SPADCALL |a| (QREFELT $ 104)) 1110 (QREFELT $ 128)) 1111 (QREFELT $ 107))) 1112 (LETT |r0| 1113 (QCAR 1114 (SPADCALL 1115 (SPADCALL |lk| 1116 (LIST (SPADCALL |f1| (QREFELT $ 107)) 1117 |fp|) 1118 |ext|) 1119 (QREFELT $ 132)))) 1120 (EXIT 1121 (COND 1122 ((NULL (QEQCAR |r0| 1)) 1123 (SEQ 1124 (LETT |mf| 1125 (SPADCALL (QCDR (QCDR |r0|)) 1 (QREFELT $ 133))) 1126 (LETT |mu| (SPADCALL |mf| (QREFELT $ 129))) 1127 (EXIT 1128 (COND 1129 ((QEQCAR |mu| 0) 1130 (LETT |n| (MAX |n| (QCDR |mu|))))))))))))))))))) 1131 (LETT |do_degrad| 1132 (CONS #'|RDEPAR;do_SPDE_prim!0| 1133 (VECTOR |x| |get_rs| |der| |logi| |ext| |lk| |k| |is_der| 1134 $))) 1135 (LETT |res1| 1136 (|RDEPAR;param_SPDE| |a| |b| |lc| |n| |der| |get_rs| 1137 |do_degrad| |x| $)) 1138 (EXIT 1139 (PROGN 1140 (LETT #5# NIL) 1141 (SEQ (LETT |re| NIL) (LETT #4# |res1|) G190 1142 (COND 1143 ((OR (ATOM #4#) (PROGN (LETT |re| (CAR #4#)) NIL)) 1144 (GO G191))) 1145 (SEQ 1146 (EXIT 1147 (LETT #5# 1148 (CONS 1149 (CONS (SPADCALL (QCAR |re|) (QREFELT $ 73)) 1150 (QCDR |re|)) 1151 #5#)))) 1152 (LETT #4# (CDR #4#)) (GO G190) G191 (EXIT (NREVERSE #5#)))))))) 1153 1154(SDEFUN |RDEPAR;do_SPDE_prim!0| ((|bb| NIL) (|lc1| NIL) ($$ NIL)) 1155 (PROG ($ |is_der| |k| |lk| |ext| |logi| |der| |get_rs| |x|) 1156 (LETT $ (QREFELT $$ 8)) 1157 (LETT |is_der| (QREFELT $$ 7)) 1158 (LETT |k| (QREFELT $$ 6)) 1159 (LETT |lk| (QREFELT $$ 5)) 1160 (LETT |ext| (QREFELT $$ 4)) 1161 (LETT |logi| (QREFELT $$ 3)) 1162 (LETT |der| (QREFELT $$ 2)) 1163 (LETT |get_rs| (QREFELT $$ 1)) 1164 (LETT |x| (QREFELT $$ 0)) 1165 (RETURN 1166 (PROGN 1167 (|RDEPAR;do_SPDE_prim| (|spadConstant| $ 68) |bb| |is_der| |lc1| 1168 |k| |lk| |ext| |logi| |der| |get_rs| |x| $))))) 1169 1170(SDEFUN |RDEPAR;do_SPDE_exp0| 1171 ((|a| F) (|b| F) 1172 (|lcr| |List| 1173 (|LaurentPolynomial| F (|SparseUnivariatePolynomial| F))) 1174 (|lk| |List| (|Kernel| F)) (|eta| F) 1175 (|ext| |Mapping| 1176 (|List| (|Record| (|:| |ratpart| F) (|:| |coeffs| (|Vector| F)))) 1177 (|List| (|Kernel| F)) (|List| F)) 1178 (|logi| |Mapping| 1179 (|Record| (|:| |logands| (|List| F)) 1180 (|:| |basis| (|List| (|Vector| (|Fraction| (|Integer|)))))) 1181 (|List| (|Kernel| F)) (|List| F)) 1182 (|x| |Symbol|) 1183 ($ |List| 1184 (|Record| 1185 (|:| |ratpart| (|Fraction| (|SparseUnivariatePolynomial| F))) 1186 (|:| |coeffs| (|Vector| F))))) 1187 (SPROG 1188 ((#1=#:G721 NIL) (|re| NIL) (#2=#:G722 NIL) (|bv| NIL) (#3=#:G720 NIL) 1189 (|j| #4=(|Integer|)) 1190 (|lba| 1191 (|List| (|LaurentPolynomial| F (|SparseUnivariatePolynomial| F)))) 1192 (|cb| (|List| (|Vector| F))) 1193 (|nlba| 1194 (|List| (|LaurentPolynomial| F (|SparseUnivariatePolynomial| F)))) 1195 (#5=#:G719 NIL) (|be| NIL) (#6=#:G718 NIL) 1196 (|ncb| (|List| (|Vector| F))) (#7=#:G717 NIL) (#8=#:G716 NIL) 1197 (|s2f| 1198 (|List| (|Record| (|:| |ratpart| F) (|:| |coeffs| (|Vector| F))))) 1199 (|lgj1| (|List| F)) (|ff| (F)) (#9=#:G715 NIL) (|lgj| (|List| F)) 1200 (#10=#:G705 NIL) (|gij| (F)) (|last_iter| (|Boolean|)) 1201 (|gi| (|LaurentPolynomial| F (|SparseUnivariatePolynomial| F))) 1202 (#11=#:G714 NIL) (|i| NIL) (|n1| (|NonNegativeInteger|)) (|f0| (F)) 1203 (|d| #4#) (#12=#:G713 NIL) (|cr| NIL) (#13=#:G712 NIL) 1204 (#14=#:G711 NIL) (#15=#:G710 NIL) (#16=#:G708 NIL) (#17=#:G709 NIL) 1205 (#18=#:G707 NIL) (#19=#:G706 NIL) 1206 (|vg2| 1207 (|Vector| (|LaurentPolynomial| F (|SparseUnivariatePolynomial| F)))) 1208 (|n| (|NonNegativeInteger|))) 1209 (SEQ (LETT |n| (LENGTH |lcr|)) 1210 (LETT |vg2| (SPADCALL |lcr| (QREFELT $ 136))) 1211 (LETT |cb| 1212 (PROGN 1213 (LETT #19# NIL) 1214 (SEQ (LETT |cr| NIL) (LETT #18# |lcr|) G190 1215 (COND 1216 ((OR (ATOM #18#) (PROGN (LETT |cr| (CAR #18#)) NIL)) 1217 (GO G191))) 1218 (SEQ 1219 (EXIT 1220 (LETT #19# 1221 (CONS (MAKEARR1 |n| (|spadConstant| $ 42)) 1222 #19#)))) 1223 (LETT #18# (CDR #18#)) (GO G190) G191 1224 (EXIT (NREVERSE #19#))))) 1225 (SEQ (LETT |bv| NIL) (LETT #17# |cb|) (LETT |i| 1) 1226 (LETT #16# |n|) G190 1227 (COND 1228 ((OR (|greater_SI| |i| #16#) (ATOM #17#) 1229 (PROGN (LETT |bv| (CAR #17#)) NIL)) 1230 (GO G191))) 1231 (SEQ 1232 (EXIT 1233 (SPADCALL |bv| |i| (|spadConstant| $ 64) (QREFELT $ 97)))) 1234 (LETT |i| (PROG1 (|inc_SI| |i|) (LETT #17# (CDR #17#)))) 1235 (GO G190) G191 (EXIT NIL)) 1236 (LETT |lba| 1237 (PROGN 1238 (LETT #15# NIL) 1239 (SEQ (LETT |cr| NIL) (LETT #14# |lcr|) G190 1240 (COND 1241 ((OR (ATOM #14#) (PROGN (LETT |cr| (CAR #14#)) NIL)) 1242 (GO G191))) 1243 (SEQ 1244 (EXIT 1245 (LETT #15# (CONS (|spadConstant| $ 137) #15#)))) 1246 (LETT #14# (CDR #14#)) (GO G190) G191 1247 (EXIT (NREVERSE #15#))))) 1248 (LETT |d| 1249 (SPADCALL (ELT $ 98) 1250 (PROGN 1251 (LETT #13# NIL) 1252 (SEQ (LETT |cr| NIL) (LETT #12# |lcr|) G190 1253 (COND 1254 ((OR (ATOM #12#) 1255 (PROGN (LETT |cr| (CAR #12#)) NIL)) 1256 (GO G191))) 1257 (SEQ 1258 (EXIT 1259 (LETT #13# 1260 (CONS 1261 (SPADCALL |cr| (QREFELT $ 138)) 1262 #13#)))) 1263 (LETT #12# (CDR #12#)) (GO G190) G191 1264 (EXIT (NREVERSE #13#)))) 1265 (QREFELT $ 127))) 1266 (LETT |j| |d|) (LETT |f0| (SPADCALL |b| |a| (QREFELT $ 128))) 1267 (SEQ 1268 (EXIT 1269 (SEQ G190 NIL 1270 (SEQ (LETT |last_iter| 'T) (LETT |n1| (LENGTH |cb|)) 1271 (LETT |lgj| NIL) 1272 (SEQ (LETT |i| 1) (LETT #11# |n|) G190 1273 (COND ((|greater_SI| |i| #11#) (GO G191))) 1274 (SEQ 1275 (LETT |gi| 1276 (SPADCALL |vg2| |i| (QREFELT $ 139))) 1277 (LETT |gij| (|spadConstant| $ 42)) 1278 (COND 1279 ((SPADCALL |gi| (|spadConstant| $ 137) 1280 (QREFELT $ 140)) 1281 (SEQ (LETT |last_iter| NIL) 1282 (EXIT 1283 (COND 1284 ((EQL (SPADCALL |gi| (QREFELT $ 138)) 1285 |j|) 1286 (SEQ 1287 (LETT |gij| 1288 (SPADCALL |gi| 1289 (QREFELT $ 141))) 1290 (EXIT 1291 (SPADCALL |vg2| |i| 1292 (SPADCALL |gi| 1293 (QREFELT $ 1294 142)) 1295 (QREFELT $ 143)))))))))) 1296 (EXIT (LETT |lgj| (CONS |gij| |lgj|)))) 1297 (LETT |i| (|inc_SI| |i|)) (GO G190) G191 1298 (EXIT NIL)) 1299 (EXIT 1300 (COND 1301 (|last_iter| 1302 (PROGN (LETT #10# |$NoValue|) (GO #20=#:G701))) 1303 ('T 1304 (SEQ (LETT |lgj| (NREVERSE |lgj|)) 1305 (LETT |lgj1| NIL) 1306 (SEQ (LETT |bv| NIL) (LETT #9# |cb|) G190 1307 (COND 1308 ((OR (ATOM #9#) 1309 (PROGN (LETT |bv| (CAR #9#)) NIL)) 1310 (GO G191))) 1311 (SEQ 1312 (LETT |ff| 1313 (SPADCALL |bv| |lgj| 1314 (QREFELT $ 109))) 1315 (EXIT 1316 (LETT |lgj1| 1317 (CONS 1318 (SPADCALL |ff| (QREFELT $ 107)) 1319 |lgj1|)))) 1320 (LETT #9# (CDR #9#)) (GO G190) G191 1321 (EXIT NIL)) 1322 (LETT |lgj1| (NREVERSE |lgj1|)) 1323 (LETT |s2f| 1324 (SPADCALL 1325 (SPADCALL |f0| 1326 (SPADCALL 1327 (SPADCALL |j| 1328 (QREFELT $ 44)) 1329 |eta| (QREFELT $ 110)) 1330 (QREFELT $ 111)) 1331 |lgj1| |x| |lk| |ext| |logi| 1332 (QREFELT $ 118))) 1333 (LETT |ncb| 1334 (PROGN 1335 (LETT #8# NIL) 1336 (SEQ (LETT |be| NIL) (LETT #7# |s2f|) 1337 G190 1338 (COND 1339 ((OR (ATOM #7#) 1340 (PROGN 1341 (LETT |be| (CAR #7#)) 1342 NIL)) 1343 (GO G191))) 1344 (SEQ 1345 (EXIT 1346 (LETT #8# 1347 (CONS 1348 (SPADCALL (QCDR |be|) 1349 |cb| 1350 (QREFELT $ 1351 80)) 1352 #8#)))) 1353 (LETT #7# (CDR #7#)) (GO G190) 1354 G191 (EXIT (NREVERSE #8#))))) 1355 (LETT |nlba| 1356 (PROGN 1357 (LETT #6# NIL) 1358 (SEQ (LETT |be| NIL) (LETT #5# |s2f|) 1359 G190 1360 (COND 1361 ((OR (ATOM #5#) 1362 (PROGN 1363 (LETT |be| (CAR #5#)) 1364 NIL)) 1365 (GO G191))) 1366 (SEQ 1367 (EXIT 1368 (LETT #6# 1369 (CONS 1370 (SPADCALL 1371 (SPADCALL (QCDR |be|) 1372 |lba| 1373 (QREFELT $ 1374 144)) 1375 (SPADCALL (QCAR |be|) 1376 |j| 1377 (QREFELT $ 1378 145)) 1379 (QREFELT $ 146)) 1380 #6#)))) 1381 (LETT #5# (CDR #5#)) (GO G190) 1382 G191 (EXIT (NREVERSE #6#))))) 1383 (LETT |cb| |ncb|) (LETT |lba| |nlba|) 1384 (EXIT (LETT |j| (- |j| 1)))))))) 1385 NIL (GO G190) G191 (EXIT NIL))) 1386 #20# (EXIT #10#)) 1387 (EXIT 1388 (PROGN 1389 (LETT #3# NIL) 1390 (SEQ (LETT |bv| NIL) (LETT #2# |cb|) (LETT |re| NIL) 1391 (LETT #1# |lba|) G190 1392 (COND 1393 ((OR (ATOM #1#) (PROGN (LETT |re| (CAR #1#)) NIL) 1394 (ATOM #2#) (PROGN (LETT |bv| (CAR #2#)) NIL)) 1395 (GO G191))) 1396 (SEQ 1397 (EXIT 1398 (LETT #3# 1399 (CONS (CONS (SPADCALL |re| (QREFELT $ 147)) |bv|) 1400 #3#)))) 1401 (LETT #1# (PROG1 (CDR #1#) (LETT #2# (CDR #2#)))) 1402 (GO G190) G191 (EXIT (NREVERSE #3#)))))))) 1403 1404(SDEFUN |RDEPAR;exp_lower_bound;SupLp2ILFMI;11| 1405 ((|a| |SparseUnivariatePolynomial| F) 1406 (|b| |LaurentPolynomial| F (|SparseUnivariatePolynomial| F)) 1407 (|ob| |Integer|) (|nc0| |Integer|) (|lk| |List| (|Kernel| F)) 1408 (|eta| F) 1409 (|logi| |Mapping| 1410 (|Record| (|:| |logands| (|List| F)) 1411 (|:| |basis| (|List| (|Vector| (|Fraction| (|Integer|)))))) 1412 (|List| (|Kernel| F)) (|List| F)) 1413 ($ |Integer|)) 1414 (SPROG 1415 ((|nu| (|Union| (|Integer|) "failed")) 1416 (|bv| (|Vector| (|Fraction| (|Integer|)))) 1417 (|bl| #1=(|List| (|Vector| (|Fraction| (|Integer|))))) 1418 (|ll| #2=(|List| F)) 1419 (|#G116| (|Record| (|:| |logands| #2#) (|:| |basis| #1#))) (|c0| (F)) 1420 (|n0| (|Integer|))) 1421 (SEQ 1422 (COND ((< |ob| 0) (MIN 0 (- |nc0| |ob|))) 1423 (#3='T 1424 (SEQ (LETT |n0| (MIN 0 |nc0|)) 1425 (EXIT 1426 (COND ((< 0 |ob|) |n0|) 1427 (#3# 1428 (SEQ 1429 (LETT |c0| 1430 (SPADCALL (SPADCALL |b| 0 (QREFELT $ 148)) 1431 (SPADCALL |a| 0 (QREFELT $ 149)) 1432 (QREFELT $ 128))) 1433 (PROGN 1434 (LETT |#G116| 1435 (SPADCALL |lk| (LIST |c0| |eta|) |logi|)) 1436 (LETT |ll| (QCAR |#G116|)) 1437 (LETT |bl| (QCDR |#G116|)) 1438 |#G116|) 1439 (EXIT 1440 (COND ((NULL |bl|) |n0|) 1441 (#3# 1442 (SEQ (LETT |bv| (|SPADfirst| |bl|)) 1443 (LETT |nu| 1444 (SPADCALL 1445 (SPADCALL 1446 (SPADCALL |bv| 2 1447 (QREFELT $ 88)) 1448 (SPADCALL |bv| 1 1449 (QREFELT $ 88)) 1450 (QREFELT $ 150)) 1451 (QREFELT $ 40))) 1452 (EXIT 1453 (COND ((QEQCAR |nu| 1) |n0|) 1454 (#3# 1455 (MIN (QCDR |nu|) 1456 |n0|)))))))))))))))))) 1457 1458(SDEFUN |RDEPAR;exp_upper_bound| 1459 ((|a| |SparseUnivariatePolynomial| F) 1460 (|b| |SparseUnivariatePolynomial| F) (|nc1| |Integer|) 1461 (|lk| |List| (|Kernel| F)) (|eta| F) 1462 (|logi| |Mapping| 1463 #1=(|Record| (|:| |logands| #2=(|List| F)) 1464 (|:| |basis| 1465 #3=(|List| (|Vector| (|Fraction| (|Integer|)))))) 1466 (|List| (|Kernel| F)) (|List| F)) 1467 ($ |Integer|)) 1468 (SPROG 1469 ((|nu| (|Union| (|Integer|) "failed")) 1470 (|bv| (|Vector| (|Fraction| (|Integer|)))) (|bl| #3#) (|ll| #2#) 1471 (|#G123| #1#) (|c1| (F)) (|n0| (|Integer|)) 1472 (|db| #4=(|NonNegativeInteger|)) (|da| #4#)) 1473 (SEQ (LETT |da| (SPADCALL |a| (QREFELT $ 67))) 1474 (LETT |db| (SPADCALL |b| (QREFELT $ 67))) 1475 (EXIT 1476 (COND ((< |da| |db|) (- |nc1| |db|)) 1477 (#5='T 1478 (SEQ (LETT |n0| (MAX 0 (- |nc1| |da|))) 1479 (EXIT 1480 (COND ((< |db| |da|) |n0|) 1481 (#5# 1482 (SEQ 1483 (LETT |c1| 1484 (SPADCALL 1485 (SPADCALL |b| (QREFELT $ 104)) 1486 (SPADCALL |a| (QREFELT $ 104)) 1487 (QREFELT $ 128))) 1488 (PROGN 1489 (LETT |#G123| 1490 (SPADCALL |lk| (LIST |c1| |eta|) 1491 |logi|)) 1492 (LETT |ll| (QCAR |#G123|)) 1493 (LETT |bl| (QCDR |#G123|)) 1494 |#G123|) 1495 (EXIT 1496 (COND ((NULL |bl|) |n0|) 1497 (#5# 1498 (SEQ (LETT |bv| (|SPADfirst| |bl|)) 1499 (LETT |nu| 1500 (SPADCALL 1501 (SPADCALL 1502 (SPADCALL |bv| 2 1503 (QREFELT $ 1504 88)) 1505 (SPADCALL |bv| 1 1506 (QREFELT $ 1507 88)) 1508 (QREFELT $ 150)) 1509 (QREFELT $ 40))) 1510 (EXIT 1511 (COND ((QEQCAR |nu| 1) |n0|) 1512 (#5# 1513 (MAX (QCDR |nu|) 1514 |n0|))))))))))))))))))) 1515 1516(SDEFUN |RDEPAR;do_SPDE_exp| 1517 ((|a| |SparseUnivariatePolynomial| F) 1518 (|bbr| |Fraction| (|SparseUnivariatePolynomial| F)) 1519 (|lcr| |List| (|Fraction| (|SparseUnivariatePolynomial| F))) 1520 (|lk| |List| (|Kernel| F)) 1521 (|ext| |Mapping| 1522 (|List| (|Record| (|:| |ratpart| F) (|:| |coeffs| (|Vector| F)))) 1523 (|List| (|Kernel| F)) (|List| F)) 1524 (|logi| |Mapping| 1525 (|Record| (|:| |logands| (|List| F)) 1526 (|:| |basis| (|List| (|Vector| (|Fraction| (|Integer|)))))) 1527 (|List| (|Kernel| F)) (|List| F)) 1528 (|der| |Mapping| (|SparseUnivariatePolynomial| F) 1529 (|SparseUnivariatePolynomial| F)) 1530 (|get_rs| |Mapping| (|Matrix| F) (|Matrix| F)) (|x| |Symbol|) 1531 ($ |List| 1532 (|Record| 1533 (|:| |ratpart| (|Fraction| (|SparseUnivariatePolynomial| F))) 1534 (|:| |coeffs| (|Vector| F))))) 1535 (SPROG 1536 ((#1=#:G796 NIL) (|re| NIL) (#2=#:G795 NIL) 1537 (|tt| (|Fraction| (|SparseUnivariatePolynomial| F))) (#3=#:G781 NIL) 1538 (|res1| 1539 (|List| 1540 (|Record| (|:| |ratpart| (|SparseUnivariatePolynomial| F)) 1541 (|:| |coeffs| (|Vector| F))))) 1542 (|do_degrad| 1543 (|Mapping| 1544 (|List| 1545 (|Record| 1546 (|:| |ratpart| (|Fraction| (|SparseUnivariatePolynomial| F))) 1547 (|:| |coeffs| (|Vector| F)))) 1548 (|Fraction| (|SparseUnivariatePolynomial| F)) 1549 (|List| (|Fraction| (|SparseUnivariatePolynomial| F))))) 1550 (|n1| (|Integer|)) (|nc1| #4=(|Integer|)) (#5=#:G794 NIL) (|cu| NIL) 1551 (#6=#:G793 NIL) (|lcu| (|List| #7=(|SparseUnivariatePolynomial| F))) 1552 (#8=#:G792 NIL) (|c| NIL) (#9=#:G791 NIL) 1553 (|lc| 1554 (|List| 1555 #10=(|LaurentPolynomial| F (|SparseUnivariatePolynomial| F)))) 1556 (#11=#:G790 NIL) (#12=#:G789 NIL) 1557 (|t1| (|LaurentPolynomial| F (|SparseUnivariatePolynomial| F))) 1558 (#13=#:G759 NIL) (|m0| (|Integer|)) (|bu| #7#) (|b| #10#) 1559 (#14=#:G757 NIL) (|n0| (|Integer|)) (|eta| (F)) (#15=#:G745 NIL) 1560 (|nc0| #4#) (#16=#:G788 NIL) (#17=#:G787 NIL) (|nb0| (|Integer|)) 1561 (#18=#:G786 NIL) (|cr| NIL) (#19=#:G785 NIL)) 1562 (SEQ (LETT |b| (|RDEPAR;RF_to_GP| |bbr| $)) 1563 (LETT |lc| 1564 (PROGN 1565 (LETT #19# NIL) 1566 (SEQ (LETT |cr| NIL) (LETT #18# |lcr|) G190 1567 (COND 1568 ((OR (ATOM #18#) (PROGN (LETT |cr| (CAR #18#)) NIL)) 1569 (GO G191))) 1570 (SEQ 1571 (EXIT 1572 (LETT #19# 1573 (CONS (|RDEPAR;RF_to_GP| |cr| $) #19#)))) 1574 (LETT #18# (CDR #18#)) (GO G190) G191 1575 (EXIT (NREVERSE #19#))))) 1576 (LETT |nb0| (SPADCALL |b| (QREFELT $ 152))) 1577 (LETT |nc0| 1578 (SPADCALL (ELT $ 153) 1579 (PROGN 1580 (LETT #17# NIL) 1581 (SEQ (LETT |c| NIL) (LETT #16# |lc|) G190 1582 (COND 1583 ((OR (ATOM #16#) 1584 (PROGN (LETT |c| (CAR #16#)) NIL)) 1585 (GO G191))) 1586 (SEQ 1587 (EXIT 1588 (LETT #17# 1589 (CONS 1590 (SPADCALL |c| (QREFELT $ 152)) 1591 #17#)))) 1592 (LETT #16# (CDR #16#)) (GO G190) G191 1593 (EXIT (NREVERSE #17#)))) 1594 (QREFELT $ 127))) 1595 (LETT |eta| 1596 (SPADCALL 1597 (PROG2 1598 (LETT #15# 1599 (SPADCALL 1600 (SPADCALL 1601 (SPADCALL (|spadConstant| $ 64) 1 1602 (QREFELT $ 66)) 1603 |der|) 1604 (SPADCALL (|spadConstant| $ 64) 1 1605 (QREFELT $ 66)) 1606 (QREFELT $ 21))) 1607 (QCDR #15#) 1608 (|check_union2| (QEQCAR #15# 0) 1609 (|SparseUnivariatePolynomial| 1610 (QREFELT $ 7)) 1611 (|Union| 1612 (|SparseUnivariatePolynomial| 1613 (QREFELT $ 7)) 1614 "failed") 1615 #15#)) 1616 (QREFELT $ 101))) 1617 (COND 1618 ((EQL (SPADCALL |a| (QREFELT $ 67)) 0) 1619 (COND 1620 ((EQL (SPADCALL |b| (QREFELT $ 138)) 0) 1621 (COND 1622 ((EQL |nb0| 0) 1623 (EXIT 1624 (|RDEPAR;do_SPDE_exp0| (SPADCALL |a| (QREFELT $ 101)) 1625 (SPADCALL |b| (QREFELT $ 154)) |lc| |lk| |eta| |ext| 1626 |logi| |x| $)))))))) 1627 (LETT |n0| 1628 (SPADCALL |a| |b| |nb0| |nc0| |lk| |eta| |logi| 1629 (QREFELT $ 151))) 1630 (COND 1631 ((< |n0| 0) 1632 (LETT |b| 1633 (SPADCALL |b| 1634 (SPADCALL 1635 (SPADCALL 1636 (SPADCALL (SPADCALL |n0| (QREFELT $ 44)) 1637 |eta| (QREFELT $ 110)) 1638 (QREFELT $ 155)) 1639 (SPADCALL |a| (QREFELT $ 46)) (QREFELT $ 156)) 1640 (QREFELT $ 146))))) 1641 (COND 1642 ((< |nb0| 0) 1643 (SEQ 1644 (LETT |t1| 1645 (SPADCALL (|spadConstant| $ 64) 1646 (PROG1 (LETT #14# (- |nb0|)) 1647 (|check_subtype2| (>= #14# 0) 1648 '(|NonNegativeInteger|) 1649 '(|Integer|) #14#)) 1650 (QREFELT $ 66))) 1651 (LETT |b| 1652 (SPADCALL (SPADCALL |t1| (QREFELT $ 46)) |b| 1653 (QREFELT $ 156))) 1654 (EXIT (LETT |a| (SPADCALL |t1| |a| (QREFELT $ 81))))))) 1655 (LETT |bu| (SPADCALL |b| (QREFELT $ 157))) 1656 (LETT |m0| (+ (MIN 0 |n0|) (MIN 0 |nb0|))) 1657 (COND 1658 ((< |m0| 0) 1659 (SEQ 1660 (LETT |t1| 1661 (SPADCALL (|spadConstant| $ 64) 1662 (PROG1 (LETT #13# (- |m0|)) 1663 (|check_subtype2| (>= #13# 0) 1664 '(|NonNegativeInteger|) 1665 '(|Integer|) #13#)) 1666 (QREFELT $ 145))) 1667 (EXIT 1668 (LETT |lc| 1669 (PROGN 1670 (LETT #12# NIL) 1671 (SEQ (LETT |c| NIL) (LETT #11# |lc|) G190 1672 (COND 1673 ((OR (ATOM #11#) 1674 (PROGN (LETT |c| (CAR #11#)) NIL)) 1675 (GO G191))) 1676 (SEQ 1677 (EXIT 1678 (LETT #12# 1679 (CONS (SPADCALL |t1| |c| (QREFELT $ 156)) 1680 #12#)))) 1681 (LETT #11# (CDR #11#)) (GO G190) G191 1682 (EXIT (NREVERSE #12#))))))))) 1683 (LETT |lcu| 1684 (PROGN 1685 (LETT #9# NIL) 1686 (SEQ (LETT |c| NIL) (LETT #8# |lc|) G190 1687 (COND 1688 ((OR (ATOM #8#) (PROGN (LETT |c| (CAR #8#)) NIL)) 1689 (GO G191))) 1690 (SEQ 1691 (EXIT 1692 (LETT #9# 1693 (CONS (SPADCALL |c| (QREFELT $ 157)) #9#)))) 1694 (LETT #8# (CDR #8#)) (GO G190) G191 1695 (EXIT (NREVERSE #9#))))) 1696 (LETT |nc1| 1697 (SPADCALL (ELT $ 98) 1698 (PROGN 1699 (LETT #6# NIL) 1700 (SEQ (LETT |cu| NIL) (LETT #5# |lcu|) G190 1701 (COND 1702 ((OR (ATOM #5#) 1703 (PROGN (LETT |cu| (CAR #5#)) NIL)) 1704 (GO G191))) 1705 (SEQ 1706 (EXIT 1707 (LETT #6# 1708 (CONS 1709 (SPADCALL |cu| (QREFELT $ 67)) 1710 #6#)))) 1711 (LETT #5# (CDR #5#)) (GO G190) G191 1712 (EXIT (NREVERSE #6#)))) 1713 (QREFELT $ 127))) 1714 (LETT |n1| 1715 (|RDEPAR;exp_upper_bound| |a| |bu| |nc1| |lk| |eta| |logi| 1716 $)) 1717 (LETT |do_degrad| 1718 (CONS #'|RDEPAR;do_SPDE_exp!0| 1719 (VECTOR |x| |logi| |ext| |eta| |lk| $))) 1720 (LETT |res1| 1721 (|RDEPAR;param_SPDE| |a| |bu| |lcu| |n1| |der| |get_rs| 1722 |do_degrad| |x| $)) 1723 (LETT |tt| 1724 (COND 1725 ((< |n0| 0) 1726 (SPADCALL 1727 (SPADCALL (|spadConstant| $ 64) 1728 (PROG1 (LETT #3# (- |n0|)) 1729 (|check_subtype2| (>= #3# 0) 1730 '(|NonNegativeInteger|) 1731 '(|Integer|) #3#)) 1732 (QREFELT $ 66)) 1733 (QREFELT $ 73))) 1734 ('T (|spadConstant| $ 158)))) 1735 (EXIT 1736 (PROGN 1737 (LETT #2# NIL) 1738 (SEQ (LETT |re| NIL) (LETT #1# |res1|) G190 1739 (COND 1740 ((OR (ATOM #1#) (PROGN (LETT |re| (CAR #1#)) NIL)) 1741 (GO G191))) 1742 (SEQ 1743 (EXIT 1744 (LETT #2# 1745 (CONS 1746 (CONS 1747 (SPADCALL (SPADCALL (QCAR |re|) (QREFELT $ 73)) 1748 |tt| (QREFELT $ 159)) 1749 (QCDR |re|)) 1750 #2#)))) 1751 (LETT #1# (CDR #1#)) (GO G190) G191 1752 (EXIT (NREVERSE #2#)))))))) 1753 1754(SDEFUN |RDEPAR;do_SPDE_exp!0| ((|bb| NIL) (|lc1| NIL) ($$ NIL)) 1755 (PROG ($ |lk| |eta| |ext| |logi| |x|) 1756 (LETT $ (QREFELT $$ 5)) 1757 (LETT |lk| (QREFELT $$ 4)) 1758 (LETT |eta| (QREFELT $$ 3)) 1759 (LETT |ext| (QREFELT $$ 2)) 1760 (LETT |logi| (QREFELT $$ 1)) 1761 (LETT |x| (QREFELT $$ 0)) 1762 (RETURN 1763 (PROGN 1764 (SPROG ((#1=#:G775 NIL) (|c1| NIL) (#2=#:G774 NIL)) 1765 (SEQ 1766 (|RDEPAR;do_SPDE_exp0| (|spadConstant| $ 64) 1767 (SPADCALL (SPADCALL |bb| (QREFELT $ 22)) (QREFELT $ 101)) 1768 (PROGN 1769 (LETT #2# NIL) 1770 (SEQ (LETT |c1| NIL) (LETT #1# |lc1|) G190 1771 (COND 1772 ((OR (ATOM #1#) (PROGN (LETT |c1| (CAR #1#)) NIL)) 1773 (GO G191))) 1774 (SEQ 1775 (EXIT 1776 (LETT #2# (CONS (|RDEPAR;RF_to_GP| |c1| $) #2#)))) 1777 (LETT #1# (CDR #1#)) (GO G190) G191 1778 (EXIT (NREVERSE #2#)))) 1779 |lk| |eta| |ext| |logi| |x| $))))))) 1780 1781(SDEFUN |RDEPAR;param_rde;I2FLSLMMR;14| 1782 ((|m| |Integer|) (|f| F) (|g0| F) (|lg| |List| F) (|x| |Symbol|) 1783 (|lk| |List| (|Kernel| F)) 1784 (|ext| |Mapping| 1785 (|List| (|Record| (|:| |ratpart| F) (|:| |coeffs| (|Vector| F)))) 1786 (|List| (|Kernel| F)) (|List| F)) 1787 (|logi| |Mapping| 1788 (|Record| (|:| |logands| (|List| F)) 1789 (|:| |basis| (|List| (|Vector| (|Fraction| (|Integer|)))))) 1790 (|List| (|Kernel| F)) (|List| F)) 1791 ($ |Record| 1792 (|:| |particular| 1793 (|Union| 1794 (|Record| (|:| |ratpart| F) (|:| |coeffs| (|Vector| F))) 1795 "failed")) 1796 (|:| |basis| 1797 (|List| 1798 (|Record| (|:| |ratpart| F) (|:| |coeffs| (|Vector| F))))))) 1799 (SPROG 1800 ((|res1| 1801 (|List| (|Record| (|:| |ratpart| F) (|:| |coeffs| (|Vector| F))))) 1802 (|lg1| (|List| F))) 1803 (SEQ (LETT |lg1| (CONS (SPADCALL |g0| (QREFELT $ 107)) |lg|)) 1804 (LETT |res1| 1805 (SPADCALL |m| |f| |lg1| |x| |lk| |ext| |logi| 1806 (QREFELT $ 160))) 1807 (EXIT (SPADCALL |res1| (QREFELT $ 132)))))) 1808 1809(SDEFUN |RDEPAR;param_rde2;FLSLMML;15| 1810 ((|fp| F) (|lg| |List| F) (|x| |Symbol|) (|lk| |List| (|Kernel| F)) 1811 (|ext| |Mapping| 1812 (|List| (|Record| (|:| |ratpart| F) (|:| |coeffs| (|Vector| F)))) 1813 (|List| (|Kernel| F)) (|List| F)) 1814 (|logi| |Mapping| 1815 (|Record| (|:| |logands| (|List| F)) 1816 (|:| |basis| (|List| (|Vector| (|Fraction| (|Integer|)))))) 1817 (|List| (|Kernel| F)) (|List| F)) 1818 ($ |List| (|Record| (|:| |ratpart| F) (|:| |coeffs| (|Vector| F))))) 1819 (SPROG 1820 ((#1=#:G863 NIL) (|rs| NIL) (#2=#:G862 NIL) 1821 (|res1| 1822 (|List| (|Record| (|:| |ratpart| F) (|:| |coeffs| (|Vector| F))))) 1823 (|lg1| (|List| F)) (#3=#:G861 NIL) (|g| NIL) (#4=#:G860 NIL) 1824 (|pf| (F)) (|p| (|SparseUnivariatePolynomial| F)) (#5=#:G843 NIL) 1825 (|fpu| #6=(|Fraction| (|SparseUnivariatePolynomial| F))) 1826 (|ni| (|Integer|)) (|pii| (|SparseUnivariatePolynomial| F)) 1827 (|#G156| 1828 #7=(|Record| (|:| |fctr| (|SparseUnivariatePolynomial| F)) 1829 (|:| |xpnt| (|Integer|)))) 1830 (#8=#:G859 NIL) (|re| NIL) (|rl| (|List| #7#)) 1831 (|der1| 1832 (|Mapping| (|SparseUnivariatePolynomial| F) 1833 (|SparseUnivariatePolynomial| F))) 1834 (|denfp| (|SparseUnivariatePolynomial| F)) 1835 (|dk| (|SparseUnivariatePolynomial| F)) (|dku| #6#) (#9=#:G858 NIL) 1836 (|k1| NIL) (#10=#:G857 NIL) (|k| (|Kernel| F))) 1837 (SEQ (LETT |k| (SPADCALL |lk| (QREFELT $ 163))) 1838 (LETT |lk| 1839 (PROGN 1840 (LETT #10# NIL) 1841 (SEQ (LETT |k1| NIL) (LETT #9# |lk|) G190 1842 (COND 1843 ((OR (ATOM #9#) (PROGN (LETT |k1| (CAR #9#)) NIL)) 1844 (GO G191))) 1845 (SEQ 1846 (EXIT 1847 (COND 1848 ((SPADCALL |k1| |k| (QREFELT $ 164)) 1849 (LETT #10# (CONS |k1| #10#)))))) 1850 (LETT #9# (CDR #9#)) (GO G190) G191 1851 (EXIT (NREVERSE #10#))))) 1852 (EXIT 1853 (COND 1854 ((SPADCALL (SPADCALL |k| (QREFELT $ 166)) '|%alg| 1855 (QREFELT $ 167)) 1856 (|RDEPAR;do_alg_rde| |fp| |lg| |x| |k| |lk| |ext| |logi| $)) 1857 ((SPADCALL |k| '|%diff| (QREFELT $ 168)) 1858 (|RDEPAR;do_diff_rde| |fp| |lg| |x| |k| |lk| |ext| |logi| $)) 1859 (#11='T 1860 (SEQ 1861 (LETT |dku| 1862 (SPADCALL 1863 (SPADCALL (SPADCALL |k| (QREFELT $ 31)) |x| 1864 (QREFELT $ 169)) 1865 |k| (QREFELT $ 125))) 1866 (EXIT 1867 (COND 1868 ((SPADCALL (SPADCALL |dku| (QREFELT $ 13)) 1869 (|spadConstant| $ 68) (QREFELT $ 70)) 1870 NIL) 1871 (#11# 1872 (SEQ (LETT |dk| (SPADCALL |dku| (QREFELT $ 22))) 1873 (LETT |fpu| (SPADCALL |fp| |k| (QREFELT $ 125))) 1874 (LETT |denfp| (SPADCALL |fpu| (QREFELT $ 13))) 1875 (LETT |der1| 1876 (CONS #'|RDEPAR;param_rde2;FLSLMML;15!1| 1877 (VECTOR |dk| |x| $))) 1878 (LETT |rl| (|RDEPAR;normalize| |fpu| |der1| $)) 1879 (LETT |p| (|spadConstant| $ 68)) 1880 (SEQ (LETT |re| NIL) (LETT #8# |rl|) G190 1881 (COND 1882 ((OR (ATOM #8#) 1883 (PROGN (LETT |re| (CAR #8#)) NIL)) 1884 (GO G191))) 1885 (SEQ 1886 (PROGN 1887 (LETT |#G156| |re|) 1888 (LETT |pii| (QCAR |#G156|)) 1889 (LETT |ni| (QCDR |#G156|)) 1890 |#G156|) 1891 (LETT |fpu| 1892 (SPADCALL |fpu| 1893 (SPADCALL 1894 (SPADCALL 1895 (SPADCALL |ni| 1896 (QREFELT $ 44)) 1897 (SPADCALL |pii| |der1|) 1898 (QREFELT $ 32)) 1899 |pii| (QREFELT $ 172)) 1900 (QREFELT $ 173))) 1901 (EXIT 1902 (LETT |p| 1903 (SPADCALL 1904 (SPADCALL |pii| 1905 (PROG1 (LETT #5# |ni|) 1906 (|check_subtype2| 1907 (>= #5# 0) 1908 '(|NonNegativeInteger|) 1909 '(|Integer|) #5#)) 1910 (QREFELT $ 174)) 1911 |p| (QREFELT $ 81))))) 1912 (LETT #8# (CDR #8#)) (GO G190) G191 (EXIT NIL)) 1913 (LETT |fp| (SPADCALL |fpu| |k| (QREFELT $ 123))) 1914 (LETT |pf| 1915 (SPADCALL (SPADCALL |p| (QREFELT $ 73)) |k| 1916 (QREFELT $ 123))) 1917 (LETT |lg1| 1918 (PROGN 1919 (LETT #4# NIL) 1920 (SEQ (LETT |g| NIL) (LETT #3# |lg|) G190 1921 (COND 1922 ((OR (ATOM #3#) 1923 (PROGN (LETT |g| (CAR #3#)) NIL)) 1924 (GO G191))) 1925 (SEQ 1926 (EXIT 1927 (LETT #4# 1928 (CONS 1929 (SPADCALL |pf| |g| 1930 (QREFELT $ 110)) 1931 #4#)))) 1932 (LETT #3# (CDR #3#)) (GO G190) G191 1933 (EXIT (NREVERSE #4#))))) 1934 (LETT |res1| 1935 (|RDEPAR;do_param_rde| |fp| NIL |lg1| |x| |k| 1936 |lk| |ext| |logi| $)) 1937 (EXIT 1938 (PROGN 1939 (LETT #2# NIL) 1940 (SEQ (LETT |rs| NIL) (LETT #1# |res1|) G190 1941 (COND 1942 ((OR (ATOM #1#) 1943 (PROGN (LETT |rs| (CAR #1#)) NIL)) 1944 (GO G191))) 1945 (SEQ 1946 (EXIT 1947 (LETT #2# 1948 (CONS 1949 (CONS 1950 (SPADCALL (QCAR |rs|) |pf| 1951 (QREFELT $ 128)) 1952 (QCDR |rs|)) 1953 #2#)))) 1954 (LETT #1# (CDR #1#)) (GO G190) G191 1955 (EXIT (NREVERSE #2#)))))))))))))))) 1956 1957(SDEFUN |RDEPAR;param_rde2;FLSLMML;15!1| ((|z1| NIL) ($$ NIL)) 1958 (PROG ($ |x| |dk|) 1959 (LETT $ (QREFELT $$ 2)) 1960 (LETT |x| (QREFELT $$ 1)) 1961 (LETT |dk| (QREFELT $$ 0)) 1962 (RETURN 1963 (PROGN 1964 (SPROG NIL 1965 (SPADCALL |z1| 1966 (CONS #'|RDEPAR;param_rde2;FLSLMML;15!0| 1967 (VECTOR $ |x|)) 1968 |dk| (QREFELT $ 171))))))) 1969 1970(SDEFUN |RDEPAR;param_rde2;FLSLMML;15!0| ((|z2| NIL) ($$ NIL)) 1971 (PROG (|x| $) 1972 (LETT |x| (QREFELT $$ 1)) 1973 (LETT $ (QREFELT $$ 0)) 1974 (RETURN (PROGN (SPADCALL |z2| |x| (QREFELT $ 169)))))) 1975 1976(SDEFUN |RDEPAR;csolve1| 1977 ((|m| |Matrix| F) (|d1| |Mapping| F F) ($ |List| (|Vector| F))) 1978 (SPADCALL |m| (LIST |d1|) (QREFELT $ 177))) 1979 1980(SDEFUN |RDEPAR;do_diff_rde1| 1981 ((|lg| |List| (|SparseUnivariatePolynomial| F)) (|fp0| F) (|fp1| F) 1982 (|x| |Symbol|) (|k| |Kernel| F) (|lk| |List| #1=(|Kernel| F)) 1983 (|ext| |Mapping| 1984 (|List| (|Record| (|:| |ratpart| F) (|:| |coeffs| (|Vector| F)))) 1985 (|List| (|Kernel| F)) (|List| F)) 1986 (|logi| |Mapping| 1987 (|Record| (|:| |logands| (|List| F)) 1988 (|:| |basis| (|List| (|Vector| (|Fraction| (|Integer|)))))) 1989 (|List| (|Kernel| F)) (|List| F)) 1990 ($ |List| (|Record| (|:| |ratpart| F) (|:| |coeffs| (|Vector| F))))) 1991 (SPROG 1992 ((#2=#:G949 NIL) (|ba| NIL) (#3=#:G950 NIL) (|bv| NIL) (#4=#:G948 NIL) 1993 (|nlca| (|List| F)) (#5=#:G946 NIL) (#6=#:G947 NIL) (|ca| NIL) 1994 (#7=#:G945 NIL) (|ncb| (|List| (|Vector| F))) (#8=#:G944 NIL) 1995 (#9=#:G943 NIL) (|elca| (|List| F)) (#10=#:G942 NIL) (|be| NIL) 1996 (#11=#:G941 NIL) (|cb1| (|List| (|Vector| F))) (#12=#:G940 NIL) 1997 (#13=#:G939 NIL) 1998 (|res2| 1999 #14=(|List| 2000 (|Record| (|:| |ratpart| F) (|:| |coeffs| (|Vector| F))))) 2001 (|lk3| (|List| #1#)) (#15=#:G938 NIL) (|ki| NIL) (#16=#:G937 NIL) 2002 (|kk3| #17=(|Kernel| F)) (#18=#:G936 NIL) (#19=#:G935 NIL) 2003 (|m3| (|Matrix| F)) (|nlg| (|List| F)) (|ng| (F)) (#20=#:G913 NIL) 2004 (|nu| (|SparseUnivariatePolynomial| F)) 2005 (|du| (|Fraction| (|SparseUnivariatePolynomial| F))) (#21=#:G932 NIL) 2006 (#22=#:G933 NIL) (|g1| NIL) (#23=#:G934 NIL) (|g0| NIL) 2007 (|lca| (|List| F)) (|nlg0| (|List| F)) (#24=#:G931 NIL) 2008 (#25=#:G930 NIL) (|lg3| (|List| F)) (#26=#:G929 NIL) (#27=#:G928 NIL) 2009 (|v3| (|Vector| F)) (|v2| (|Vector| F)) (#28=#:G927 NIL) 2010 (#29=#:G926 NIL) (|cb| #30=(|List| (|Vector| F))) 2011 (|m2| #31=(|Matrix| F)) 2012 (|#G175| (|Record| (|:| |transform| #31#) (|:| |basis| #30#))) 2013 (|d1| (|Mapping| F F)) (|cb0| (|List| (|Vector| F))) (#32=#:G925 NIL) 2014 (#33=#:G924 NIL) (|res1| #14#) (|lk2| (|List| #34=(|Kernel| F))) 2015 (#35=#:G923 NIL) (#36=#:G922 NIL) (|kk1| #17#) 2016 (|logi1| 2017 (|Mapping| 2018 (|Record| (|:| |logands| (|List| F)) 2019 (|:| |basis| 2020 (|List| (|Vector| (|Fraction| (|Integer|)))))) 2021 (|List| (|Kernel| F)) (|List| F))) 2022 (|ext1| 2023 (|Mapping| 2024 (|List| (|Record| (|:| |ratpart| F) (|:| |coeffs| (|Vector| F)))) 2025 (|List| (|Kernel| F)) (|List| F))) 2026 (|lk1| (|List| #34#)) (|lek| (|List| F)) (#37=#:G921 NIL) 2027 (#38=#:G920 NIL) (|fp2| (F)) (|lg2| (|List| F)) (#39=#:G919 NIL) 2028 (|g| NIL) (#40=#:G918 NIL) (|dvf| (F)) (|dv| (|Symbol|)) (|k1| (F)) 2029 (|lg1| (|List| F)) (#41=#:G917 NIL) (|up| NIL) (#42=#:G916 NIL) 2030 (|lg0| (|List| F)) (#43=#:G915 NIL) (#44=#:G914 NIL) (|da3| (F)) 2031 (|arg3| (F)) (|args| (|List| F))) 2032 (SEQ 2033 (EXIT 2034 (SEQ (LETT |args| (SPADCALL |k| (QREFELT $ 178))) 2035 (EXIT 2036 (COND 2037 ((SPADCALL (LENGTH |args|) 3 (QREFELT $ 87)) 2038 (|error| "internal error, k is not a diff")) 2039 (#45='T 2040 (SEQ (LETT |arg3| (SPADCALL |args| 3 (QREFELT $ 179))) 2041 (LETT |da3| (SPADCALL |arg3| |x| (QREFELT $ 169))) 2042 (EXIT 2043 (COND 2044 ((SPADCALL |da3| (|spadConstant| $ 42) 2045 (QREFELT $ 126)) 2046 NIL) 2047 (#45# 2048 (SEQ 2049 (LETT |lg0| 2050 (PROGN 2051 (LETT #44# NIL) 2052 (SEQ (LETT |up| NIL) (LETT #43# |lg|) G190 2053 (COND 2054 ((OR (ATOM #43#) 2055 (PROGN 2056 (LETT |up| (CAR #43#)) 2057 NIL)) 2058 (GO G191))) 2059 (SEQ 2060 (EXIT 2061 (LETT #44# 2062 (CONS 2063 (SPADCALL |up| 0 2064 (QREFELT $ 149)) 2065 #44#)))) 2066 (LETT #43# (CDR #43#)) (GO G190) G191 2067 (EXIT (NREVERSE #44#))))) 2068 (LETT |lg1| 2069 (PROGN 2070 (LETT #42# NIL) 2071 (SEQ (LETT |up| NIL) (LETT #41# |lg|) G190 2072 (COND 2073 ((OR (ATOM #41#) 2074 (PROGN 2075 (LETT |up| (CAR #41#)) 2076 NIL)) 2077 (GO G191))) 2078 (SEQ 2079 (EXIT 2080 (LETT #42# 2081 (CONS 2082 (SPADCALL |up| 1 2083 (QREFELT $ 149)) 2084 #42#)))) 2085 (LETT #41# (CDR #41#)) (GO G190) G191 2086 (EXIT (NREVERSE #42#))))) 2087 (LETT |k1| 2088 (SPADCALL (SPADCALL |args| 1 (QREFELT $ 179)) 2089 (SPADCALL 2090 (SPADCALL |args| 2 2091 (QREFELT $ 179)) 2092 (QREFELT $ 180)) 2093 |arg3| (QREFELT $ 181))) 2094 (LETT |dv| (SPADCALL (QREFELT $ 27))) 2095 (LETT |dvf| (SPADCALL |dv| (QREFELT $ 182))) 2096 (LETT |lg2| 2097 (PROGN 2098 (LETT #40# NIL) 2099 (SEQ (LETT |g| NIL) (LETT #39# |lg1|) G190 2100 (COND 2101 ((OR (ATOM #39#) 2102 (PROGN 2103 (LETT |g| (CAR #39#)) 2104 NIL)) 2105 (GO G191))) 2106 (SEQ 2107 (EXIT 2108 (LETT #40# 2109 (CONS 2110 (SPADCALL 2111 (SPADCALL |g| |da3| 2112 (QREFELT $ 128)) 2113 |k1| |dvf| (QREFELT $ 183)) 2114 #40#)))) 2115 (LETT #39# (CDR #39#)) (GO G190) G191 2116 (EXIT (NREVERSE #40#))))) 2117 (LETT |fp2| 2118 (SPADCALL 2119 (SPADCALL |fp1| |da3| (QREFELT $ 128)) |k1| 2120 |dvf| (QREFELT $ 183))) 2121 (LETT |lek| 2122 (PROGN 2123 (LETT #38# NIL) 2124 (SEQ (LETT |ki| NIL) (LETT #37# |lk|) G190 2125 (COND 2126 ((OR (ATOM #37#) 2127 (PROGN 2128 (LETT |ki| (CAR #37#)) 2129 NIL)) 2130 (GO G191))) 2131 (SEQ 2132 (EXIT 2133 (LETT #38# 2134 (CONS 2135 (SPADCALL 2136 (SPADCALL |ki| 2137 (QREFELT $ 31)) 2138 |k1| |dvf| (QREFELT $ 183)) 2139 #38#)))) 2140 (LETT #37# (CDR #37#)) (GO G190) G191 2141 (EXIT (NREVERSE #38#))))) 2142 (LETT |lk1| 2143 (SPADCALL 2144 (SPADCALL 2145 (CONS |dvf| 2146 (SPADCALL |lg2| |lek| 2147 (QREFELT $ 184))) 2148 (QREFELT $ 186)) 2149 |dv| (QREFELT $ 187))) 2150 (LETT |ext1| 2151 (CONS #'|RDEPAR;do_diff_rde1!0| 2152 (VECTOR $ |dv|))) 2153 (LETT |logi1| 2154 (CONS #'|RDEPAR;do_diff_rde1!1| 2155 (VECTOR $ |dv|))) 2156 (LETT |kk1| (SPADCALL |lk1| (QREFELT $ 163))) 2157 (LETT |lk2| 2158 (PROGN 2159 (LETT #36# NIL) 2160 (SEQ (LETT |ki| NIL) (LETT #35# |lk1|) G190 2161 (COND 2162 ((OR (ATOM #35#) 2163 (PROGN 2164 (LETT |ki| (CAR #35#)) 2165 NIL)) 2166 (GO G191))) 2167 (SEQ 2168 (EXIT 2169 (COND 2170 ((SPADCALL |ki| |kk1| 2171 (QREFELT $ 164)) 2172 (LETT #36# (CONS |ki| #36#)))))) 2173 (LETT #35# (CDR #35#)) (GO G190) G191 2174 (EXIT (NREVERSE #36#))))) 2175 (LETT |res1| 2176 (COND 2177 ((SPADCALL |fp2| (|spadConstant| $ 42) 2178 (QREFELT $ 126)) 2179 (SPADCALL |lk1| |lg2| |ext1|)) 2180 (#45# 2181 (|RDEPAR;do_param_rde| |fp2| 'T |lg2| |dv| 2182 |kk1| |lk2| |ext1| |logi1| $)))) 2183 (EXIT 2184 (COND ((NULL |res1|) NIL) 2185 (#45# 2186 (SEQ 2187 (LETT |cb0| 2188 (PROGN 2189 (LETT #33# NIL) 2190 (SEQ (LETT |be| NIL) 2191 (LETT #32# |res1|) G190 2192 (COND 2193 ((OR (ATOM #32#) 2194 (PROGN 2195 (LETT |be| (CAR #32#)) 2196 NIL)) 2197 (GO G191))) 2198 (SEQ 2199 (EXIT 2200 (LETT #33# 2201 (CONS (QCDR |be|) 2202 #33#)))) 2203 (LETT #32# (CDR #32#)) 2204 (GO G190) G191 2205 (EXIT (NREVERSE #33#))))) 2206 (LETT |d1| 2207 (CONS #'|RDEPAR;do_diff_rde1!2| 2208 (VECTOR $ |x|))) 2209 (PROGN 2210 (LETT |#G175| 2211 (SPADCALL |cb0| (LIST |d1|) 2212 (QREFELT $ 192))) 2213 (LETT |m2| (QCAR |#G175|)) 2214 (LETT |cb| (QCDR |#G175|)) 2215 |#G175|) 2216 (EXIT 2217 (COND ((NULL |cb|) NIL) 2218 (#45# 2219 (SEQ 2220 (LETT |v2| 2221 (SPADCALL 2222 (PROGN 2223 (LETT #29# NIL) 2224 (SEQ (LETT |be| NIL) 2225 (LETT #28# |res1|) 2226 G190 2227 (COND 2228 ((OR (ATOM #28#) 2229 (PROGN 2230 (LETT |be| 2231 (CAR 2232 #28#)) 2233 NIL)) 2234 (GO G191))) 2235 (SEQ 2236 (EXIT 2237 (LETT #29# 2238 (CONS 2239 (QCAR |be|) 2240 #29#)))) 2241 (LETT #28# 2242 (CDR #28#)) 2243 (GO G190) G191 2244 (EXIT 2245 (NREVERSE #29#)))) 2246 (QREFELT $ 193))) 2247 (LETT |v3| 2248 (SPADCALL |m2| |v2| 2249 (QREFELT $ 194))) 2250 (LETT |lca| 2251 (SPADCALL |v3| 2252 (QREFELT $ 195))) 2253 (LETT |lg3| 2254 (PROGN 2255 (LETT #27# NIL) 2256 (SEQ (LETT |bv| NIL) 2257 (LETT #26# |cb|) G190 2258 (COND 2259 ((OR (ATOM #26#) 2260 (PROGN 2261 (LETT |bv| 2262 (CAR 2263 #26#)) 2264 NIL)) 2265 (GO G191))) 2266 (SEQ 2267 (EXIT 2268 (LETT #27# 2269 (CONS 2270 (SPADCALL 2271 |bv| |lg1| 2272 (QREFELT $ 2273 109)) 2274 #27#)))) 2275 (LETT #26# 2276 (CDR #26#)) 2277 (GO G190) G191 2278 (EXIT 2279 (NREVERSE #27#))))) 2280 (LETT |nlg0| 2281 (PROGN 2282 (LETT #25# NIL) 2283 (SEQ (LETT |bv| NIL) 2284 (LETT #24# |cb|) G190 2285 (COND 2286 ((OR (ATOM #24#) 2287 (PROGN 2288 (LETT |bv| 2289 (CAR 2290 #24#)) 2291 NIL)) 2292 (GO G191))) 2293 (SEQ 2294 (EXIT 2295 (LETT #25# 2296 (CONS 2297 (SPADCALL 2298 |bv| |lg0| 2299 (QREFELT $ 2300 109)) 2301 #25#)))) 2302 (LETT #24# 2303 (CDR #24#)) 2304 (GO G190) G191 2305 (EXIT 2306 (NREVERSE #25#))))) 2307 (LETT |lca| 2308 (SPADCALL 2309 (CONS 2310 #'|RDEPAR;do_diff_rde1!3| 2311 (VECTOR |k1| $ |dv|)) 2312 |lca| (QREFELT $ 196))) 2313 (LETT |nlg| NIL) 2314 (SEQ (LETT |g0| NIL) 2315 (LETT #23# |nlg0|) 2316 (LETT |g1| NIL) 2317 (LETT #22# |lg3|) 2318 (LETT |ca| NIL) 2319 (LETT #21# |lca|) G190 2320 (COND 2321 ((OR (ATOM #21#) 2322 (PROGN 2323 (LETT |ca| 2324 (CAR #21#)) 2325 NIL) 2326 (ATOM #22#) 2327 (PROGN 2328 (LETT |g1| 2329 (CAR #22#)) 2330 NIL) 2331 (ATOM #23#) 2332 (PROGN 2333 (LETT |g0| 2334 (CAR #23#)) 2335 NIL)) 2336 (GO G191))) 2337 (SEQ 2338 (LETT |du| 2339 (SPADCALL 2340 (SPADCALL |ca| |x| 2341 (QREFELT $ 2342 169)) 2343 |k| 2344 (QREFELT $ 125))) 2345 (LETT |nu| 2346 (SPADCALL |du| 2347 (QREFELT $ 2348 22))) 2349 (COND 2350 ((OR 2351 (SPADCALL 2352 (SPADCALL |du| 2353 (QREFELT $ 2354 13)) 2355 (|spadConstant| $ 68) 2356 (QREFELT $ 70)) 2357 (> 2358 (SPADCALL |nu| 2359 (QREFELT $ 2360 67)) 2361 1)) 2362 (EXIT 2363 (PROGN 2364 (LETT #20# NIL) 2365 (GO #46=#:G912))))) 2366 (EXIT 2367 (COND 2368 ((SPADCALL 2369 (SPADCALL 2370 (SPADCALL |g1| 2371 (SPADCALL 2372 |fp1| |ca| 2373 (QREFELT $ 2374 110)) 2375 (QREFELT $ 2376 111)) 2377 (SPADCALL |nu| 1 2378 (QREFELT $ 2379 149)) 2380 (QREFELT $ 111)) 2381 (|spadConstant| $ 42) 2382 (QREFELT $ 197)) 2383 (PROGN 2384 (LETT #20# NIL) 2385 (GO #46#))) 2386 ('T 2387 (SEQ 2388 (LETT |ng| 2389 (SPADCALL 2390 (SPADCALL |g0| 2391 (SPADCALL 2392 |fp0| 2393 |ca| 2394 (QREFELT 2395 $ 2396 110)) 2397 (QREFELT 2398 $ 2399 111)) 2400 (SPADCALL |nu| 0 2401 (QREFELT 2402 $ 2403 149)) 2404 (QREFELT $ 2405 111))) 2406 (EXIT 2407 (LETT |nlg| 2408 (CONS |ng| 2409 |nlg|)))))))) 2410 (LETT #21# 2411 (PROG1 (CDR #21#) 2412 (LETT #22# 2413 (PROG1 2414 (CDR #22#) 2415 (LETT #23# 2416 (CDR 2417 #23#)))))) 2418 (GO G190) G191 (EXIT NIL)) 2419 (LETT |nlg| (NREVERSE |nlg|)) 2420 (COND 2421 ((SPADCALL |fp1| 2422 (|spadConstant| $ 42) 2423 (QREFELT $ 197)) 2424 (SEQ 2425 (LETT |m3| 2426 (SPADCALL (LIST |nlg|) 2427 (QREFELT $ 2428 199))) 2429 (LETT |cb1| 2430 (|RDEPAR;csolve1| |m3| 2431 |d1| $)) 2432 (EXIT 2433 (LETT |elca| 2434 (PROGN 2435 (LETT #19# NIL) 2436 (SEQ (LETT |bv| NIL) 2437 (LETT #18# |cb1|) 2438 G190 2439 (COND 2440 ((OR (ATOM #18#) 2441 (PROGN 2442 (LETT |bv| 2443 (CAR 2444 #18#)) 2445 NIL)) 2446 (GO G191))) 2447 (SEQ 2448 (EXIT 2449 (LETT #19# 2450 (CONS 2451 (|spadConstant| 2452 $ 42) 2453 #19#)))) 2454 (LETT #18# 2455 (CDR #18#)) 2456 (GO G190) G191 2457 (EXIT 2458 (NREVERSE 2459 #19#)))))))) 2460 (#45# 2461 (SEQ 2462 (LETT |kk3| 2463 (SPADCALL |lk| 2464 (QREFELT $ 2465 163))) 2466 (LETT |lk3| 2467 (PROGN 2468 (LETT #16# NIL) 2469 (SEQ (LETT |ki| NIL) 2470 (LETT #15# |lk|) 2471 G190 2472 (COND 2473 ((OR (ATOM #15#) 2474 (PROGN 2475 (LETT |ki| 2476 (CAR 2477 #15#)) 2478 NIL)) 2479 (GO G191))) 2480 (SEQ 2481 (EXIT 2482 (COND 2483 ((SPADCALL |ki| 2484 |kk3| 2485 (QREFELT 2486 $ 2487 164)) 2488 (LETT #16# 2489 (CONS 2490 |ki| 2491 #16#)))))) 2492 (LETT #15# 2493 (CDR #15#)) 2494 (GO G190) G191 2495 (EXIT 2496 (NREVERSE 2497 #16#))))) 2498 (LETT |res2| 2499 (|RDEPAR;do_param_rde| 2500 |fp0| 'T |nlg| |x| 2501 |kk3| |lk1| |ext| 2502 |logi| $)) 2503 (LETT |cb1| 2504 (PROGN 2505 (LETT #13# NIL) 2506 (SEQ (LETT |be| NIL) 2507 (LETT #12# |res2|) 2508 G190 2509 (COND 2510 ((OR (ATOM #12#) 2511 (PROGN 2512 (LETT |be| 2513 (CAR 2514 #12#)) 2515 NIL)) 2516 (GO G191))) 2517 (SEQ 2518 (EXIT 2519 (LETT #13# 2520 (CONS 2521 (QCDR 2522 |be|) 2523 #13#)))) 2524 (LETT #12# 2525 (CDR #12#)) 2526 (GO G190) G191 2527 (EXIT 2528 (NREVERSE 2529 #13#))))) 2530 (EXIT 2531 (LETT |elca| 2532 (PROGN 2533 (LETT #11# NIL) 2534 (SEQ (LETT |be| NIL) 2535 (LETT #10# 2536 |res2|) 2537 G190 2538 (COND 2539 ((OR (ATOM #10#) 2540 (PROGN 2541 (LETT |be| 2542 (CAR 2543 #10#)) 2544 NIL)) 2545 (GO G191))) 2546 (SEQ 2547 (EXIT 2548 (LETT #11# 2549 (CONS 2550 (QCAR 2551 |be|) 2552 #11#)))) 2553 (LETT #10# 2554 (CDR #10#)) 2555 (GO G190) G191 2556 (EXIT 2557 (NREVERSE 2558 #11#))))))))) 2559 (LETT |ncb| 2560 (PROGN 2561 (LETT #9# NIL) 2562 (SEQ (LETT |bv| NIL) 2563 (LETT #8# |cb1|) G190 2564 (COND 2565 ((OR (ATOM #8#) 2566 (PROGN 2567 (LETT |bv| 2568 (CAR 2569 #8#)) 2570 NIL)) 2571 (GO G191))) 2572 (SEQ 2573 (EXIT 2574 (LETT #9# 2575 (CONS 2576 (SPADCALL 2577 |bv| |cb| 2578 (QREFELT $ 2579 80)) 2580 #9#)))) 2581 (LETT #8# (CDR #8#)) 2582 (GO G190) G191 2583 (EXIT 2584 (NREVERSE #9#))))) 2585 (LETT |nlca| 2586 (PROGN 2587 (LETT #7# NIL) 2588 (SEQ (LETT |ca| NIL) 2589 (LETT #6# |elca|) 2590 (LETT |bv| NIL) 2591 (LETT #5# |cb1|) G190 2592 (COND 2593 ((OR (ATOM #5#) 2594 (PROGN 2595 (LETT |bv| 2596 (CAR 2597 #5#)) 2598 NIL) 2599 (ATOM #6#) 2600 (PROGN 2601 (LETT |ca| 2602 (CAR 2603 #6#)) 2604 NIL)) 2605 (GO G191))) 2606 (SEQ 2607 (EXIT 2608 (LETT #7# 2609 (CONS 2610 (SPADCALL 2611 |ca| 2612 (SPADCALL 2613 |bv| |lca| 2614 (QREFELT $ 2615 109)) 2616 (QREFELT $ 2617 111)) 2618 #7#)))) 2619 (LETT #5# 2620 (PROG1 2621 (CDR #5#) 2622 (LETT #6# 2623 (CDR 2624 #6#)))) 2625 (GO G190) G191 2626 (EXIT 2627 (NREVERSE #7#))))) 2628 (EXIT 2629 (PROGN 2630 (LETT #4# NIL) 2631 (SEQ (LETT |bv| NIL) 2632 (LETT #3# |ncb|) 2633 (LETT |ba| NIL) 2634 (LETT #2# |nlca|) G190 2635 (COND 2636 ((OR (ATOM #2#) 2637 (PROGN 2638 (LETT |ba| 2639 (CAR #2#)) 2640 NIL) 2641 (ATOM #3#) 2642 (PROGN 2643 (LETT |bv| 2644 (CAR #3#)) 2645 NIL)) 2646 (GO G191))) 2647 (SEQ 2648 (EXIT 2649 (LETT #4# 2650 (CONS 2651 (CONS |ba| |bv|) 2652 #4#)))) 2653 (LETT #2# 2654 (PROG1 (CDR #2#) 2655 (LETT #3# 2656 (CDR #3#)))) 2657 (GO G190) G191 2658 (EXIT 2659 (NREVERSE 2660 #4#))))))))))))))))))))))) 2661 #46# (EXIT #20#)))) 2662 2663(SDEFUN |RDEPAR;do_diff_rde1!3| ((|x1| NIL) ($$ NIL)) 2664 (PROG (|dv| $ |k1|) 2665 (LETT |dv| (QREFELT $$ 2)) 2666 (LETT $ (QREFELT $$ 1)) 2667 (LETT |k1| (QREFELT $$ 0)) 2668 (RETURN 2669 (PROGN 2670 (SPADCALL |x1| (SPADCALL |dv| (QREFELT $ 29)) |k1| 2671 (QREFELT $ 181)))))) 2672 2673(SDEFUN |RDEPAR;do_diff_rde1!2| ((|x1| NIL) ($$ NIL)) 2674 (PROG (|x| $) 2675 (LETT |x| (QREFELT $$ 1)) 2676 (LETT $ (QREFELT $$ 0)) 2677 (RETURN (PROGN (SPADCALL |x1| |x| (QREFELT $ 169)))))) 2678 2679(SDEFUN |RDEPAR;do_diff_rde1!1| ((|x2| NIL) (|x3| NIL) ($$ NIL)) 2680 (PROG (|dv| $) 2681 (LETT |dv| (QREFELT $$ 1)) 2682 (LETT $ (QREFELT $$ 0)) 2683 (RETURN (PROGN (SPADCALL |dv| |x2| |x3| (QREFELT $ 190)))))) 2684 2685(SDEFUN |RDEPAR;do_diff_rde1!0| ((|x4| NIL) (|x3| NIL) ($$ NIL)) 2686 (PROG (|dv| $) 2687 (LETT |dv| (QREFELT $$ 1)) 2688 (LETT $ (QREFELT $$ 0)) 2689 (RETURN (PROGN (SPADCALL |dv| |x4| |x3| (QREFELT $ 189)))))) 2690 2691(SDEFUN |RDEPAR;do_diff_rde| 2692 ((|fp| F) (|lg| |List| F) (|x| |Symbol|) (|k| |Kernel| F) 2693 (|lk| |List| (|Kernel| F)) 2694 (|ext| |Mapping| 2695 (|List| (|Record| (|:| |ratpart| F) (|:| |coeffs| (|Vector| F)))) 2696 (|List| (|Kernel| F)) (|List| F)) 2697 (|logi| |Mapping| 2698 (|Record| (|:| |logands| (|List| F)) 2699 (|:| |basis| (|List| (|Vector| (|Fraction| (|Integer|)))))) 2700 (|List| (|Kernel| F)) (|List| F)) 2701 ($ |List| (|Record| (|:| |ratpart| F) (|:| |coeffs| (|Vector| F))))) 2702 (SPROG 2703 ((#1=#:G968 NIL) (|u| NIL) (#2=#:G967 NIL) 2704 (|diff_rde1| 2705 (|Mapping| 2706 (|List| (|Record| (|:| |ratpart| F) (|:| |coeffs| (|Vector| F)))) 2707 (|List| (|SparseUnivariatePolynomial| F)))) 2708 (|cs1| (|Mapping| (|List| (|Vector| F)) (|Matrix| F))) 2709 (|d1| (|Mapping| F F)) (|fp0| (F)) (|fp1| (F)) 2710 (|nfpu| (|SparseUnivariatePolynomial| F)) 2711 (|fpu| (|Fraction| (|SparseUnivariatePolynomial| F)))) 2712 (SEQ (LETT |fpu| (SPADCALL |fp| |k| (QREFELT $ 125))) 2713 (COND 2714 ((OR 2715 (SPADCALL (SPADCALL |fpu| (QREFELT $ 13)) 2716 (|spadConstant| $ 68) (QREFELT $ 70)) 2717 (> 2718 (SPADCALL (LETT |nfpu| (SPADCALL |fpu| (QREFELT $ 22))) 2719 (QREFELT $ 67)) 2720 1)) 2721 (EXIT NIL))) 2722 (LETT |fp1| (SPADCALL |nfpu| 1 (QREFELT $ 149))) 2723 (LETT |fp0| (SPADCALL |nfpu| 0 (QREFELT $ 149))) 2724 (LETT |d1| (CONS #'|RDEPAR;do_diff_rde!0| (VECTOR $ |x|))) 2725 (LETT |cs1| (CONS #'|RDEPAR;do_diff_rde!1| (VECTOR $ |d1|))) 2726 (LETT |diff_rde1| 2727 (CONS #'|RDEPAR;do_diff_rde!2| 2728 (VECTOR $ |logi| |ext| |lk| |k| |x| |fp1| |fp0|))) 2729 (EXIT 2730 (SPADCALL |diff_rde1| |cs1| 2731 (PROGN 2732 (LETT #2# NIL) 2733 (SEQ (LETT |u| NIL) (LETT #1# |lg|) G190 2734 (COND 2735 ((OR (ATOM #1#) 2736 (PROGN (LETT |u| (CAR #1#)) NIL)) 2737 (GO G191))) 2738 (SEQ 2739 (EXIT 2740 (LETT #2# 2741 (CONS (SPADCALL |u| |k| (QREFELT $ 125)) 2742 #2#)))) 2743 (LETT #1# (CDR #1#)) (GO G190) G191 2744 (EXIT (NREVERSE #2#)))) 2745 (QREFELT $ 203)))))) 2746 2747(SDEFUN |RDEPAR;do_diff_rde!2| ((|x1| NIL) ($$ NIL)) 2748 (PROG (|fp0| |fp1| |x| |k| |lk| |ext| |logi| $) 2749 (LETT |fp0| (QREFELT $$ 7)) 2750 (LETT |fp1| (QREFELT $$ 6)) 2751 (LETT |x| (QREFELT $$ 5)) 2752 (LETT |k| (QREFELT $$ 4)) 2753 (LETT |lk| (QREFELT $$ 3)) 2754 (LETT |ext| (QREFELT $$ 2)) 2755 (LETT |logi| (QREFELT $$ 1)) 2756 (LETT $ (QREFELT $$ 0)) 2757 (RETURN 2758 (PROGN 2759 (|RDEPAR;do_diff_rde1| |x1| |fp0| |fp1| |x| |k| |lk| |ext| |logi| 2760 $))))) 2761 2762(SDEFUN |RDEPAR;do_diff_rde!1| ((|x4| NIL) ($$ NIL)) 2763 (PROG (|d1| $) 2764 (LETT |d1| (QREFELT $$ 1)) 2765 (LETT $ (QREFELT $$ 0)) 2766 (RETURN (PROGN (|RDEPAR;csolve1| |x4| |d1| $))))) 2767 2768(SDEFUN |RDEPAR;do_diff_rde!0| ((|x1| NIL) ($$ NIL)) 2769 (PROG (|x| $) 2770 (LETT |x| (QREFELT $$ 1)) 2771 (LETT $ (QREFELT $$ 0)) 2772 (RETURN (PROGN (SPADCALL |x1| |x| (QREFELT $ 169)))))) 2773 2774(SDEFUN |RDEPAR;do_alg_rde0| 2775 ((|fp| F) (|lg| |List| F) (|x| |Symbol|) (|k| |Kernel| F) 2776 (|lk| |List| (|Kernel| F)) 2777 (|ext| |Mapping| 2778 (|List| (|Record| (|:| |ratpart| F) (|:| |coeffs| (|Vector| F)))) 2779 (|List| (|Kernel| F)) (|List| F)) 2780 (|logi| |Mapping| 2781 (|Record| (|:| |logands| (|List| F)) 2782 (|:| |basis| (|List| (|Vector| (|Fraction| (|Integer|)))))) 2783 (|List| (|Kernel| F)) (|List| F)) 2784 ($ |List| (|Record| (|:| |ratpart| F) (|:| |coeffs| (|Vector| F))))) 2785 (SPROG 2786 ((#1=#:G1005 NIL) (|ba| NIL) (#2=#:G1006 NIL) (|bv| NIL) 2787 (#3=#:G1004 NIL) (|kfi| (F)) (|lba| (|List| F)) 2788 (|cb| (|List| (|Vector| F))) (|nlba| (|List| F)) (#4=#:G1003 NIL) 2789 (|be| NIL) (#5=#:G1002 NIL) (|ncb| (|List| (|Vector| F))) 2790 (#6=#:G1001 NIL) (#7=#:G1000 NIL) 2791 (|s1| 2792 (|List| (|Record| (|:| |ratpart| F) (|:| |coeffs| (|Vector| F))))) 2793 (|lgi1| (|List| F)) (#8=#:G999 NIL) (#9=#:G998 NIL) 2794 (|lgi| (|List| F)) (#10=#:G997 NIL) (|j| NIL) (#11=#:G996 NIL) 2795 (|i| NIL) (#12=#:G995 NIL) (#13=#:G994 NIL) (#14=#:G992 NIL) 2796 (#15=#:G993 NIL) (#16=#:G991 NIL) (#17=#:G990 NIL) 2797 (|m| (|NonNegativeInteger|)) (|llv| (|Vector| (|List| F))) 2798 (#18=#:G989 NIL) (|g| NIL) (#19=#:G988 NIL) (|kf| (F)) (|dlk| (F)) 2799 (|ak1| (F)) (|n| (|Integer|)) (|ak2| (F)) (|ak| (|List| F))) 2800 (SEQ (LETT |ak| (SPADCALL |k| (QREFELT $ 178))) 2801 (LETT |ak2| (SPADCALL |ak| 2 (QREFELT $ 179))) 2802 (LETT |n| (SPADCALL |ak2| (QREFELT $ 204))) 2803 (LETT |ak1| (SPADCALL |ak| 1 (QREFELT $ 179))) 2804 (LETT |dlk| 2805 (SPADCALL (SPADCALL |ak1| |x| (QREFELT $ 205)) 2806 (SPADCALL |ak2| |ak1| (QREFELT $ 110)) 2807 (QREFELT $ 128))) 2808 (LETT |kf| (SPADCALL |k| (QREFELT $ 31))) 2809 (LETT |kfi| (|spadConstant| $ 64)) 2810 (LETT |llv| 2811 (SPADCALL 2812 (PROGN 2813 (LETT #19# NIL) 2814 (SEQ (LETT |g| NIL) (LETT #18# |lg|) G190 2815 (COND 2816 ((OR (ATOM #18#) (PROGN (LETT |g| (CAR #18#)) NIL)) 2817 (GO G191))) 2818 (SEQ 2819 (EXIT 2820 (LETT #19# 2821 (CONS (SPADCALL |g| |k| |n| (QREFELT $ 207)) 2822 #19#)))) 2823 (LETT #18# (CDR #18#)) (GO G190) G191 2824 (EXIT (NREVERSE #19#)))) 2825 (QREFELT $ 209))) 2826 (LETT |m| (LENGTH |lg|)) 2827 (LETT |cb| 2828 (PROGN 2829 (LETT #17# NIL) 2830 (SEQ (LETT |i| 1) (LETT #16# |m|) G190 2831 (COND ((|greater_SI| |i| #16#) (GO G191))) 2832 (SEQ 2833 (EXIT 2834 (LETT #17# 2835 (CONS (MAKEARR1 |m| (|spadConstant| $ 42)) 2836 #17#)))) 2837 (LETT |i| (|inc_SI| |i|)) (GO G190) G191 2838 (EXIT (NREVERSE #17#))))) 2839 (SEQ (LETT |bv| NIL) (LETT #15# |cb|) (LETT |i| 1) 2840 (LETT #14# |m|) G190 2841 (COND 2842 ((OR (|greater_SI| |i| #14#) (ATOM #15#) 2843 (PROGN (LETT |bv| (CAR #15#)) NIL)) 2844 (GO G191))) 2845 (SEQ 2846 (EXIT 2847 (SPADCALL |bv| |i| (|spadConstant| $ 64) (QREFELT $ 97)))) 2848 (LETT |i| (PROG1 (|inc_SI| |i|) (LETT #15# (CDR #15#)))) 2849 (GO G190) G191 (EXIT NIL)) 2850 (LETT |lba| 2851 (PROGN 2852 (LETT #13# NIL) 2853 (SEQ (LETT |bv| NIL) (LETT #12# |cb|) G190 2854 (COND 2855 ((OR (ATOM #12#) (PROGN (LETT |bv| (CAR #12#)) NIL)) 2856 (GO G191))) 2857 (SEQ 2858 (EXIT 2859 (LETT #13# (CONS (|spadConstant| $ 42) #13#)))) 2860 (LETT #12# (CDR #12#)) (GO G190) G191 2861 (EXIT (NREVERSE #13#))))) 2862 (SEQ (LETT |i| 0) (LETT #11# (- |n| 1)) G190 2863 (COND ((|greater_SI| |i| #11#) (GO G191))) 2864 (SEQ (LETT |lgi| NIL) 2865 (SEQ (LETT |j| 1) (LETT #10# |m|) G190 2866 (COND ((|greater_SI| |j| #10#) (GO G191))) 2867 (SEQ 2868 (LETT |lgi| 2869 (CONS 2870 (|SPADfirst| 2871 (SPADCALL |llv| |j| (QREFELT $ 210))) 2872 |lgi|)) 2873 (EXIT 2874 (SPADCALL |llv| |j| 2875 (CDR 2876 (SPADCALL |llv| |j| (QREFELT $ 210))) 2877 (QREFELT $ 211)))) 2878 (LETT |j| (|inc_SI| |j|)) (GO G190) G191 2879 (EXIT NIL)) 2880 (LETT |lgi| (NREVERSE |lgi|)) 2881 (LETT |lgi1| 2882 (PROGN 2883 (LETT #9# NIL) 2884 (SEQ (LETT |bv| NIL) (LETT #8# |cb|) G190 2885 (COND 2886 ((OR (ATOM #8#) 2887 (PROGN (LETT |bv| (CAR #8#)) NIL)) 2888 (GO G191))) 2889 (SEQ 2890 (EXIT 2891 (LETT #9# 2892 (CONS 2893 (SPADCALL |bv| |lgi| 2894 (QREFELT $ 109)) 2895 #9#)))) 2896 (LETT #8# (CDR #8#)) (GO G190) G191 2897 (EXIT (NREVERSE #9#))))) 2898 (LETT |s1| 2899 (SPADCALL 2900 (SPADCALL |fp| 2901 (SPADCALL 2902 (SPADCALL |i| (QREFELT $ 44)) |dlk| 2903 (QREFELT $ 110)) 2904 (QREFELT $ 111)) 2905 |lgi1| |x| |lk| |ext| |logi| (QREFELT $ 118))) 2906 (LETT |ncb| 2907 (PROGN 2908 (LETT #7# NIL) 2909 (SEQ (LETT |be| NIL) (LETT #6# |s1|) G190 2910 (COND 2911 ((OR (ATOM #6#) 2912 (PROGN (LETT |be| (CAR #6#)) NIL)) 2913 (GO G191))) 2914 (SEQ 2915 (EXIT 2916 (LETT #7# 2917 (CONS 2918 (SPADCALL (QCDR |be|) |cb| 2919 (QREFELT $ 80)) 2920 #7#)))) 2921 (LETT #6# (CDR #6#)) (GO G190) G191 2922 (EXIT (NREVERSE #7#))))) 2923 (LETT |nlba| 2924 (PROGN 2925 (LETT #5# NIL) 2926 (SEQ (LETT |be| NIL) (LETT #4# |s1|) G190 2927 (COND 2928 ((OR (ATOM #4#) 2929 (PROGN (LETT |be| (CAR #4#)) NIL)) 2930 (GO G191))) 2931 (SEQ 2932 (EXIT 2933 (LETT #5# 2934 (CONS 2935 (SPADCALL 2936 (SPADCALL (QCDR |be|) |lba| 2937 (QREFELT $ 109)) 2938 (SPADCALL (QCAR |be|) |kfi| 2939 (QREFELT $ 110)) 2940 (QREFELT $ 111)) 2941 #5#)))) 2942 (LETT #4# (CDR #4#)) (GO G190) G191 2943 (EXIT (NREVERSE #5#))))) 2944 (LETT |cb| |ncb|) (LETT |lba| |nlba|) 2945 (EXIT 2946 (LETT |kfi| (SPADCALL |kf| |kfi| (QREFELT $ 110))))) 2947 (LETT |i| (|inc_SI| |i|)) (GO G190) G191 (EXIT NIL)) 2948 (EXIT 2949 (PROGN 2950 (LETT #3# NIL) 2951 (SEQ (LETT |bv| NIL) (LETT #2# |cb|) (LETT |ba| NIL) 2952 (LETT #1# |lba|) G190 2953 (COND 2954 ((OR (ATOM #1#) (PROGN (LETT |ba| (CAR #1#)) NIL) 2955 (ATOM #2#) (PROGN (LETT |bv| (CAR #2#)) NIL)) 2956 (GO G191))) 2957 (SEQ (EXIT (LETT #3# (CONS (CONS |ba| |bv|) #3#)))) 2958 (LETT #1# (PROG1 (CDR #1#) (LETT #2# (CDR #2#)))) 2959 (GO G190) G191 (EXIT (NREVERSE #3#)))))))) 2960 2961(SDEFUN |RDEPAR;do_alg_rde| 2962 ((|fp| F) (|lg| |List| F) (|x| |Symbol|) (|k| |Kernel| F) 2963 (|lk| |List| (|Kernel| F)) 2964 (|ext| |Mapping| 2965 (|List| (|Record| (|:| |ratpart| F) (|:| |coeffs| (|Vector| F)))) 2966 (|List| (|Kernel| F)) (|List| F)) 2967 (|logi| |Mapping| 2968 (|Record| (|:| |logands| (|List| F)) 2969 (|:| |basis| (|List| (|Vector| (|Fraction| (|Integer|)))))) 2970 (|List| (|Kernel| F)) (|List| F)) 2971 ($ 2972 . #1=(|List| 2973 (|Record| (|:| |ratpart| F) (|:| |coeffs| (|Vector| F)))))) 2974 (SPROG 2975 ((#2=#:G1045 NIL) (|be| NIL) (#3=#:G1044 NIL) (|res1| #1#) 2976 (#4=#:G1043 NIL) (|kk| NIL) (#5=#:G1042 NIL) (|lg1| (|List| F)) 2977 (#6=#:G1041 NIL) (|g| NIL) (#7=#:G1040 NIL) (|fp1| (F)) 2978 (|ky| (|Kernel| F)) (|y| (F)) 2979 (|rec| 2980 (|Record| (|:| |primelt| F) 2981 (|:| |pol1| (|SparseUnivariatePolynomial| F)) 2982 (|:| |pol2| (|SparseUnivariatePolynomial| F)) 2983 (|:| |prim| (|SparseUnivariatePolynomial| F)))) 2984 (|part2| 2985 (|List| (|Record| (|:| |ratpart| F) (|:| |coeffs| (|Vector| F))))) 2986 (#8=#:G1039 NIL) (|f| NIL) (#9=#:G1038 NIL) 2987 (|part1| 2988 (|List| (|Record| (|:| |ratpart| F) (|:| |coeffs| (|Vector| F))))) 2989 (#10=#:G1037 NIL) (#11=#:G1036 NIL) (|n| (|NonNegativeInteger|)) 2990 (|k1| (|Kernel| F)) (#12=#:G1035 NIL) (|cc| (F))) 2991 (SEQ 2992 (EXIT 2993 (SEQ 2994 (COND 2995 ((EQL (LENGTH |lg|) 1) 2996 (SEQ 2997 (LETT |cc| 2998 (SPADCALL (SPADCALL |lg| 1 (QREFELT $ 179)) |fp| 2999 (QREFELT $ 128))) 3000 (EXIT 3001 (COND 3002 ((SPADCALL (SPADCALL |cc| |x| (QREFELT $ 205)) 3003 (|spadConstant| $ 42) (QREFELT $ 126)) 3004 (PROGN 3005 (LETT #12# 3006 (LIST 3007 (CONS (SPADCALL |cc| (QREFELT $ 107)) 3008 (VECTOR (|spadConstant| $ 64))))) 3009 (GO #13=#:G1034)))))))) 3010 (COND 3011 ((SPADCALL |k| '|nthRoot| (QREFELT $ 168)) 3012 (COND 3013 ((NULL 3014 (SPADCALL |k| (SPADCALL |fp| (QREFELT $ 212)) 3015 (QREFELT $ 213))) 3016 (EXIT 3017 (|RDEPAR;do_alg_rde0| |fp| |lg| |x| |k| |lk| |ext| |logi| 3018 $)))))) 3019 (LETT |k1| (SPADCALL |lk| (QREFELT $ 163))) 3020 (EXIT 3021 (COND 3022 ((QEQCAR (SPADCALL |k1| (QREFELT $ 215)) 0) 3023 (SEQ (LETT |res1| (SPADCALL |fp| |lg| |k1| |k| (QREFELT $ 218))) 3024 (LETT |n| (LENGTH |lg|)) 3025 (LETT |part1| 3026 (PROGN 3027 (LETT #11# NIL) 3028 (SEQ (LETT |be| NIL) (LETT #10# (QCAR |res1|)) G190 3029 (COND 3030 ((OR (ATOM #10#) 3031 (PROGN (LETT |be| (CAR #10#)) NIL)) 3032 (GO G191))) 3033 (SEQ 3034 (EXIT 3035 (LETT #11# 3036 (CONS 3037 (CONS 3038 (SPADCALL (QCAR |be|) 3039 (QREFELT $ 107)) 3040 (QCDR |be|)) 3041 #11#)))) 3042 (LETT #10# (CDR #10#)) (GO G190) G191 3043 (EXIT (NREVERSE #11#))))) 3044 (LETT |part2| 3045 (PROGN 3046 (LETT #9# NIL) 3047 (SEQ (LETT |f| NIL) (LETT #8# (QCDR |res1|)) G190 3048 (COND 3049 ((OR (ATOM #8#) 3050 (PROGN (LETT |f| (CAR #8#)) NIL)) 3051 (GO G191))) 3052 (SEQ 3053 (EXIT 3054 (LETT #9# 3055 (CONS 3056 (CONS |f| 3057 (MAKEARR1 |n| 3058 (|spadConstant| $ 3059 42))) 3060 #9#)))) 3061 (LETT #8# (CDR #8#)) (GO G190) G191 3062 (EXIT (NREVERSE #9#))))) 3063 (EXIT (SPADCALL |part1| |part2| (QREFELT $ 219))))) 3064 ((SPADCALL (SPADCALL |k1| (QREFELT $ 166)) '|%alg| 3065 (QREFELT $ 167)) 3066 (SEQ 3067 (LETT |rec| 3068 (SPADCALL (SPADCALL |k1| (QREFELT $ 31)) 3069 (SPADCALL |k| (QREFELT $ 31)) (QREFELT $ 222))) 3070 (LETT |y| (SPADCALL (QVELT |rec| 3) (QREFELT $ 224))) 3071 (LETT |ky| (SPADCALL |y| (QREFELT $ 180))) 3072 (LETT |fp1| 3073 (SPADCALL |fp| (LIST |k1| |k|) 3074 (LIST 3075 (SPADCALL (QVELT |rec| 1) |y| (QREFELT $ 225)) 3076 (SPADCALL (QVELT |rec| 2) |y| 3077 (QREFELT $ 225))) 3078 (QREFELT $ 226))) 3079 (LETT |lg1| 3080 (PROGN 3081 (LETT #7# NIL) 3082 (SEQ (LETT |g| NIL) (LETT #6# |lg|) G190 3083 (COND 3084 ((OR (ATOM #6#) (PROGN (LETT |g| (CAR #6#)) NIL)) 3085 (GO G191))) 3086 (SEQ 3087 (EXIT 3088 (LETT #7# 3089 (CONS 3090 (SPADCALL |g| (LIST |k1| |k|) 3091 (LIST 3092 (SPADCALL (QVELT |rec| 1) |y| 3093 (QREFELT $ 225)) 3094 (SPADCALL (QVELT |rec| 2) |y| 3095 (QREFELT $ 225))) 3096 (QREFELT $ 226)) 3097 #7#)))) 3098 (LETT #6# (CDR #6#)) (GO G190) G191 3099 (EXIT (NREVERSE #7#))))) 3100 (LETT |res1| 3101 (|RDEPAR;do_alg_rde| |fp1| |lg1| |x| |ky| 3102 (PROGN 3103 (LETT #5# NIL) 3104 (SEQ (LETT |kk| NIL) (LETT #4# |lk|) G190 3105 (COND 3106 ((OR (ATOM #4#) 3107 (PROGN (LETT |kk| (CAR #4#)) NIL)) 3108 (GO G191))) 3109 (SEQ 3110 (EXIT 3111 (COND 3112 ((SPADCALL |kk| |k1| (QREFELT $ 164)) 3113 (LETT #5# (CONS |kk| #5#)))))) 3114 (LETT #4# (CDR #4#)) (GO G190) G191 3115 (EXIT (NREVERSE #5#)))) 3116 |ext| |logi| $)) 3117 (EXIT 3118 (PROGN 3119 (LETT #3# NIL) 3120 (SEQ (LETT |be| NIL) (LETT #2# |res1|) G190 3121 (COND 3122 ((OR (ATOM #2#) (PROGN (LETT |be| (CAR #2#)) NIL)) 3123 (GO G191))) 3124 (SEQ 3125 (EXIT 3126 (LETT #3# 3127 (CONS 3128 (CONS 3129 (SPADCALL (QCAR |be|) |ky| (QVELT |rec| 0) 3130 (QREFELT $ 181)) 3131 (QCDR |be|)) 3132 #3#)))) 3133 (LETT #2# (CDR #2#)) (GO G190) G191 3134 (EXIT (NREVERSE #3#))))))) 3135 ('T (|error| "do_alg_rde: unimplemented kernel")))))) 3136 #13# (EXIT #12#)))) 3137 3138(SDEFUN |RDEPAR;param_rde;IFLSLMML;21| 3139 ((|m| |Integer|) (|f| F) (|lg| |List| F) (|x| |Symbol|) 3140 (|lk| |List| (|Kernel| F)) 3141 (|ext| |Mapping| 3142 (|List| (|Record| (|:| |ratpart| F) (|:| |coeffs| (|Vector| F)))) 3143 (|List| (|Kernel| F)) (|List| F)) 3144 (|logi| |Mapping| 3145 (|Record| (|:| |logands| (|List| F)) 3146 (|:| |basis| (|List| (|Vector| (|Fraction| (|Integer|)))))) 3147 (|List| (|Kernel| F)) (|List| F)) 3148 ($ |List| (|Record| (|:| |ratpart| F) (|:| |coeffs| (|Vector| F))))) 3149 (SPROG 3150 ((#1=#:G1056 NIL) (|k1| NIL) (#2=#:G1055 NIL) (|k| (|Kernel| F)) 3151 (|fp| (F))) 3152 (SEQ 3153 (LETT |fp| 3154 (SPADCALL (SPADCALL |m| |f| (QREFELT $ 227)) |x| 3155 (QREFELT $ 205))) 3156 (EXIT 3157 (COND 3158 ((SPADCALL |fp| (|spadConstant| $ 42) (QREFELT $ 126)) 3159 (SPADCALL |lk| |lg| |ext|)) 3160 ('T 3161 (SEQ (LETT |k| (SPADCALL |lk| (QREFELT $ 163))) 3162 (LETT |lk| 3163 (PROGN 3164 (LETT #2# NIL) 3165 (SEQ (LETT |k1| NIL) (LETT #1# |lk|) G190 3166 (COND 3167 ((OR (ATOM #1#) 3168 (PROGN (LETT |k1| (CAR #1#)) NIL)) 3169 (GO G191))) 3170 (SEQ 3171 (EXIT 3172 (COND 3173 ((SPADCALL |k1| |k| (QREFELT $ 164)) 3174 (LETT #2# (CONS |k1| #2#)))))) 3175 (LETT #1# (CDR #1#)) (GO G190) G191 3176 (EXIT (NREVERSE #2#))))) 3177 (EXIT 3178 (|RDEPAR;do_param_rde| |fp| 'T |lg| |x| |k| |lk| |ext| 3179 |logi| $))))))))) 3180 3181(SDEFUN |RDEPAR;do_param_rde| 3182 ((|fp| F) (|is_der| |Boolean|) (|lg| |List| F) (|x| |Symbol|) 3183 (|k| |Kernel| F) (|lk| |List| (|Kernel| F)) 3184 (|ext| |Mapping| 3185 (|List| (|Record| (|:| |ratpart| F) (|:| |coeffs| (|Vector| F)))) 3186 (|List| (|Kernel| F)) (|List| F)) 3187 (|logi| |Mapping| 3188 (|Record| (|:| |logands| (|List| F)) 3189 (|:| |basis| (|List| (|Vector| (|Fraction| (|Integer|)))))) 3190 (|List| (|Kernel| F)) (|List| F)) 3191 ($ |List| (|Record| (|:| |ratpart| F) (|:| |coeffs| (|Vector| F))))) 3192 (SPROG 3193 ((|res2| 3194 (|List| (|Record| (|:| |ratpart| F) (|:| |coeffs| (|Vector| F))))) 3195 (|anf| (F)) (|ans1| (|Fraction| (|SparseUnivariatePolynomial| F))) 3196 (|bv| (|Vector| F)) (#1=#:G1135 NIL) (|re| NIL) 3197 (|res1| 3198 (|List| 3199 (|Record| 3200 (|:| |ratpart| (|Fraction| (|SparseUnivariatePolynomial| F))) 3201 (|:| |coeffs| (|Vector| F))))) 3202 (#2=#:G1123 NIL) 3203 (|lgu1| (|List| (|Fraction| (|SparseUnivariatePolynomial| F)))) 3204 (#3=#:G1134 NIL) (|kv| NIL) (|n2| (|NonNegativeInteger|)) 3205 (|n1| (|NonNegativeInteger|)) 3206 (|lgu| (|List| #4=(|Fraction| (|SparseUnivariatePolynomial| F)))) 3207 (#5=#:G1133 NIL) (|dr| NIL) (#6=#:G1132 NIL) 3208 (|lker| (|List| (|Vector| F))) (|rs3| #7=(|Matrix| F)) 3209 (|get_rs| (|Mapping| #7# (|Matrix| F))) (|rs2| (|Matrix| F)) 3210 (|rs1| (|Matrix| (|SparseUnivariatePolynomial| F))) 3211 (|lnor1| (|List| #8=(|Fraction| (|SparseUnivariatePolynomial| F)))) 3212 (#9=#:G1131 NIL) (#10=#:G1130 NIL) 3213 (|lgd| 3214 (|List| 3215 (|Record| (|:| |poly| (|SparseUnivariatePolynomial| F)) 3216 (|:| |normal| #8#) 3217 (|:| |special| 3218 (|Fraction| (|SparseUnivariatePolynomial| F)))))) 3219 (#11=#:G1129 NIL) (|gu| NIL) (#12=#:G1128 NIL) (#13=#:G1127 NIL) 3220 (#14=#:G1126 NIL) (|aa1| #15=(|SparseUnivariatePolynomial| F)) 3221 (|bbr| (|Fraction| (|SparseUnivariatePolynomial| F))) (|aa| #15#) 3222 (|h| NIL) (|#G251| #16=(|List| (|SparseUnivariatePolynomial| F))) 3223 (|d| NIL) (|#G250| #16#) 3224 (|der1| 3225 (|Mapping| (|SparseUnivariatePolynomial| F) 3226 (|SparseUnivariatePolynomial| F))) 3227 (#17=#:G1125 NIL) (|g| NIL) (#18=#:G1124 NIL) 3228 (|nfp| #19=(|SparseUnivariatePolynomial| F)) 3229 (|denfp| (|SparseUnivariatePolynomial| F)) (|fpu| #4#) (|dk| #19#) 3230 (|dku| #4#)) 3231 (SEQ 3232 (EXIT 3233 (COND 3234 ((SPADCALL (SPADCALL |k| (QREFELT $ 166)) '|%alg| (QREFELT $ 167)) 3235 (|RDEPAR;do_alg_rde| |fp| |lg| |x| |k| |lk| |ext| |logi| $)) 3236 ((SPADCALL |k| '|%diff| (QREFELT $ 168)) 3237 (|RDEPAR;do_diff_rde| |fp| |lg| |x| |k| |lk| |ext| |logi| $)) 3238 (#20='T 3239 (SEQ 3240 (LETT |dku| 3241 (SPADCALL 3242 (SPADCALL (SPADCALL |k| (QREFELT $ 31)) |x| 3243 (QREFELT $ 169)) 3244 |k| (QREFELT $ 125))) 3245 (EXIT 3246 (COND 3247 ((SPADCALL (SPADCALL |dku| (QREFELT $ 13)) 3248 (|spadConstant| $ 68) (QREFELT $ 70)) 3249 NIL) 3250 (#20# 3251 (SEQ (LETT |dk| (SPADCALL |dku| (QREFELT $ 22))) 3252 (LETT |fpu| (SPADCALL |fp| |k| (QREFELT $ 125))) 3253 (LETT |denfp| (SPADCALL |fpu| (QREFELT $ 13))) 3254 (LETT |nfp| (SPADCALL |fpu| (QREFELT $ 22))) 3255 (LETT |lgu| 3256 (PROGN 3257 (LETT #18# NIL) 3258 (SEQ (LETT |g| NIL) (LETT #17# |lg|) G190 3259 (COND 3260 ((OR (ATOM #17#) 3261 (PROGN (LETT |g| (CAR #17#)) NIL)) 3262 (GO G191))) 3263 (SEQ 3264 (EXIT 3265 (LETT #18# 3266 (CONS 3267 (SPADCALL |g| |k| (QREFELT $ 125)) 3268 #18#)))) 3269 (LETT #17# (CDR #17#)) (GO G190) G191 3270 (EXIT (NREVERSE #18#))))) 3271 (LETT |der1| 3272 (CONS #'|RDEPAR;do_param_rde!1| 3273 (VECTOR |dk| |x| $))) 3274 (PROGN 3275 (LETT |#G250| (|RDEPAR;get_denom| |fpu| |lgu| |der1| $)) 3276 (LETT |#G251| |#G250|) 3277 (LETT |d| (|SPADfirst| |#G251|)) 3278 (LETT |#G251| (CDR |#G251|)) 3279 (LETT |h| (|SPADfirst| |#G251|)) 3280 |#G250|) 3281 (LETT |aa| (SPADCALL |d| |h| (QREFELT $ 81))) 3282 (LETT |bbr| 3283 (SPADCALL (SPADCALL |aa| |fpu| (QREFELT $ 228)) 3284 (SPADCALL 3285 (SPADCALL |d| (SPADCALL |h| |der1|) 3286 (QREFELT $ 81)) 3287 (QREFELT $ 73)) 3288 (QREFELT $ 173))) 3289 (LETT |aa1| (SPADCALL |aa| |h| (QREFELT $ 81))) 3290 (LETT |lgu| 3291 (PROGN 3292 (LETT #14# NIL) 3293 (SEQ (LETT |gu| NIL) (LETT #13# |lgu|) G190 3294 (COND 3295 ((OR (ATOM #13#) 3296 (PROGN (LETT |gu| (CAR #13#)) NIL)) 3297 (GO G191))) 3298 (SEQ 3299 (EXIT 3300 (LETT #14# 3301 (CONS 3302 (SPADCALL |aa1| |gu| 3303 (QREFELT $ 228)) 3304 #14#)))) 3305 (LETT #13# (CDR #13#)) (GO G190) G191 3306 (EXIT (NREVERSE #14#))))) 3307 (LETT |lgd| 3308 (PROGN 3309 (LETT #12# NIL) 3310 (SEQ (LETT |gu| NIL) (LETT #11# |lgu|) G190 3311 (COND 3312 ((OR (ATOM #11#) 3313 (PROGN (LETT |gu| (CAR #11#)) NIL)) 3314 (GO G191))) 3315 (SEQ 3316 (EXIT 3317 (LETT #12# 3318 (CONS 3319 (SPADCALL |gu| |der1| 3320 (QREFELT $ 230)) 3321 #12#)))) 3322 (LETT #11# (CDR #11#)) (GO G190) G191 3323 (EXIT (NREVERSE #12#))))) 3324 (LETT |lnor1| 3325 (PROGN 3326 (LETT #10# NIL) 3327 (SEQ (LETT |dr| NIL) (LETT #9# |lgd|) G190 3328 (COND 3329 ((OR (ATOM #9#) 3330 (PROGN (LETT |dr| (CAR #9#)) NIL)) 3331 (GO G191))) 3332 (SEQ 3333 (EXIT 3334 (LETT #10# (CONS (QVELT |dr| 1) #10#)))) 3335 (LETT #9# (CDR #9#)) (GO G190) G191 3336 (EXIT (NREVERSE #10#))))) 3337 (LETT |rs1| 3338 (SPADCALL (SPADCALL (LIST |lnor1|) (QREFELT $ 233)) 3339 (QREFELT $ 234))) 3340 (LETT |rs2| (SPADCALL |rs1| (QREFELT $ 56))) 3341 (LETT |get_rs| 3342 (CONS #'|RDEPAR;do_param_rde!3| (VECTOR |x| $))) 3343 (LETT |rs3| (SPADCALL |rs2| |get_rs|)) 3344 (LETT |lker| (SPADCALL |rs3| (QREFELT $ 58))) 3345 (EXIT 3346 (COND ((NULL |lker|) NIL) 3347 (#20# 3348 (SEQ 3349 (LETT |lgu| 3350 (PROGN 3351 (LETT #6# NIL) 3352 (SEQ (LETT |dr| NIL) (LETT #5# |lgd|) 3353 G190 3354 (COND 3355 ((OR (ATOM #5#) 3356 (PROGN 3357 (LETT |dr| (CAR #5#)) 3358 NIL)) 3359 (GO G191))) 3360 (SEQ 3361 (EXIT 3362 (LETT #6# 3363 (CONS 3364 (SPADCALL 3365 (SPADCALL (QVELT |dr| 0) 3366 (QREFELT $ 73)) 3367 (QVELT |dr| 2) 3368 (QREFELT $ 121)) 3369 #6#)))) 3370 (LETT #5# (CDR #5#)) (GO G190) G191 3371 (EXIT (NREVERSE #6#))))) 3372 (LETT |n1| (LENGTH |lgu|)) 3373 (LETT |n2| (LENGTH |lker|)) (LETT |lgu1| NIL) 3374 (SEQ (LETT |kv| NIL) (LETT #3# |lker|) G190 3375 (COND 3376 ((OR (ATOM #3#) 3377 (PROGN (LETT |kv| (CAR #3#)) NIL)) 3378 (GO G191))) 3379 (SEQ 3380 (EXIT 3381 (LETT |lgu1| 3382 (CONS 3383 (SPADCALL |kv| |lgu| 3384 (QREFELT $ 120)) 3385 |lgu1|)))) 3386 (LETT #3# (CDR #3#)) (GO G190) G191 3387 (EXIT NIL)) 3388 (LETT |lgu1| (NREVERSE |lgu1|)) 3389 (LETT |res1| 3390 (COND 3391 ((OR 3392 (QEQCAR (SPADCALL |k| (QREFELT $ 215)) 3393 0) 3394 (OR 3395 (SPADCALL |k| '|log| (QREFELT $ 168)) 3396 (SPADCALL 3397 (SPADCALL |k| (QREFELT $ 166)) 3398 '|prim| (QREFELT $ 167)))) 3399 (|RDEPAR;do_SPDE_prim| |aa| |bbr| 3400 |is_der| |lgu1| |k| |lk| |ext| |logi| 3401 |der1| |get_rs| |x| $)) 3402 ((SPADCALL |k| '|exp| (QREFELT $ 168)) 3403 (|RDEPAR;do_SPDE_exp| |aa| |bbr| |lgu1| 3404 |lk| |ext| |logi| |der1| |get_rs| |x| 3405 $)) 3406 (#20# 3407 (PROGN 3408 (LETT #2# NIL) 3409 (GO #21=#:G1122))))) 3410 (LETT |res2| NIL) 3411 (SEQ (LETT |re| NIL) (LETT #1# |res1|) G190 3412 (COND 3413 ((OR (ATOM #1#) 3414 (PROGN (LETT |re| (CAR #1#)) NIL)) 3415 (GO G191))) 3416 (SEQ 3417 (LETT |bv| 3418 (SPADCALL (QCDR |re|) |lker| 3419 (QREFELT $ 80))) 3420 (LETT |ans1| 3421 (SPADCALL 3422 (SPADCALL (QCAR |re|) 3423 (SPADCALL |h| 3424 (QREFELT $ 73)) 3425 (QREFELT $ 159)) 3426 (QREFELT $ 236))) 3427 (LETT |anf| 3428 (SPADCALL |ans1| |k| 3429 (QREFELT $ 123))) 3430 (EXIT 3431 (LETT |res2| 3432 (CONS (CONS |anf| |bv|) |res2|)))) 3433 (LETT #1# (CDR #1#)) (GO G190) G191 3434 (EXIT NIL)) 3435 (EXIT (NREVERSE |res2|)))))))))))))) 3436 #21# (EXIT #2#)))) 3437 3438(SDEFUN |RDEPAR;do_param_rde!3| ((|m| NIL) ($$ NIL)) 3439 (PROG ($ |x|) 3440 (LETT $ (QREFELT $$ 1)) 3441 (LETT |x| (QREFELT $$ 0)) 3442 (RETURN 3443 (PROGN 3444 (SPROG NIL 3445 (SPADCALL |m| 3446 (LIST 3447 (CONS #'|RDEPAR;do_param_rde!2| (VECTOR $ |x|))) 3448 (QREFELT $ 235))))))) 3449 3450(SDEFUN |RDEPAR;do_param_rde!2| ((|ff| NIL) ($$ NIL)) 3451 (PROG (|x| $) 3452 (LETT |x| (QREFELT $$ 1)) 3453 (LETT $ (QREFELT $$ 0)) 3454 (RETURN (PROGN (SPADCALL |ff| |x| (QREFELT $ 169)))))) 3455 3456(SDEFUN |RDEPAR;do_param_rde!1| ((|z1| NIL) ($$ NIL)) 3457 (PROG ($ |x| |dk|) 3458 (LETT $ (QREFELT $$ 2)) 3459 (LETT |x| (QREFELT $$ 1)) 3460 (LETT |dk| (QREFELT $$ 0)) 3461 (RETURN 3462 (PROGN 3463 (SPROG NIL 3464 (SPADCALL |z1| 3465 (CONS #'|RDEPAR;do_param_rde!0| (VECTOR $ |x|)) 3466 |dk| (QREFELT $ 171))))))) 3467 3468(SDEFUN |RDEPAR;do_param_rde!0| ((|z2| NIL) ($$ NIL)) 3469 (PROG (|x| $) 3470 (LETT |x| (QREFELT $$ 1)) 3471 (LETT $ (QREFELT $$ 0)) 3472 (RETURN (PROGN (SPADCALL |z2| |x| (QREFELT $ 169)))))) 3473 3474(DECLAIM (NOTINLINE |ParametricRischDE;|)) 3475 3476(DEFUN |ParametricRischDE| (&REST #1=#:G1136) 3477 (SPROG NIL 3478 (PROG (#2=#:G1137) 3479 (RETURN 3480 (COND 3481 ((LETT #2# 3482 (|lassocShiftWithFunction| (|devaluateList| #1#) 3483 (HGET |$ConstructorCache| 3484 '|ParametricRischDE|) 3485 '|domainEqualList|)) 3486 (|CDRwithIncrement| #2#)) 3487 ('T 3488 (UNWIND-PROTECT 3489 (PROG1 (APPLY (|function| |ParametricRischDE;|) #1#) 3490 (LETT #2# T)) 3491 (COND 3492 ((NOT #2#) 3493 (HREM |$ConstructorCache| '|ParametricRischDE|)))))))))) 3494 3495(DEFUN |ParametricRischDE;| (|#1| |#2|) 3496 (SPROG ((|pv$| NIL) ($ NIL) (|dv$| NIL) (DV$2 NIL) (DV$1 NIL)) 3497 (PROGN 3498 (LETT DV$1 (|devaluate| |#1|)) 3499 (LETT DV$2 (|devaluate| |#2|)) 3500 (LETT |dv$| (LIST '|ParametricRischDE| DV$1 DV$2)) 3501 (LETT $ (GETREFV 237)) 3502 (QSETREFV $ 0 |dv$|) 3503 (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL))) 3504 (|haddProp| |$ConstructorCache| '|ParametricRischDE| (LIST DV$1 DV$2) 3505 (CONS 1 $)) 3506 (|stuffDomainSlots| $) 3507 (QSETREFV $ 6 |#1|) 3508 (QSETREFV $ 7 |#2|) 3509 (SETF |pv$| (QREFELT $ 3)) 3510 $))) 3511 3512(MAKEPROP '|ParametricRischDE| '|infovec| 3513 (LIST 3514 '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|) 3515 (|SparseUnivariatePolynomial| 7) (|Fraction| 8) (|Mapping| 8 8) 3516 (|MonomialExtensionTools| 7 8) (0 . |normalDenom|) (6 . |denom|) 3517 (|List| $) (11 . |lcm|) 3518 (|Record| (|:| |normal| 8) (|:| |special| 8)) (16 . |split|) 3519 (22 . |gcd|) (28 . |differentiate|) (|Union| $ '"failed") 3520 (33 . |exquo|) (39 . |numer|) 3521 (|Record| (|:| |coef1| $) (|:| |coef2| $)) (|Union| 23 '"failed") 3522 (44 . |extendedEuclidean|) (|Symbol|) (51 . |new|) (|Kernel| 7) 3523 (55 . |kernel|) (|Kernel| $) (60 . |coerce|) (65 . *) (71 . -) 3524 (77 . |resultant|) (|List| 39) (|FunctionSpaceRationalRoots| 6 7) 3525 (83 . |get_rational_roots|) (|Union| 43 '"failed") 3526 (|Fraction| 43) (89 . |retractIfCan|) (94 . |Zero|) (98 . |Zero|) 3527 (|Integer|) (102 . |coerce|) (|LaurentPolynomial| 7 8) 3528 (107 . |coerce|) (112 . |exquo|) 3529 (|Record| (|:| |ans| 8) (|:| |remainder| 8)) (|RDEaux| 7) 3530 (118 . SPDE1) (|List| 60) (|Matrix| 8) (125 . |matrix|) 3531 (|Matrix| 7) (|Matrix| $) (130 . |reducedSystem|) (|List| 59) 3532 (135 . |nullSpace|) (|Vector| 7) (|List| 8) 3533 (|LinearCombinationUtilities| 7 8) (140 . |lin_comb|) 3534 (146 . |One|) (150 . |One|) (|NonNegativeInteger|) 3535 (154 . |monomial|) (160 . |degree|) (165 . |One|) (|Boolean|) 3536 (169 . ~=) (175 . =) (181 . |Zero|) (185 . |coerce|) 3537 (190 . |retract|) 3538 (|Record| (|:| |ans| 60) (|:| |acoeff| 8) (|:| |eegen| 8) 3539 (|:| |bpar| 8) (|:| |lcpar| 60) (|:| |dpar| 43)) 3540 (|Union| (|List| 48) 75) (195 . |multi_SPDE|) 3541 (|Record| (|:| |quotient| $) (|:| |remainder| $)) 3542 (204 . |divide|) (210 . |lin_comb|) (216 . *) (222 . +) 3543 (|Record| (|:| |num| 84) (|:| |den| 43)) (|Vector| 39) 3544 (|CommonDenominator| 43 39 84) (228 . |splitDenominator|) 3545 (233 . ~=) (239 . |elt|) (245 . |One|) (249 . ~=) 3546 (255 . |retract|) (|List| 43) (|Vector| 43) (260 . |vector|) 3547 (|Vector| 8) (265 . |vector|) (270 . |setelt!|) (277 . |max|) 3548 (|Mapping| 43 43 43) (283 . |reduce|) (290 . |retract|) 3549 (295 . |Zero|) (299 . |elt|) (305 . |leadingCoefficient|) 3550 (310 . |reductum|) (315 . |setelt!|) (322 . -) (|List| 7) 3551 (327 . |lin_comb|) (333 . *) (339 . +) 3552 (|Record| (|:| |ratpart| 7) (|:| |coeffs| 59)) (|List| 112) 3553 (|List| 28) (|Mapping| 113 114 108) 3554 (|Record| (|:| |logands| 108) (|:| |basis| (|List| 84))) 3555 (|Mapping| 116 114 108) |RDEPAR;param_rde2;FLSLMML;15| (|List| 9) 3556 (345 . |lin_comb|) (351 . +) 3557 (|PolynomialCategoryQuotientFunctions| (|IndexedExponents| 28) 28 3558 6 3559 (|SparseMultivariatePolynomial| 3560 6 28) 3561 7) 3562 (357 . |multivariate|) (|Fraction| 223) (363 . |univariate|) 3563 (369 . =) (375 . |reduce|) (381 . /) (387 . |retractIfCan|) 3564 (|Union| 112 '"failed") 3565 (|Record| (|:| |particular| 130) (|:| |basis| 113)) 3566 (392 . |dehomogenize|) (397 . |elt|) (|List| 45) (|Vector| 45) 3567 (403 . |vector|) (408 . |Zero|) (412 . |degree|) (417 . |elt|) 3568 (423 . ~=) (429 . |leadingCoefficient|) (434 . |reductum|) 3569 (439 . |setelt!|) (446 . |lin_comb|) (452 . |monomial|) (458 . +) 3570 (464 . |convert|) (469 . |coefficient|) (475 . |coefficient|) 3571 (481 . /) |RDEPAR;exp_lower_bound;SupLp2ILFMI;11| (487 . |order|) 3572 (492 . |min|) (498 . |retract|) (503 . |coerce|) (508 . *) 3573 (514 . |retract|) (519 . |One|) (523 . /) 3574 |RDEPAR;param_rde;IFLSLMML;21| |RDEPAR;param_rde;I2FLSLMMR;14| 3575 (|IntegrationTools| 6 7) (529 . |kmax|) (534 . ~=) 3576 (|BasicOperator|) (540 . |operator|) (545 . |has?|) (551 . |is?|) 3577 (557 . |differentiate|) (|Mapping| 7 7) (563 . |differentiate|) 3578 (570 . /) (576 . -) (582 . ^) (|List| 170) 3579 (|ConstantLinearDependence| 6 7) (588 . |nullSpaceOverConstants|) 3580 (594 . |argument|) (599 . |elt|) (605 . |retract|) (610 . |eval|) 3581 (617 . |coerce|) (622 . |eval|) (629 . |append|) (|List| 30) 3582 (635 . |tower|) (640 . |varselect|) (|ParametricIntegration| 6 7) 3583 (646 . |extendedint|) (653 . |logextint|) 3584 (|Record| (|:| |transform| 54) (|:| |basis| 57)) 3585 (660 . |constant_subspace|) (666 . |vector|) (671 . *) 3586 (677 . |entries|) (682 . |map|) (688 . ~=) (|List| 108) 3587 (694 . |matrix|) (|Mapping| 113 60) (|Mapping| 57 54) 3588 (|ParametricTranscendentalIntegration| 7 8) (699 . |diffextint|) 3589 (706 . |retract|) (711 . D) (|RootFSSplit| 6 7) 3590 (717 . |alg_split_root0|) (|Vector| 108) (724 . |vector|) 3591 (729 . |elt|) (735 . |setelt!|) (742 . |kernels|) 3592 (747 . |member?|) (|Union| 26 '"failed") (753 . |symbolIfCan|) 3593 (|Record| (|:| |particular| 113) (|:| |basis| 108)) 3594 (|PureAlgebraicIntegration| 6 7 7) (758 . |param_RDE|) 3595 (766 . |concat|) 3596 (|Record| (|:| |primelt| 7) (|:| |pol1| 8) (|:| |pol2| 8) 3597 (|:| |prim| 8)) 3598 (|FunctionSpacePrimitiveElement| 6 7) (772 . |primitiveElement|) 3599 (|SparseUnivariatePolynomial| $) (778 . |rootOf|) (783 . |elt|) 3600 (789 . |eval|) (796 . *) (802 . *) 3601 (|Record| (|:| |poly| 8) (|:| |normal| 9) (|:| |special| 9)) 3602 (808 . |decompose|) (|List| 119) (|Matrix| 9) (814 . |matrix|) 3603 (819 . |reducedSystem|) (824 . |reducedSystem|) (830 . -)) 3604 '#(|param_rde2| 835 |param_rde| 845 |exp_lower_bound| 868) 'NIL 3605 (CONS (|makeByteWordVec2| 1 '(0)) 3606 (CONS '#(NIL) 3607 (CONS 3608 '#((|Join| 3609 (|mkCategory| 3610 (LIST 3611 '((|param_rde| 3612 ((|List| 3613 (|Record| (|:| |ratpart| |#2|) 3614 (|:| |coeffs| (|Vector| |#2|)))) 3615 (|Integer|) |#2| (|List| |#2|) (|Symbol|) 3616 (|List| (|Kernel| |#2|)) 3617 (|Mapping| 3618 (|List| 3619 (|Record| (|:| |ratpart| |#2|) 3620 (|:| |coeffs| (|Vector| |#2|)))) 3621 (|List| (|Kernel| |#2|)) (|List| |#2|)) 3622 (|Mapping| 3623 (|Record| (|:| |logands| (|List| |#2|)) 3624 (|:| |basis| 3625 (|List| 3626 (|Vector| 3627 (|Fraction| 3628 (|Integer|)))))) 3629 (|List| (|Kernel| |#2|)) (|List| |#2|)))) 3630 T) 3631 '((|param_rde| 3632 ((|Record| 3633 (|:| |particular| 3634 (|Union| 3635 (|Record| (|:| |ratpart| |#2|) 3636 (|:| |coeffs| 3637 (|Vector| |#2|))) 3638 "failed")) 3639 (|:| |basis| 3640 (|List| 3641 (|Record| (|:| |ratpart| |#2|) 3642 (|:| |coeffs| 3643 (|Vector| |#2|)))))) 3644 (|Integer|) |#2| |#2| (|List| |#2|) 3645 (|Symbol|) (|List| (|Kernel| |#2|)) 3646 (|Mapping| 3647 (|List| 3648 (|Record| (|:| |ratpart| |#2|) 3649 (|:| |coeffs| (|Vector| |#2|)))) 3650 (|List| (|Kernel| |#2|)) (|List| |#2|)) 3651 (|Mapping| 3652 (|Record| (|:| |logands| (|List| |#2|)) 3653 (|:| |basis| 3654 (|List| 3655 (|Vector| 3656 (|Fraction| 3657 (|Integer|)))))) 3658 (|List| (|Kernel| |#2|)) (|List| |#2|)))) 3659 T) 3660 '((|param_rde2| 3661 ((|List| 3662 (|Record| (|:| |ratpart| |#2|) 3663 (|:| |coeffs| (|Vector| |#2|)))) 3664 |#2| (|List| |#2|) (|Symbol|) 3665 (|List| (|Kernel| |#2|)) 3666 (|Mapping| 3667 (|List| 3668 (|Record| (|:| |ratpart| |#2|) 3669 (|:| |coeffs| (|Vector| |#2|)))) 3670 (|List| (|Kernel| |#2|)) (|List| |#2|)) 3671 (|Mapping| 3672 (|Record| (|:| |logands| (|List| |#2|)) 3673 (|:| |basis| 3674 (|List| 3675 (|Vector| 3676 (|Fraction| 3677 (|Integer|)))))) 3678 (|List| (|Kernel| |#2|)) (|List| |#2|)))) 3679 T) 3680 '((|exp_lower_bound| 3681 ((|Integer|) 3682 (|SparseUnivariatePolynomial| |#2|) 3683 (|LaurentPolynomial| |#2| 3684 (|SparseUnivariatePolynomial| 3685 |#2|)) 3686 (|Integer|) (|Integer|) 3687 (|List| (|Kernel| |#2|)) |#2| 3688 (|Mapping| 3689 (|Record| (|:| |logands| (|List| |#2|)) 3690 (|:| |basis| 3691 (|List| 3692 (|Vector| 3693 (|Fraction| 3694 (|Integer|)))))) 3695 (|List| (|Kernel| |#2|)) (|List| |#2|)))) 3696 T)) 3697 (LIST) NIL NIL))) 3698 (|makeByteWordVec2| 236 3699 '(2 11 8 9 10 12 1 9 8 0 13 1 8 0 3700 14 15 2 11 16 8 10 17 2 8 0 0 0 3701 18 1 8 0 0 19 2 8 20 0 0 21 1 9 8 3702 0 22 3 8 24 0 0 0 25 0 26 0 27 1 3703 28 0 26 29 1 7 0 30 31 2 8 0 7 0 3704 32 2 8 0 0 0 33 2 8 7 0 0 34 2 36 3705 35 7 28 37 1 39 38 0 40 0 6 0 41 3706 0 7 0 42 1 7 0 43 44 1 45 0 8 46 3707 2 45 20 0 0 47 3 49 48 8 8 10 50 3708 1 52 0 51 53 1 8 54 55 56 1 54 57 3709 0 58 2 61 8 59 60 62 0 6 0 63 0 7 3710 0 64 2 8 0 7 65 66 1 8 65 0 67 0 3711 8 0 68 2 8 69 0 0 70 2 8 69 0 0 3712 71 0 8 0 72 1 9 0 8 73 1 9 8 0 74 3713 5 49 76 8 8 60 43 10 77 2 8 78 0 3714 0 79 2 61 59 59 57 80 2 8 0 0 0 3715 81 2 8 0 0 0 82 1 85 83 84 86 2 3716 43 69 0 0 87 2 84 39 0 43 88 0 39 3717 0 89 2 39 69 0 0 90 1 39 43 0 91 3718 1 93 0 92 94 1 95 0 60 96 3 59 7 3719 0 43 7 97 2 43 0 0 0 98 3 92 43 3720 99 0 43 100 1 8 7 0 101 0 9 0 102 3721 2 95 8 0 43 103 1 8 7 0 104 1 8 0 3722 0 105 3 95 8 0 43 8 106 1 7 0 0 3723 107 2 61 7 59 108 109 2 7 0 0 0 3724 110 2 7 0 0 0 111 2 61 9 59 119 3725 120 2 9 0 0 0 121 2 122 7 9 28 3726 123 2 7 124 0 30 125 2 7 69 0 0 3727 126 2 92 43 99 0 127 2 7 0 0 0 3728 128 1 7 38 0 129 1 61 131 113 132 3729 2 59 7 0 43 133 1 135 0 134 136 0 3730 45 0 137 1 45 43 0 138 2 135 45 0 3731 43 139 2 45 69 0 0 140 1 45 7 0 3732 141 1 45 0 0 142 3 135 45 0 43 45 3733 143 2 61 45 59 134 144 2 45 0 7 3734 43 145 2 45 0 0 0 146 1 45 9 0 3735 147 2 45 7 0 43 148 2 8 7 0 65 3736 149 2 39 0 0 0 150 1 45 43 0 152 3737 2 43 0 0 0 153 1 45 7 0 154 1 45 3738 0 7 155 2 45 0 0 0 156 1 45 8 0 3739 157 0 9 0 158 2 9 0 0 0 159 1 162 3740 28 114 163 2 28 69 0 0 164 1 28 3741 165 0 166 2 165 69 0 26 167 2 28 3742 69 0 26 168 2 7 0 0 26 169 3 8 0 3743 0 170 0 171 2 9 0 8 8 172 2 9 0 0 3744 0 173 2 8 0 0 65 174 2 176 57 54 3745 175 177 1 28 108 0 178 2 108 7 0 3746 43 179 1 7 30 0 180 3 7 0 0 30 0 3747 181 1 7 0 26 182 3 7 0 0 0 0 183 3748 2 108 0 0 0 184 1 7 185 14 186 2 3749 162 114 114 26 187 3 188 113 26 3750 114 108 189 3 188 116 26 114 108 3751 190 2 176 191 57 175 192 1 59 0 3752 108 193 2 54 59 0 59 194 1 59 108 3753 0 195 2 108 0 170 0 196 2 7 69 0 3754 0 197 1 54 0 198 199 3 202 113 3755 200 201 119 203 1 7 43 0 204 2 7 3756 0 0 26 205 3 206 108 7 28 43 207 3757 1 208 0 198 209 2 208 108 0 43 3758 210 3 208 108 0 43 108 211 1 7 3759 185 0 212 2 114 69 28 0 213 1 28 3760 214 0 215 4 217 216 7 108 28 28 3761 218 2 113 0 0 0 219 2 221 220 7 7 3762 222 1 7 0 223 224 2 8 7 0 7 225 3 3763 7 0 0 185 14 226 2 7 0 43 0 227 2 3764 9 0 8 0 228 2 11 229 9 10 230 1 3765 232 0 231 233 1 9 52 55 234 2 176 3766 54 54 175 235 1 9 0 0 236 6 0 113 3767 7 108 26 114 115 117 118 8 0 131 3768 43 7 7 108 26 114 115 117 161 7 0 3769 113 43 7 108 26 114 115 117 160 7 3770 0 43 8 45 43 43 114 7 117 3771 151))))) 3772 '|lookupComplete|)) 3773