
(/VERSIONCHECK 2) 

(DEFUN |RF;coerce;RF;1| (|r| $)
  (SPADCALL (SPADCALL |r| (QREFELT $ 8)) (QREFELT $ 10))) 

(DEFUN |RF;variables;FL;2| (|f| $) (SPADCALL |f| (QREFELT $ 14))) 

(DEFUN |RF;mainVariable;FU;3| (|f| $) (SPADCALL |f| (QREFELT $ 17))) 

(DEFUN |RF;univariate;FSF;4| (|f| |x| $) (SPADCALL |f| |x| (QREFELT $ 21))) 

(DEFUN |RF;multivariate;FSF;5| (|f| |x| $) (SPADCALL |f| |x| (QREFELT $ 23))) 

(DEFUN |RF;eval;FS2F;6| (|x| |s| |y| $)
  (SPADCALL |x| (LIST |s|) (LIST |y|) (QREFELT $ 26))) 

(DEFUN |RF;eval;FEF;7| (|x| |eq| $) (SPADCALL |x| (LIST |eq|) (QREFELT $ 29))) 

(DEFUN |RF;foo| (|ls| |lv| |x| $)
  (SPADCALL |ls| |lv| |x| (SPADCALL |x| (QREFELT $ 32)) (QREFELT $ 34))) 

(DEFUN |RF;eval;FLF;9| (|x| |l| $)
  (PROG (#1=#:G1823 |eq| #2=#:G1822 #3=#:G1821 #4=#:G1820)
    (RETURN
     (SEQ
      (SPADCALL |x|
                (PROGN
                 (LETT #4# NIL . #5=(|RF;eval;FLF;9|))
                 (SEQ (LETT |eq| NIL . #5#) (LETT #3# |l| . #5#) G190
                      (COND
                       ((OR (ATOM #3#) (PROGN (LETT |eq| (CAR #3#) . #5#) NIL))
                        (GO G191)))
                      (SEQ
                       (EXIT
                        (LETT #4#
                              (CONS
                               (SPADCALL (SPADCALL |eq| (QREFELT $ 35))
                                         (QREFELT $ 36))
                               #4#)
                              . #5#)))
                      (LETT #3# (CDR #3#) . #5#) (GO G190) G191
                      (EXIT (NREVERSE #4#))))
                (PROGN
                 (LETT #2# NIL . #5#)
                 (SEQ (LETT |eq| NIL . #5#) (LETT #1# |l| . #5#) G190
                      (COND
                       ((OR (ATOM #1#) (PROGN (LETT |eq| (CAR #1#) . #5#) NIL))
                        (GO G191)))
                      (SEQ
                       (EXIT
                        (LETT #2# (CONS (SPADCALL |eq| (QREFELT $ 37)) #2#)
                              . #5#)))
                      (LETT #1# (CDR #1#) . #5#) (GO G190) G191
                      (EXIT (NREVERSE #2#))))
                (QREFELT $ 26)))))) 

(DEFUN |RF;eval;FLLF;10| (|x| |ls| |lv| $)
  (SPADCALL (|RF;peval| (SPADCALL |x| (QREFELT $ 38)) |ls| |lv| $)
            (|RF;peval| (SPADCALL |x| (QREFELT $ 39)) |ls| |lv| $)
            (QREFELT $ 40))) 

(DEFUN |RF;peval| (|p| |ls| |lv| $)
  (PROG ()
    (RETURN
     (SPADCALL (CONS #'|RF;peval!0| (VECTOR $ |lv| |ls|)) (ELT $ 11) |p|
               (QREFELT $ 44))))) 

(DEFUN |RF;peval!0| (|z1| $$)
  (PROG (|ls| |lv| $)
    (LETT |ls| (QREFELT $$ 2) . #1=(|RF;peval|))
    (LETT |lv| (QREFELT $$ 1) . #1#)
    (LETT $ (QREFELT $$ 0) . #1#)
    (RETURN (PROGN (|RF;foo| |ls| |lv| |z1| $))))) 

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

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

(MAKEPROP '|RationalFunction| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|Polynomial| 6)
              (0 . |coerce|) (|Fraction| 7) (5 . |coerce|) |RF;coerce;RF;1|
              (|List| 20)
              (|PolynomialCategoryQuotientFunctions| (|IndexedExponents| 20) 20
                                                     6 7 9)
              (10 . |variables|) |RF;variables;FL;2| (|Union| 20 '"failed")
              (15 . |mainVariable|) |RF;mainVariable;FU;3|
              (|Fraction| (|SparseUnivariatePolynomial| 9)) (|Symbol|)
              (20 . |univariate|) |RF;univariate;FSF;4| (26 . |multivariate|)
              |RF;multivariate;FSF;5| (|List| 9) |RF;eval;FLLF;10|
              |RF;eval;FS2F;6| (|List| 30) |RF;eval;FLF;9| (|Equation| 9)
              |RF;eval;FEF;7| (32 . |coerce|) (|ListToMap| 20 9) (37 . |match|)
              (45 . |lhs|) (50 . |retract|) (55 . |rhs|) (60 . |numer|)
              (65 . |denom|) (70 . /) (|Mapping| 9 20) (|Mapping| 9 6)
              (|PolynomialCategoryLifting| (|IndexedExponents| 20) 20 6 7 9)
              (76 . |map|))
           '#(|variables| 83 |univariate| 88 |multivariate| 94 |mainVariable|
              100 |eval| 105 |coerce| 131)
           'NIL
           (CONS (|makeByteWordVec2| 1 'NIL)
                 (CONS '#()
                       (CONS '#()
                             (|makeByteWordVec2| 44
                                                 '(1 7 0 6 8 1 9 0 7 10 1 13 12
                                                   9 14 1 13 16 9 17 2 13 19 9
                                                   20 21 2 13 9 19 20 23 1 9 0
                                                   20 32 4 33 9 12 25 20 9 34 1
                                                   30 9 0 35 1 9 20 0 36 1 30 9
                                                   0 37 1 9 7 0 38 1 9 7 0 39 2
                                                   9 0 0 0 40 3 43 9 41 42 7 44
                                                   1 0 12 9 15 2 0 19 9 20 22 2
                                                   0 9 19 20 24 1 0 16 9 18 3 0
                                                   9 9 12 25 26 3 0 9 9 20 9 27
                                                   2 0 9 9 30 31 2 0 9 9 28 29
                                                   1 0 9 6 11)))))
           '|lookupComplete|)) 
