index.KAF

2975                
(|AlgebraicallyClosedFunctionSpace&| S R)
|package|
(((|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&|))
(NIL T T)
"algfunc.spad"
((|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)))
((|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| ($ $)))
ACFS-
(("ancestors" 0 NIL) ("parents" 0 NIL) ("abbreviation" 0 2969)
 ("predicates" 0 NIL) ("attributes" 0 NIL) ("signaturesAndLocals" 0 2402)
 ("superDomain" 0 NIL) ("operationAlist" 0 1492) ("modemaps" 0 NIL)
 ("sourceFile" 0 1477) ("dualSignature" 0 1467) ("constructorModemap" 0 73)
 ("constructorKind" 0 63) ("constructorForm" 0 21))