
(/VERSIONCHECK 2) 

(DEFUN |ACFS-;rootOf;2S;1| (|p| $)
  (PROG (|l|)
    (RETURN
     (COND
      ((NULL (LETT |l| (SPADCALL |p| (QREFELT $ 9)) |ACFS-;rootOf;2S;1|))
       (|error| "rootOf: constant expression"))
      ('T (SPADCALL |p| (|SPADfirst| |l|) (QREFELT $ 11))))))) 

(DEFUN |ACFS-;rootsOf;SL;2| (|p| $)
  (PROG (|l|)
    (RETURN
     (COND
      ((NULL (LETT |l| (SPADCALL |p| (QREFELT $ 9)) |ACFS-;rootsOf;SL;2|))
       (|error| "rootsOf: constant expression"))
      ('T (SPADCALL |p| (|SPADfirst| |l|) (QREFELT $ 14))))))) 

(DEFUN |ACFS-;zeroOf;2S;3| (|p| $)
  (PROG (|l|)
    (RETURN
     (COND
      ((NULL (LETT |l| (SPADCALL |p| (QREFELT $ 9)) |ACFS-;zeroOf;2S;3|))
       (|error| "zeroOf: constant expression"))
      ('T (SPADCALL |p| (|SPADfirst| |l|) (QREFELT $ 16))))))) 

(DEFUN |ACFS-;zerosOf;SL;4| (|p| $)
  (PROG (|l|)
    (RETURN
     (COND
      ((NULL (LETT |l| (SPADCALL |p| (QREFELT $ 9)) |ACFS-;zerosOf;SL;4|))
       (|error| "zerosOf: constant expression"))
      ('T (SPADCALL |p| (|SPADfirst| |l|) (QREFELT $ 18))))))) 

(DEFUN |ACFS-;zeroOf;SSS;5| (|p| |x| $)
  (PROG (|n| |f|)
    (RETURN
     (SEQ
      (LETT |n|
            (SPADCALL
             (LETT |f|
                   (SPADCALL |p| (SPADCALL |x| (QREFELT $ 21)) (QREFELT $ 24))
                   . #1=(|ACFS-;zeroOf;SSS;5|))
             (QREFELT $ 27))
            . #1#)
      (EXIT
       (COND
        ((< 0 (SPADCALL (SPADCALL |f| (QREFELT $ 32)) (QREFELT $ 34)))
         (|error| "zeroOf: variable appears in denom"))
        ((EQL (SPADCALL |n| (QREFELT $ 34)) 0)
         (|error| "zeroOf: constant expression"))
        ('T (SPADCALL |n| |x| (QREFELT $ 36))))))))) 

(DEFUN |ACFS-;rootOf;SSS;6| (|p| |x| $)
  (PROG (|n| |f|)
    (RETURN
     (SEQ
      (LETT |n|
            (SPADCALL
             (LETT |f|
                   (SPADCALL |p| (SPADCALL |x| (QREFELT $ 21)) (QREFELT $ 24))
                   . #1=(|ACFS-;rootOf;SSS;6|))
             (QREFELT $ 27))
            . #1#)
      (EXIT
       (COND
        ((< 0 (SPADCALL (SPADCALL |f| (QREFELT $ 32)) (QREFELT $ 34)))
         (|error| "roofOf: variable appears in denom"))
        ((EQL (SPADCALL |n| (QREFELT $ 34)) 0)
         (|error| "rootOf: constant expression"))
        ('T (SPADCALL |n| |x| (QREFELT $ 38))))))))) 

(DEFUN |ACFS-;zerosOf;SSL;7| (|p| |x| $)
  (PROG (|n| |f|)
    (RETURN
     (SEQ
      (LETT |n|
            (SPADCALL
             (LETT |f|
                   (SPADCALL |p| (SPADCALL |x| (QREFELT $ 21)) (QREFELT $ 24))
                   . #1=(|ACFS-;zerosOf;SSL;7|))
             (QREFELT $ 27))
            . #1#)
      (EXIT
       (COND
        ((< 0 (SPADCALL (SPADCALL |f| (QREFELT $ 32)) (QREFELT $ 34)))
         (|error| "zerosOf: variable appears in denom"))
        ((EQL (SPADCALL |n| (QREFELT $ 34)) 0) NIL)
        ('T (SPADCALL |n| |x| (QREFELT $ 40))))))))) 

(DEFUN |ACFS-;rootsOf;SSL;8| (|p| |x| $)
  (PROG (|n| |f|)
    (RETURN
     (SEQ
      (LETT |n|
            (SPADCALL
             (LETT |f|
                   (SPADCALL |p| (SPADCALL |x| (QREFELT $ 21)) (QREFELT $ 24))
                   . #1=(|ACFS-;rootsOf;SSL;8|))
             (QREFELT $ 27))
            . #1#)
      (EXIT
       (COND
        ((< 0 (SPADCALL (SPADCALL |f| (QREFELT $ 32)) (QREFELT $ 34)))
         (|error| "roofsOf: variable appears in denom"))
        ((EQL (SPADCALL |n| (QREFELT $ 34)) 0) NIL)
        ('T (SPADCALL |n| |x| (QREFELT $ 42))))))))) 

(DEFUN |ACFS-;rootsOf;SupSL;9| (|p| |y| $)
  (PROG (|r|)
    (RETURN
     (SEQ (LETT |r| (SPADCALL |p| (QREFELT $ 45)) |ACFS-;rootsOf;SupSL;9|)
          (EXIT
           (COND ((QEQCAR |r| 0) (SPADCALL (QCDR |r|) |y| (QREFELT $ 14)))
                 ('T (SPADCALL |p| |y| (QREFELT $ 47))))))))) 

(DEFUN |ACFS-;zerosOf;SupSL;10| (|p| |y| $)
  (PROG (|r|)
    (RETURN
     (SEQ (LETT |r| (SPADCALL |p| (QREFELT $ 45)) |ACFS-;zerosOf;SupSL;10|)
          (EXIT
           (COND ((QEQCAR |r| 0) (SPADCALL (QCDR |r|) |y| (QREFELT $ 18)))
                 ('T (SPADCALL |p| |y| (QREFELT $ 49))))))))) 

(DEFUN |ACFS-;zeroOf;SupSS;11| (|p| |y| $)
  (PROG (|r|)
    (RETURN
     (SEQ (LETT |r| (SPADCALL |p| (QREFELT $ 45)) |ACFS-;zeroOf;SupSS;11|)
          (EXIT
           (COND ((QEQCAR |r| 0) (SPADCALL (QCDR |r|) |y| (QREFELT $ 16)))
                 ('T (SPADCALL |p| |y| (QREFELT $ 51))))))))) 

(DEFUN |AlgebraicallyClosedFunctionSpace&| (|#1| |#2|)
  (PROG (|pv$| $ |dv$| DV$2 DV$1)
    (RETURN
     (PROGN
      (LETT DV$1 (|devaluate| |#1|) . #1=(|AlgebraicallyClosedFunctionSpace&|))
      (LETT DV$2 (|devaluate| |#2|) . #1#)
      (LETT |dv$| (LIST '|AlgebraicallyClosedFunctionSpace&| DV$1 DV$2) . #1#)
      (LETT $ (GETREFV 54) . #1#)
      (QSETREFV $ 0 |dv$|)
      (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #1#))
      (|stuffDomainSlots| $)
      (QSETREFV $ 6 |#1|)
      (QSETREFV $ 7 |#2|)
      $)))) 

(MAKEPROP '|AlgebraicallyClosedFunctionSpace&| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|) (|List| 10)
              (0 . |variables|) (|Symbol|) (5 . |rootOf|) |ACFS-;rootOf;2S;1|
              (|List| $) (11 . |rootsOf|) |ACFS-;rootsOf;SL;2| (17 . |zeroOf|)
              |ACFS-;zeroOf;2S;3| (23 . |zerosOf|) |ACFS-;zerosOf;SL;4|
              (|Kernel| 6) (29 . |kernel|) (|Fraction| 35) (|Kernel| $)
              (34 . |univariate|) (|SparseUnivariatePolynomial| 6)
              (|Fraction| 25) (40 . |numer|) (45 . |Zero|) (49 . |Zero|)
              (53 . |Zero|) (57 . |Zero|) (61 . |denom|) (|NonNegativeInteger|)
              (66 . |degree|) (|SparseUnivariatePolynomial| $) (71 . |zeroOf|)
              |ACFS-;zeroOf;SSS;5| (77 . |rootOf|) |ACFS-;rootOf;SSS;6|
              (83 . |zerosOf|) |ACFS-;zerosOf;SSL;7| (89 . |rootsOf|)
              |ACFS-;rootsOf;SSL;8| (|Union| 6 '"failed") (95 . |retractIfCan|)
              (|AlgebraicallyClosedField&| 6) (100 . |rootsOf|)
              |ACFS-;rootsOf;SupSL;9| (106 . |zerosOf|)
              |ACFS-;zerosOf;SupSL;10| (112 . |zeroOf|) |ACFS-;zeroOf;SupSS;11|
              (|Polynomial| $))
           '#(|zerosOf| 118 |zeroOf| 135 |rootsOf| 152 |rootOf| 169) 'NIL
           (CONS (|makeByteWordVec2| 1 'NIL)
                 (CONS '#()
                       (CONS '#()
                             (|makeByteWordVec2| 52
                                                 '(1 6 8 0 9 2 6 0 0 10 11 2 6
                                                   13 0 10 14 2 6 0 0 10 16 2 6
                                                   13 0 10 18 1 20 0 10 21 2 6
                                                   22 0 23 24 1 26 25 0 27 0 6
                                                   0 28 0 7 0 29 0 26 0 30 0 25
                                                   0 31 1 26 25 0 32 1 25 33 0
                                                   34 2 6 0 35 10 36 2 6 0 35
                                                   10 38 2 6 13 35 10 40 2 6 13
                                                   35 10 42 1 25 44 0 45 2 46
                                                   13 35 10 47 2 46 13 35 10 49
                                                   2 46 0 35 10 51 2 0 13 0 10
                                                   41 1 0 13 0 19 2 0 13 35 10
                                                   50 2 0 0 0 10 37 1 0 0 0 17
                                                   2 0 0 35 10 52 2 0 13 0 10
                                                   43 1 0 13 0 15 2 0 13 35 10
                                                   48 2 0 0 0 10 39 1 0 0 0
                                                   12)))))
           '|lookupComplete|)) 
