code.lsp

(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Thing|) |ACFS-;rootOf;2$;1|)) 

(DECLAIM
 (FTYPE (FUNCTION (|%Thing| |%Shell|) (|%List| *)) |ACFS-;rootsOf;$L;2|)) 

(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Thing|) |ACFS-;zeroOf;2$;3|)) 

(DECLAIM
 (FTYPE (FUNCTION (|%Thing| |%Shell|) (|%List| *)) |ACFS-;zerosOf;$L;4|)) 

(DECLAIM
 (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|) |ACFS-;zeroOf;$S$;5|)) 

(DECLAIM
 (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|) |ACFS-;rootOf;$S$;6|)) 

(DECLAIM
 (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) (|%List| *))
  |ACFS-;zerosOf;$SL;7|)) 

(DECLAIM
 (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) (|%List| *))
  |ACFS-;rootsOf;$SL;8|)) 

(DECLAIM
 (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) (|%List| *))
  |ACFS-;rootsOf;SupSL;9|)) 

(DECLAIM
 (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) (|%List| *))
  |ACFS-;zerosOf;SupSL;10|)) 

(DECLAIM
 (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|)
  |ACFS-;zeroOf;SupS$;11|)) 

(DEFUN |ACFS-;rootOf;2$;1| (|p| $)
  (LET ((|l| (SPADCALL |p| (|shellEntry| $ 10))))
    (COND ((NULL |l|) (|error| "rootOf: constant expression"))
          (T (SPADCALL |p| (|SPADfirst| |l|) (|shellEntry| $ 14)))))) 

(DEFUN |ACFS-;rootsOf;$L;2| (|p| $)
  (LET ((|l| (SPADCALL |p| (|shellEntry| $ 10))))
    (COND ((NULL |l|) (|error| "rootsOf: constant expression"))
          (T (SPADCALL |p| (|SPADfirst| |l|) (|shellEntry| $ 17)))))) 

(DEFUN |ACFS-;zeroOf;2$;3| (|p| $)
  (LET ((|l| (SPADCALL |p| (|shellEntry| $ 10))))
    (COND ((NULL |l|) (|error| "zeroOf: constant expression"))
          (T (SPADCALL |p| (|SPADfirst| |l|) (|shellEntry| $ 19)))))) 

(DEFUN |ACFS-;zerosOf;$L;4| (|p| $)
  (LET ((|l| (SPADCALL |p| (|shellEntry| $ 10))))
    (COND ((NULL |l|) (|error| "zerosOf: constant expression"))
          (T (SPADCALL |p| (|SPADfirst| |l|) (|shellEntry| $ 21)))))) 

(DEFUN |ACFS-;zeroOf;$S$;5| (|p| |x| $)
  (LET* ((|f|
          (SPADCALL |p| (SPADCALL |x| (|shellEntry| $ 24))
                    (|shellEntry| $ 28)))
         (|n| (SPADCALL |f| (|shellEntry| $ 31))))
    (COND
     ((PLUSP (SPADCALL (SPADCALL |f| (|shellEntry| $ 32)) (|shellEntry| $ 34)))
      (|error| "zeroOf: variable appears in denom"))
     ((ZEROP (SPADCALL |n| (|shellEntry| $ 34)))
      (|error| "zeroOf: constant expression"))
     (T (SPADCALL |n| |x| (|shellEntry| $ 38)))))) 

(DEFUN |ACFS-;rootOf;$S$;6| (|p| |x| $)
  (LET* ((|f|
          (SPADCALL |p| (SPADCALL |x| (|shellEntry| $ 24))
                    (|shellEntry| $ 28)))
         (|n| (SPADCALL |f| (|shellEntry| $ 31))))
    (COND
     ((PLUSP (SPADCALL (SPADCALL |f| (|shellEntry| $ 32)) (|shellEntry| $ 34)))
      (|error| "roofOf: variable appears in denom"))
     ((ZEROP (SPADCALL |n| (|shellEntry| $ 34)))
      (|error| "rootOf: constant expression"))
     (T (SPADCALL |n| |x| (|shellEntry| $ 40)))))) 

(DEFUN |ACFS-;zerosOf;$SL;7| (|p| |x| $)
  (LET* ((|f|
          (SPADCALL |p| (SPADCALL |x| (|shellEntry| $ 24))
                    (|shellEntry| $ 28)))
         (|n| (SPADCALL |f| (|shellEntry| $ 31))))
    (COND
     ((PLUSP (SPADCALL (SPADCALL |f| (|shellEntry| $ 32)) (|shellEntry| $ 34)))
      (|error| "zerosOf: variable appears in denom"))
     ((ZEROP (SPADCALL |n| (|shellEntry| $ 34))) NIL)
     (T (SPADCALL |n| |x| (|shellEntry| $ 44)))))) 

