
(/VERSIONCHECK 2) 

(PUT '|UPXSCONS;getExpon| '|SPADreplace| 'QCAR) 

(DEFUN |UPXSCONS;getExpon| (|pxs| $) (QCAR |pxs|)) 

(PUT '|UPXSCONS;getULS| '|SPADreplace| 'QCDR) 

(DEFUN |UPXSCONS;getULS| (|pxs| $) (QCDR |pxs|)) 

(PUT '|UPXSCONS;puiseux;FULS$;3| '|SPADreplace| 'CONS) 

(DEFUN |UPXSCONS;puiseux;FULS$;3| (|n| |ls| $) (CONS |n| |ls|)) 

(DEFUN |UPXSCONS;laurentRep;$ULS;4| (|x| $) (|UPXSCONS;getULS| |x| $)) 

(DEFUN |UPXSCONS;rationalPower;$F;5| (|x| $)
  (|UPXSCONS;getExpon| |x| $)) 

(DEFUN |UPXSCONS;degree;$F;6| (|x| $)
  (SPADCALL (|UPXSCONS;getExpon| |x| $)
      (SPADCALL (|UPXSCONS;getULS| |x| $) (QREFELT $ 14))
      (QREFELT $ 15))) 

(DEFUN |UPXSCONS;Zero;$;7| ($)
  (SPADCALL (|spadConstant| $ 19) (|spadConstant| $ 20) (QREFELT $ 10))) 

(DEFUN |UPXSCONS;One;$;8| ($)
  (SPADCALL (|spadConstant| $ 19) (|spadConstant| $ 22) (QREFELT $ 10))) 

(DEFUN |UPXSCONS;monomial;CoefF$;9| (|c| |k| $)
  (COND
    ((SPADCALL |k| (|spadConstant| $ 24) (QREFELT $ 26))
     (SPADCALL |c| (QREFELT $ 27)))
    ((SPADCALL |k| (|spadConstant| $ 24) (QREFELT $ 28))
     (SPADCALL (SPADCALL |k| (QREFELT $ 29))
         (SPADCALL |c| -1 (QREFELT $ 30)) (QREFELT $ 10)))
    ('T (SPADCALL |k| (SPADCALL |c| 1 (QREFELT $ 30)) (QREFELT $ 10))))) 

(DEFUN |UPXSCONS;coerce;ULS$;10| (|ls| $)
  (SPADCALL (|spadConstant| $ 19) |ls| (QREFELT $ 10))) 

(DEFUN |UPXSCONS;coerce;Coef$;11| (|r| $)
  (SPADCALL (SPADCALL |r| (QREFELT $ 33)) (QREFELT $ 32))) 

(DEFUN |UPXSCONS;coerce;I$;12| (|i| $)
  (SPADCALL (SPADCALL |i| (QREFELT $ 34)) (QREFELT $ 27))) 

(DEFUN |UPXSCONS;laurentIfCan;$U;13| (|upxs| $)
  (PROG (|r| #0=#:G1852)
    (RETURN
      (SEQ (LETT |r| (|UPXSCONS;getExpon| |upxs| $)
                 . #1=(|UPXSCONS;laurentIfCan;$U;13|))
           (EXIT (COND
                   ((EQL (SPADCALL |r| (QREFELT $ 36)) 1)
                    (CONS 0
                          (SPADCALL (|UPXSCONS;getULS| |upxs| $)
                              (PROG1 (LETT #0#
                                      (SPADCALL |r| (QREFELT $ 37)) . #1#)
                                (|check-subtype| (> #0# 0)
                                    '(|PositiveInteger|) #0#))
                              (QREFELT $ 39))))
                   ('T (CONS 1 "failed")))))))) 

(DEFUN |UPXSCONS;laurent;$ULS;14| (|upxs| $)
  (PROG (|uls|)
    (RETURN
      (SEQ (LETT |uls| (SPADCALL |upxs| (QREFELT $ 41))
                 |UPXSCONS;laurent;$ULS;14|)
           (EXIT (COND
                   ((QEQCAR |uls| 1)
                    (|error| "laurent: Puiseux series has fractional powers"))
                   ('T (QCDR |uls|)))))))) 

(DEFUN |UPXSCONS;multExp| (|r| |lTerm| $)
  (CONS (SPADCALL |r| (QCAR |lTerm|) (QREFELT $ 15)) (QCDR |lTerm|))) 

(DEFUN |UPXSCONS;terms;$S;16| (|upxs| $)
  (PROG ()
    (RETURN
      (SPADCALL (CONS #'|UPXSCONS;terms;$S;16!0| (VECTOR $ |upxs|))
          (SPADCALL (|UPXSCONS;getULS| |upxs| $) (QREFELT $ 45))
          (QREFELT $ 50))))) 

(DEFUN |UPXSCONS;terms;$S;16!0| (|#1| $$)
  (PROG ($)
    (LETT $ (QREFELT $$ 0) |UPXSCONS;terms;$S;16|)
    (RETURN
      (PROGN
        (|UPXSCONS;multExp| (|UPXSCONS;getExpon| (QREFELT $$ 1) $) |#1|
            $))))) 

(DEFUN |UPXSCONS;clearDen| (|n| |lTerm| $)
  (PROG (|int|)
    (RETURN
      (SEQ (LETT |int|
                 (SPADCALL (SPADCALL |n| (QCAR |lTerm|) (QREFELT $ 52))
                     (QREFELT $ 54))
                 |UPXSCONS;clearDen|)
           (EXIT (COND
                   ((QEQCAR |int| 1)
                    (|error| "series: inappropriate denominator"))
                   ('T (CONS (QCDR |int|) (QCDR |lTerm|))))))))) 

(DEFUN |UPXSCONS;series;NniS$;18| (|n| |stream| $)
  (PROG (|str|)
    (RETURN
      (SEQ (LETT |str|
                 (SPADCALL
                     (CONS #'|UPXSCONS;series;NniS$;18!0|
                           (VECTOR $ |n|))
                     |stream| (QREFELT $ 57))
                 |UPXSCONS;series;NniS$;18|)
           (EXIT (SPADCALL (SPADCALL 1 |n| (QREFELT $ 58))
                     (SPADCALL |str| (QREFELT $ 59)) (QREFELT $ 10))))))) 

(DEFUN |UPXSCONS;series;NniS$;18!0| (|#1| $$)
  (|UPXSCONS;clearDen| (QREFELT $$ 1) |#1| (QREFELT $$ 0))) 

(DEFUN |UPXSCONS;rewrite| (|upxs| |m| $)
  (SPADCALL
      (SPADCALL (|UPXSCONS;getExpon| |upxs| $)
          (SPADCALL 1 |m| (QREFELT $ 58)) (QREFELT $ 62))
      (SPADCALL (|UPXSCONS;getULS| |upxs| $) |m| (QREFELT $ 39))
      (QREFELT $ 10))) 

(DEFUN |UPXSCONS;ratGcd| (|r1| |r2| $)
  (SPADCALL (GCD (SPADCALL |r1| (QREFELT $ 37))
                 (SPADCALL |r2| (QREFELT $ 37)))
            (SPADCALL (SPADCALL |r1| (QREFELT $ 36))
                (SPADCALL |r2| (QREFELT $ 36)) (QREFELT $ 63))
            (QREFELT $ 58))) 

(DEFUN |UPXSCONS;withNewExpon| (|upxs| |r| $)
  (|UPXSCONS;rewrite| |upxs|
      (SPADCALL
          (SPADCALL (|UPXSCONS;getExpon| |upxs| $) |r| (QREFELT $ 64))
          (QREFELT $ 37))
      $)) 

(DEFUN |UPXSCONS;=;2$B;22| (|upxs1| |upxs2| $)
  (PROG (|r1| |r2| |ls1| |ls2| |r| |m1| |m2|)
    (RETURN
      (SEQ (LETT |r1| (|UPXSCONS;getExpon| |upxs1| $)
                 . #0=(|UPXSCONS;=;2$B;22|))
           (LETT |r2| (|UPXSCONS;getExpon| |upxs2| $) . #0#)
           (LETT |ls1| (|UPXSCONS;getULS| |upxs1| $) . #0#)
           (LETT |ls2| (|UPXSCONS;getULS| |upxs2| $) . #0#)
           (EXIT (COND
                   ((SPADCALL |r1| |r2| (QREFELT $ 26))
                    (SPADCALL |ls1| |ls2| (QREFELT $ 65)))
                   ('T
                    (SEQ (LETT |r|
                               (|UPXSCONS;ratGcd| |r1| |r2| $) . #0#)
                         (LETT |m1|
                               (SPADCALL (SPADCALL
                                          (|UPXSCONS;getExpon| |upxs1|
                                           $)
                                          |r| (QREFELT $ 64))
                                         (QREFELT $ 37)) . #0#)
                         (LETT |m2|
                               (SPADCALL
                                   (SPADCALL
                                    (|UPXSCONS;getExpon| |upxs2| $) |r|
                                    (QREFELT $ 64))
                                   (QREFELT $ 37)) . #0#)
                         (EXIT (SPADCALL
                                   (SPADCALL |ls1| |m1| (QREFELT $ 39))
                                   (SPADCALL |ls2| |m2| (QREFELT $ 39))
                                   (QREFELT $ 65))))))))))) 

(DEFUN |UPXSCONS;pole?;$B;23| (|upxs| $)
  (SPADCALL (|UPXSCONS;getULS| |upxs| $) (QREFELT $ 67))) 

(DEFUN |UPXSCONS;applyFcn| (|op| |pxs1| |pxs2| $)
  (PROG (|r1| |r2| |ls1| |ls2| |r| |m1| |m2|)
    (RETURN
      (SEQ (LETT |r1| (|UPXSCONS;getExpon| |pxs1| $)
                 . #0=(|UPXSCONS;applyFcn|))
           (LETT |r2| (|UPXSCONS;getExpon| |pxs2| $) . #0#)
           (LETT |ls1| (|UPXSCONS;getULS| |pxs1| $) . #0#)
           (LETT |ls2| (|UPXSCONS;getULS| |pxs2| $) . #0#)
           (EXIT (COND
                   ((SPADCALL |r1| |r2| (QREFELT $ 26))
                    (SPADCALL |r1| (SPADCALL |ls1| |ls2| |op|)
                        (QREFELT $ 10)))
                   ('T
                    (SEQ (LETT |r|
                               (|UPXSCONS;ratGcd| |r1| |r2| $) . #0#)
                         (LETT |m1|
                               (SPADCALL
                                   (SPADCALL
                                    (|UPXSCONS;getExpon| |pxs1| $) |r|
                                    (QREFELT $ 64))
                                   (QREFELT $ 37)) . #0#)
                         (LETT |m2|
                               (SPADCALL
                                   (SPADCALL
                                    (|UPXSCONS;getExpon| |pxs2| $) |r|
                                    (QREFELT $ 64))
                                   (QREFELT $ 37)) . #0#)
                         (EXIT (SPADCALL |r|
                                   (SPADCALL
                                    (SPADCALL |ls1| |m1|
                                     (QREFELT $ 39))
                                    (SPADCALL |ls2| |m2|
                                     (QREFELT $ 39))
                                    |op|)
                                   (QREFELT $ 10))))))))))) 

(DEFUN |UPXSCONS;+;3$;25| (|pxs1| |pxs2| $)
  (|UPXSCONS;applyFcn| (CONS #'|UPXSCONS;+;3$;25!0| $) |pxs1| |pxs2| $)) 

(DEFUN |UPXSCONS;+;3$;25!0| (|#1| |#2| $)
  (SPADCALL |#1| |#2| (QREFELT $ 69))) 

(DEFUN |UPXSCONS;-;3$;26| (|pxs1| |pxs2| $)
  (|UPXSCONS;applyFcn| (CONS #'|UPXSCONS;-;3$;26!0| $) |pxs1| |pxs2| $)) 

(DEFUN |UPXSCONS;-;3$;26!0| (|#1| |#2| $)
  (SPADCALL |#1| |#2| (QREFELT $ 71))) 

(DEFUN |UPXSCONS;*;3$;27| (|pxs1| |pxs2| $)
  (|UPXSCONS;applyFcn| (CONS #'|UPXSCONS;*;3$;27!0| $) |pxs1| |pxs2| $)) 

(DEFUN |UPXSCONS;*;3$;27!0| (|#1| |#2| $)
  (SPADCALL |#1| |#2| (QREFELT $ 73))) 

(DEFUN |UPXSCONS;**;$Nni$;28| (|pxs| |n| $)
  (SPADCALL (|UPXSCONS;getExpon| |pxs| $)
            (SPADCALL (|UPXSCONS;getULS| |pxs| $) |n| (QREFELT $ 75))
            (QREFELT $ 10))) 

(DEFUN |UPXSCONS;recip;$U;29| (|pxs| $)
  (PROG (|rec|)
    (RETURN
      (SEQ (LETT |rec|
                 (SPADCALL (|UPXSCONS;getULS| |pxs| $) (QREFELT $ 78))
                 |UPXSCONS;recip;$U;29|)
           (EXIT (COND
                   ((QEQCAR |rec| 1) (CONS 1 "failed"))
                   ('T
                    (CONS 0
                          (SPADCALL (|UPXSCONS;getExpon| |pxs| $)
                              (QCDR |rec|) (QREFELT $ 10)))))))))) 

(DEFUN |UPXSCONS;elt;3$;30| (|upxs1| |upxs2| $)
  (PROG (|uls1| |r1| |r2| |n| |deg| |coef| |b| |c| |mon| |uls2|)
    (RETURN
      (SEQ (LETT |uls1| (SPADCALL |upxs1| (QREFELT $ 11))
                 . #0=(|UPXSCONS;elt;3$;30|))
           (LETT |uls2| (SPADCALL |upxs2| (QREFELT $ 11)) . #0#)
           (LETT |r1| (SPADCALL |upxs1| (QREFELT $ 12)) . #0#)
           (LETT |r2| (SPADCALL |upxs2| (QREFELT $ 12)) . #0#)
           (LETT |n| (SPADCALL |r1| (QREFELT $ 54)) . #0#)
           (EXIT (COND
                   ((QEQCAR |n| 0)
                    (SPADCALL |r2|
                        (SPADCALL |uls1|
                            (SPADCALL |uls2| |r1| (QREFELT $ 81))
                            (QREFELT $ 82))
                        (QREFELT $ 10)))
                   ((QREFELT $ 80)
                    (SEQ (COND
                           ((SPADCALL
                                (LETT |coef|
                                      (SPADCALL |uls2|
                                       (LETT |deg|
                                        (SPADCALL |uls2|
                                         (QREFELT $ 14)) . #0#)
                                       (QREFELT $ 83)) . #0#)
                                (QREFELT $ 84))
                            (SEQ (LETT |deg|
                                       (SPADCALL |uls2| (+ |deg| 1000)
                                        (QREFELT $ 85)) . #0#)
                                 (EXIT (COND
                                         ((SPADCALL
                                           (LETT |coef|
                                            (SPADCALL |uls2| |deg|
                                             (QREFELT $ 83)) . #0#)
                                           (QREFELT $ 84))
                                          (|error|
                                           "elt: series with many leading zero coefficients")))))))
                         (LETT |b|
                               (SPADCALL (SPADCALL |r1| (QREFELT $ 36))
                                   |deg| (QREFELT $ 63)) . #0#)
                         (LETT |c| (QUOTIENT2 |b| |deg|) . #0#)
                         (LETT |mon|
                               (SPADCALL (|spadConstant| $ 18) |c|
                                   (QREFELT $ 30)) . #0#)
                         (LETT |uls2|
                               (SPADCALL
                                   (SPADCALL |uls2| |mon|
                                    (QREFELT $ 82))
                                   |r1| (QREFELT $ 81)) . #0#)
                         (EXIT (SPADCALL
                                   (SPADCALL |r2|
                                    (SPADCALL 1 |c| (QREFELT $ 58))
                                    (QREFELT $ 62))
                                   (SPADCALL |uls1| |uls2|
                                    (QREFELT $ 82))
                                   (QREFELT $ 10)))))
                   ('T
                    (|error| "elt: rational powers not available for this coefficient domain")))))))) 

(DEFUN |UPXSCONS;eval;$CoefS;31| (|upxs| |a| $)
  (SPADCALL (|UPXSCONS;getULS| |upxs| $)
      (SPADCALL |a| (|UPXSCONS;getExpon| |upxs| $) (QREFELT $ 87))
      (QREFELT $ 89))) 

(DEFUN |UPXSCONS;/;3$;32| (|pxs1| |pxs2| $)
  (|UPXSCONS;applyFcn| (CONS #'|UPXSCONS;/;3$;32!0| $) |pxs1| |pxs2| $)) 

(DEFUN |UPXSCONS;/;3$;32!0| (|#1| |#2| $)
  (SPADCALL |#1| |#2| (QREFELT $ 91))) 

(DEFUN |UPXSCONS;inv;2$;33| (|upxs| $)
  (PROG (|invUpxs|)
    (RETURN
      (SEQ (LETT |invUpxs| (SPADCALL |upxs| (QREFELT $ 79))
                 |UPXSCONS;inv;2$;33|)
           (EXIT (COND
                   ((QEQCAR |invUpxs| 1)
                    (|error| "inv: multiplicative inverse does not exist"))
                   ('T (QCDR |invUpxs|)))))))) 

(DEFUN |UPXSCONS;variable;$S;34| (|upxs| $)
  (SPADCALL (|UPXSCONS;getULS| |upxs| $) (QREFELT $ 95))) 

(DEFUN |UPXSCONS;center;$Coef;35| (|upxs| $)
  (SPADCALL (|UPXSCONS;getULS| |upxs| $) (QREFELT $ 97))) 

(DEFUN |UPXSCONS;coefficient;$FCoef;36| (|upxs| |rn| $)
  (PROG (|n|)
    (RETURN
      (COND
        ((EQL (SPADCALL
                  (LETT |n|
                        (SPADCALL |rn| (|UPXSCONS;getExpon| |upxs| $)
                            (QREFELT $ 64))
                        |UPXSCONS;coefficient;$FCoef;36|)
                  (QREFELT $ 36))
              1)
         (SPADCALL (|UPXSCONS;getULS| |upxs| $)
             (SPADCALL |n| (QREFELT $ 37)) (QREFELT $ 83)))
        ('T (|spadConstant| $ 23)))))) 

(DEFUN |UPXSCONS;elt;$FCoef;37| (|upxs| |rn| $)
  (SPADCALL |upxs| |rn| (QREFELT $ 99))) 

(DEFUN |UPXSCONS;roundDown| (|rn| $)
  (PROG (|den| |num| |n|)
    (RETURN
      (SEQ (LETT |den| (SPADCALL |rn| (QREFELT $ 36))
                 . #0=(|UPXSCONS;roundDown|))
           (EXIT (COND
                   ((EQL |den| 1) (SPADCALL |rn| (QREFELT $ 37)))
                   ('T
                    (SEQ (LETT |n|
                               (QUOTIENT2
                                   (LETT |num|
                                    (SPADCALL |rn| (QREFELT $ 37)) . #0#)
                                   |den|) . #0#)
                         (EXIT (COND
                                 ((SPADCALL |num| (QREFELT $ 101)) |n|)
                                 ('T (- |n| 1)))))))))))) 

(DEFUN |UPXSCONS;roundUp| (|rn| $)
  (PROG (|den| |num| |n|)
    (RETURN
      (SEQ (LETT |den| (SPADCALL |rn| (QREFELT $ 36))
                 . #0=(|UPXSCONS;roundUp|))
           (EXIT (COND
                   ((EQL |den| 1) (SPADCALL |rn| (QREFELT $ 37)))
                   ('T
                    (SEQ (LETT |n|
                               (QUOTIENT2
                                   (LETT |num|
                                    (SPADCALL |rn| (QREFELT $ 37)) . #0#)
                                   |den|) . #0#)
                         (EXIT (COND
                                 ((SPADCALL |num| (QREFELT $ 101))
                                  (+ |n| 1))
                                 ('T |n|))))))))))) 

(DEFUN |UPXSCONS;order;$F;40| (|upxs| $)
  (SPADCALL (|UPXSCONS;getExpon| |upxs| $)
      (SPADCALL (|UPXSCONS;getULS| |upxs| $) (QREFELT $ 102))
      (QREFELT $ 15))) 

(DEFUN |UPXSCONS;order;$2F;41| (|upxs| |r| $)
  (PROG (|e| |n| |ord|)
    (RETURN
      (SEQ (LETT |e| (|UPXSCONS;getExpon| |upxs| $)
                 . #0=(|UPXSCONS;order;$2F;41|))
           (LETT |ord|
                 (SPADCALL (|UPXSCONS;getULS| |upxs| $)
                     (LETT |n|
                           (|UPXSCONS;roundDown|
                               (SPADCALL |r| |e| (QREFELT $ 64)) $) . #0#)
                     (QREFELT $ 85)) . #0#)
           (EXIT (COND
                   ((EQL |ord| |n|) |r|)
                   ('T (SPADCALL |ord| |e| (QREFELT $ 52))))))))) 

(DEFUN |UPXSCONS;truncate;$F$;42| (|upxs| |r| $)
  (PROG (|e|)
    (RETURN
      (SEQ (LETT |e| (|UPXSCONS;getExpon| |upxs| $)
                 |UPXSCONS;truncate;$F$;42|)
           (EXIT (SPADCALL |e|
                     (SPADCALL (|UPXSCONS;getULS| |upxs| $)
                         (|UPXSCONS;roundDown|
                             (SPADCALL |r| |e| (QREFELT $ 64)) $)
                         (QREFELT $ 105))
                     (QREFELT $ 10))))))) 

(DEFUN |UPXSCONS;truncate;$2F$;43| (|upxs| |r1| |r2| $)
  (PROG (|e|)
    (RETURN
      (SEQ (LETT |e| (|UPXSCONS;getExpon| |upxs| $)
                 |UPXSCONS;truncate;$2F$;43|)
           (EXIT (SPADCALL |e|
                     (SPADCALL (|UPXSCONS;getULS| |upxs| $)
                         (|UPXSCONS;roundUp|
                             (SPADCALL |r1| |e| (QREFELT $ 64)) $)
                         (|UPXSCONS;roundDown|
                             (SPADCALL |r2| |e| (QREFELT $ 64)) $)
                         (QREFELT $ 107))
                     (QREFELT $ 10))))))) 

(DEFUN |UPXSCONS;complete;2$;44| (|upxs| $)
  (SPADCALL (|UPXSCONS;getExpon| |upxs| $)
            (SPADCALL (|UPXSCONS;getULS| |upxs| $) (QREFELT $ 109))
            (QREFELT $ 10))) 

(DEFUN |UPXSCONS;extend;$F$;45| (|upxs| |r| $)
  (PROG (|e|)
    (RETURN
      (SEQ (LETT |e| (|UPXSCONS;getExpon| |upxs| $)
                 |UPXSCONS;extend;$F$;45|)
           (EXIT (SPADCALL |e|
                     (SPADCALL (|UPXSCONS;getULS| |upxs| $)
                         (|UPXSCONS;roundDown|
                             (SPADCALL |r| |e| (QREFELT $ 64)) $)
                         (QREFELT $ 111))
                     (QREFELT $ 10))))))) 

(DEFUN |UPXSCONS;map;M2$;46| (|fcn| |upxs| $)
  (SPADCALL (|UPXSCONS;getExpon| |upxs| $)
      (SPADCALL |fcn| (|UPXSCONS;getULS| |upxs| $) (QREFELT $ 114))
      (QREFELT $ 10))) 

(DEFUN |UPXSCONS;characteristic;Nni;47| ($)
  (SPADCALL (QREFELT $ 116))) 

(DEFUN |UPXSCONS;multiplyExponents;$F$;48| (|upxs| |n| $)
  (SPADCALL
      (SPADCALL |n| (|UPXSCONS;getExpon| |upxs| $) (QREFELT $ 62))
      (|UPXSCONS;getULS| |upxs| $) (QREFELT $ 10))) 

(DEFUN |UPXSCONS;multiplyExponents;$Pi$;49| (|upxs| |n| $)
  (SPADCALL
      (SPADCALL |n| (|UPXSCONS;getExpon| |upxs| $) (QREFELT $ 119))
      (|UPXSCONS;getULS| |upxs| $) (QREFELT $ 10))) 

(DEFUN |UPXSCONS;differentiate;2$;50| (|upxs| $)
  (PROG (|r|)
    (RETURN
      (SEQ (LETT |r| (|UPXSCONS;getExpon| |upxs| $)
                 |UPXSCONS;differentiate;2$;50|)
           (EXIT (SPADCALL
                     (SPADCALL |r|
                         (SPADCALL (|UPXSCONS;getULS| |upxs| $)
                             (QREFELT $ 121))
                         (QREFELT $ 10))
                     (SPADCALL (SPADCALL |r| (QREFELT $ 122))
                         (SPADCALL |r| (|spadConstant| $ 19)
                             (QREFELT $ 123))
                         (QREFELT $ 31))
                     (QREFELT $ 74))))))) 

(DEFUN |UPXSCONS;differentiate;$S$;51| (|upxs| |s| $)
  (PROG (|dcds|)
    (RETURN
      (SEQ (COND
             ((EQUAL |s| (SPADCALL |upxs| (QREFELT $ 96)))
              (SPADCALL |upxs| (QREFELT $ 124)))
             ('T
              (SEQ (LETT |dcds|
                         (SPADCALL (SPADCALL |upxs| (QREFELT $ 98)) |s|
                             (QREFELT $ 125))
                         |UPXSCONS;differentiate;$S$;51|)
                   (EXIT (SPADCALL
                             (SPADCALL
                                 (CONS #'|UPXSCONS;differentiate;$S$;51!0|
                                       (VECTOR $ |s|))
                                 |upxs| (QREFELT $ 115))
                             (SPADCALL |dcds|
                                 (SPADCALL |upxs| (QREFELT $ 124))
                                 (QREFELT $ 126))
                             (QREFELT $ 72)))))))))) 

(DEFUN |UPXSCONS;differentiate;$S$;51!0| (|#1| $$)
  (SPADCALL |#1| (QREFELT $$ 1) (QREFELT (QREFELT $$ 0) 125))) 

(DEFUN |UPXSCONS;coerce;F$;52| (|r| $)
  (SPADCALL (SPADCALL |r| (QREFELT $ 122)) (QREFELT $ 27))) 

(DEFUN |UPXSCONS;ratInv| (|r| $)
  (COND
    ((SPADCALL |r| (QREFELT $ 129)) (|spadConstant| $ 18))
    ('T (SPADCALL (SPADCALL |r| (QREFELT $ 130)) (QREFELT $ 122))))) 

(DEFUN |UPXSCONS;integrate;2$;54| (|upxs| $)
  (PROG (|r| |uls|)
    (RETURN
      (SEQ (COND
             ((NULL (SPADCALL
                        (SPADCALL |upxs|
                            (SPADCALL (|spadConstant| $ 19)
                                (QREFELT $ 29))
                            (QREFELT $ 99))
                        (QREFELT $ 84)))
              (|error| "integrate: series has term of order -1"))
             ('T
              (SEQ (LETT |r| (|UPXSCONS;getExpon| |upxs| $)
                         . #0=(|UPXSCONS;integrate;2$;54|))
                   (LETT |uls| (|UPXSCONS;getULS| |upxs| $) . #0#)
                   (LETT |uls|
                         (SPADCALL
                             (CONS #'|UPXSCONS;integrate;2$;54!0|
                                   (VECTOR $ |r|))
                             |uls| (QREFELT $ 134)) . #0#)
                   (EXIT (SPADCALL
                             (SPADCALL (|spadConstant| $ 18)
                                 (|spadConstant| $ 19) (QREFELT $ 31))
                             (SPADCALL |r| |uls| (QREFELT $ 10))
                             (QREFELT $ 74)))))))))) 

(DEFUN |UPXSCONS;integrate;2$;54!0| (|#1| $$)
  (PROG ($)
    (LETT $ (QREFELT $$ 0) |UPXSCONS;integrate;2$;54|)
    (RETURN
      (PROGN
        (|UPXSCONS;ratInv|
            (SPADCALL (SPADCALL |#1| (QREFELT $$ 1) (QREFELT $ 52))
                (|spadConstant| $ 19) (QREFELT $ 132))
            $))))) 

(DEFUN |UPXSCONS;integrate;$S$;55| (|upxs| |s| $)
  (COND
    ((EQUAL |s| (SPADCALL |upxs| (QREFELT $ 96)))
     (SPADCALL |upxs| (QREFELT $ 135)))
    ((NULL (SPADCALL |s|
               (SPADCALL (SPADCALL |upxs| (QREFELT $ 98))
                   (QREFELT $ 137))
               (QREFELT $ 138)))
     (SPADCALL (CONS #'|UPXSCONS;integrate;$S$;55!0| (VECTOR $ |s|))
         |upxs| (QREFELT $ 115)))
    ('T
     (|error| "integrate: center is a function of variable of integration")))) 

(DEFUN |UPXSCONS;integrate;$S$;55!0| (|#1| $$)
  (SPADCALL |#1| (QREFELT $$ 1) (QREFELT (QREFELT $$ 0) 139))) 

(DEFUN |UPXSCONS;integrateWithOneAnswer| (|f| |s| $)
  (PROG (|res|)
    (RETURN
      (SEQ (LETT |res| (SPADCALL |f| |s| (QREFELT $ 143))
                 |UPXSCONS;integrateWithOneAnswer|)
           (EXIT (COND
                   ((QEQCAR |res| 0) (QCDR |res|))
                   ('T (|SPADfirst| (QCDR |res|))))))))) 

(DEFUN |UPXSCONS;integrate;$S$;57| (|upxs| |s| $)
  (COND
    ((EQUAL |s| (SPADCALL |upxs| (QREFELT $ 96)))
     (SPADCALL |upxs| (QREFELT $ 135)))
    ((NULL (SPADCALL |s|
               (SPADCALL (SPADCALL |upxs| (QREFELT $ 98))
                   (QREFELT $ 137))
               (QREFELT $ 138)))
     (SPADCALL (CONS #'|UPXSCONS;integrate;$S$;57!0| (VECTOR $ |s|))
         |upxs| (QREFELT $ 115)))
    ('T
     (|error| "integrate: center is a function of variable of integration")))) 

(DEFUN |UPXSCONS;integrate;$S$;57!0| (|#1| $$)
  (|UPXSCONS;integrateWithOneAnswer| |#1| (QREFELT $$ 1)
      (QREFELT $$ 0))) 

(DEFUN |UPXSCONS;**;$F$;58| (|upxs| |q| $)
  (PROG (|num| |den| |r| |uls| |deg| |coef| |ulsPow|)
    (RETURN
      (SEQ (LETT |num| (SPADCALL |q| (QREFELT $ 37))
                 . #0=(|UPXSCONS;**;$F$;58|))
           (LETT |den| (SPADCALL |q| (QREFELT $ 36)) . #0#)
           (EXIT (COND
                   ((EQL |den| 1)
                    (SPADCALL |upxs| |num| (QREFELT $ 144)))
                   ('T
                    (SEQ (LETT |r|
                               (SPADCALL |upxs| (QREFELT $ 12)) . #0#)
                         (LETT |uls|
                               (SPADCALL |upxs| (QREFELT $ 11)) . #0#)
                         (LETT |deg|
                               (SPADCALL |uls| (QREFELT $ 14)) . #0#)
                         (COND
                           ((SPADCALL
                                (LETT |coef|
                                      (SPADCALL |uls| |deg|
                                       (QREFELT $ 83)) . #0#)
                                (QREFELT $ 84))
                            (SEQ (LETT |deg|
                                       (SPADCALL |uls| (+ |deg| 1000)
                                        (QREFELT $ 85)) . #0#)
                                 (EXIT (COND
                                         ((SPADCALL
                                           (LETT |coef|
                                            (SPADCALL |uls| |deg|
                                             (QREFELT $ 83)) . #0#)
                                           (QREFELT $ 84))
                                          (|error|
                                           "power of series with many leading zero coefficients")))))))
                         (LETT |ulsPow|
                               (SPADCALL
                                   (SPADCALL |uls|
                                    (SPADCALL (|spadConstant| $ 18)
                                     (- |deg|) (QREFELT $ 30))
                                    (QREFELT $ 73))
                                   |q| (QREFELT $ 81)) . #0#)
                         (EXIT (SPADCALL
                                   (SPADCALL |r| |ulsPow|
                                    (QREFELT $ 10))
                                   (SPADCALL (|spadConstant| $ 18)
                                    (SPADCALL
                                     (SPADCALL |deg| |q|
                                      (QREFELT $ 52))
                                     |r| (QREFELT $ 62))
                                    (QREFELT $ 31))
                                   (QREFELT $ 74))))))))))) 

(DEFUN |UPXSCONS;applyUnary| (|fcn| |upxs| $)
  (SPADCALL (SPADCALL |upxs| (QREFELT $ 12))
      (SPADCALL (SPADCALL |upxs| (QREFELT $ 11)) |fcn|) (QREFELT $ 10))) 

(DEFUN |UPXSCONS;exp;2$;60| (|upxs| $)
  (|UPXSCONS;applyUnary| (ELT $ 146) |upxs| $)) 

(DEFUN |UPXSCONS;log;2$;61| (|upxs| $)
  (|UPXSCONS;applyUnary| (ELT $ 148) |upxs| $)) 

(DEFUN |UPXSCONS;sin;2$;62| (|upxs| $)
  (|UPXSCONS;applyUnary| (ELT $ 150) |upxs| $)) 

(DEFUN |UPXSCONS;cos;2$;63| (|upxs| $)
  (|UPXSCONS;applyUnary| (ELT $ 152) |upxs| $)) 

(DEFUN |UPXSCONS;tan;2$;64| (|upxs| $)
  (|UPXSCONS;applyUnary| (ELT $ 154) |upxs| $)) 

(DEFUN |UPXSCONS;cot;2$;65| (|upxs| $)
  (|UPXSCONS;applyUnary| (ELT $ 156) |upxs| $)) 

(DEFUN |UPXSCONS;sec;2$;66| (|upxs| $)
  (|UPXSCONS;applyUnary| (ELT $ 158) |upxs| $)) 

(DEFUN |UPXSCONS;csc;2$;67| (|upxs| $)
  (|UPXSCONS;applyUnary| (ELT $ 160) |upxs| $)) 

(DEFUN |UPXSCONS;asin;2$;68| (|upxs| $)
  (|UPXSCONS;applyUnary| (ELT $ 162) |upxs| $)) 

(DEFUN |UPXSCONS;acos;2$;69| (|upxs| $)
  (|UPXSCONS;applyUnary| (ELT $ 164) |upxs| $)) 

(DEFUN |UPXSCONS;atan;2$;70| (|upxs| $)
  (|UPXSCONS;applyUnary| (ELT $ 166) |upxs| $)) 

(DEFUN |UPXSCONS;acot;2$;71| (|upxs| $)
  (|UPXSCONS;applyUnary| (ELT $ 168) |upxs| $)) 

(DEFUN |UPXSCONS;asec;2$;72| (|upxs| $)
  (|UPXSCONS;applyUnary| (ELT $ 170) |upxs| $)) 

(DEFUN |UPXSCONS;acsc;2$;73| (|upxs| $)
  (|UPXSCONS;applyUnary| (ELT $ 172) |upxs| $)) 

(DEFUN |UPXSCONS;sinh;2$;74| (|upxs| $)
  (|UPXSCONS;applyUnary| (ELT $ 174) |upxs| $)) 

(DEFUN |UPXSCONS;cosh;2$;75| (|upxs| $)
  (|UPXSCONS;applyUnary| (ELT $ 176) |upxs| $)) 

(DEFUN |UPXSCONS;tanh;2$;76| (|upxs| $)
  (|UPXSCONS;applyUnary| (ELT $ 178) |upxs| $)) 

(DEFUN |UPXSCONS;coth;2$;77| (|upxs| $)
  (|UPXSCONS;applyUnary| (ELT $ 180) |upxs| $)) 

(DEFUN |UPXSCONS;sech;2$;78| (|upxs| $)
  (|UPXSCONS;applyUnary| (ELT $ 182) |upxs| $)) 

(DEFUN |UPXSCONS;csch;2$;79| (|upxs| $)
  (|UPXSCONS;applyUnary| (ELT $ 184) |upxs| $)) 

(DEFUN |UPXSCONS;asinh;2$;80| (|upxs| $)
  (|UPXSCONS;applyUnary| (ELT $ 186) |upxs| $)) 

(DEFUN |UPXSCONS;acosh;2$;81| (|upxs| $)
  (|UPXSCONS;applyUnary| (ELT $ 188) |upxs| $)) 

(DEFUN |UPXSCONS;atanh;2$;82| (|upxs| $)
  (|UPXSCONS;applyUnary| (ELT $ 190) |upxs| $)) 

(DEFUN |UPXSCONS;acoth;2$;83| (|upxs| $)
  (|UPXSCONS;applyUnary| (ELT $ 192) |upxs| $)) 

(DEFUN |UPXSCONS;asech;2$;84| (|upxs| $)
  (|UPXSCONS;applyUnary| (ELT $ 194) |upxs| $)) 

(DEFUN |UPXSCONS;acsch;2$;85| (|upxs| $)
  (|UPXSCONS;applyUnary| (ELT $ 196) |upxs| $)) 

(DEFUN |UnivariatePuiseuxSeriesConstructor| (&REST #0=#:G2054)
  (PROG ()
    (RETURN
      (PROG (#1=#:G2055)
        (RETURN
          (COND
            ((LETT #1#
                   (|lassocShiftWithFunction| (|devaluateList| #0#)
                       (HGET |$ConstructorCache|
                             '|UnivariatePuiseuxSeriesConstructor|)
                       '|domainEqualList|)
                   . #2=(|UnivariatePuiseuxSeriesConstructor|))
             (|CDRwithIncrement| #1#))
            ('T
             (UNWIND-PROTECT
               (PROG1 (APPLY (|function|
                                 |UnivariatePuiseuxSeriesConstructor;|)
                             #0#)
                 (LETT #1# T . #2#))
               (COND
                 ((NOT #1#)
                  (HREM |$ConstructorCache|
                        '|UnivariatePuiseuxSeriesConstructor|))))))))))) 

(DEFUN |UnivariatePuiseuxSeriesConstructor;| (|#1| |#2|)
  (PROG (DV$1 DV$2 |dv$| $ #0=#:G2051 |pv$|)
    (RETURN
      (PROGN
        (LETT DV$1 (|devaluate| |#1|)
              . #1=(|UnivariatePuiseuxSeriesConstructor|))
        (LETT DV$2 (|devaluate| |#2|) . #1#)
        (LETT |dv$|
              (LIST '|UnivariatePuiseuxSeriesConstructor| DV$1 DV$2) . #1#)
        (LETT $ (GETREFV 215) . #1#)
        (QSETREFV $ 0 |dv$|)
        (QSETREFV $ 3
            (LETT |pv$|
                  (|buildPredVector| 0 0
                      (LIST (|HasCategory| |#1| '(|CommutativeRing|))
                            (|HasCategory| |#1| '(|IntegralDomain|))
                            (OR (|HasCategory| |#1|
                                    '(|CommutativeRing|))
                                (|HasCategory| |#1|
                                    '(|IntegralDomain|)))
                            (|HasCategory| |#1|
                                '(|CharacteristicNonZero|))
                            (|HasCategory| |#1|
                                '(|CharacteristicZero|))
                            (|HasSignature| |#1|
                                (LIST '*
                                      (LIST (|devaluate| |#1|)
                                       '(|Fraction| (|Integer|))
                                       (|devaluate| |#1|))))
                            (AND (|HasCategory| |#1|
                                     '(|PartialDifferentialRing|
                                       (|Symbol|)))
                                 (|HasSignature| |#1|
                                     (LIST '*
                                      (LIST (|devaluate| |#1|)
                                       '(|Fraction| (|Integer|))
                                       (|devaluate| |#1|)))))
                            (|HasCategory| (|Fraction| (|Integer|))
                                '(|SemiGroup|))
                            (|HasCategory| |#1| '(|Field|))
                            (OR (|HasCategory| |#1|
                                    '(|CommutativeRing|))
                                (|HasCategory| |#1| '(|Field|))
                                (|HasCategory| |#1|
                                    '(|IntegralDomain|)))
                            (OR (|HasCategory| |#1| '(|Field|))
                                (|HasCategory| |#1|
                                    '(|IntegralDomain|)))
                            (|HasSignature| |#1|
                                (LIST '**
                                      (LIST (|devaluate| |#1|)
                                       (|devaluate| |#1|)
                                       '(|Fraction| (|Integer|)))))
                            (AND (|HasSignature| |#1|
                                     (LIST '**
                                      (LIST (|devaluate| |#1|)
                                       (|devaluate| |#1|)
                                       '(|Fraction| (|Integer|)))))
                                 (|HasSignature| |#1|
                                     (LIST '|coerce|
                                      (LIST (|devaluate| |#1|)
                                       '(|Symbol|)))))
                            (LETT #0#
                                  (|HasCategory| |#1|
                                      '(|Algebra|
                                        (|Fraction| (|Integer|)))) . #1#)
                            (OR (AND (|HasCategory| |#1|
                                      '(|AlgebraicallyClosedFunctionSpace|
                                        (|Integer|)))
                                     (|HasCategory| |#1|
                                      '(|PrimitiveFunctionCategory|))
                                     (|HasCategory| |#1|
                                      '(|TranscendentalFunctionCategory|))
                                     #0#)
                                (AND #0#
                                     (|HasSignature| |#1|
                                      (LIST '|integrate|
                                       (LIST (|devaluate| |#1|)
                                        (|devaluate| |#1|) '(|Symbol|))))
                                     (|HasSignature| |#1|
                                      (LIST '|variables|
                                       (LIST '(|List| (|Symbol|))
                                        (|devaluate| |#1|)))))))) . #1#))
        (|haddProp| |$ConstructorCache|
            '|UnivariatePuiseuxSeriesConstructor| (LIST DV$1 DV$2)
            (CONS 1 $))
        (|stuffDomainSlots| $)
        (QSETREFV $ 6 |#1|)
        (QSETREFV $ 7 |#2|)
        (QSETREFV $ 8
            (|Record| (|:| |expon| (|Fraction| (|Integer|)))
                (|:| |lSeries| |#2|)))
        (QSETREFV $ 80
            (|HasCategory| |#1| '(|Algebra| (|Fraction| (|Integer|)))))
        (COND
          ((|HasSignature| |#1|
               (LIST '**
                     (LIST (|devaluate| |#1|) (|devaluate| |#1|)
                           '(|Integer|))))
           (COND
             ((|testBitVector| |pv$| 12)
              (QSETREFV $ 90
                  (CONS (|dispatchFunction| |UPXSCONS;eval;$CoefS;31|)
                        $))))))
        (COND
          ((|testBitVector| |pv$| 9)
           (PROGN
             (QSETREFV $ 92
                 (CONS (|dispatchFunction| |UPXSCONS;/;3$;32|) $))
             (QSETREFV $ 93
                 (CONS (|dispatchFunction| |UPXSCONS;inv;2$;33|) $)))))
        (COND
          ((|testBitVector| |pv$| 6)
           (PROGN
             (QSETREFV $ 124
                 (CONS (|dispatchFunction|
                           |UPXSCONS;differentiate;2$;50|)
                       $))
             (COND
               ((|HasCategory| |#1|
                    '(|PartialDifferentialRing| (|Symbol|)))
                (QSETREFV $ 127
                    (CONS (|dispatchFunction|
                              |UPXSCONS;differentiate;$S$;51|)
                          $)))))))
        (COND
          ((|testBitVector| |pv$| 14)
           (PROGN
             (QSETREFV $ 128
                 (CONS (|dispatchFunction| |UPXSCONS;coerce;F$;52|) $))
             NIL
             (QSETREFV $ 135
                 (CONS (|dispatchFunction| |UPXSCONS;integrate;2$;54|)
                       $))
             (COND
               ((|HasSignature| |#1|
                    (LIST '|integrate|
                          (LIST (|devaluate| |#1|) (|devaluate| |#1|)
                                '(|Symbol|))))
                (COND
                  ((|HasSignature| |#1|
                       (LIST '|variables|
                             (LIST '(|List| (|Symbol|))
                                   (|devaluate| |#1|))))
                   (QSETREFV $ 140
                       (CONS (|dispatchFunction|
                                 |UPXSCONS;integrate;$S$;55|)
                             $))))))
             (COND
               ((|HasCategory| |#1|
                    '(|TranscendentalFunctionCategory|))
                (COND
                  ((|HasCategory| |#1| '(|PrimitiveFunctionCategory|))
                   (COND
                     ((|HasCategory| |#1|
                          '(|AlgebraicallyClosedFunctionSpace|
                               (|Integer|)))
                      (PROGN
                        (QSETREFV $ 140
                            (CONS (|dispatchFunction|
                                      |UPXSCONS;integrate;$S$;57|)
                                  $)))))))))
             (COND
               ((|testBitVector| |pv$| 9)
                (QSETREFV $ 145
                    (CONS (|dispatchFunction| |UPXSCONS;**;$F$;58|) $))))
             NIL
             (QSETREFV $ 147
                 (CONS (|dispatchFunction| |UPXSCONS;exp;2$;60|) $))
             (QSETREFV $ 149
                 (CONS (|dispatchFunction| |UPXSCONS;log;2$;61|) $))
             (QSETREFV $ 151
                 (CONS (|dispatchFunction| |UPXSCONS;sin;2$;62|) $))
             (QSETREFV $ 153
                 (CONS (|dispatchFunction| |UPXSCONS;cos;2$;63|) $))
             (QSETREFV $ 155
                 (CONS (|dispatchFunction| |UPXSCONS;tan;2$;64|) $))
             (QSETREFV $ 157
                 (CONS (|dispatchFunction| |UPXSCONS;cot;2$;65|) $))
             (QSETREFV $ 159
                 (CONS (|dispatchFunction| |UPXSCONS;sec;2$;66|) $))
             (QSETREFV $ 161
                 (CONS (|dispatchFunction| |UPXSCONS;csc;2$;67|) $))
             (QSETREFV $ 163
                 (CONS (|dispatchFunction| |UPXSCONS;asin;2$;68|) $))
             (QSETREFV $ 165
                 (CONS (|dispatchFunction| |UPXSCONS;acos;2$;69|) $))
             (QSETREFV $ 167
                 (CONS (|dispatchFunction| |UPXSCONS;atan;2$;70|) $))
             (QSETREFV $ 169
                 (CONS (|dispatchFunction| |UPXSCONS;acot;2$;71|) $))
             (QSETREFV $ 171
                 (CONS (|dispatchFunction| |UPXSCONS;asec;2$;72|) $))
             (QSETREFV $ 173
                 (CONS (|dispatchFunction| |UPXSCONS;acsc;2$;73|) $))
             (QSETREFV $ 175
                 (CONS (|dispatchFunction| |UPXSCONS;sinh;2$;74|) $))
             (QSETREFV $ 177
                 (CONS (|dispatchFunction| |UPXSCONS;cosh;2$;75|) $))
             (QSETREFV $ 179
                 (CONS (|dispatchFunction| |UPXSCONS;tanh;2$;76|) $))
             (QSETREFV $ 181
                 (CONS (|dispatchFunction| |UPXSCONS;coth;2$;77|) $))
             (QSETREFV $ 183
                 (CONS (|dispatchFunction| |UPXSCONS;sech;2$;78|) $))
             (QSETREFV $ 185
                 (CONS (|dispatchFunction| |UPXSCONS;csch;2$;79|) $))
             (QSETREFV $ 187
                 (CONS (|dispatchFunction| |UPXSCONS;asinh;2$;80|) $))
             (QSETREFV $ 189
                 (CONS (|dispatchFunction| |UPXSCONS;acosh;2$;81|) $))
             (QSETREFV $ 191
                 (CONS (|dispatchFunction| |UPXSCONS;atanh;2$;82|) $))
             (QSETREFV $ 193
                 (CONS (|dispatchFunction| |UPXSCONS;acoth;2$;83|) $))
             (QSETREFV $ 195
                 (CONS (|dispatchFunction| |UPXSCONS;asech;2$;84|) $))
             (QSETREFV $ 197
                 (CONS (|dispatchFunction| |UPXSCONS;acsch;2$;85|) $)))))
        $)))) 

(MAKEPROP '|UnivariatePuiseuxSeriesConstructor| '|infovec|
    (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|)
             '|Rep| (|Fraction| 13) |UPXSCONS;puiseux;FULS$;3|
             |UPXSCONS;laurentRep;$ULS;4| |UPXSCONS;rationalPower;$F;5|
             (|Integer|) (0 . |degree|) (5 . *) |UPXSCONS;degree;$F;6|
             (CONS IDENTITY
                   (FUNCALL (|dispatchFunction| |UPXSCONS;One;$;8|) $))
             (11 . |One|) (15 . |One|) (19 . |Zero|)
             (CONS IDENTITY
                   (FUNCALL (|dispatchFunction| |UPXSCONS;Zero;$;7|) $))
             (23 . |One|) (27 . |Zero|) (31 . |Zero|) (|Boolean|)
             (35 . =) |UPXSCONS;coerce;Coef$;11| (41 . <) (47 . -)
             (52 . |monomial|) |UPXSCONS;monomial;CoefF$;9|
             |UPXSCONS;coerce;ULS$;10| (58 . |coerce|) (63 . |coerce|)
             |UPXSCONS;coerce;I$;12| (68 . |denom|) (73 . |numer|)
             (|PositiveInteger|) (78 . |multiplyExponents|)
             (|Union| 7 '"failed") |UPXSCONS;laurentIfCan;$U;13|
             |UPXSCONS;laurent;$ULS;14|
             (|Record| (|:| |k| 13) (|:| |c| 6)) (|Stream| 43)
             (84 . |terms|) (|Record| (|:| |k| 9) (|:| |c| 6))
             (|Stream| 46) (|Mapping| 46 43) (|StreamFunctions2| 43 46)
             (89 . |map|) |UPXSCONS;terms;$S;16| (95 . *)
             (|Union| 13 '"failed") (101 . |retractIfCan|)
             (|Mapping| 43 46) (|StreamFunctions2| 46 43) (106 . |map|)
             (112 . /) (118 . |series|) (|NonNegativeInteger|)
             |UPXSCONS;series;NniS$;18| (123 . *) (129 . |lcm|)
             (135 . /) (141 . =) |UPXSCONS;=;2$B;22| (147 . |pole?|)
             |UPXSCONS;pole?;$B;23| (152 . +) |UPXSCONS;+;3$;25|
             (158 . -) |UPXSCONS;-;3$;26| (164 . *) |UPXSCONS;*;3$;27|
             (170 . **) |UPXSCONS;**;$Nni$;28| (|Union| $ '"failed")
             (176 . |recip|) |UPXSCONS;recip;$U;29| 'RATALG (181 . **)
             (187 . |elt|) (193 . |coefficient|) (199 . |zero?|)
             (204 . |order|) |UPXSCONS;elt;3$;30| (210 . **)
             (|Stream| 6) (216 . |eval|) (222 . |eval|) (228 . /)
             (234 . /) (240 . |inv|) (|Symbol|) (245 . |variable|)
             |UPXSCONS;variable;$S;34| (250 . |center|)
             |UPXSCONS;center;$Coef;35|
             |UPXSCONS;coefficient;$FCoef;36| |UPXSCONS;elt;$FCoef;37|
             (255 . |positive?|) (260 . |order|) |UPXSCONS;order;$F;40|
             |UPXSCONS;order;$2F;41| (265 . |truncate|)
             |UPXSCONS;truncate;$F$;42| (271 . |truncate|)
             |UPXSCONS;truncate;$2F$;43| (278 . |complete|)
             |UPXSCONS;complete;2$;44| (283 . |extend|)
             |UPXSCONS;extend;$F$;45| (|Mapping| 6 6) (289 . |map|)
             |UPXSCONS;map;M2$;46| (295 . |characteristic|)
             |UPXSCONS;characteristic;Nni;47|
             |UPXSCONS;multiplyExponents;$F$;48| (299 . *)
             |UPXSCONS;multiplyExponents;$Pi$;49|
             (305 . |differentiate|) (310 . |coerce|) (315 . -)
             (321 . |differentiate|) (326 . |differentiate|) (332 . *)
             (338 . |differentiate|) (344 . |coerce|) (349 . |zero?|)
             (354 . |inv|) (359 . -) (364 . +) (|Mapping| 6 13)
             (370 . |multiplyCoefficients|) (376 . |integrate|)
             (|List| 94) (381 . |variables|) (386 . |entry?|)
             (392 . |integrate|) (398 . |integrate|)
             (|Union| 6 (|List| 6)) (|FunctionSpaceIntegration| 13 6)
             (404 . |integrate|) (410 . **) (416 . **) (422 . |exp|)
             (427 . |exp|) (432 . |log|) (437 . |log|) (442 . |sin|)
             (447 . |sin|) (452 . |cos|) (457 . |cos|) (462 . |tan|)
             (467 . |tan|) (472 . |cot|) (477 . |cot|) (482 . |sec|)
             (487 . |sec|) (492 . |csc|) (497 . |csc|) (502 . |asin|)
             (507 . |asin|) (512 . |acos|) (517 . |acos|)
             (522 . |atan|) (527 . |atan|) (532 . |acot|)
             (537 . |acot|) (542 . |asec|) (547 . |asec|)
             (552 . |acsc|) (557 . |acsc|) (562 . |sinh|)
             (567 . |sinh|) (572 . |cosh|) (577 . |cosh|)
             (582 . |tanh|) (587 . |tanh|) (592 . |coth|)
             (597 . |coth|) (602 . |sech|) (607 . |sech|)
             (612 . |csch|) (617 . |csch|) (622 . |asinh|)
             (627 . |asinh|) (632 . |acosh|) (637 . |acosh|)
             (642 . |atanh|) (647 . |atanh|) (652 . |acoth|)
             (657 . |acoth|) (662 . |asech|) (667 . |asech|)
             (672 . |acsch|) (677 . |acsch|) (|List| 60) (|List| $)
             (|SparseUnivariatePolynomial| $) (|Union| 199 '"failed")
             (|Record| (|:| |coef| 199) (|:| |generator| $))
             (|Record| (|:| |quotient| $) (|:| |remainder| $))
             (|Record| (|:| |coef1| $) (|:| |coef2| $))
             (|Union| 204 '"failed")
             (|Record| (|:| |coef1| $) (|:| |coef2| $)
                 (|:| |generator| $))
             (|Factored| $)
             (|Record| (|:| |unit| $) (|:| |canonical| $)
                 (|:| |associate| $))
             (|List| 211) (|List| 9) (|SingletonAsOrderedSet|)
             (|SingleInteger|) (|String|) (|OutputForm|))
          '#(~= 682 |zero?| 688 |variables| 693 |variable| 698
             |unitNormal| 703 |unitCanonical| 708 |unit?| 713
             |truncate| 718 |terms| 731 |tanh| 736 |tan| 741
             |subtractIfCan| 746 |squareFreePart| 752 |squareFree| 757
             |sqrt| 762 |sizeLess?| 767 |sinh| 773 |sin| 778 |series|
             783 |sech| 789 |sec| 794 |sample| 799 |retractIfCan| 803
             |retract| 808 |rem| 813 |reductum| 819 |recip| 824
             |rationalPower| 829 |quo| 834 |puiseux| 840
             |principalIdeal| 846 |prime?| 851 |pole?| 856 |pi| 861
             |order| 865 |one?| 876 |nthRoot| 881 |multiplyExponents|
             887 |multiEuclidean| 899 |monomial?| 905 |monomial| 910
             |map| 930 |log| 936 |leadingMonomial| 941
             |leadingCoefficient| 946 |lcm| 951 |laurentRep| 962
             |laurentIfCan| 967 |laurent| 972 |latex| 977 |inv| 982
             |integrate| 987 |hash| 998 |gcdPolynomial| 1003 |gcd| 1009
             |factor| 1020 |extendedEuclidean| 1025 |extend| 1038
             |exquo| 1044 |expressIdealMember| 1050 |exp| 1056 |eval|
             1061 |euclideanSize| 1067 |elt| 1072 |divide| 1084
             |differentiate| 1090 |degree| 1127 |csch| 1132 |csc| 1137
             |coth| 1142 |cot| 1147 |cosh| 1152 |cos| 1157 |complete|
             1162 |coerce| 1167 |coefficient| 1197 |charthRoot| 1203
             |characteristic| 1208 |center| 1212 |atanh| 1217 |atan|
             1222 |associates?| 1227 |asinh| 1233 |asin| 1238 |asech|
             1243 |asec| 1248 |approximate| 1253 |acsch| 1259 |acsc|
             1264 |acoth| 1269 |acot| 1274 |acosh| 1279 |acos| 1284 ^
             1289 |Zero| 1307 |One| 1311 D 1315 = 1352 / 1358 - 1370 +
             1381 ** 1387 * 1417)
          'NIL
          (CONS (|makeByteWordVec2| 11
                    '(0 0 9 0 9 0 9 9 0 9 11 9 0 2 1 0 2 4 5 1 7 6 10
                      11 0 0 0 3 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0
                      0 0 0 0 0 0 0 0 1 2 8 9 9))
                (CONS '#(|UnivariatePuiseuxSeriesConstructorCategory&|
                         NIL |Field&| |UnivariatePowerSeriesCategory&|
                         |EuclideanDomain&| |PowerSeriesCategory&| NIL
                         |UniqueFactorizationDomain&|
                         |AbelianMonoidRing&| |GcdDomain&|
                         |IntegralDomain&| |DivisionRing&| |Algebra&|
                         |Algebra&| |Algebra&| |Module&| |Module&| NIL
                         NIL |Module&| |PartialDifferentialRing&|
                         |DifferentialRing&| NIL NIL NIL NIL |Ring&|
                         NIL NIL NIL NIL NIL NIL NIL NIL
                         |AbelianGroup&| NIL NIL |AbelianMonoid&|
                         |Monoid&| NIL |SemiGroup&| |AbelianSemiGroup&|
                         |TranscendentalFunctionCategory&|
                         |SetCategory&| |RetractableTo&|
                         |RadicalCategory&|
                         |ElementaryFunctionCategory&| NIL
                         |HyperbolicFunctionCategory&|
                         |ArcTrigonometricFunctionCategory&|
                         |TrigonometricFunctionCategory&| NIL
                         |BasicType&| NIL NIL NIL NIL NIL NIL)
                      (CONS '#((|UnivariatePuiseuxSeriesConstructorCategory|
                                   6 7)
                               (|UnivariatePuiseuxSeriesCategory| 6)
                               (|Field|)
                               (|UnivariatePowerSeriesCategory| 6 9)
                               (|EuclideanDomain|)
                               (|PowerSeriesCategory| 6 9 211)
                               (|PrincipalIdealDomain|)
                               (|UniqueFactorizationDomain|)
                               (|AbelianMonoidRing| 6 9) (|GcdDomain|)
                               (|IntegralDomain|) (|DivisionRing|)
                               (|Algebra| 9) (|Algebra| $$)
                               (|Algebra| 6) (|Module| 9) (|Module| $$)
                               (|CharacteristicNonZero|)
                               (|CharacteristicZero|) (|Module| 6)
                               (|PartialDifferentialRing| 94)
                               (|DifferentialRing|) (|CommutativeRing|)
                               (|EntireRing|) (|BiModule| 6 6)
                               (|BiModule| 9 9) (|Ring|)
                               (|BiModule| $$ $$) (|LeftModule| 6)
                               (|RightModule| 6) (|RightModule| 9)
                               (|LeftModule| 9) (|Rng|)
                               (|LeftModule| $$) (|RightModule| $$)
                               (|AbelianGroup|)
                               (|CancellationAbelianMonoid|)
                               (|SemiRing|) (|AbelianMonoid|)
                               (|Monoid|) (|SemiRng|) (|SemiGroup|)
                               (|AbelianSemiGroup|)
                               (|TranscendentalFunctionCategory|)
                               (|SetCategory|) (|RetractableTo| 7)
                               (|RadicalCategory|)
                               (|ElementaryFunctionCategory|)
                               (|ArcHyperbolicFunctionCategory|)
                               (|HyperbolicFunctionCategory|)
                               (|ArcTrigonometricFunctionCategory|)
                               (|TrigonometricFunctionCategory|)
                               (|unitsKnown|) (|BasicType|)
                               (|CoercibleTo| 214) (|CommutativeStar|)
                               (|noZeroDivisors|) (|Eltable| $$ $$)
                               (|canonicalUnitNormal|)
                               (|canonicalsClosed|))
                            (|makeByteWordVec2| 214
                                '(1 7 13 0 14 2 9 0 0 13 15 0 6 0 18 0
                                  9 0 19 0 7 0 20 0 7 0 22 0 6 0 23 0 9
                                  0 24 2 9 25 0 0 26 2 9 25 0 0 28 1 9
                                  0 0 29 2 7 0 6 13 30 1 7 0 6 33 1 6 0
                                  13 34 1 9 13 0 36 1 9 13 0 37 2 7 0 0
                                  38 39 1 7 44 0 45 2 49 47 48 44 50 2
                                  9 0 13 0 52 1 9 53 0 54 2 56 44 55 47
                                  57 2 9 0 13 13 58 1 7 0 44 59 2 9 0 0
                                  0 62 2 13 0 0 0 63 2 9 0 0 0 64 2 7
                                  25 0 0 65 1 7 25 0 67 2 7 0 0 0 69 2
                                  7 0 0 0 71 2 7 0 0 0 73 2 7 0 0 60 75
                                  1 7 77 0 78 2 7 0 0 9 81 2 7 0 0 0 82
                                  2 7 6 0 13 83 1 6 25 0 84 2 7 13 0 13
                                  85 2 6 0 0 9 87 2 7 88 0 6 89 2 0 88
                                  0 6 90 2 7 0 0 0 91 2 0 0 0 0 92 1 0
                                  0 0 93 1 7 94 0 95 1 7 6 0 97 1 13 25
                                  0 101 1 7 13 0 102 2 7 0 0 13 105 3 7
                                  0 0 13 13 107 1 7 0 0 109 2 7 0 0 13
                                  111 2 7 0 113 0 114 0 6 60 116 2 9 0
                                  38 0 119 1 7 0 0 121 1 6 0 9 122 2 9
                                  0 0 0 123 1 0 0 0 124 2 6 0 0 94 125
                                  2 0 0 6 0 126 2 0 0 0 94 127 1 0 0 9
                                  128 1 9 25 0 129 1 9 0 0 130 1 0 0 0
                                  131 2 9 0 0 0 132 2 7 0 133 0 134 1 0
                                  0 0 135 1 6 136 0 137 2 136 25 94 0
                                  138 2 6 0 0 94 139 2 0 0 0 94 140 2
                                  142 141 6 94 143 2 0 0 0 13 144 2 0 0
                                  0 9 145 1 7 0 0 146 1 0 0 0 147 1 7 0
                                  0 148 1 0 0 0 149 1 7 0 0 150 1 0 0 0
                                  151 1 7 0 0 152 1 0 0 0 153 1 7 0 0
                                  154 1 0 0 0 155 1 7 0 0 156 1 0 0 0
                                  157 1 7 0 0 158 1 0 0 0 159 1 7 0 0
                                  160 1 0 0 0 161 1 7 0 0 162 1 0 0 0
                                  163 1 7 0 0 164 1 0 0 0 165 1 7 0 0
                                  166 1 0 0 0 167 1 7 0 0 168 1 0 0 0
                                  169 1 7 0 0 170 1 0 0 0 171 1 7 0 0
                                  172 1 0 0 0 173 1 7 0 0 174 1 0 0 0
                                  175 1 7 0 0 176 1 0 0 0 177 1 7 0 0
                                  178 1 0 0 0 179 1 7 0 0 180 1 0 0 0
                                  181 1 7 0 0 182 1 0 0 0 183 1 7 0 0
                                  184 1 0 0 0 185 1 7 0 0 186 1 0 0 0
                                  187 1 7 0 0 188 1 0 0 0 189 1 7 0 0
                                  190 1 0 0 0 191 1 7 0 0 192 1 0 0 0
                                  193 1 7 0 0 194 1 0 0 0 195 1 7 0 0
                                  196 1 0 0 0 197 2 0 25 0 0 1 1 0 25 0
                                  1 1 0 209 0 1 1 0 94 0 96 1 2 208 0 1
                                  1 2 0 0 1 1 2 25 0 1 2 0 0 0 9 106 3
                                  0 0 0 9 9 108 1 0 47 0 51 1 14 0 0
                                  179 1 14 0 0 155 2 0 77 0 0 1 1 9 0 0
                                  1 1 9 207 0 1 1 14 0 0 1 2 9 25 0 0 1
                                  1 14 0 0 175 1 14 0 0 151 2 0 0 60 47
                                  61 1 14 0 0 183 1 14 0 0 159 0 0 0 1
                                  1 0 40 0 1 1 0 7 0 1 2 9 0 0 0 1 1 0
                                  0 0 1 1 0 77 0 79 1 0 9 0 12 2 9 0 0
                                  0 1 2 0 0 9 7 10 1 9 202 199 1 1 9 25
                                  0 1 1 0 25 0 68 0 14 0 1 1 0 9 0 103
                                  2 0 9 0 9 104 1 0 25 0 1 2 14 0 0 13
                                  1 2 0 0 0 9 118 2 0 0 0 38 120 2 9
                                  201 199 0 1 1 0 25 0 1 3 0 0 0 209
                                  210 1 3 0 0 0 211 9 1 2 0 0 6 9 31 2
                                  0 0 113 0 115 1 14 0 0 149 1 0 0 0 1
                                  1 0 6 0 1 2 9 0 0 0 1 1 9 0 199 1 1 0
                                  7 0 11 1 0 40 0 41 1 0 7 0 42 1 0 213
                                  0 1 1 9 0 0 93 2 15 0 0 94 140 1 14 0
                                  0 135 1 0 212 0 1 2 9 200 200 200 1 1
                                  9 0 199 1 2 9 0 0 0 1 1 9 207 0 1 3 9
                                  205 0 0 0 1 2 9 206 0 0 1 2 0 0 0 9
                                  112 2 2 77 0 0 1 2 9 201 199 0 1 1 14
                                  0 0 147 2 12 88 0 6 90 1 9 60 0 1 2 8
                                  0 0 0 86 2 0 6 0 9 100 2 9 203 0 0 1
                                  2 7 0 0 136 1 2 7 0 0 94 127 3 7 0 0
                                  136 198 1 3 7 0 0 94 60 1 1 6 0 0 124
                                  2 6 0 0 60 1 1 0 9 0 16 1 14 0 0 185
                                  1 14 0 0 161 1 14 0 0 181 1 14 0 0
                                  157 1 14 0 0 177 1 14 0 0 153 1 0 0 0
                                  110 1 14 0 9 128 1 1 0 6 27 1 2 0 0 1
                                  1 0 0 7 32 1 0 0 13 35 1 0 214 0 1 2
                                  0 6 0 9 99 1 4 77 0 1 0 0 60 117 1 0
                                  6 0 98 1 14 0 0 191 1 14 0 0 167 2 2
                                  25 0 0 1 1 14 0 0 187 1 14 0 0 163 1
                                  14 0 0 195 1 14 0 0 171 2 13 6 0 9 1
                                  1 14 0 0 197 1 14 0 0 173 1 14 0 0
                                  193 1 14 0 0 169 1 14 0 0 189 1 14 0
                                  0 165 2 9 0 0 13 1 2 0 0 0 60 1 2 0 0
                                  0 38 1 0 0 0 21 0 0 0 17 2 7 0 0 136
                                  1 2 7 0 0 94 1 3 7 0 0 94 60 1 3 7 0
                                  0 136 198 1 1 6 0 0 1 2 6 0 0 60 1 2
                                  0 25 0 0 66 2 9 0 0 0 92 2 9 0 0 6 1
                                  1 0 0 0 131 2 0 0 0 0 72 2 0 0 0 0 70
                                  2 14 0 0 9 145 2 14 0 0 0 1 2 9 0 0
                                  13 144 2 0 0 0 60 76 2 0 0 0 38 1 2
                                  14 0 9 0 1 2 14 0 0 9 1 2 0 0 0 6 1 2
                                  0 0 6 0 126 2 0 0 13 0 1 2 0 0 0 0 74
                                  2 0 0 60 0 1 2 0 0 38 0 1)))))
          '|lookupComplete|)) 
