
(/VERSIONCHECK 2) 

(DEFUN |GuessAlgebraicNumber| ()
  (PROG ()
    (RETURN
      (PROG (#0=#:G136007)
        (RETURN
          (COND
            ((LETT #0#
                   (HGET |$ConstructorCache| '|GuessAlgebraicNumber|)
                   . #1=(|GuessAlgebraicNumber|))
             (|CDRwithIncrement| (CDAR #0#)))
            ('T
             (UNWIND-PROTECT
               (PROG1 (CDDAR (HPUT |$ConstructorCache|
                                   '|GuessAlgebraicNumber|
                                   (LIST
                                    (CONS NIL
                                     (CONS 1 (|GuessAlgebraicNumber;|))))))
                 (LETT #0# T . #1#))
               (COND
                 ((NOT #0#)
                  (HREM |$ConstructorCache| '|GuessAlgebraicNumber|))))))))))) 

(DEFUN |GuessAlgebraicNumber;| ()
  (PROG (|dv$| $ |pv$|)
    (RETURN
      (PROGN
        (LETT |dv$| '(|GuessAlgebraicNumber|)
              . #0=(|GuessAlgebraicNumber|))
        (LETT $ (GETREFV 28) . #0#)
        (QSETREFV $ 0 |dv$|)
        (QSETREFV $ 3
            (LETT |pv$|
                  (|buildPredVector| 0 0
                      (LIST (|HasCategory| (|AlgebraicNumber|)
                                '(|RetractableTo| (|Symbol|))))) . #0#))
        (|haddProp| |$ConstructorCache| '|GuessAlgebraicNumber| NIL
            (CONS 1 $))
        (|stuffDomainSlots| $)
        $)))) 

(MAKEPROP '|GuessAlgebraicNumber| '|infovec|
    (LIST '#(NIL NIL NIL NIL NIL
             (|Guess| 6 6 9 6 (NRTEVAL (ELT $ 8)) (NRTEVAL (ELT $ 10)))
             (|AlgebraicNumber|) (|MappingPackage1| 6) (0 . |id|)
             (|Expression| (|Integer|)) (5 . |coerce|)
             (|Record| (|:| |function| 9)
                 (|:| |order| (|NonNegativeInteger|)))
             (|Mapping| 23 24 25) (|Symbol|)
             (|Mapping| (|Stream| (|UnivariateFormalPowerSeries| 6))
                 (|UnivariateFormalPowerSeries| 6))
             (|Mapping|
                 (|Stream|
                     (|UnivariateFormalPowerSeries|
                         (|SparseUnivariatePolynomial| 6)))
                 (|UnivariateFormalPowerSeries|
                     (|SparseUnivariatePolynomial| 6)))
             (|Mapping| (|Stream| 9) 9 13)
             (|Mapping| 6 (|NonNegativeInteger|) (|NonNegativeInteger|)
                 (|SparseUnivariatePolynomial| 6))
             (|Mapping| (|SparseUnivariatePolynomial| 6)
                 (|NonNegativeInteger|) (|NonNegativeInteger|)
                 (|UnivariateFormalPowerSeries|
                     (|SparseUnivariatePolynomial| 6)))
             (|Mapping| 9 (|NonNegativeInteger|) 13 9)
             (|Mapping| 24 (|NonNegativeInteger|))
             (|Record| (|:| |guessStream| 14)
                 (|:| |degreeStream| (|Stream| (|NonNegativeInteger|)))
                 (|:| |testStream| 15) (|:| |exprStream| 16) (|:| A 17)
                 (|:| AF 18) (|:| AX 19) (|:| C 20))
             (|Mapping| 21 25) (|List| 11) (|List| 6)
             (|List| (|GuessOption|)) (|List| 12) (|List| 13))
          '#() 'NIL
          (CONS (|makeByteWordVec2| 1 'NIL)
                (CONS '#()
                      (CONS '#()
                            (|makeByteWordVec2| 10
                                '(1 7 6 6 8 1 9 0 6 10)))))
          '|lookupIncomplete|)) 

(MAKEPROP '|GuessAlgebraicNumber| 'NILADIC T) 