(DEFUN |ACFS-;rootsOf;$SL;8| (|p| |x| $)
  (LET* ((|f|
          (SPADCALL |p| (SPADCALL |x| (|shellEntry| $ 24))
                    (|shellEntry| $ 28)))
         (|n| (SPADCALL |f| (|shellEntry| $ 31))))
    (COND
     ((PLUSP (SPADCALL (SPADCALL |f| (|shellEntry| $ 32)) (|shellEntry| $ 34)))
      (|error| "roofsOf: variable appears in denom"))
     ((ZEROP (SPADCALL |n| (|shellEntry| $ 34))) NIL)
     (T (SPADCALL |n| |x| (|shellEntry| $ 46)))))) 

(DEFUN |ACFS-;rootsOf;SupSL;9| (|p| |y| $)
  (LET ((|r| (SPADCALL |p| (|shellEntry| $ 49))))
    (COND ((ZEROP (CAR |r|)) (SPADCALL (CDR |r|) |y| (|shellEntry| $ 17)))
          (T (SPADCALL |p| |y| (|shellEntry| $ 51)))))) 

(DEFUN |ACFS-;zerosOf;SupSL;10| (|p| |y| $)
  (LET ((|r| (SPADCALL |p| (|shellEntry| $ 49))))
    (COND ((ZEROP (CAR |r|)) (SPADCALL (CDR |r|) |y| (|shellEntry| $ 21)))
          (T (SPADCALL |p| |y| (|shellEntry| $ 53)))))) 

(DEFUN |ACFS-;zeroOf;SupS$;11| (|p| |y| $)
  (LET ((|r| (SPADCALL |p| (|shellEntry| $ 49))))
    (COND ((ZEROP (CAR |r|)) (SPADCALL (CDR |r|) |y| (|shellEntry| $ 19)))
          (T (SPADCALL |p| |y| (|shellEntry| $ 55)))))) 

