
(/VERSIONCHECK 2) 

(DEFUN |WEIER;transback| (|smps| $)
  (COND
   ((OR (SPADCALL |smps| (QREFELT $ 9))
        (SPADCALL (SPADCALL |smps| (QREFELT $ 12)) (QREFELT $ 13)))
    NIL)
   ('T
    (CONS (SPADCALL (ELT $ 15) |smps| (QREFELT $ 18))
          (|WEIER;transback| (SPADCALL (ELT $ 19) |smps| (QREFELT $ 22)) $))))) 

(DEFUN |WEIER;clikeUniv;SM;2| (|var| $)
  (PROG () (RETURN (CONS #'|WEIER;clikeUniv;SM;2!0| (VECTOR $ |var|))))) 

(DEFUN |WEIER;clikeUniv;SM;2!0| (|p| $$)
  (PROG (|var| $)
    (LETT |var| (QREFELT $$ 1) . #1=(|WEIER;clikeUniv;SM;2|))
    (LETT $ (QREFELT $$ 0) . #1#)
    (RETURN (PROGN (SPADCALL |p| |var| (QREFELT $ 25)))))) 

(DEFUN |WEIER;mind| (|n| |sts| $)
  (COND ((SPADCALL |sts| (QREFELT $ 13)) (|error| "no mindegree"))
        ((SPADCALL (SPADCALL |sts| (QREFELT $ 15)) (|spadConstant| $ 29)
                   (QREFELT $ 30))
         (|WEIER;mind| (+ |n| 1) (SPADCALL |sts| (QREFELT $ 19)) $))
        ('T |n|))) 

(DEFUN |WEIER;mindegree| (|sts| $) (|WEIER;mind| 0 |sts| $)) 

(DEFUN |WEIER;streamlikeUniv| (|p| |n| $)
  (PROG (#1=#:G673)
    (RETURN
     (COND
      ((EQL |n| 0)
       (SPADCALL (SPADCALL |p| 0 (QREFELT $ 37)) (SPADCALL (QREFELT $ 38))
                 (QREFELT $ 39)))
      ('T
       (SPADCALL (SPADCALL |p| |n| (QREFELT $ 37))
                 (|WEIER;streamlikeUniv| |p|
                  (PROG1 (LETT #1# (- |n| 1) |WEIER;streamlikeUniv|)
                    (|check-subtype| (>= #1# 0) '(|NonNegativeInteger|) #1#))
                  $)
                 (QREFELT $ 39))))))) 

(DEFUN |WEIER;transpose| (|s| $)
  (PROG ()
    (RETURN
     (SPADCALL (CONS #'|WEIER;transpose!0| (VECTOR $ |s|)) (QREFELT $ 45))))) 

(DEFUN |WEIER;transpose!0| ($$)
  (PROG (|s| $)
    (LETT |s| (QREFELT $$ 1) . #1=(|WEIER;transpose|))
    (LETT $ (QREFELT $$ 0) . #1#)
    (RETURN
     (PROGN
      (COND ((SPADCALL |s| (QREFELT $ 40)) (SPADCALL (QREFELT $ 41)))
            ('T
             (SPADCALL (SPADCALL (ELT $ 15) |s| (QREFELT $ 18))
                       (|WEIER;transpose|
                        (SPADCALL (ELT $ 19) (SPADCALL |s| (QREFELT $ 42))
                                  (QREFELT $ 22))
                        $)
                       (QREFELT $ 43)))))))) 

(DEFUN |WEIER;sts2stst;SSS;7| (|var| |sts| $)
  (PROG (|si0|)
    (RETURN
     (SEQ (LETT |si0| (SPADCALL 0 (QREFELT $ 49)) |WEIER;sts2stst;SSS;7|)
          (EXIT
           (SPADCALL (CONS #'|WEIER;sts2stst;SSS;7!0| $)
                     (SPADCALL (SPADCALL |var| (QREFELT $ 27)) |sts|
                               (QREFELT $ 52))
                     |si0| (QREFELT $ 56))))))) 

(DEFUN |WEIER;sts2stst;SSS;7!0| (|x| |y| $) (|WEIER;streamlikeUniv| |x| |y| $)) 

(DEFUN |WEIER;tp| (|v| |sts| $)
  (|WEIER;transpose| (SPADCALL |v| |sts| (QREFELT $ 57)) $)) 

(DEFUN |WEIER;maptake| (|n| |p| $)
  (SPADCALL (SPADCALL |n| (QREFELT $ 58)) |p| (QREFELT $ 22))) 

(DEFUN |WEIER;mapdrop| (|n| |p| $)
  (SPADCALL (SPADCALL |n| (QREFELT $ 59)) |p| (QREFELT $ 22))) 

(DEFUN |WEIER;weier| (|v| |sts| $)
  (PROG (|q| |f| |e| |c| |b| |p| |a|)
    (RETURN
     (SEQ (LETT |a| (|WEIER;mindegree| |sts| $) . #1=(|WEIER;weier|))
          (EXIT
           (COND ((EQL |a| 0) (|error| "has constant term"))
                 (#2='T
                  (SEQ (LETT |p| (|WEIER;tp| |v| |sts| $) . #1#)
                       (LETT |b|
                             (SPADCALL (SPADCALL |p| (QREFELT $ 60)) |a|
                                       (QREFELT $ 61))
                             . #1#)
                       (LETT |c|
                             (SPADCALL (SPADCALL |b| (QREFELT $ 15))
                                       (QREFELT $ 63))
                             . #1#)
                       (EXIT
                        (COND
                         ((QEQCAR |c| 1)
                          (|error|
                           "the coefficient of the lowest degree of the variable should  be a constant"))
                         (#2#
                          (SEQ (LETT |e| (SPADCALL |b| (QREFELT $ 65)) . #1#)
                               (LETT |f|
                                     (COND
                                      ((QEQCAR |e| 1)
                                       (|error| "no reciprocal"))
                                      (#2# (QCDR |e|)))
                                     . #1#)
                               (LETT |q|
                                     (SPADCALL
                                      (SPADCALL |a| |f|
                                                (SPADCALL |p| (QREFELT $ 66))
                                                (QREFELT $ 68))
                                      (QREFELT $ 70))
                                     . #1#)
                               (EXIT
                                (|WEIER;maptake| |a|
                                 (SPADCALL |p| |q| (QREFELT $ 72))
                                 $)))))))))))))) 

(DEFUN |WEIER;cfirst;NniM;12| (|n| $)
  (PROG () (RETURN (CONS #'|WEIER;cfirst;NniM;12!0| (VECTOR $ |n|))))) 

(DEFUN |WEIER;cfirst;NniM;12!0| (|s| $$)
  (PROG (|n| $)
    (LETT |n| (QREFELT $$ 1) . #1=(|WEIER;cfirst;NniM;12|))
    (LETT $ (QREFELT $$ 0) . #1#)
    (RETURN (PROGN (SPADCALL |s| |n| (QREFELT $ 73)))))) 

(DEFUN |WEIER;crest;NniM;13| (|n| $)
  (PROG () (RETURN (CONS #'|WEIER;crest;NniM;13!0| (VECTOR $ |n|))))) 

(DEFUN |WEIER;crest;NniM;13!0| (|s| $$)
  (PROG (|n| $)
    (LETT |n| (QREFELT $$ 1) . #1=(|WEIER;crest;NniM;13|))
    (LETT $ (QREFELT $$ 0) . #1#)
    (RETURN (PROGN (SPADCALL |s| |n| (QREFELT $ 61)))))) 

(DEFUN |WEIER;qq| (|a| |e| |p| |c| $)
  (SPADCALL |e|
            (SPADCALL (SPADCALL |e| (QREFELT $ 74))
                      (|WEIER;mapdrop| |a| (SPADCALL |p| |c| (QREFELT $ 72)) $)
                      (QREFELT $ 75))
            (QREFELT $ 76))) 

(DEFUN |WEIER;qqq;NniTsSM;15| (|a| |e| |p| $)
  (PROG () (RETURN (CONS #'|WEIER;qqq;NniTsSM;15!0| (VECTOR $ |p| |e| |a|))))) 

(DEFUN |WEIER;qqq;NniTsSM;15!0| (|s| $$)
  (PROG (|a| |e| |p| $)
    (LETT |a| (QREFELT $$ 3) . #1=(|WEIER;qqq;NniTsSM;15|))
    (LETT |e| (QREFELT $$ 2) . #1#)
    (LETT |p| (QREFELT $$ 1) . #1#)
    (LETT $ (QREFELT $$ 0) . #1#)
    (RETURN (PROGN (|WEIER;qq| |a| |e| |p| |s| $))))) 

(DEFUN |WEIER;wei| (|v| |s| $) (|WEIER;weier| |v| |s| $)) 

(DEFUN |WEIER;weierstrass;STsL;17| (|v| |smps| $)
  (|WEIER;transback| (|WEIER;wei| |v| |smps| $) $)) 

(DEFUN |WeierstrassPreparation| (#1=#:G706)
  (PROG ()
    (RETURN
     (PROG (#2=#:G707)
       (RETURN
        (COND
         ((LETT #2#
                (|lassocShiftWithFunction| (LIST (|devaluate| #1#))
                                           (HGET |$ConstructorCache|
                                                 '|WeierstrassPreparation|)
                                           '|domainEqualList|)
                . #3=(|WeierstrassPreparation|))
          (|CDRwithIncrement| #2#))
         ('T
          (UNWIND-PROTECT
              (PROG1 (|WeierstrassPreparation;| #1#) (LETT #2# T . #3#))
            (COND
             ((NOT #2#)
              (HREM |$ConstructorCache| '|WeierstrassPreparation|))))))))))) 

(DEFUN |WeierstrassPreparation;| (|#1|)
  (PROG (|pv$| $ |dv$| DV$1)
    (RETURN
     (PROGN
      (LETT DV$1 (|devaluate| |#1|) . #1=(|WeierstrassPreparation|))
      (LETT |dv$| (LIST '|WeierstrassPreparation| DV$1) . #1#)
      (LETT $ (GETREFV 79) . #1#)
      (QSETREFV $ 0 |dv$|)
      (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #1#))
      (|haddProp| |$ConstructorCache| '|WeierstrassPreparation| (LIST DV$1)
                  (CONS 1 $))
      (|stuffDomainSlots| $)
      (QSETREFV $ 6 |#1|)
      $)))) 

(MAKEPROP '|WeierstrassPreparation| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|Boolean|) (|Stream| 32)
              (0 . |empty?|) (|Stream| 14) (|Stream| 10) (5 . |first|)
              (10 . |empty?|) (|Polynomial| 6) (15 . |first|) (|Mapping| 14 10)
              (|StreamFunctions2| 10 14) (20 . |map|) (26 . |rest|)
              (|Mapping| 10 10) (|StreamFunctions2| 10 10) (31 . |map|)
              (|SparseUnivariatePolynomial| $) (|Symbol|) (37 . |univariate|)
              (|Mapping| 36 14) |WEIER;clikeUniv;SM;2| (43 . |Zero|)
              (47 . |Zero|) (51 . =) (57 . |One|) (|TaylorSeries| 6)
              (61 . |One|) (65 . |Zero|) (|NonNegativeInteger|)
              (|SparseUnivariatePolynomial| 14) (69 . |coefficient|)
              (75 . |empty|) (79 . |cons|) (85 . |empty?|) (90 . |empty|)
              (94 . |rst|) (99 . |cons|) (|Mapping| $) (105 . |delay|)
              (|Stream| 47) (|Integer|) (|StreamTaylorSeriesOperations| 14)
              (110 . |integers|) (|Stream| 36) (|StreamFunctions2| 14 36)
              (115 . |map|) (|Mapping| 10 36 35) (|Stream| 35)
              (|StreamFunctions3| 36 35 10) (121 . |map|)
              |WEIER;sts2stst;SSS;7| |WEIER;cfirst;NniM;12|
              |WEIER;crest;NniM;13| (128 . |first|) (133 . |rest|)
              (|Union| 24 '"failed") (139 . |retractIfCan|)
              (|Union| 10 '"failed") (144 . |recip|) (149 . |rest|)
              (|Mapping| 8 8) |WEIER;qqq;NniTsSM;15|
              (|ParadoxicalCombinatorsForStreams| 32) (154 . Y)
              (|StreamTaylorSeriesOperations| 32) (159 . *) (165 . |first|)
              (171 . -) (176 . *) (182 . |cons|) (|List| 32)
              |WEIER;weierstrass;STsL;17|)
           '#(|weierstrass| 188 |sts2stst| 194 |qqq| 200 |crest| 207
              |clikeUniv| 212 |cfirst| 217)
           'NIL
           (CONS (|makeByteWordVec2| 1 'NIL)
                 (CONS '#()
                       (CONS '#()
                             (|makeByteWordVec2| 78
                                                 '(1 8 7 0 9 1 11 10 0 12 1 10
                                                   7 0 13 1 10 14 0 15 2 17 10
                                                   16 11 18 1 10 0 0 19 2 21 11
                                                   20 11 22 2 14 23 0 24 25 0 6
                                                   0 28 0 14 0 29 2 14 7 0 0 30
                                                   0 6 0 31 0 32 0 33 0 32 0 34
                                                   2 36 14 0 35 37 0 10 0 38 2
                                                   10 0 14 0 39 1 11 7 0 40 0
                                                   11 0 41 1 11 0 0 42 2 11 0
                                                   10 0 43 1 11 0 44 45 1 48 46
                                                   47 49 2 51 50 26 10 52 3 55
                                                   11 53 50 54 56 1 8 32 0 60 2
                                                   10 0 0 35 61 1 14 62 0 63 1
                                                   48 64 10 65 1 8 0 0 66 1 69
                                                   8 67 70 2 71 8 8 8 72 2 10 0
                                                   0 35 73 1 32 0 0 74 2 71 8
                                                   32 8 75 2 8 0 32 0 76 2 0 77
                                                   24 32 78 2 0 11 24 10 57 3 0
                                                   67 35 32 8 68 1 0 20 35 59 1
                                                   0 26 24 27 1 0 20 35 58)))))
           '|lookupComplete|)) 
