1 2(SDEFUN |STTAYLOR;zro| (($ |Stream| A)) (SPADCALL (QREFELT $ 8))) 3 4(SDEFUN |STTAYLOR;+;3S;2| ((|x| |Stream| A) (|y| |Stream| A) ($ |Stream| A)) 5 (SPROG NIL 6 (SPADCALL (CONS #'|STTAYLOR;+;3S;2!2| (VECTOR |x| $ |y|)) 7 (QREFELT $ 20)))) 8 9(SDEFUN |STTAYLOR;+;3S;2!2| (($$ NIL)) 10 (PROG (|y| $ |x|) 11 (LETT |y| (QREFELT $$ 2)) 12 (LETT $ (QREFELT $$ 1)) 13 (LETT |x| (QREFELT $$ 0)) 14 (RETURN 15 (PROGN 16 (SPROG NIL 17 (COND ((SPADCALL |y| (QREFELT $ 10)) |x|) 18 ((SPADCALL |x| (QREFELT $ 10)) |y|) 19 ((SPADCALL |x| (SPADCALL |x| (QREFELT $ 11)) 20 (QREFELT $ 12)) 21 (SPADCALL (CONS #'|STTAYLOR;+;3S;2!0| (VECTOR $ |x|)) 22 |y| (QREFELT $ 16))) 23 ((SPADCALL |y| (SPADCALL |y| (QREFELT $ 11)) 24 (QREFELT $ 12)) 25 (SPADCALL (CONS #'|STTAYLOR;+;3S;2!1| (VECTOR $ |y|)) 26 |x| (QREFELT $ 16))) 27 ('T 28 (SPADCALL 29 (SPADCALL (SPADCALL |x| (QREFELT $ 13)) 30 (SPADCALL |y| (QREFELT $ 13)) 31 (QREFELT $ 14)) 32 (SPADCALL (SPADCALL |x| (QREFELT $ 11)) 33 (SPADCALL |y| (QREFELT $ 11)) 34 (QREFELT $ 17)) 35 (QREFELT $ 18))))))))) 36 37(SDEFUN |STTAYLOR;+;3S;2!1| ((|z| NIL) ($$ NIL)) 38 (PROG (|y| $) 39 (LETT |y| (QREFELT $$ 1)) 40 (LETT $ (QREFELT $$ 0)) 41 (RETURN 42 (PROGN 43 (SPADCALL (SPADCALL |y| (QREFELT $ 13)) |z| (QREFELT $ 14)))))) 44 45(SDEFUN |STTAYLOR;+;3S;2!0| ((|z| NIL) ($$ NIL)) 46 (PROG (|x| $) 47 (LETT |x| (QREFELT $$ 1)) 48 (LETT $ (QREFELT $$ 0)) 49 (RETURN 50 (PROGN 51 (SPADCALL (SPADCALL |x| (QREFELT $ 13)) |z| (QREFELT $ 14)))))) 52 53(SDEFUN |STTAYLOR;-;3S;3| ((|x| |Stream| A) (|y| |Stream| A) ($ |Stream| A)) 54 (SPROG NIL 55 (SPADCALL (CONS #'|STTAYLOR;-;3S;3!2| (VECTOR |x| $ |y|)) 56 (QREFELT $ 20)))) 57 58(SDEFUN |STTAYLOR;-;3S;3!2| (($$ NIL)) 59 (PROG (|y| $ |x|) 60 (LETT |y| (QREFELT $$ 2)) 61 (LETT $ (QREFELT $$ 1)) 62 (LETT |x| (QREFELT $$ 0)) 63 (RETURN 64 (PROGN 65 (SPROG NIL 66 (COND ((SPADCALL |y| (QREFELT $ 10)) |x|) 67 ((SPADCALL |x| (QREFELT $ 10)) 68 (SPADCALL |y| (QREFELT $ 21))) 69 ((SPADCALL |x| (SPADCALL |x| (QREFELT $ 11)) 70 (QREFELT $ 12)) 71 (SPADCALL (CONS #'|STTAYLOR;-;3S;3!0| (VECTOR $ |x|)) 72 |y| (QREFELT $ 16))) 73 ((SPADCALL |y| (SPADCALL |y| (QREFELT $ 11)) 74 (QREFELT $ 12)) 75 (SPADCALL (CONS #'|STTAYLOR;-;3S;3!1| (VECTOR $ |y|)) 76 |x| (QREFELT $ 16))) 77 ('T 78 (SPADCALL 79 (SPADCALL (SPADCALL |x| (QREFELT $ 13)) 80 (SPADCALL |y| (QREFELT $ 13)) 81 (QREFELT $ 22)) 82 (SPADCALL (SPADCALL |x| (QREFELT $ 11)) 83 (SPADCALL |y| (QREFELT $ 11)) 84 (QREFELT $ 23)) 85 (QREFELT $ 18))))))))) 86 87(SDEFUN |STTAYLOR;-;3S;3!1| ((|z| NIL) ($$ NIL)) 88 (PROG (|y| $) 89 (LETT |y| (QREFELT $$ 1)) 90 (LETT $ (QREFELT $$ 0)) 91 (RETURN 92 (PROGN 93 (SPADCALL |z| (SPADCALL |y| (QREFELT $ 13)) (QREFELT $ 22)))))) 94 95(SDEFUN |STTAYLOR;-;3S;3!0| ((|z| NIL) ($$ NIL)) 96 (PROG (|x| $) 97 (LETT |x| (QREFELT $$ 1)) 98 (LETT $ (QREFELT $$ 0)) 99 (RETURN 100 (PROGN 101 (SPADCALL (SPADCALL |x| (QREFELT $ 13)) |z| (QREFELT $ 22)))))) 102 103(SDEFUN |STTAYLOR;-;2S;4| ((|y| |Stream| A) ($ |Stream| A)) 104 (SPADCALL (ELT $ 24) |y| (QREFELT $ 16))) 105 106(SDEFUN |STTAYLOR;*;A2S;5| ((|s| A) (|x| |Stream| A) ($ |Stream| A)) 107 (SPROG NIL 108 (COND ((SPADCALL |s| (QREFELT $ 25)) (|STTAYLOR;zro| $)) 109 ('T 110 (SPADCALL (CONS #'|STTAYLOR;*;A2S;5!0| (VECTOR $ |s|)) 111 |x| (QREFELT $ 16)))))) 112 113(SDEFUN |STTAYLOR;*;A2S;5!0| ((|z| NIL) ($$ NIL)) 114 (PROG (|s| $) 115 (LETT |s| (QREFELT $$ 1)) 116 (LETT $ (QREFELT $$ 0)) 117 (RETURN (PROGN (SPADCALL |s| |z| (QREFELT $ 26)))))) 118 119(SDEFUN |STTAYLOR;*;SAS;6| ((|x| |Stream| A) (|s| A) ($ |Stream| A)) 120 (SPROG NIL 121 (COND ((SPADCALL |s| (QREFELT $ 25)) (|STTAYLOR;zro| $)) 122 ('T 123 (SPADCALL (CONS #'|STTAYLOR;*;SAS;6!0| (VECTOR $ |s|)) 124 |x| (QREFELT $ 16)))))) 125 126(SDEFUN |STTAYLOR;*;SAS;6!0| ((|z| NIL) ($$ NIL)) 127 (PROG (|s| $) 128 (LETT |s| (QREFELT $$ 1)) 129 (LETT $ (QREFELT $$ 0)) 130 (RETURN (PROGN (SPADCALL |z| |s| (QREFELT $ 26)))))) 131 132(SDEFUN |STTAYLOR;iDiv| 133 ((|x| |Stream| A) (|rst_y| |Stream| A) (|ry0| A) ($ |Stream| A)) 134 (SPROG NIL 135 (SEQ 136 (SPADCALL 137 (CONS #'|STTAYLOR;iDiv!0| (VECTOR |rst_y| |ry0| $ |x|)) 138 (QREFELT $ 20))))) 139 140(SDEFUN |STTAYLOR;iDiv!0| (($$ NIL)) 141 (PROG (|x| $ |ry0| |rst_y|) 142 (LETT |x| (QREFELT $$ 3)) 143 (LETT $ (QREFELT $$ 2)) 144 (LETT |ry0| (QREFELT $$ 1)) 145 (LETT |rst_y| (QREFELT $$ 0)) 146 (RETURN 147 (PROGN 148 (SPROG ((|c0| NIL)) 149 (SEQ 150 (COND 151 ((SPADCALL |x| (QREFELT $ 10)) (SPADCALL (QREFELT $ 8))) 152 ('T 153 (SEQ 154 (LETT |c0| 155 (SPADCALL (SPADCALL |x| (QREFELT $ 13)) |ry0| 156 (QREFELT $ 26))) 157 (EXIT 158 (SPADCALL |c0| 159 (|STTAYLOR;iDiv| 160 (SPADCALL (SPADCALL |x| (QREFELT $ 11)) 161 (SPADCALL |c0| |rst_y| 162 (QREFELT $ 27)) 163 (QREFELT $ 23)) 164 |rst_y| |ry0| $) 165 (QREFELT $ 18)))))))))))) 166 167(SDEFUN |STTAYLOR;i_div1| 168 ((|rst_x| |Stream| A) (|rst_y| |Stream| A) (|ry0| A) (|c0| A) 169 ($ |Stream| A)) 170 (SPROG NIL 171 (SPADCALL 172 (CONS #'|STTAYLOR;i_div1!1| 173 (VECTOR |c0| |rst_x| |ry0| $ |rst_y|)) 174 (QREFELT $ 20)))) 175 176(SDEFUN |STTAYLOR;i_div1!1| (($$ NIL)) 177 (PROG (|rst_y| $ |ry0| |rst_x| |c0|) 178 (LETT |rst_y| (QREFELT $$ 4)) 179 (LETT $ (QREFELT $$ 3)) 180 (LETT |ry0| (QREFELT $$ 2)) 181 (LETT |rst_x| (QREFELT $$ 1)) 182 (LETT |c0| (QREFELT $$ 0)) 183 (RETURN 184 (PROGN 185 (SPROG NIL 186 (COND 187 ((SPADCALL |rst_y| (QREFELT $ 10)) 188 (SPADCALL (CONS #'|STTAYLOR;i_div1!0| (VECTOR $ |ry0|)) 189 |rst_x| (QREFELT $ 16))) 190 ('T 191 (|STTAYLOR;iDiv| 192 (SPADCALL |rst_x| (SPADCALL |c0| |rst_y| (QREFELT $ 27)) 193 (QREFELT $ 23)) 194 |rst_y| |ry0| $)))))))) 195 196(SDEFUN |STTAYLOR;i_div1!0| ((|z| NIL) ($$ NIL)) 197 (PROG (|ry0| $) 198 (LETT |ry0| (QREFELT $$ 1)) 199 (LETT $ (QREFELT $$ 0)) 200 (RETURN (PROGN (SPADCALL |z| |ry0| (QREFELT $ 26)))))) 201 202(SDEFUN |STTAYLOR;exquo;2SU;9| 203 ((|x| |Stream| A) (|y| |Stream| A) ($ |Union| (|Stream| A) "failed")) 204 (SPROG 205 ((|c0| (A)) (|x0| (A)) (|ry0| (A)) (|ry0u| (|Union| A "failed")) 206 (#1=#:G547 NIL) (#2=#:G548 NIL) (|y0| (A)) (|n| NIL)) 207 (SEQ 208 (EXIT 209 (SEQ 210 (SEQ 211 (EXIT 212 (SEQ (LETT |n| 1) G190 NIL 213 (SEQ 214 (EXIT 215 (COND 216 ((OR (> |n| 1000) (SPADCALL |y| (QREFELT $ 10))) 217 (PROGN (LETT #2# (CONS 1 "failed")) (GO #3=#:G546))) 218 ((SPADCALL |x| (QREFELT $ 10)) 219 (PROGN 220 (LETT #2# (CONS 0 (SPADCALL (QREFELT $ 8)))) 221 (GO #3#))) 222 ('T 223 (SEQ (LETT |y0| (SPADCALL |y| (QREFELT $ 13))) 224 (EXIT 225 (COND 226 ((SPADCALL |y0| (|spadConstant| $ 29) 227 (QREFELT $ 30)) 228 (COND 229 ((SPADCALL (SPADCALL |x| (QREFELT $ 13)) 230 (|spadConstant| $ 29) 231 (QREFELT $ 30)) 232 (SEQ (LETT |x| (SPADCALL |x| (QREFELT $ 11))) 233 (EXIT 234 (LETT |y| 235 (SPADCALL |y| (QREFELT $ 11)))))) 236 ('T 237 (PROGN 238 (LETT #2# (CONS 1 "failed")) 239 (GO #3#))))) 240 ('T 241 (PROGN 242 (LETT #1# |$NoValue|) 243 (GO #4=#:G537)))))))))) 244 (LETT |n| (|inc_SI| |n|)) (GO G190) G191 (EXIT NIL))) 245 #4# (EXIT #1#)) 246 (LETT |ry0u| (SPADCALL |y0| (QREFELT $ 32))) 247 (EXIT 248 (COND ((QEQCAR |ry0u| 1) (CONS 1 "failed")) 249 ('T 250 (SEQ (LETT |ry0| (QCDR |ry0u|)) 251 (LETT |x0| (SPADCALL |x| (QREFELT $ 13))) 252 (LETT |c0| (SPADCALL |x0| |ry0| (QREFELT $ 26))) 253 (EXIT 254 (CONS 0 255 (SPADCALL |c0| 256 (|STTAYLOR;i_div1| 257 (SPADCALL |x| (QREFELT $ 11)) 258 (SPADCALL |y| (QREFELT $ 11)) |ry0| 259 |c0| $) 260 (QREFELT $ 18)))))))))) 261 #3# (EXIT #2#)))) 262 263(SDEFUN |STTAYLOR;/;3S;10| ((|x| |Stream| A) (|y| |Stream| A) ($ |Stream| A)) 264 (SPROG NIL 265 (SEQ 266 (SPADCALL (CONS #'|STTAYLOR;/;3S;10!0| (VECTOR |x| $ |y|)) 267 (QREFELT $ 20))))) 268 269(SDEFUN |STTAYLOR;/;3S;10!0| (($$ NIL)) 270 (PROG (|y| $ |x|) 271 (LETT |y| (QREFELT $$ 2)) 272 (LETT $ (QREFELT $$ 1)) 273 (LETT |x| (QREFELT $$ 0)) 274 (RETURN 275 (PROGN 276 (SPROG ((|ry0u| NIL) (|ry0| NIL) (|x0| NIL) (|c0| NIL)) 277 (SEQ 278 (COND 279 ((SPADCALL |y| (QREFELT $ 10)) 280 (|error| "/: division by zero")) 281 ((SPADCALL |x| (QREFELT $ 10)) (SPADCALL (QREFELT $ 8))) 282 ('T 283 (SEQ 284 (LETT |ry0u| 285 (SPADCALL (SPADCALL |y| (QREFELT $ 13)) 286 (QREFELT $ 32))) 287 (EXIT 288 (COND 289 ((QEQCAR |ry0u| 1) 290 (|error| "/: second argument is not invertible")) 291 ('T 292 (SEQ (LETT |ry0| (QCDR |ry0u|)) 293 (LETT |x0| (SPADCALL |x| (QREFELT $ 13))) 294 (LETT |c0| (SPADCALL |x0| |ry0| (QREFELT $ 26))) 295 (EXIT 296 (SPADCALL |c0| 297 (|STTAYLOR;i_div1| 298 (SPADCALL |x| (QREFELT $ 11)) 299 (SPADCALL |y| (QREFELT $ 11)) |ry0| 300 |c0| $) 301 (QREFELT $ 18)))))))))))))))) 302 303(SDEFUN |STTAYLOR;recip;SU;11| 304 ((|x| |Stream| A) ($ |Union| (|Stream| A) "failed")) 305 (SPROG ((|rh| (A)) (|rh1| (|Union| A "failed"))) 306 (SEQ 307 (COND ((SPADCALL |x| (QREFELT $ 10)) (CONS 1 "failed")) 308 (#1='T 309 (SEQ 310 (LETT |rh1| 311 (SPADCALL (SPADCALL |x| (QREFELT $ 13)) 312 (QREFELT $ 32))) 313 (EXIT 314 (COND ((QEQCAR |rh1| 1) (CONS 1 "failed")) 315 (#1# 316 (SEQ (LETT |rh| (QCDR |rh1|)) 317 (EXIT 318 (CONS 0 319 (SPADCALL 320 (CONS #'|STTAYLOR;recip;SU;11!0| 321 (VECTOR $ |x| |rh|)) 322 (QREFELT $ 20)))))))))))))) 323 324(SDEFUN |STTAYLOR;recip;SU;11!0| (($$ NIL)) 325 (PROG (|rh| |x| $) 326 (LETT |rh| (QREFELT $$ 2)) 327 (LETT |x| (QREFELT $$ 1)) 328 (LETT $ (QREFELT $$ 0)) 329 (RETURN 330 (PROGN 331 (SPADCALL |rh| 332 (|STTAYLOR;iDiv| 333 (SPADCALL 334 (SPADCALL |rh| (SPADCALL |x| (QREFELT $ 11)) 335 (QREFELT $ 27)) 336 (QREFELT $ 21)) 337 (SPADCALL |x| (QREFELT $ 11)) |rh| $) 338 (QREFELT $ 18)))))) 339 340(SDEFUN |STTAYLOR;rp| ((|z| |Integer|) (|s| A) ($ |List| A)) 341 (COND ((<= |z| 0) NIL) ('T (CONS |s| (|STTAYLOR;rp| (- |z| 1) |s| $))))) 342 343(SDEFUN |STTAYLOR;rpSt| ((|z| |Integer|) (|s| A) ($ |Stream| A)) 344 (SPROG NIL 345 (SPADCALL (CONS #'|STTAYLOR;rpSt!0| (VECTOR |s| $ |z|)) 346 (QREFELT $ 20)))) 347 348(SDEFUN |STTAYLOR;rpSt!0| (($$ NIL)) 349 (PROG (|z| $ |s|) 350 (LETT |z| (QREFELT $$ 2)) 351 (LETT $ (QREFELT $$ 1)) 352 (LETT |s| (QREFELT $$ 0)) 353 (RETURN 354 (PROGN 355 (COND 356 ((SPADCALL |z| (|spadConstant| $ 39) (QREFELT $ 40)) 357 (SPADCALL (QREFELT $ 8))) 358 ('T 359 (SPADCALL |s| 360 (|STTAYLOR;rpSt| 361 (SPADCALL |z| (|spadConstant| $ 41) (QREFELT $ 42)) 362 |s| $) 363 (QREFELT $ 18)))))))) 364 365(SDEFUN |STTAYLOR;monom;AIS;14| ((|s| A) (|z| |Integer|) ($ |Stream| A)) 366 (COND 367 ((< |z| 0) 368 (|error| "monom: cannot create monomial of negative degree")) 369 ('T 370 (SPADCALL (|STTAYLOR;rpSt| |z| (|spadConstant| $ 29) $) 371 (SPADCALL |s| (|STTAYLOR;zro| $) (QREFELT $ 18)) 372 (QREFELT $ 43))))) 373 374(SDEFUN |STTAYLOR;nnintegers| 375 ((|zz| |NonNegativeInteger|) ($ |Stream| (|NonNegativeInteger|))) 376 (SPADCALL (CONS #'|STTAYLOR;nnintegers!0| $) |zz| (QREFELT $ 50))) 377 378(SDEFUN |STTAYLOR;nnintegers!0| ((|y| NIL) ($ NIL)) 379 (SPADCALL |y| (|spadConstant| $ 46) (QREFELT $ 47))) 380 381(SDEFUN |STTAYLOR;integers;IS;16| ((|z| |Integer|) ($ |Stream| (|Integer|))) 382 (SPADCALL (CONS #'|STTAYLOR;integers;IS;16!0| $) |z| (QREFELT $ 54))) 383 384(SDEFUN |STTAYLOR;integers;IS;16!0| ((|y| NIL) ($ NIL)) 385 (SPADCALL |y| (|spadConstant| $ 41) (QREFELT $ 51))) 386 387(SDEFUN |STTAYLOR;oddintegers;IS;17| ((|z| |Integer|) ($ |Stream| (|Integer|))) 388 (SPADCALL (CONS #'|STTAYLOR;oddintegers;IS;17!0| $) |z| (QREFELT $ 54))) 389 390(SDEFUN |STTAYLOR;oddintegers;IS;17!0| ((|y| NIL) ($ NIL)) 391 (SPADCALL |y| 2 (QREFELT $ 51))) 392 393(SDEFUN |STTAYLOR;int;AS;18| ((|s| A) ($ |Stream| A)) 394 (SPADCALL (CONS #'|STTAYLOR;int;AS;18!0| $) |s| (QREFELT $ 57))) 395 396(SDEFUN |STTAYLOR;int;AS;18!0| ((|y| NIL) ($ NIL)) 397 (SPADCALL |y| (|spadConstant| $ 37) (QREFELT $ 14))) 398 399(SDEFUN |STTAYLOR;stmult| 400 ((|n0| |Integer|) (|x0| |Stream| A) (|y0| |Stream| A) (|ll0| |List| A) 401 ($ |Stream| A)) 402 (SPROG NIL 403 (SEQ 404 (SPADCALL 405 (CONS #'|STTAYLOR;stmult!0| (VECTOR $ |ll0| |n0| |y0| |x0|)) 406 (QREFELT $ 20))))) 407 408(SDEFUN |STTAYLOR;stmult!0| (($$ NIL)) 409 (PROG (|x0| |y0| |n0| |ll0| $) 410 (LETT |x0| (QREFELT $$ 4)) 411 (LETT |y0| (QREFELT $$ 3)) 412 (LETT |n0| (QREFELT $$ 2)) 413 (LETT |ll0| (QREFELT $$ 1)) 414 (LETT $ (QREFELT $$ 0)) 415 (RETURN 416 (PROGN 417 (SPROG 418 ((|x| NIL) (|c| NIL) (|y| NIL) (|ll| NIL) (|n| NIL) (|i| NIL) 419 (#1=#:G625 NIL) (#2=#:G624 NIL) (#3=#:G623 NIL) (|res| NIL) 420 (|llp| NIL) (|xp| NIL)) 421 (SEQ 422 (EXIT 423 (SEQ (LETT |x| |x0|) (LETT |y| |y0|) (LETT |n| |n0|) 424 (LETT |ll| |ll0|) 425 (COND 426 ((SPADCALL |y| (QREFELT $ 10)) 427 (COND 428 ((OR (SPADCALL |n| (|spadConstant| $ 63) (QREFELT $ 59)) 429 (SPADCALL |x| (QREFELT $ 10))) 430 (PROGN 431 (LETT #2# (SPADCALL (QREFELT $ 8))) 432 (GO #4=#:G622))) 433 ('T (LETT |x| (SPADCALL |x| (QREFELT $ 11)))))) 434 ('T 435 (SEQ (LETT |c| (SPADCALL |y| (QREFELT $ 13))) 436 (LETT |y| (SPADCALL |y| (QREFELT $ 11))) 437 (EXIT 438 (COND 439 ((SPADCALL |n| (|spadConstant| $ 63) 440 (QREFELT $ 59)) 441 (COND 442 ((SPADCALL |c| (|spadConstant| $ 29) 443 (QREFELT $ 30)) 444 (PROGN 445 (LETT #2# 446 (SPADCALL (|spadConstant| $ 29) 447 (|STTAYLOR;stmult| |n| |x| |y| 448 |ll| $) 449 (QREFELT $ 18))) 450 (GO #4#))) 451 ('T 452 (SEQ 453 (LETT |ll| (SPADCALL |c| |ll| (QREFELT $ 61))) 454 (EXIT 455 (LETT |n| 456 (SPADCALL |n| (|spadConstant| $ 69) 457 (QREFELT $ 51)))))))) 458 ('T 459 (SEQ 460 (LETT |ll| (SPADCALL |c| |ll| (QREFELT $ 61))) 461 (EXIT 462 (LETT |n| 463 (SPADCALL |n| (|spadConstant| $ 69) 464 (QREFELT $ 51))))))))))) 465 (LETT |res| (|spadConstant| $ 29)) (LETT |xp| |x|) 466 (LETT |llp| |ll|) 467 (SEQ 468 (EXIT 469 (SEQ (LETT |i| (|spadConstant| $ 63)) (LETT #1# |n|) G190 470 (COND ((> |i| #1#) (GO G191))) 471 (SEQ 472 (EXIT 473 (COND 474 ((SPADCALL |xp| (QREFELT $ 10)) 475 (COND 476 ((SPADCALL |i| (|spadConstant| $ 64) 477 (QREFELT $ 65)) 478 (PROGN 479 (LETT #2# (SPADCALL (QREFELT $ 8))) 480 (GO #4#))) 481 ('T 482 (PROGN 483 (LETT #3# |$NoValue|) 484 (GO #5=#:G618))))) 485 ('T 486 (SEQ 487 (LETT |res| 488 (SPADCALL |res| 489 (SPADCALL 490 (SPADCALL |xp| (QREFELT $ 13)) 491 (SPADCALL |llp| 492 (QREFELT $ 66)) 493 (QREFELT $ 26)) 494 (QREFELT $ 14))) 495 (LETT |llp| (SPADCALL |llp| (QREFELT $ 67))) 496 (EXIT 497 (LETT |xp| 498 (SPADCALL |xp| (QREFELT $ 11))))))))) 499 (LETT |i| (+ |i| 1)) (GO G190) G191 (EXIT NIL))) 500 #5# (EXIT #3#)) 501 (COND 502 ((SPADCALL (SPADCALL |x| (QREFELT $ 11)) (QREFELT $ 68)) 503 (COND 504 ((SPADCALL |y| (QREFELT $ 68)) 505 (EXIT 506 (SPADCALL |res| (SPADCALL (QREFELT $ 8)) 507 (QREFELT $ 18))))))) 508 (EXIT 509 (SPADCALL |res| (|STTAYLOR;stmult| |n| |x| |y| |ll| $) 510 (QREFELT $ 18))))) 511 #4# (EXIT #2#))))))) 512 513(SDEFUN |STTAYLOR;*;3S;20| ((|x| |Stream| A) (|y| |Stream| A) ($ |Stream| A)) 514 (SPROG NIL 515 (SPADCALL (CONS #'|STTAYLOR;*;3S;20!0| (VECTOR |x| $ |y|)) 516 (QREFELT $ 20)))) 517 518(SDEFUN |STTAYLOR;*;3S;20!0| (($$ NIL)) 519 (PROG (|y| $ |x|) 520 (LETT |y| (QREFELT $$ 2)) 521 (LETT $ (QREFELT $$ 1)) 522 (LETT |x| (QREFELT $$ 0)) 523 (RETURN 524 (PROGN 525 (COND 526 ((OR (SPADCALL |y| (QREFELT $ 10)) (SPADCALL |x| (QREFELT $ 10))) 527 (|STTAYLOR;zro| $)) 528 ('T 529 (|STTAYLOR;stmult| 530 (SPADCALL (|spadConstant| $ 41) (QREFELT $ 70)) |x| |y| NIL 531 $))))))) 532 533(SDEFUN |STTAYLOR;mapmult;3S;21| 534 ((|x| |Stream| A) (|y| |Stream| A) ($ |Stream| A)) 535 (SPROG NIL 536 (SPADCALL (CONS #'|STTAYLOR;mapmult;3S;21!0| (VECTOR |x| $ |y|)) 537 (QREFELT $ 20)))) 538 539(SDEFUN |STTAYLOR;mapmult;3S;21!0| (($$ NIL)) 540 (PROG (|y| $ |x|) 541 (LETT |y| (QREFELT $$ 2)) 542 (LETT $ (QREFELT $$ 1)) 543 (LETT |x| (QREFELT $$ 0)) 544 (RETURN 545 (PROGN 546 (COND 547 ((OR (SPADCALL |y| (QREFELT $ 10)) (SPADCALL |x| (QREFELT $ 10))) 548 (|STTAYLOR;zro| $)) 549 ('T 550 (SPADCALL 551 (SPADCALL (SPADCALL |x| (QREFELT $ 13)) 552 (SPADCALL |y| (QREFELT $ 13)) (QREFELT $ 26)) 553 (SPADCALL (SPADCALL |x| (QREFELT $ 11)) 554 (SPADCALL |y| (QREFELT $ 11)) (QREFELT $ 72)) 555 (QREFELT $ 18)))))))) 556 557(SDEFUN |STTAYLOR;deriv;2S;22| ((|x| |Stream| A) ($ |Stream| A)) 558 (COND ((SPADCALL |x| (QREFELT $ 10)) (|STTAYLOR;zro| $)) 559 ('T 560 (SPADCALL (SPADCALL (|spadConstant| $ 37) (QREFELT $ 58)) 561 (SPADCALL |x| (QREFELT $ 73)) (QREFELT $ 72))))) 562 563(SDEFUN |STTAYLOR;gderiv;M2S;23| 564 ((|f| |Mapping| A (|Integer|)) (|x| |Stream| A) ($ |Stream| A)) 565 (COND ((SPADCALL |x| (QREFELT $ 10)) (|STTAYLOR;zro| $)) 566 ('T 567 (SPADCALL 568 (SPADCALL |f| (SPADCALL 0 (QREFELT $ 55)) (QREFELT $ 77)) |x| 569 (QREFELT $ 72))))) 570 571(SDEFUN |STTAYLOR;coerce;AS;24| ((|s| A) ($ |Stream| A)) 572 (COND ((SPADCALL |s| (QREFELT $ 25)) (|STTAYLOR;zro| $)) 573 ('T (SPADCALL |s| (|STTAYLOR;zro| $) (QREFELT $ 18))))) 574 575(SDEFUN |STTAYLOR;eval;SAS;25| ((|x| |Stream| A) (|at| A) ($ |Stream| A)) 576 (SPROG NIL 577 (SPADCALL (|spadConstant| $ 29) (ELT $ 14) 578 (SPADCALL |x| 579 (SPADCALL 580 (CONS #'|STTAYLOR;eval;SAS;25!0| 581 (VECTOR $ |at|)) 582 (|spadConstant| $ 37) (QREFELT $ 57)) 583 (QREFELT $ 72)) 584 (QREFELT $ 82)))) 585 586(SDEFUN |STTAYLOR;eval;SAS;25!0| ((|y| NIL) ($$ NIL)) 587 (PROG (|at| $) 588 (LETT |at| (QREFELT $$ 1)) 589 (LETT $ (QREFELT $$ 0)) 590 (RETURN (PROGN (SPADCALL |at| |y| (QREFELT $ 26)))))) 591 592(SDEFUN |STTAYLOR;compose;3S;26| 593 ((|x| |Stream| A) (|y| |Stream| A) ($ |Stream| A)) 594 (SPROG NIL 595 (SPADCALL (CONS #'|STTAYLOR;compose;3S;26!0| (VECTOR |x| $ |y|)) 596 (QREFELT $ 20)))) 597 598(SDEFUN |STTAYLOR;compose;3S;26!0| (($$ NIL)) 599 (PROG (|y| $ |x|) 600 (LETT |y| (QREFELT $$ 2)) 601 (LETT $ (QREFELT $$ 1)) 602 (LETT |x| (QREFELT $$ 0)) 603 (RETURN 604 (PROGN 605 (COND 606 ((SPADCALL |y| (QREFELT $ 10)) 607 (SPADCALL (SPADCALL |x| (QREFELT $ 13)) (|STTAYLOR;zro| $) 608 (QREFELT $ 18))) 609 ((NULL (SPADCALL (SPADCALL |y| (QREFELT $ 13)) (QREFELT $ 25))) 610 (|error| 611 "compose: 2nd argument should have 0 constant coefficient")) 612 ('T 613 (COND ((SPADCALL |x| (QREFELT $ 10)) (|STTAYLOR;zro| $)) 614 ('T 615 (SPADCALL (SPADCALL |x| (QREFELT $ 13)) 616 (SPADCALL 617 (SPADCALL (SPADCALL |x| (QREFELT $ 11)) |y| 618 (QREFELT $ 84)) 619 (SPADCALL |y| (QREFELT $ 11)) (QREFELT $ 71)) 620 (QREFELT $ 18)))))))))) 621 622(SDEFUN |STTAYLOR;lagrangere| 623 ((|x| |Stream| A) (|c| |Stream| A) ($ |Stream| A)) 624 (SPROG NIL 625 (SPADCALL (CONS #'|STTAYLOR;lagrangere!0| (VECTOR |c| |x| $)) 626 (QREFELT $ 20)))) 627 628(SDEFUN |STTAYLOR;lagrangere!0| (($$ NIL)) 629 (PROG ($ |x| |c|) 630 (LETT $ (QREFELT $$ 2)) 631 (LETT |x| (QREFELT $$ 1)) 632 (LETT |c| (QREFELT $$ 0)) 633 (RETURN 634 (PROGN 635 (SPADCALL (|spadConstant| $ 29) (SPADCALL |x| |c| (QREFELT $ 84)) 636 (QREFELT $ 18)))))) 637 638(SDEFUN |STTAYLOR;lagrange;2S;28| ((|x| |Stream| A) ($ |Stream| A)) 639 (SPROG NIL 640 (SPADCALL (CONS #'|STTAYLOR;lagrange;2S;28!0| (VECTOR $ |x|)) 641 (QREFELT $ 87)))) 642 643(SDEFUN |STTAYLOR;lagrange;2S;28!0| ((|y| NIL) ($$ NIL)) 644 (PROG (|x| $) 645 (LETT |x| (QREFELT $$ 1)) 646 (LETT $ (QREFELT $$ 0)) 647 (RETURN (PROGN (|STTAYLOR;lagrangere| |x| |y| $))))) 648 649(SDEFUN |STTAYLOR;revert;2S;29| ((|x| |Stream| A) ($ |Stream| A)) 650 (SPROG ((#1=#:G668 NIL) (|y| (|Union| (|Stream| A) #2="failed"))) 651 (SEQ 652 (COND 653 ((SPADCALL |x| (QREFELT $ 10)) 654 (|error| "revert: should be nonzero")) 655 ((SPADCALL (SPADCALL |x| (QREFELT $ 13)) (QREFELT $ 25)) 656 (COND 657 ((SPADCALL (SPADCALL |x| (QREFELT $ 11)) (QREFELT $ 10)) 658 (|error| "revert: should be nonzero")) 659 (#3='T 660 (SEQ 661 (LETT |y| 662 (SPADCALL (SPADCALL |x| (QREFELT $ 11)) 663 (QREFELT $ 36))) 664 (EXIT 665 (COND 666 ((QEQCAR |y| 0) 667 (SPADCALL 668 (PROG2 669 (LETT #1# 670 (SPADCALL (SPADCALL |x| (QREFELT $ 11)) 671 (QREFELT $ 36))) 672 (QCDR #1#) 673 (|check_union2| (QEQCAR #1# 0) 674 (|Stream| (QREFELT $ 6)) 675 (|Union| (|Stream| (QREFELT $ 6)) 676 #2#) 677 #1#)) 678 (QREFELT $ 88))) 679 (#3# 680 (|error| 681 "revert: should start 0, x, ... with invertible x")))))))) 682 (#3# (|error| "revert: should start 0, x, ...")))))) 683 684(SDEFUN |STTAYLOR;prodiag1| 685 ((|ststa| |Stream| (|Stream| A)) (|n| |Integer|) ($ |Stream| A)) 686 (SPROG NIL 687 (SEQ 688 (SPADCALL (CONS #'|STTAYLOR;prodiag1!0| (VECTOR |n| $ |ststa|)) 689 (QREFELT $ 20))))) 690 691(SDEFUN |STTAYLOR;prodiag1!0| (($$ NIL)) 692 (PROG (|ststa| $ |n|) 693 (LETT |ststa| (QREFELT $$ 2)) 694 (LETT $ (QREFELT $$ 1)) 695 (LETT |n| (QREFELT $$ 0)) 696 (RETURN 697 (PROGN 698 (SPROG ((|f1| NIL) (|r1| NIL) (|p1| NIL)) 699 (SEQ 700 (COND 701 ((SPADCALL |ststa| (QREFELT $ 91)) (|STTAYLOR;zro| $)) 702 ('T 703 (SEQ (LETT |f1| (SPADCALL |ststa| (QREFELT $ 92))) 704 (LETT |r1| (SPADCALL |ststa| (QREFELT $ 93))) 705 (LETT |p1| 706 (|STTAYLOR;prodiag1| |r1| 707 (SPADCALL |n| (|spadConstant| $ 95) 708 (QREFELT $ 51)) 709 $)) 710 (EXIT 711 (COND 712 ((SPADCALL |f1| (QREFELT $ 10)) 713 (SPADCALL (|spadConstant| $ 29) |p1| 714 (QREFELT $ 18))) 715 ('T 716 (SPADCALL (SPADCALL |f1| (QREFELT $ 13)) 717 (SPADCALL 718 (SPADCALL 719 (SPADCALL |f1| (QREFELT $ 11)) |p1| 720 (QREFELT $ 17)) 721 (SPADCALL 722 (|STTAYLOR;rpSt| |n| 723 (|spadConstant| $ 29) $) 724 (SPADCALL |f1| |p1| (QREFELT $ 71)) 725 (QREFELT $ 43)) 726 (QREFELT $ 17)) 727 (QREFELT $ 18)))))))))))))) 728 729(SDEFUN |STTAYLOR;prodiag;SS;31| 730 ((|ststa| |Stream| (|Stream| A)) ($ |Stream| A)) 731 (SPADCALL (|spadConstant| $ 37) (|STTAYLOR;prodiag1| |ststa| 1 $) 732 (QREFELT $ 18))) 733 734(SDEFUN |STTAYLOR;addiag;SS;32| 735 ((|ststa| |Stream| (|Stream| A)) ($ |Stream| A)) 736 (SPROG NIL 737 (SPADCALL (CONS #'|STTAYLOR;addiag;SS;32!0| (VECTOR $ |ststa|)) 738 (QREFELT $ 20)))) 739 740(SDEFUN |STTAYLOR;addiag;SS;32!0| (($$ NIL)) 741 (PROG (|ststa| $) 742 (LETT |ststa| (QREFELT $$ 1)) 743 (LETT $ (QREFELT $$ 0)) 744 (RETURN 745 (PROGN 746 (COND ((SPADCALL |ststa| (QREFELT $ 91)) (|STTAYLOR;zro| $)) 747 ((SPADCALL (SPADCALL |ststa| (QREFELT $ 92)) (QREFELT $ 10)) 748 (SPADCALL (|spadConstant| $ 29) 749 (SPADCALL (SPADCALL |ststa| (QREFELT $ 93)) 750 (QREFELT $ 97)) 751 (QREFELT $ 18))) 752 ('T 753 (SPADCALL 754 (SPADCALL (SPADCALL |ststa| (QREFELT $ 92)) (QREFELT $ 13)) 755 (SPADCALL 756 (SPADCALL (SPADCALL |ststa| (QREFELT $ 92)) 757 (QREFELT $ 11)) 758 (SPADCALL (SPADCALL |ststa| (QREFELT $ 93)) 759 (QREFELT $ 97)) 760 (QREFELT $ 17)) 761 (QREFELT $ 18)))))))) 762 763(SDEFUN |STTAYLOR;rptg1| ((|z| |Integer|) (|s| A) ($ |Stream| A)) 764 (SPADCALL (CONS |s| (|STTAYLOR;rp| |z| (|spadConstant| $ 29) $)) 765 (QREFELT $ 98))) 766 767(SDEFUN |STTAYLOR;rptg2| ((|z| |Integer|) (|s| A) ($ |Stream| A)) 768 (SPADCALL 769 (SPADCALL (|STTAYLOR;rp| |z| (|spadConstant| $ 29) $) 770 (CONS |s| (|STTAYLOR;rp| (- |z| 1) (|spadConstant| $ 29) $)) 771 (QREFELT $ 99)) 772 (QREFELT $ 98))) 773 774(SDEFUN |STTAYLOR;rptg3| 775 ((|a| |Integer|) (|d| |Integer|) (|n| |Integer|) (|s| A) 776 ($ |Stream| A)) 777 (SPADCALL (|STTAYLOR;rpSt| (* |n| (- |a| 1)) (|spadConstant| $ 29) $) 778 (SPADCALL 779 (CONS |s| 780 (|STTAYLOR;rp| (- (* |d| |n|) 1) (|spadConstant| $ 29) 781 $)) 782 (QREFELT $ 98)) 783 (QREFELT $ 43))) 784 785(SDEFUN |STTAYLOR;lambert;2S;36| ((|x| |Stream| A) ($ |Stream| A)) 786 (SPROG NIL 787 (SPADCALL (CONS #'|STTAYLOR;lambert;2S;36!0| (VECTOR $ |x|)) 788 (QREFELT $ 20)))) 789 790(SDEFUN |STTAYLOR;lambert;2S;36!0| (($$ NIL)) 791 (PROG (|x| $) 792 (LETT |x| (QREFELT $$ 1)) 793 (LETT $ (QREFELT $$ 0)) 794 (RETURN 795 (PROGN 796 (COND ((SPADCALL |x| (QREFELT $ 10)) (|STTAYLOR;zro| $)) 797 ((SPADCALL (SPADCALL |x| (QREFELT $ 13)) (QREFELT $ 25)) 798 (SPADCALL (|spadConstant| $ 29) 799 (SPADCALL 800 (SPADCALL (CONS (|function| |STTAYLOR;rptg1|) $) 801 (SPADCALL (|spadConstant| $ 39) 802 (QREFELT $ 55)) 803 (SPADCALL |x| (QREFELT $ 11)) 804 (QREFELT $ 102)) 805 (QREFELT $ 97)) 806 (QREFELT $ 18))) 807 ('T 808 (|error| "lambert:constant coefficient should be zero"))))))) 809 810(SDEFUN |STTAYLOR;oddlambert;2S;37| ((|x| |Stream| A) ($ |Stream| A)) 811 (SPROG NIL 812 (SPADCALL (CONS #'|STTAYLOR;oddlambert;2S;37!0| (VECTOR $ |x|)) 813 (QREFELT $ 20)))) 814 815(SDEFUN |STTAYLOR;oddlambert;2S;37!0| (($$ NIL)) 816 (PROG (|x| $) 817 (LETT |x| (QREFELT $$ 1)) 818 (LETT $ (QREFELT $$ 0)) 819 (RETURN 820 (PROGN 821 (COND ((SPADCALL |x| (QREFELT $ 10)) (|STTAYLOR;zro| $)) 822 ((SPADCALL (SPADCALL |x| (QREFELT $ 13)) (QREFELT $ 25)) 823 (SPADCALL (|spadConstant| $ 29) 824 (SPADCALL 825 (SPADCALL (CONS (|function| |STTAYLOR;rptg1|) $) 826 (SPADCALL (|spadConstant| $ 41) 827 (QREFELT $ 56)) 828 (SPADCALL |x| (QREFELT $ 11)) 829 (QREFELT $ 102)) 830 (QREFELT $ 97)) 831 (QREFELT $ 18))) 832 ('T 833 (|error| 834 "oddlambert: constant coefficient should be zero"))))))) 835 836(SDEFUN |STTAYLOR;evenlambert;2S;38| ((|x| |Stream| A) ($ |Stream| A)) 837 (SPROG NIL 838 (SPADCALL (CONS #'|STTAYLOR;evenlambert;2S;38!0| (VECTOR $ |x|)) 839 (QREFELT $ 20)))) 840 841(SDEFUN |STTAYLOR;evenlambert;2S;38!0| (($$ NIL)) 842 (PROG (|x| $) 843 (LETT |x| (QREFELT $$ 1)) 844 (LETT $ (QREFELT $$ 0)) 845 (RETURN 846 (PROGN 847 (COND ((SPADCALL |x| (QREFELT $ 10)) (|STTAYLOR;zro| $)) 848 ((SPADCALL (SPADCALL |x| (QREFELT $ 13)) (QREFELT $ 25)) 849 (SPADCALL (|spadConstant| $ 29) 850 (SPADCALL 851 (SPADCALL (CONS (|function| |STTAYLOR;rptg2|) $) 852 (SPADCALL (|spadConstant| $ 41) 853 (QREFELT $ 55)) 854 (SPADCALL |x| (QREFELT $ 11)) 855 (QREFELT $ 102)) 856 (QREFELT $ 97)) 857 (QREFELT $ 18))) 858 ('T 859 (|error| 860 "evenlambert: constant coefficient should be zero"))))))) 861 862(SDEFUN |STTAYLOR;generalLambert;S2IS;39| 863 ((|st| |Stream| A) (|a| |Integer|) (|d| |Integer|) ($ |Stream| A)) 864 (SPROG NIL 865 (SPADCALL 866 (CONS #'|STTAYLOR;generalLambert;S2IS;39!1| 867 (VECTOR |st| |d| $ |a|)) 868 (QREFELT $ 20)))) 869 870(SDEFUN |STTAYLOR;generalLambert;S2IS;39!1| (($$ NIL)) 871 (PROG (|a| $ |d| |st|) 872 (LETT |a| (QREFELT $$ 3)) 873 (LETT $ (QREFELT $$ 2)) 874 (LETT |d| (QREFELT $$ 1)) 875 (LETT |st| (QREFELT $$ 0)) 876 (RETURN 877 (PROGN 878 (SPROG NIL 879 (COND 880 ((OR (SPADCALL |a| (|spadConstant| $ 41) (QREFELT $ 59)) 881 (SPADCALL |d| (|spadConstant| $ 41) (QREFELT $ 59))) 882 (|error| 883 "generalLambert: both integer arguments must be positive")) 884 ('T 885 (COND ((SPADCALL |st| (QREFELT $ 10)) (|STTAYLOR;zro| $)) 886 ((SPADCALL (SPADCALL |st| (QREFELT $ 13)) 887 (QREFELT $ 25)) 888 (SPADCALL (|spadConstant| $ 29) 889 (SPADCALL 890 (SPADCALL 891 (CONS 892 #'|STTAYLOR;generalLambert;S2IS;39!0| 893 (VECTOR $ |d| |a|)) 894 (SPADCALL (|spadConstant| $ 41) 895 (QREFELT $ 55)) 896 (SPADCALL |st| (QREFELT $ 11)) 897 (QREFELT $ 102)) 898 (QREFELT $ 97)) 899 (QREFELT $ 18))) 900 ('T 901 (|error| 902 "generalLambert: constant coefficient should be zero")))))))))) 903 904(SDEFUN |STTAYLOR;generalLambert;S2IS;39!0| ((|x| NIL) (|y| NIL) ($$ NIL)) 905 (PROG (|a| |d| $) 906 (LETT |a| (QREFELT $$ 2)) 907 (LETT |d| (QREFELT $$ 1)) 908 (LETT $ (QREFELT $$ 0)) 909 (RETURN (PROGN (|STTAYLOR;rptg3| |a| |d| |x| |y| $))))) 910 911(SDEFUN |STTAYLOR;rptg4| 912 ((|a| |Integer|) (|d| |Integer|) (|st| |Stream| A) ($ |Stream| A)) 913 (SPROG NIL 914 (SPADCALL (CONS #'|STTAYLOR;rptg4!0| (VECTOR |d| |a| $ |st|)) 915 (QREFELT $ 20)))) 916 917(SDEFUN |STTAYLOR;rptg4!0| (($$ NIL)) 918 (PROG (|st| $ |a| |d|) 919 (LETT |st| (QREFELT $$ 3)) 920 (LETT $ (QREFELT $$ 2)) 921 (LETT |a| (QREFELT $$ 1)) 922 (LETT |d| (QREFELT $$ 0)) 923 (RETURN 924 (PROGN 925 (COND ((SPADCALL |st| (QREFELT $ 10)) (|STTAYLOR;zro| $)) 926 ('T 927 (SPADCALL (|STTAYLOR;rpSt| |a| (|spadConstant| $ 29) $) 928 (SPADCALL (SPADCALL |st| (QREFELT $ 13)) 929 (|STTAYLOR;rptg4| |d| |d| 930 (SPADCALL |st| (QREFELT $ 11)) $) 931 (QREFELT $ 18)) 932 (QREFELT $ 43)))))))) 933 934(SDEFUN |STTAYLOR;general_Lambert_product;S2IS;41| 935 ((|st| |Stream| A) (|a| |Integer|) (|d| |Integer|) ($ |Stream| A)) 936 (SPROG NIL 937 (SEQ 938 (SPADCALL 939 (CONS #'|STTAYLOR;general_Lambert_product;S2IS;41!1| 940 (VECTOR |st| |d| $ |a|)) 941 (QREFELT $ 20))))) 942 943(SDEFUN |STTAYLOR;general_Lambert_product;S2IS;41!1| (($$ NIL)) 944 (PROG (|a| $ |d| |st|) 945 (LETT |a| (QREFELT $$ 3)) 946 (LETT $ (QREFELT $$ 2)) 947 (LETT |d| (QREFELT $$ 1)) 948 (LETT |st| (QREFELT $$ 0)) 949 (RETURN 950 (PROGN 951 (SPROG ((|st1| NIL)) 952 (SEQ 953 (COND 954 ((OR (SPADCALL |a| (|spadConstant| $ 41) (QREFELT $ 59)) 955 (SPADCALL |d| (|spadConstant| $ 41) (QREFELT $ 59))) 956 (|error| 957 "general_Lambert_product: both integer arguments must be positive")) 958 ((OR (SPADCALL |st| (QREFELT $ 10)) 959 (SPADCALL (SPADCALL |st| (QREFELT $ 13)) 960 (|spadConstant| $ 37) (QREFELT $ 107))) 961 (|error| 962 "general_Lambert_product: constant coefficient should be one")) 963 ('T 964 (SEQ (LETT |st1| (SPADCALL |st| (QREFELT $ 11))) 965 (EXIT 966 (SPADCALL 967 (SPADCALL 968 (CONS 969 #'|STTAYLOR;general_Lambert_product;S2IS;41!0| 970 (VECTOR |st1| $ |d| |a|)) 971 (SPADCALL (|spadConstant| $ 39) (QREFELT $ 55)) 972 (QREFELT $ 111)) 973 (QREFELT $ 96)))))))))))) 974 975(SDEFUN |STTAYLOR;general_Lambert_product;S2IS;41!0| ((|n| NIL) ($$ NIL)) 976 (PROG (|a| |d| $ |st1|) 977 (LETT |a| (QREFELT $$ 3)) 978 (LETT |d| (QREFELT $$ 2)) 979 (LETT $ (QREFELT $$ 1)) 980 (LETT |st1| (QREFELT $$ 0)) 981 (RETURN 982 (PROGN 983 (|STTAYLOR;rptg4| 984 (SPADCALL 985 (SPADCALL 986 (SPADCALL |a| (SPADCALL |n| |d| (QREFELT $ 108)) (QREFELT $ 51)) 987 |n| (QREFELT $ 42)) 988 (|spadConstant| $ 41) (QREFELT $ 42)) 989 (SPADCALL 990 (SPADCALL |a| (SPADCALL |n| |d| (QREFELT $ 108)) (QREFELT $ 51)) 991 (|spadConstant| $ 41) (QREFELT $ 42)) 992 |st1| $))))) 993 994(SDEFUN |STTAYLOR;ms| 995 ((|m| |Integer|) (|n| |Integer|) (|s| |Stream| A) ($ |Stream| A)) 996 (SPROG NIL 997 (SPADCALL (CONS #'|STTAYLOR;ms!0| (VECTOR |m| |n| $ |s|)) 998 (QREFELT $ 20)))) 999 1000(SDEFUN |STTAYLOR;ms!0| (($$ NIL)) 1001 (PROG (|s| $ |n| |m|) 1002 (LETT |s| (QREFELT $$ 3)) 1003 (LETT $ (QREFELT $$ 2)) 1004 (LETT |n| (QREFELT $$ 1)) 1005 (LETT |m| (QREFELT $$ 0)) 1006 (RETURN 1007 (PROGN 1008 (COND ((SPADCALL |s| (QREFELT $ 10)) (|STTAYLOR;zro| $)) 1009 ((SPADCALL |n| (QREFELT $ 113)) 1010 (SPADCALL (SPADCALL |s| (QREFELT $ 13)) 1011 (|STTAYLOR;ms| |m| 1012 (SPADCALL |m| (|spadConstant| $ 41) 1013 (QREFELT $ 42)) 1014 (SPADCALL |s| (QREFELT $ 11)) $) 1015 (QREFELT $ 18))) 1016 ('T 1017 (|STTAYLOR;ms| |m| 1018 (SPADCALL |n| (|spadConstant| $ 41) (QREFELT $ 42)) 1019 (SPADCALL |s| (QREFELT $ 11)) $))))))) 1020 1021(SDEFUN |STTAYLOR;multisect;2I2S;43| 1022 ((|b| |Integer|) (|a| |Integer|) (|x| |Stream| A) ($ |Stream| A)) 1023 (SPROG ((#1=#:G776 NIL)) 1024 (|STTAYLOR;ms| (+ |a| |b|) 0 1025 (SPADCALL |x| 1026 (PROG1 (LETT #1# |a|) 1027 (|check_subtype2| (>= #1# 0) 1028 '(|NonNegativeInteger|) 1029 '(|Integer|) #1#)) 1030 (QREFELT $ 114)) 1031 $))) 1032 1033(SDEFUN |STTAYLOR;altn| ((|zs| |Stream| A) (|s| |Stream| A) ($ |Stream| A)) 1034 (SPROG NIL 1035 (SPADCALL (CONS #'|STTAYLOR;altn!0| (VECTOR |zs| $ |s|)) 1036 (QREFELT $ 20)))) 1037 1038(SDEFUN |STTAYLOR;altn!0| (($$ NIL)) 1039 (PROG (|s| $ |zs|) 1040 (LETT |s| (QREFELT $$ 2)) 1041 (LETT $ (QREFELT $$ 1)) 1042 (LETT |zs| (QREFELT $$ 0)) 1043 (RETURN 1044 (PROGN 1045 (COND ((SPADCALL |s| (QREFELT $ 10)) (|STTAYLOR;zro| $)) 1046 ('T 1047 (SPADCALL (SPADCALL |s| (QREFELT $ 13)) 1048 (SPADCALL |zs| 1049 (|STTAYLOR;altn| |zs| 1050 (SPADCALL |s| (QREFELT $ 11)) $) 1051 (QREFELT $ 43)) 1052 (QREFELT $ 18)))))))) 1053 1054(SDEFUN |STTAYLOR;invmultisect;2I2S;45| 1055 ((|a| |Integer|) (|b| |Integer|) (|x| |Stream| A) ($ |Stream| A)) 1056 (SPADCALL (|STTAYLOR;rpSt| |b| (|spadConstant| $ 29) $) 1057 (|STTAYLOR;altn| 1058 (|STTAYLOR;rpSt| (- (+ |a| |b|) 1) (|spadConstant| $ 29) $) 1059 |x| $) 1060 (QREFELT $ 43))) 1061 1062(SDEFUN |STTAYLOR;comps| 1063 ((|ststa| |Stream| (|Stream| A)) (|x| |Stream| A) 1064 ($ |Stream| (|Stream| A))) 1065 (SPROG NIL 1066 (SPADCALL (CONS #'|STTAYLOR;comps!1| (VECTOR |x| $ |ststa|)) 1067 (QREFELT $ 121)))) 1068 1069(SDEFUN |STTAYLOR;comps!1| (($$ NIL)) 1070 (PROG (|ststa| $ |x|) 1071 (LETT |ststa| (QREFELT $$ 2)) 1072 (LETT $ (QREFELT $$ 1)) 1073 (LETT |x| (QREFELT $$ 0)) 1074 (RETURN 1075 (PROGN 1076 (SPROG NIL 1077 (COND 1078 ((SPADCALL |ststa| (QREFELT $ 91)) 1079 (SPADCALL (QREFELT $ 117))) 1080 ((SPADCALL |x| (QREFELT $ 10)) 1081 (SPADCALL (SPADCALL |ststa| (QREFELT $ 92)) 1082 (SPADCALL (QREFELT $ 117)) (QREFELT $ 118))) 1083 ('T 1084 (SPADCALL (SPADCALL |ststa| (QREFELT $ 92)) 1085 (SPADCALL 1086 (CONS #'|STTAYLOR;comps!0| (VECTOR $ |x|)) 1087 (|STTAYLOR;comps| 1088 (SPADCALL |ststa| (QREFELT $ 93)) |x| $) 1089 (QREFELT $ 120)) 1090 (QREFELT $ 118))))))))) 1091 1092(SDEFUN |STTAYLOR;comps!0| ((|y| NIL) ($$ NIL)) 1093 (PROG (|x| $) 1094 (LETT |x| (QREFELT $$ 1)) 1095 (LETT $ (QREFELT $$ 0)) 1096 (RETURN 1097 (PROGN 1098 (SPADCALL (SPADCALL |x| (QREFELT $ 11)) |y| (QREFELT $ 71)))))) 1099 1100(SDEFUN |STTAYLOR;integre| ((|x| |Stream| A) (|n| |Integer|) ($ |Stream| A)) 1101 (SPROG NIL 1102 (SPADCALL (CONS #'|STTAYLOR;integre!0| (VECTOR |n| $ |x|)) 1103 (QREFELT $ 20)))) 1104 1105(SDEFUN |STTAYLOR;integre!0| (($$ NIL)) 1106 (PROG (|x| $ |n|) 1107 (LETT |x| (QREFELT $$ 2)) 1108 (LETT $ (QREFELT $$ 1)) 1109 (LETT |n| (QREFELT $$ 0)) 1110 (RETURN 1111 (PROGN 1112 (COND ((SPADCALL |x| (QREFELT $ 10)) (|STTAYLOR;zro| $)) 1113 ('T 1114 (SPADCALL 1115 (SPADCALL 1116 (SPADCALL (|spadConstant| $ 41) |n| (QREFELT $ 123)) 1117 (SPADCALL |x| (QREFELT $ 13)) (QREFELT $ 124)) 1118 (|STTAYLOR;integre| (SPADCALL |x| (QREFELT $ 11)) 1119 (SPADCALL |n| (|spadConstant| $ 41) (QREFELT $ 51)) $) 1120 (QREFELT $ 18)))))))) 1121 1122(SDEFUN |STTAYLOR;integ| ((|x| |Stream| A) ($ |Stream| A)) 1123 (|STTAYLOR;integre| |x| 1 $)) 1124 1125(SDEFUN |STTAYLOR;integrate;A2S;49| ((|a| A) (|x| |Stream| A) ($ |Stream| A)) 1126 (SPADCALL |a| (|STTAYLOR;integ| |x| $) (QREFELT $ 18))) 1127 1128(SDEFUN |STTAYLOR;lazyIntegrate;AMS;50| 1129 ((|s| A) (|xf| |Mapping| (|Stream| A)) ($ |Stream| A)) 1130 (SPADCALL |s| (|STTAYLOR;integ| (SPADCALL |xf| (QREFELT $ 20)) $) 1131 (QREFELT $ 18))) 1132 1133(SDEFUN |STTAYLOR;nldere| 1134 ((|lslsa| |Stream| (|Stream| A)) (|c| |Stream| A) ($ |Stream| A)) 1135 (SPROG NIL 1136 (SPADCALL (|spadConstant| $ 29) 1137 (CONS #'|STTAYLOR;nldere!0| (VECTOR $ |c| |lslsa|)) 1138 (QREFELT $ 127)))) 1139 1140(SDEFUN |STTAYLOR;nldere!0| (($$ NIL)) 1141 (PROG (|lslsa| |c| $) 1142 (LETT |lslsa| (QREFELT $$ 2)) 1143 (LETT |c| (QREFELT $$ 1)) 1144 (LETT $ (QREFELT $$ 0)) 1145 (RETURN 1146 (PROGN (SPADCALL (|STTAYLOR;comps| |lslsa| |c| $) (QREFELT $ 97)))))) 1147 1148(SDEFUN |STTAYLOR;nlde;SS;52| ((|lslsa| |Stream| (|Stream| A)) ($ |Stream| A)) 1149 (SPROG NIL 1150 (SPADCALL (CONS #'|STTAYLOR;nlde;SS;52!0| (VECTOR $ |lslsa|)) 1151 (QREFELT $ 87)))) 1152 1153(SDEFUN |STTAYLOR;nlde;SS;52!0| ((|y| NIL) ($$ NIL)) 1154 (PROG (|lslsa| $) 1155 (LETT |lslsa| (QREFELT $$ 1)) 1156 (LETT $ (QREFELT $$ 0)) 1157 (RETURN (PROGN (|STTAYLOR;nldere| |lslsa| |y| $))))) 1158 1159(SDEFUN |STTAYLOR;smult| 1160 ((|rn| |Fraction| (|Integer|)) (|x| |Stream| A) ($ |Stream| A)) 1161 (SPROG NIL 1162 (SPADCALL (CONS #'|STTAYLOR;smult!0| (VECTOR $ |rn|)) |x| 1163 (QREFELT $ 16)))) 1164 1165(SDEFUN |STTAYLOR;smult!0| ((|y| NIL) ($$ NIL)) 1166 (PROG (|rn| $) 1167 (LETT |rn| (QREFELT $$ 1)) 1168 (LETT $ (QREFELT $$ 0)) 1169 (RETURN (PROGN (SPADCALL |rn| |y| (QREFELT $ 124)))))) 1170 1171(SDEFUN |STTAYLOR;powerrn| 1172 ((|rn| |Fraction| (|Integer|)) (|x| |Stream| A) (|c| |Stream| A) 1173 ($ |Stream| A)) 1174 (SPROG NIL 1175 (SPADCALL (CONS #'|STTAYLOR;powerrn!0| (VECTOR |x| |c| |rn| $)) 1176 (QREFELT $ 20)))) 1177 1178(SDEFUN |STTAYLOR;powerrn!0| (($$ NIL)) 1179 (PROG ($ |rn| |c| |x|) 1180 (LETT $ (QREFELT $$ 3)) 1181 (LETT |rn| (QREFELT $$ 2)) 1182 (LETT |c| (QREFELT $$ 1)) 1183 (LETT |x| (QREFELT $$ 0)) 1184 (RETURN 1185 (PROGN 1186 (SPADCALL (|spadConstant| $ 37) 1187 (SPADCALL 1188 (|STTAYLOR;integ| 1189 (|STTAYLOR;smult| 1190 (SPADCALL |rn| (|spadConstant| $ 130) (QREFELT $ 131)) 1191 (SPADCALL |c| (SPADCALL |x| (QREFELT $ 74)) 1192 (QREFELT $ 71)) 1193 $) 1194 $) 1195 (SPADCALL (SPADCALL |x| (QREFELT $ 11)) |c| 1196 (QREFELT $ 71)) 1197 (QREFELT $ 23)) 1198 (QREFELT $ 18)))))) 1199 1200(SDEFUN |STTAYLOR;powern;F2S;55| 1201 ((|rn| |Fraction| (|Integer|)) (|x| |Stream| A) ($ |Stream| A)) 1202 (SPROG 1203 ((|power| (|Stream| A)) (#1=#:G834 NIL) (#2=#:G828 NIL) 1204 (|num| (|Integer|)) (|invCo| (|Union| A "failed")) (|co| (A)) 1205 (|ord| (|Union| (|Integer|) "failed")) (#3=#:G843 NIL) 1206 (|order| (|Integer|)) (#4=#:G844 NIL) (|n| NIL)) 1207 (SEQ 1208 (EXIT 1209 (SEQ (LETT |order| 0) 1210 (SEQ 1211 (EXIT 1212 (SEQ (LETT |n| 0) G190 NIL 1213 (SEQ 1214 (EXIT 1215 (COND 1216 ((SPADCALL |x| (QREFELT $ 10)) 1217 (PROGN 1218 (LETT #4# (|STTAYLOR;zro| $)) 1219 (GO #5=#:G842))) 1220 ((NULL 1221 (SPADCALL (SPADCALL |x| (QREFELT $ 13)) 1222 (QREFELT $ 25))) 1223 (SEQ (LETT |order| |n|) 1224 (EXIT 1225 (PROGN 1226 (LETT #3# |$NoValue|) 1227 (GO #6=#:G816))))) 1228 ('T 1229 (SEQ (LETT |x| (SPADCALL |x| (QREFELT $ 11))) 1230 (EXIT 1231 (COND 1232 ((EQL |n| 1000) 1233 (|error| 1234 "^: series with many leading zero coefficients"))))))))) 1235 (LETT |n| (|inc_SI| |n|)) (GO G190) G191 (EXIT NIL))) 1236 #6# (EXIT #3#)) 1237 (LETT |ord| 1238 (SPADCALL |order| (SPADCALL |rn| (QREFELT $ 132)) 1239 (QREFELT $ 133))) 1240 (EXIT 1241 (COND 1242 ((QEQCAR |ord| 1) 1243 (|error| "^: rational power does not exist")) 1244 (#7='T 1245 (SEQ (LETT |co| (SPADCALL |x| (QREFELT $ 13))) 1246 (COND 1247 ((> (QCDR |ord|) 0) 1248 (COND 1249 ((SPADCALL |rn| (|spadConstant| $ 134) 1250 (QREFELT $ 135)) 1251 (|error| "^: negative power does not exist"))))) 1252 (LETT |invCo| (SPADCALL |co| (QREFELT $ 32))) 1253 (EXIT 1254 (COND 1255 ((QEQCAR |invCo| 1) 1256 (|error| 1257 "^ rational power of coefficient undefined")) 1258 (#7# 1259 (SEQ 1260 (LETT |power| 1261 (COND 1262 ((SPADCALL |co| (|spadConstant| $ 37) 1263 (QREFELT $ 30)) 1264 (SPADCALL 1265 (CONS #'|STTAYLOR;powern;F2S;55!0| 1266 (VECTOR $ |x| |rn|)) 1267 (QREFELT $ 87))) 1268 ((EQL (SPADCALL |rn| (QREFELT $ 132)) 1) 1269 (COND 1270 ((NULL 1271 (MINUSP 1272 (LETT |num| 1273 (SPADCALL |rn| 1274 (QREFELT $ 136))))) 1275 (SPADCALL 1276 (SPADCALL |co| 1277 (PROG1 (LETT #2# |num|) 1278 (|check_subtype2| (>= #2# 0) 1279 '(|NonNegativeInteger|) 1280 '(|Integer|) 1281 #2#)) 1282 (QREFELT $ 137)) 1283 (SPADCALL 1284 (CONS #'|STTAYLOR;powern;F2S;55!1| 1285 (VECTOR $ |x| |invCo| |rn|)) 1286 (QREFELT $ 87)) 1287 (QREFELT $ 27))) 1288 ('T 1289 (SPADCALL 1290 (SPADCALL (QCDR |invCo|) 1291 (PROG1 (LETT #1# (- |num|)) 1292 (|check_subtype2| (>= #1# 0) 1293 '(|NonNegativeInteger|) 1294 '(|Integer|) 1295 #1#)) 1296 (QREFELT $ 137)) 1297 (SPADCALL 1298 (CONS #'|STTAYLOR;powern;F2S;55!2| 1299 (VECTOR $ |x| |invCo| |rn|)) 1300 (QREFELT $ 87)) 1301 (QREFELT $ 27))))) 1302 ((QREFELT $ 129) 1303 (SPADCALL 1304 (SPADCALL |co| |rn| (QREFELT $ 138)) 1305 (SPADCALL 1306 (CONS #'|STTAYLOR;powern;F2S;55!3| 1307 (VECTOR $ |x| |invCo| |rn|)) 1308 (QREFELT $ 87)) 1309 (QREFELT $ 27))) 1310 (#7# 1311 (|error| 1312 "^ rational power of coefficient undefined")))) 1313 (EXIT 1314 (SPADCALL 1315 (SPADCALL (|spadConstant| $ 37) 1316 (* (QCDR |ord|) 1317 (SPADCALL |rn| (QREFELT $ 136))) 1318 (QREFELT $ 44)) 1319 |power| (QREFELT $ 71))))))))))))) 1320 #5# (EXIT #4#)))) 1321 1322(SDEFUN |STTAYLOR;powern;F2S;55!3| ((|y| NIL) ($$ NIL)) 1323 (PROG (|rn| |invCo| |x| $) 1324 (LETT |rn| (QREFELT $$ 3)) 1325 (LETT |invCo| (QREFELT $$ 2)) 1326 (LETT |x| (QREFELT $$ 1)) 1327 (LETT $ (QREFELT $$ 0)) 1328 (RETURN 1329 (PROGN 1330 (|STTAYLOR;powerrn| |rn| 1331 (SPADCALL (QCDR |invCo|) |x| (QREFELT $ 27)) |y| $))))) 1332 1333(SDEFUN |STTAYLOR;powern;F2S;55!2| ((|y| NIL) ($$ NIL)) 1334 (PROG (|rn| |invCo| |x| $) 1335 (LETT |rn| (QREFELT $$ 3)) 1336 (LETT |invCo| (QREFELT $$ 2)) 1337 (LETT |x| (QREFELT $$ 1)) 1338 (LETT $ (QREFELT $$ 0)) 1339 (RETURN 1340 (PROGN 1341 (|STTAYLOR;powerrn| |rn| 1342 (SPADCALL (QCDR |invCo|) |x| (QREFELT $ 27)) |y| $))))) 1343 1344(SDEFUN |STTAYLOR;powern;F2S;55!1| ((|y| NIL) ($$ NIL)) 1345 (PROG (|rn| |invCo| |x| $) 1346 (LETT |rn| (QREFELT $$ 3)) 1347 (LETT |invCo| (QREFELT $$ 2)) 1348 (LETT |x| (QREFELT $$ 1)) 1349 (LETT $ (QREFELT $$ 0)) 1350 (RETURN 1351 (PROGN 1352 (|STTAYLOR;powerrn| |rn| 1353 (SPADCALL (QCDR |invCo|) |x| (QREFELT $ 27)) |y| $))))) 1354 1355(SDEFUN |STTAYLOR;powern;F2S;55!0| ((|y| NIL) ($$ NIL)) 1356 (PROG (|rn| |x| $) 1357 (LETT |rn| (QREFELT $$ 2)) 1358 (LETT |x| (QREFELT $$ 1)) 1359 (LETT $ (QREFELT $$ 0)) 1360 (RETURN (PROGN (|STTAYLOR;powerrn| |rn| |x| |y| $))))) 1361 1362(SDEFUN |STTAYLOR;mapdiv;3S;56| 1363 ((|x| |Stream| A) (|y| |Stream| A) ($ |Stream| A)) 1364 (SPROG NIL 1365 (SPADCALL (CONS #'|STTAYLOR;mapdiv;3S;56!0| (VECTOR |x| $ |y|)) 1366 (QREFELT $ 20)))) 1367 1368(SDEFUN |STTAYLOR;mapdiv;3S;56!0| (($$ NIL)) 1369 (PROG (|y| $ |x|) 1370 (LETT |y| (QREFELT $$ 2)) 1371 (LETT $ (QREFELT $$ 1)) 1372 (LETT |x| (QREFELT $$ 0)) 1373 (RETURN 1374 (PROGN 1375 (COND 1376 ((SPADCALL |y| (QREFELT $ 10)) 1377 (|error| "stream division by zero")) 1378 ((SPADCALL |x| (QREFELT $ 10)) (|STTAYLOR;zro| $)) 1379 ('T 1380 (SPADCALL 1381 (SPADCALL (SPADCALL |x| (QREFELT $ 13)) 1382 (SPADCALL |y| (QREFELT $ 13)) (QREFELT $ 140)) 1383 (SPADCALL (SPADCALL |x| (QREFELT $ 11)) 1384 (SPADCALL |y| (QREFELT $ 11)) (QREFELT $ 141)) 1385 (QREFELT $ 18)))))))) 1386 1387(SDEFUN |STTAYLOR;ginteg| 1388 ((|f| |Mapping| A (|Integer|)) (|x| |Stream| A) ($ |Stream| A)) 1389 (SPADCALL |x| (SPADCALL |f| (SPADCALL 1 (QREFELT $ 55)) (QREFELT $ 77)) 1390 (QREFELT $ 141))) 1391 1392(SDEFUN |STTAYLOR;lazyGintegrate;MAMS;58| 1393 ((|fntoa| |Mapping| A (|Integer|)) (|s| A) 1394 (|xf| |Mapping| (|Stream| A)) ($ |Stream| A)) 1395 (SPADCALL |s| 1396 (|STTAYLOR;ginteg| |fntoa| (SPADCALL |xf| (QREFELT $ 20)) $) 1397 (QREFELT $ 18))) 1398 1399(SDEFUN |STTAYLOR;finteg| ((|x| |Stream| A) ($ |Stream| A)) 1400 (SPADCALL |x| (SPADCALL (|spadConstant| $ 37) (QREFELT $ 58)) 1401 (QREFELT $ 141))) 1402 1403(SDEFUN |STTAYLOR;powerre| 1404 ((|s| A) (|x| |Stream| A) (|c| |Stream| A) ($ |Stream| A)) 1405 (SPROG NIL 1406 (SPADCALL (CONS #'|STTAYLOR;powerre!0| (VECTOR |c| |s| $ |x|)) 1407 (QREFELT $ 20)))) 1408 1409(SDEFUN |STTAYLOR;powerre!0| (($$ NIL)) 1410 (PROG (|x| $ |s| |c|) 1411 (LETT |x| (QREFELT $$ 3)) 1412 (LETT $ (QREFELT $$ 2)) 1413 (LETT |s| (QREFELT $$ 1)) 1414 (LETT |c| (QREFELT $$ 0)) 1415 (RETURN 1416 (PROGN 1417 (COND ((SPADCALL |x| (QREFELT $ 10)) (|STTAYLOR;zro| $)) 1418 ((SPADCALL (SPADCALL |x| (QREFELT $ 13)) 1419 (|spadConstant| $ 37) (QREFELT $ 107)) 1420 (|error| "^:constant coefficient should be 1")) 1421 ('T 1422 (SPADCALL (SPADCALL |x| (QREFELT $ 13)) 1423 (SPADCALL 1424 (|STTAYLOR;finteg| 1425 (SPADCALL 1426 (SPADCALL |s| (|spadConstant| $ 37) 1427 (QREFELT $ 14)) 1428 (SPADCALL |c| (SPADCALL |x| (QREFELT $ 74)) 1429 (QREFELT $ 71)) 1430 (QREFELT $ 27)) 1431 $) 1432 (SPADCALL (SPADCALL |x| (QREFELT $ 11)) |c| 1433 (QREFELT $ 71)) 1434 (QREFELT $ 23)) 1435 (QREFELT $ 18)))))))) 1436 1437(SDEFUN |STTAYLOR;power;A2S;61| ((|s| A) (|x| |Stream| A) ($ |Stream| A)) 1438 (SPROG NIL 1439 (SPADCALL (CONS #'|STTAYLOR;power;A2S;61!0| (VECTOR $ |x| |s|)) 1440 (QREFELT $ 87)))) 1441 1442(SDEFUN |STTAYLOR;power;A2S;61!0| ((|y| NIL) ($$ NIL)) 1443 (PROG (|s| |x| $) 1444 (LETT |s| (QREFELT $$ 2)) 1445 (LETT |x| (QREFELT $$ 1)) 1446 (LETT $ (QREFELT $$ 0)) 1447 (RETURN (PROGN (|STTAYLOR;powerre| |s| |x| |y| $))))) 1448 1449(DECLAIM (NOTINLINE |StreamTaylorSeriesOperations;|)) 1450 1451(DEFUN |StreamTaylorSeriesOperations| (#1=#:G868) 1452 (SPROG NIL 1453 (PROG (#2=#:G869) 1454 (RETURN 1455 (COND 1456 ((LETT #2# 1457 (|lassocShiftWithFunction| (LIST (|devaluate| #1#)) 1458 (HGET |$ConstructorCache| 1459 '|StreamTaylorSeriesOperations|) 1460 '|domainEqualList|)) 1461 (|CDRwithIncrement| #2#)) 1462 ('T 1463 (UNWIND-PROTECT 1464 (PROG1 (|StreamTaylorSeriesOperations;| #1#) (LETT #2# T)) 1465 (COND 1466 ((NOT #2#) 1467 (HREM |$ConstructorCache| 1468 '|StreamTaylorSeriesOperations|)))))))))) 1469 1470(DEFUN |StreamTaylorSeriesOperations;| (|#1|) 1471 (SPROG ((|pv$| NIL) ($ NIL) (|dv$| NIL) (DV$1 NIL)) 1472 (PROGN 1473 (LETT DV$1 (|devaluate| |#1|)) 1474 (LETT |dv$| (LIST '|StreamTaylorSeriesOperations| DV$1)) 1475 (LETT $ (GETREFV 144)) 1476 (QSETREFV $ 0 |dv$|) 1477 (QSETREFV $ 3 1478 (LETT |pv$| 1479 (|buildPredVector| 0 0 1480 (LIST 1481 (|HasCategory| |#1| '(|Field|)) 1482 (|HasCategory| |#1| 1483 '(|Algebra| 1484 (|Fraction| 1485 (|Integer|)))))))) 1486 (|haddProp| |$ConstructorCache| '|StreamTaylorSeriesOperations| 1487 (LIST DV$1) (CONS 1 $)) 1488 (|stuffDomainSlots| $) 1489 (QSETREFV $ 6 |#1|) 1490 (SETF |pv$| (QREFELT $ 3)) 1491 (COND 1492 ((|testBitVector| |pv$| 2) 1493 (PROGN 1494 (QSETREFV $ 125 1495 (CONS (|dispatchFunction| |STTAYLOR;integrate;A2S;49|) 1496 $)) 1497 (QSETREFV $ 127 1498 (CONS 1499 (|dispatchFunction| |STTAYLOR;lazyIntegrate;AMS;50|) 1500 $)) 1501 NIL 1502 (QSETREFV $ 128 1503 (CONS (|dispatchFunction| |STTAYLOR;nlde;SS;52|) $)) 1504 (QSETREFV $ 129 1505 (|HasSignature| |#1| 1506 (LIST '^ 1507 (LIST (|devaluate| |#1|) 1508 (|devaluate| |#1|) 1509 '(|Fraction| 1510 (|Integer|)))))) 1511 NIL 1512 NIL 1513 (QSETREFV $ 139 1514 (CONS (|dispatchFunction| |STTAYLOR;powern;F2S;55|) 1515 $))))) 1516 (COND 1517 ((|testBitVector| |pv$| 1) 1518 (PROGN 1519 (QSETREFV $ 141 1520 (CONS (|dispatchFunction| |STTAYLOR;mapdiv;3S;56|) $)) 1521 NIL 1522 (QSETREFV $ 142 1523 (CONS 1524 (|dispatchFunction| |STTAYLOR;lazyGintegrate;MAMS;58|) 1525 $)) 1526 NIL 1527 NIL 1528 (QSETREFV $ 143 1529 (CONS (|dispatchFunction| |STTAYLOR;power;A2S;61|) 1530 $))))) 1531 $))) 1532 1533(MAKEPROP '|StreamTaylorSeriesOperations| '|infovec| 1534 (LIST 1535 '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|Stream| 6) (0 . |empty|) 1536 (|Boolean|) (4 . |empty?|) (9 . |rst|) (14 . |eq?|) (20 . |frst|) 1537 (25 . +) (|Mapping| 6 6) (31 . |map|) |STTAYLOR;+;3S;2| 1538 (37 . |concat|) (|Mapping| $) (43 . |delay|) |STTAYLOR;-;2S;4| 1539 (48 . -) |STTAYLOR;-;3S;3| (54 . -) (59 . |zero?|) (64 . *) 1540 |STTAYLOR;*;A2S;5| |STTAYLOR;*;SAS;6| (70 . |Zero|) (74 . =) 1541 (|Union| $ '"failed") (80 . |recip|) (|Union| 7 '#1="failed") 1542 |STTAYLOR;exquo;2SU;9| |STTAYLOR;/;3S;10| |STTAYLOR;recip;SU;11| 1543 (85 . |One|) (|Integer|) (89 . |Zero|) (93 . <=) (99 . |One|) 1544 (103 . -) (109 . |concat|) |STTAYLOR;monom;AIS;14| 1545 (|NonNegativeInteger|) (115 . |One|) (119 . +) (|Mapping| 45 45) 1546 (|Stream| 45) (125 . |stream|) (131 . +) (|Mapping| 38 38) 1547 (|Stream| 38) (137 . |stream|) |STTAYLOR;integers;IS;16| 1548 |STTAYLOR;oddintegers;IS;17| (143 . |stream|) 1549 |STTAYLOR;int;AS;18| (149 . <) (|List| 6) (155 . |cons|) 1550 (|SingleInteger|) (161 . |Zero|) (165 . |Zero|) (169 . =) 1551 (175 . |first|) (180 . |rest|) (185 . |explicitlyEmpty?|) 1552 (190 . |One|) (194 . -) |STTAYLOR;*;3S;20| 1553 |STTAYLOR;mapmult;3S;21| (199 . |rest|) |STTAYLOR;deriv;2S;22| 1554 (|Mapping| 6 38) (|StreamFunctions2| 38 6) (204 . |map|) 1555 |STTAYLOR;gderiv;M2S;23| |STTAYLOR;coerce;AS;24| 1556 (|Mapping| 6 6 6) (|StreamFunctions2| 6 6) (210 . |scan|) 1557 |STTAYLOR;eval;SAS;25| |STTAYLOR;compose;3S;26| (|Mapping| 7 7) 1558 (|ParadoxicalCombinatorsForStreams| 6) (217 . Y) 1559 |STTAYLOR;lagrange;2S;28| |STTAYLOR;revert;2S;29| (|Stream| 7) 1560 (222 . |empty?|) (227 . |frst|) (232 . |rst|) (|PositiveInteger|) 1561 (237 . |One|) |STTAYLOR;prodiag;SS;31| |STTAYLOR;addiag;SS;32| 1562 (241 . |repeating|) (246 . |concat|) (|Mapping| 7 38 6) 1563 (|StreamFunctions3| 38 6 7) (252 . |map|) 1564 |STTAYLOR;lambert;2S;36| |STTAYLOR;oddlambert;2S;37| 1565 |STTAYLOR;evenlambert;2S;38| |STTAYLOR;generalLambert;S2IS;39| 1566 (259 . ~=) (265 . *) (|Mapping| 7 38) (|StreamFunctions2| 38 7) 1567 (271 . |map|) |STTAYLOR;general_Lambert_product;S2IS;41| 1568 (277 . |zero?|) (282 . |rest|) |STTAYLOR;multisect;2I2S;43| 1569 |STTAYLOR;invmultisect;2I2S;45| (288 . |empty|) (292 . |concat|) 1570 (|StreamFunctions2| 7 7) (298 . |map|) (304 . |delay|) 1571 (|Fraction| 38) (309 . /) (315 . *) (321 . |integrate|) 1572 (|Mapping| 7) (327 . |lazyIntegrate|) (333 . |nlde|) 'RATPOWERS 1573 (338 . |One|) (342 . +) (348 . |denom|) (353 . |exquo|) 1574 (359 . |Zero|) (363 . <) (369 . |numer|) (374 . ^) (380 . ^) 1575 (386 . |powern|) (392 . /) (398 . |mapdiv|) 1576 (404 . |lazyGintegrate|) (411 . |power|)) 1577 '#(|revert| 417 |recip| 422 |prodiag| 427 |powern| 432 |power| 438 1578 |oddlambert| 444 |oddintegers| 449 |nlde| 454 |multisect| 459 1579 |monom| 466 |mapmult| 472 |mapdiv| 478 |lazyIntegrate| 484 1580 |lazyGintegrate| 490 |lambert| 497 |lagrange| 502 |invmultisect| 1581 507 |integrate| 514 |integers| 520 |int| 525 1582 |general_Lambert_product| 530 |generalLambert| 537 |gderiv| 544 1583 |exquo| 550 |evenlambert| 556 |eval| 561 |deriv| 567 |compose| 1584 572 |coerce| 578 |addiag| 583 / 588 - 594 + 605 * 611) 1585 'NIL 1586 (CONS (|makeByteWordVec2| 1 '(0)) 1587 (CONS '#(NIL) 1588 (CONS 1589 '#((|Join| 1590 (|mkCategory| 1591 (LIST 1592 '((+ 1593 ((|Stream| |#1|) (|Stream| |#1|) 1594 (|Stream| |#1|))) 1595 T) 1596 '((- 1597 ((|Stream| |#1|) (|Stream| |#1|) 1598 (|Stream| |#1|))) 1599 T) 1600 '((- ((|Stream| |#1|) (|Stream| |#1|))) T) 1601 '((* 1602 ((|Stream| |#1|) (|Stream| |#1|) 1603 (|Stream| |#1|))) 1604 T) 1605 '((* ((|Stream| |#1|) |#1| (|Stream| |#1|))) T) 1606 '((* ((|Stream| |#1|) (|Stream| |#1|) |#1|)) T) 1607 '((|exquo| 1608 ((|Union| (|Stream| |#1|) #1#) (|Stream| |#1|) 1609 (|Stream| |#1|))) 1610 T) 1611 '((/ 1612 ((|Stream| |#1|) (|Stream| |#1|) 1613 (|Stream| |#1|))) 1614 T) 1615 '((|recip| 1616 ((|Union| (|Stream| |#1|) "failed") 1617 (|Stream| |#1|))) 1618 T) 1619 '((|monom| ((|Stream| |#1|) |#1| (|Integer|))) T) 1620 '((|integers| 1621 ((|Stream| (|Integer|)) (|Integer|))) 1622 T) 1623 '((|oddintegers| 1624 ((|Stream| (|Integer|)) (|Integer|))) 1625 T) 1626 '((|int| ((|Stream| |#1|) |#1|)) T) 1627 '((|mapmult| 1628 ((|Stream| |#1|) (|Stream| |#1|) 1629 (|Stream| |#1|))) 1630 T) 1631 '((|deriv| ((|Stream| |#1|) (|Stream| |#1|))) T) 1632 '((|gderiv| 1633 ((|Stream| |#1|) (|Mapping| |#1| (|Integer|)) 1634 (|Stream| |#1|))) 1635 T) 1636 '((|coerce| ((|Stream| |#1|) |#1|)) T) 1637 '((|eval| ((|Stream| |#1|) (|Stream| |#1|) |#1|)) 1638 T) 1639 '((|compose| 1640 ((|Stream| |#1|) (|Stream| |#1|) 1641 (|Stream| |#1|))) 1642 T) 1643 '((|lagrange| ((|Stream| |#1|) (|Stream| |#1|))) 1644 T) 1645 '((|revert| ((|Stream| |#1|) (|Stream| |#1|))) T) 1646 '((|addiag| 1647 ((|Stream| |#1|) (|Stream| (|Stream| |#1|)))) 1648 T) 1649 '((|prodiag| 1650 ((|Stream| |#1|) (|Stream| (|Stream| |#1|)))) 1651 T) 1652 '((|lambert| ((|Stream| |#1|) (|Stream| |#1|))) 1653 T) 1654 '((|oddlambert| 1655 ((|Stream| |#1|) (|Stream| |#1|))) 1656 T) 1657 '((|evenlambert| 1658 ((|Stream| |#1|) (|Stream| |#1|))) 1659 T) 1660 '((|generalLambert| 1661 ((|Stream| |#1|) (|Stream| |#1|) (|Integer|) 1662 (|Integer|))) 1663 T) 1664 '((|general_Lambert_product| 1665 ((|Stream| |#1|) (|Stream| |#1|) (|Integer|) 1666 (|Integer|))) 1667 T) 1668 '((|multisect| 1669 ((|Stream| |#1|) (|Integer|) (|Integer|) 1670 (|Stream| |#1|))) 1671 T) 1672 '((|invmultisect| 1673 ((|Stream| |#1|) (|Integer|) (|Integer|) 1674 (|Stream| |#1|))) 1675 T) 1676 '((|integrate| 1677 ((|Stream| |#1|) |#1| (|Stream| |#1|))) 1678 (|has| 6 (|Algebra| 122))) 1679 '((|lazyIntegrate| 1680 ((|Stream| |#1|) |#1| 1681 (|Mapping| (|Stream| |#1|)))) 1682 (|has| 6 (|Algebra| 122))) 1683 '((|nlde| 1684 ((|Stream| |#1|) (|Stream| (|Stream| |#1|)))) 1685 (|has| 6 (|Algebra| 122))) 1686 '((|powern| 1687 ((|Stream| |#1|) (|Fraction| (|Integer|)) 1688 (|Stream| |#1|))) 1689 (|has| 6 (|Algebra| 122))) 1690 '((|mapdiv| 1691 ((|Stream| |#1|) (|Stream| |#1|) 1692 (|Stream| |#1|))) 1693 (|has| 6 (|Field|))) 1694 '((|lazyGintegrate| 1695 ((|Stream| |#1|) (|Mapping| |#1| (|Integer|)) 1696 |#1| (|Mapping| (|Stream| |#1|)))) 1697 (|has| 6 (|Field|))) 1698 '((|power| 1699 ((|Stream| |#1|) |#1| (|Stream| |#1|))) 1700 (|has| 6 (|Field|)))) 1701 (LIST) NIL NIL))) 1702 (|makeByteWordVec2| 143 1703 '(0 7 0 8 1 7 9 0 10 1 7 0 0 11 2 7 1704 9 0 0 12 1 7 6 0 13 2 6 0 0 0 14 1705 2 7 0 15 0 16 2 7 0 6 0 18 1 7 0 1706 19 20 2 6 0 0 0 22 1 6 0 0 24 1 6 1707 9 0 25 2 6 0 0 0 26 0 6 0 29 2 6 1708 9 0 0 30 1 6 31 0 32 0 6 0 37 0 1709 38 0 39 2 38 9 0 0 40 0 38 0 41 2 1710 38 0 0 0 42 2 7 0 0 0 43 0 45 0 1711 46 2 45 0 0 0 47 2 49 0 48 45 50 1712 2 38 0 0 0 51 2 53 0 52 38 54 2 7 1713 0 15 6 57 2 38 9 0 0 59 2 60 0 6 1714 0 61 0 62 0 63 0 45 0 64 2 45 9 0 1715 0 65 1 60 6 0 66 1 60 0 0 67 1 7 1716 9 0 68 0 62 0 69 1 38 0 0 70 1 7 1717 0 0 73 2 76 7 75 53 77 3 81 7 6 1718 80 7 82 1 86 7 85 87 1 90 9 0 91 1719 1 90 7 0 92 1 90 0 0 93 0 94 0 95 1720 1 7 0 60 98 2 60 0 0 0 99 3 101 1721 90 100 53 7 102 2 6 9 0 0 107 2 1722 38 0 0 0 108 2 110 90 109 53 111 1723 1 38 9 0 113 2 7 0 0 45 114 0 90 1724 0 117 2 90 0 7 0 118 2 119 90 85 1725 90 120 1 90 0 19 121 2 122 0 38 1726 38 123 2 6 0 122 0 124 2 0 7 6 7 1727 125 2 0 7 6 126 127 1 0 7 90 128 1728 0 122 0 130 2 122 0 0 0 131 1 122 1729 38 0 132 2 38 31 0 0 133 0 122 0 1730 134 2 122 9 0 0 135 1 122 38 0 1731 136 2 6 0 0 45 137 2 6 0 0 122 1732 138 2 0 7 122 7 139 2 6 0 0 0 140 1733 2 0 7 7 7 141 3 0 7 75 6 126 142 1734 2 0 7 6 7 143 1 0 7 7 89 1 0 33 7 1735 36 1 0 7 90 96 2 2 7 122 7 139 2 1736 1 7 6 7 143 1 0 7 7 104 1 0 53 38 1737 56 1 2 7 90 128 3 0 7 38 38 7 115 1738 2 0 7 6 38 44 2 0 7 7 7 72 2 1 7 1739 7 7 141 2 2 7 6 126 127 3 1 7 75 1740 6 126 142 1 0 7 7 103 1 0 7 7 88 1741 3 0 7 38 38 7 116 2 2 7 6 7 125 1 1742 0 53 38 55 1 0 7 6 58 3 0 7 7 38 1743 38 112 3 0 7 7 38 38 106 2 0 7 75 1744 7 78 2 0 33 7 7 34 1 0 7 7 105 2 1745 0 7 7 6 83 1 0 7 7 74 2 0 7 7 7 1746 84 1 0 7 6 79 1 0 7 90 97 2 0 7 7 1747 7 35 2 0 7 7 7 23 1 0 7 7 21 2 0 1748 7 7 7 17 2 0 7 7 7 71 2 0 7 7 6 1749 28 2 0 7 6 7 27))))) 1750 '|lookupComplete|)) 1751