(DEFUN |AlgebraicallyClosedFunctionSpace&| (|#1| |#2|)
  (LET* ((|dv$1| (|devaluate| |#1|))
         (|dv$2| (|devaluate| |#2|))
         (|dv$| (LIST '|AlgebraicallyClosedFunctionSpace&| |dv$1| |dv$2|))
         ($ (|newShell| 58))
         (|pv$| (|buildPredVector| 0 0 NIL)))
    (PROGN
     (SETF (|shellEntry| $ 0) |dv$|)
     (SETF (|shellEntry| $ 3) |pv$|)
     (|stuffDomainSlots| $)
     (SETF (|shellEntry| $ 6) |#1|)
     (SETF (|shellEntry| $ 7) |#2|)
     $))) 

(MAKEPROP '|AlgebraicallyClosedFunctionSpace&| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|) (|Symbol|)
              (|List| 8) (0 . |variables|) (|Boolean|) (5 . |empty?|)
              (10 . |first|) (15 . |rootOf|) |ACFS-;rootOf;2$;1| (|List| $)
              (21 . |rootsOf|) |ACFS-;rootsOf;$L;2| (27 . |zeroOf|)
              |ACFS-;zeroOf;2$;3| (33 . |zerosOf|) |ACFS-;zerosOf;$L;4|
              (|Kernel| 6) (39 . |kernel|) (|SparseUnivariatePolynomial| $)
              (|Fraction| 25) (|Kernel| $) (44 . |univariate|)
              (|SparseUnivariatePolynomial| 6) (|Fraction| 29) (50 . |numer|)
              (55 . |denom|) (|NonNegativeInteger|) (60 . |degree|)
              (65 . |positive?|) (70 . |Zero|) (74 . =) (80 . |zeroOf|)
              |ACFS-;zeroOf;$S$;5| (86 . |rootOf|) |ACFS-;rootOf;$S$;6|
              (|List| 6) (92 . |empty|) (96 . |zerosOf|) |ACFS-;zerosOf;$SL;7|
              (102 . |rootsOf|) |ACFS-;rootsOf;$SL;8| (|Union| 6 '"failed")
              (108 . |retractIfCan|) (|AlgebraicallyClosedField&| 6)
              (113 . |rootsOf|) |ACFS-;rootsOf;SupSL;9| (119 . |zerosOf|)
              |ACFS-;zerosOf;SupSL;10| (125 . |zeroOf|) |ACFS-;zeroOf;SupS$;11|
              (|Polynomial| $))
           '#(|zerosOf| 131 |zeroOf| 148 |rootsOf| 165 |rootOf| 182) 'NIL
           (CONS (|makeByteWordVec2| 1 'NIL)
                 (CONS '#()
                       (CONS '#()
                             (|makeByteWordVec2| 56
                                                 '(1 6 9 0 10 1 9 11 0 12 1 9 8
                                                   0 13 2 6 0 0 8 14 2 6 16 0 8
                                                   17 2 6 0 0 8 19 2 6 16 0 8
                                                   21 1 23 0 8 24 2 6 26 0 27
                                                   28 1 30 29 0 31 1 30 29 0 32
                                                   1 29 33 0 34 1 33 11 0 35 0
                                                   33 0 36 2 33 11 0 0 37 2 6 0
                                                   25 8 38 2 6 0 25 8 40 0 42 0
                                                   43 2 6 16 25 8 44 2 6 16 25
                                                   8 46 1 29 48 0 49 2 50 16 25
                                                   8 51 2 50 16 25 8 53 2 50 0
                                                   25 8 55 2 0 16 0 8 45 1 0 16
                                                   0 22 2 0 16 25 8 54 2 0 0 0
                                                   8 39 1 0 0 0 20 2 0 0 25 8
                                                   56 2 0 16 0 8 47 1 0 16 0 18
                                                   2 0 16 25 8 52 2 0 0 0 8 41
                                                   1 0 0 0 15)))))
           '|lookupComplete|)) 

(SETF (|dbTemplate| (|constructorDB| '|AlgebraicallyClosedFunctionSpace&|))
        #(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|) (|Symbol|)
          (|List| 8) (0 . |variables|) (|Boolean|) (5 . |empty?|)
          (10 . |first|) (15 . |rootOf|) |ACFS-;rootOf;2$;1| (|List| $)
          (21 . |rootsOf|) |ACFS-;rootsOf;$L;2| (27 . |zeroOf|)
          |ACFS-;zeroOf;2$;3| (33 . |zerosOf|) |ACFS-;zerosOf;$L;4|
          (|Kernel| 6) (39 . |kernel|) (|SparseUnivariatePolynomial| $)
          (|Fraction| 25) (|Kernel| $) (44 . |univariate|)
          (|SparseUnivariatePolynomial| 6) (|Fraction| 29) (50 . |numer|)
          (55 . |denom|) (|NonNegativeInteger|) (60 . |degree|)
          (65 . |positive?|) (70 . |Zero|) (74 . =) (80 . |zeroOf|)
          |ACFS-;zeroOf;$S$;5| (86 . |rootOf|) |ACFS-;rootOf;$S$;6| (|List| 6)
          (92 . |empty|) (96 . |zerosOf|) |ACFS-;zerosOf;$SL;7|
          (102 . |rootsOf|) |ACFS-;rootsOf;$SL;8| (|Union| 6 '"failed")
          (108 . |retractIfCan|) (|AlgebraicallyClosedField&| 6)
          (113 . |rootsOf|) |ACFS-;rootsOf;SupSL;9| (119 . |zerosOf|)
          |ACFS-;zerosOf;SupSL;10| (125 . |zeroOf|) |ACFS-;zeroOf;SupS$;11|
          (|Polynomial| $))) 

(SETF (|dbLookupFunction|
       (|constructorDB| '|AlgebraicallyClosedFunctionSpace&|))
        '|lookupComplete|) 

(SETF (|dbConstructorForm|
       (|constructorDB| '|AlgebraicallyClosedFunctionSpace&|))
        '(|AlgebraicallyClosedFunctionSpace&| S R)) 

(SETF (|dbConstructorKind|
       (|constructorDB| '|AlgebraicallyClosedFunctionSpace&|))
        '|package|) 

(SETF (|dbConstructorModemap|
       (|constructorDB| '|AlgebraicallyClosedFunctionSpace&|))
        '(((|AlgebraicallyClosedFunctionSpace&| |#1| |#2|)
           (CATEGORY |package|
            (SIGNATURE |zerosOf| ((|List| |#1|) |#1| (|Symbol|)))
            (SIGNATURE |zeroOf| (|#1| |#1| (|Symbol|)))
            (SIGNATURE |zerosOf| ((|List| |#1|) |#1|))
            (SIGNATURE |zeroOf| (|#1| |#1|))
            (SIGNATURE |rootsOf| ((|List| |#1|) |#1| (|Symbol|)))
            (SIGNATURE |rootOf| (|#1| |#1| (|Symbol|)))
            (SIGNATURE |rootsOf| ((|List| |#1|) |#1|))
            (SIGNATURE |rootOf| (|#1| |#1|))
            (SIGNATURE |zerosOf|
             ((|List| |#1|) (|SparseUnivariatePolynomial| |#1|) (|Symbol|)))
            (SIGNATURE |zerosOf|
             ((|List| |#1|) (|SparseUnivariatePolynomial| |#1|)))
            (SIGNATURE |zerosOf| ((|List| |#1|) (|Polynomial| |#1|)))
            (SIGNATURE |zeroOf|
             (|#1| (|SparseUnivariatePolynomial| |#1|) (|Symbol|)))
            (SIGNATURE |zeroOf| (|#1| (|SparseUnivariatePolynomial| |#1|)))
            (SIGNATURE |zeroOf| (|#1| (|Polynomial| |#1|)))
            (SIGNATURE |rootsOf|
             ((|List| |#1|) (|SparseUnivariatePolynomial| |#1|) (|Symbol|)))
            (SIGNATURE |rootsOf|
             ((|List| |#1|) (|SparseUnivariatePolynomial| |#1|)))
            (SIGNATURE |rootsOf| ((|List| |#1|) (|Polynomial| |#1|)))
            (SIGNATURE |rootOf|
             (|#1| (|SparseUnivariatePolynomial| |#1|) (|Symbol|)))
            (SIGNATURE |rootOf| (|#1| (|SparseUnivariatePolynomial| |#1|)))
            (SIGNATURE |rootOf| (|#1| (|Polynomial| |#1|))))
           (|AlgebraicallyClosedFunctionSpace| |#2|) (|IntegralDomain|))
          (T |AlgebraicallyClosedFunctionSpace&|))) 

(SETF (|dbDualSignature|
       (|constructorDB| '|AlgebraicallyClosedFunctionSpace&|))
        '(NIL T T)) 

(SETF (|dbSourceFile| (|constructorDB| '|AlgebraicallyClosedFunctionSpace&|))
        '"algfunc.spad") 

(SETF (|dbOperations| (|constructorDB| '|AlgebraicallyClosedFunctionSpace&|))
        '((|zerosOf| (((|List| $) (|Polynomial| $)) NIL T ELT)
           (((|List| $) (|SparseUnivariatePolynomial| $)) NIL T ELT)
           (((|List| $) (|SparseUnivariatePolynomial| $) (|Symbol|)) 54 T ELT)
           (((|List| $) $) 22 T ELT) (((|List| $) $ (|Symbol|)) 45 T ELT))
          (|zeroOf| (($ (|Polynomial| $)) NIL T ELT)
           (($ (|SparseUnivariatePolynomial| $)) NIL T ELT)
           (($ (|SparseUnivariatePolynomial| $) (|Symbol|)) 56 T ELT)
           (($ $) 20 T ELT) (($ $ (|Symbol|)) 39 T ELT))
          (|rootsOf| (((|List| $) (|Polynomial| $)) NIL T ELT)
           (((|List| $) (|SparseUnivariatePolynomial| $)) NIL T ELT)
           (((|List| $) (|SparseUnivariatePolynomial| $) (|Symbol|)) 52 T ELT)
           (((|List| $) $) 18 T ELT) (((|List| $) $ (|Symbol|)) 47 T ELT))
          (|rootOf| (($ (|Polynomial| $)) NIL T ELT)
           (($ (|SparseUnivariatePolynomial| $)) NIL T ELT)
           (($ (|SparseUnivariatePolynomial| $) (|Symbol|)) NIL T ELT)
           (($ $) 15 T ELT) (($ $ (|Symbol|)) 41 T ELT)))) 

(SETF (|dbOperationTable|
       (|constructorDB| '|AlgebraicallyClosedFunctionSpace&|))
        #(|zerosOf| 131 |zeroOf| 148 |rootsOf| 165 |rootOf| 182)) 

(SETF (|dbCapsuleDefinitions|
       (|constructorDB| '|AlgebraicallyClosedFunctionSpace&|))
        '((|ACFS-;zeroOf;SupS$;11|
           ($ (|SparseUnivariatePolynomial| $) (|Symbol|)))
          (|ACFS-;zerosOf;SupSL;10|
           ((|List| $) (|SparseUnivariatePolynomial| $) (|Symbol|)))
          (|ACFS-;rootsOf;SupSL;9|
           ((|List| $) (|SparseUnivariatePolynomial| $) (|Symbol|)))
          (|ACFS-;rootsOf;$SL;8| ((|List| $) $ (|Symbol|)))
          (|ACFS-;zerosOf;$SL;7| ((|List| $) $ (|Symbol|)))
          (|ACFS-;rootOf;$S$;6| ($ $ (|Symbol|)))
          (|ACFS-;zeroOf;$S$;5| ($ $ (|Symbol|)))
          (|ACFS-;zerosOf;$L;4| ((|List| $) $)) (|ACFS-;zeroOf;2$;3| ($ $))
          (|ACFS-;rootsOf;$L;2| ((|List| $) $)) (|ACFS-;rootOf;2$;1| ($ $)))) 

(SETF (|dbAbbreviation| (|constructorDB| '|AlgebraicallyClosedFunctionSpace&|))
        'ACFS-)