
(/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 (#0=#:G1833 #1=#:G1834 #2=#:G1835 |eq| #3=#:G1836)
    (RETURN
      (SEQ (SPADCALL |x|
               (PROGN
                 (LETT #0# NIL . #4=(|RF;eval;FLF;9|))
                 (SEQ (LETT |eq| NIL . #4#) (LETT #1# |l| . #4#) G190
                      (COND
                        ((OR (ATOM #1#)
                             (PROGN (LETT |eq| (CAR #1#) . #4#) NIL))
                         #5=(GO G191)))
                      (SEQ (EXIT (LETT #0#
                                       (CONS
                                        (SPADCALL
                                         (SPADCALL |eq| (QREFELT $ 35))
                                         (QREFELT $ 36))
                                        #0#) . #4#)))
                      (LETT #1# (CDR #1#) . #4#) #6=(GO G190) G191
                      (EXIT (NREVERSE0 #0#))))
               (PROGN
                 (LETT #2# NIL . #4#)
                 (SEQ (LETT |eq| NIL . #4#) (LETT #3# |l| . #4#) G190
                      (COND
                        ((OR (ATOM #3#)
                             (PROGN (LETT |eq| (CAR #3#) . #4#) NIL))
                         #5#))
                      (SEQ (EXIT (LETT #2#
                                       (CONS
                                        (SPADCALL |eq| (QREFELT $ 37))
                                        #2#) . #4#)))
                      (LETT #3# (CDR #3#) . #4#) #6# G191
                      (EXIT (NREVERSE0 #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| $)
  (SPADCALL (CONS #'|RF;peval!0| (VECTOR $ |lv| |ls|))
      (CONS #'|RF;peval!1| $) |p| (QREFELT $ 44))) 

(DEFUN |RF;peval!1| (|#1| $) (SPADCALL |#1| (QREFELT $ 11))) 

(DEFUN |RF;peval!0| (|#1| $$)
  (|RF;foo| (QREFELT $$ 2) (QREFELT $$ 1) |#1| (QREFELT $$ 0))) 

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

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

(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|)) 
