
(/VERSIONCHECK 2) 

(DEFUN |REAL0Q;convert2PolInt| (|f| $)
  (PROG (#0=#:G1820 |c| #1=#:G1821 |pden|)
    (RETURN
      (SEQ (LETT |pden|
                 (SPADCALL
                     (PROGN
                       (LETT #0# NIL . #2=(|REAL0Q;convert2PolInt|))
                       (SEQ (LETT |c| NIL . #2#)
                            (LETT #1#
                                  (SPADCALL |f| (QREFELT $ 8)) . #2#)
                            G190
                            (COND
                              ((OR (ATOM #1#)
                                   (PROGN
                                     (LETT |c| (CAR #1#) . #2#)
                                     NIL))
                               (GO G191)))
                            (SEQ (EXIT (LETT #0#
                                        (CONS
                                         (SPADCALL |c| (QREFELT $ 11))
                                         #0#) . #2#)))
                            (LETT #1# (CDR #1#) . #2#) (GO G190) G191
                            (EXIT (NREVERSE0 #0#))))
                     (QREFELT $ 13)) . #2#)
           (EXIT (SPADCALL (ELT $ 14)
                     (SPADCALL |pden| |f| (QREFELT $ 15))
                     (QREFELT $ 19))))))) 

(DEFUN |REAL0Q;realZeros;PolL;2| (|f| $)
  (SPADCALL (|REAL0Q;convert2PolInt| |f| $) (QREFELT $ 23))) 

(DEFUN |REAL0Q;realZeros;PolFL;3| (|f| |rn| $)
  (SPADCALL (|REAL0Q;convert2PolInt| |f| $) |rn| (QREFELT $ 25))) 

(DEFUN |REAL0Q;realZeros;PolRL;4| (|f| |bounds| $)
  (SPADCALL (|REAL0Q;convert2PolInt| |f| $) |bounds| (QREFELT $ 27))) 

(DEFUN |REAL0Q;realZeros;PolRFL;5| (|f| |bounds| |rn| $)
  (SPADCALL (|REAL0Q;convert2PolInt| |f| $) |bounds| |rn|
      (QREFELT $ 29))) 

(DEFUN |REAL0Q;refine;PolRFR;6| (|f| |int| |eps| $)
  (SPADCALL (|REAL0Q;convert2PolInt| |f| $) |int| |eps| (QREFELT $ 31))) 

(DEFUN |REAL0Q;refine;Pol2RU;7| (|f| |int| |bounds| $)
  (SPADCALL (|REAL0Q;convert2PolInt| |f| $) |int| |bounds|
      (QREFELT $ 34))) 

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

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

(MAKEPROP '|RealZeroPackageQ| '|infovec|
    (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|List| 10)
             (0 . |coefficients|) (|Integer|) (|Fraction| 9)
             (5 . |denom|) (|List| $) (10 . |lcm|) (15 . |numer|)
             (20 . *) (|SparseUnivariatePolynomial| 9) (|Mapping| 9 10)
             (|UnivariatePolynomialCategoryFunctions2| 10 6 9 16)
             (26 . |map|) (|Record| (|:| |left| 10) (|:| |right| 10))
             (|List| 20) (|RealZeroPackage| 16) (32 . |realZeros|)
             |REAL0Q;realZeros;PolL;2| (37 . |realZeros|)
             |REAL0Q;realZeros;PolFL;3| (43 . |realZeros|)
             |REAL0Q;realZeros;PolRL;4| (49 . |realZeros|)
             |REAL0Q;realZeros;PolRFL;5| (56 . |refine|)
             |REAL0Q;refine;PolRFR;6| (|Union| 20 '"failed")
             (63 . |refine|) |REAL0Q;refine;Pol2RU;7|)
          '#(|refine| 70 |realZeros| 84) 'NIL
          (CONS (|makeByteWordVec2| 1 'NIL)
                (CONS '#()
                      (CONS '#()
                            (|makeByteWordVec2| 35
                                '(1 6 7 0 8 1 10 9 0 11 1 9 0 12 13 1
                                  10 9 0 14 2 6 0 9 0 15 2 18 16 17 6
                                  19 1 22 21 16 23 2 22 21 16 10 25 2
                                  22 21 16 20 27 3 22 21 16 20 10 29 3
                                  22 20 16 20 10 31 3 22 33 16 20 20 34
                                  3 0 33 6 20 20 35 3 0 20 6 20 10 32 1
                                  0 21 6 24 2 0 21 6 10 26 2 0 21 6 20
                                  28 3 0 21 6 20 10 30)))))
          '|lookupComplete|)) 
