build open-axiom
2450
(|AlgebraicallyClosedField&| S)
|package|
(((|AlgebraicallyClosedField&| |#1|)
(CATEGORY |package|
(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|))))
(|AlgebraicallyClosedField|))
(T |AlgebraicallyClosedField&|))
(NIL T)
"algfunc.spad"
((|zerosOf| (((|List| $) (|Polynomial| $)) 32 T ELT)
(((|List| $) (|SparseUnivariatePolynomial| $)) 16 T ELT)
(((|List| $) (|SparseUnivariatePolynomial| $) (|Symbol|)) 20 T ELT))
(|zeroOf| (($ (|Polynomial| $)) 30 T ELT)
(($ (|SparseUnivariatePolynomial| $)) 11 T ELT)
(($ (|SparseUnivariatePolynomial| $) (|Symbol|)) 60 T ELT))
(|rootsOf| (((|List| $) (|Polynomial| $)) 33 T ELT)
(((|List| $) (|SparseUnivariatePolynomial| $)) 18 T ELT)
(((|List| $) (|SparseUnivariatePolynomial| $) (|Symbol|)) 19 T ELT))
(|rootOf| (($ (|Polynomial| $)) 31 T ELT)
(($ (|SparseUnivariatePolynomial| $)) 13 T ELT)
(($ (|SparseUnivariatePolynomial| $) (|Symbol|)) NIL T ELT)))
((|ACF-;zeroOf;SupS$;12| ($ (|SparseUnivariatePolynomial| $) (|Symbol|)))
(|ACF-;rootsOf;PL;11| ((|List| $) (|Polynomial| $)))
(|ACF-;zerosOf;PL;10| ((|List| $) (|Polynomial| $)))
(|ACF-;rootOf;P$;9| ($ (|Polynomial| $)))
(|ACF-;zeroOf;P$;8| ($ (|Polynomial| $)))
(|ACF-;zerosOf;SupSL;6|
((|List| $) (|SparseUnivariatePolynomial| $) (|Symbol|)))
(|ACF-;rootsOf;SupSL;5|
((|List| $) (|SparseUnivariatePolynomial| $) (|Symbol|)))
(|ACF-;rootsOf;SupL;4| ((|List| $) (|SparseUnivariatePolynomial| $)))
(|ACF-;zerosOf;SupL;3| ((|List| $) (|SparseUnivariatePolynomial| $)))
(|ACF-;rootOf;Sup$;2| ($ (|SparseUnivariatePolynomial| $)))
(|ACF-;zeroOf;Sup$;1| ($ (|SparseUnivariatePolynomial| $))))
ACF-
(("ancestors" 0 NIL) ("parents" 0 NIL) ("abbreviation" 0 2445)
("predicates" 0 NIL) ("attributes" 0 NIL) ("signaturesAndLocals" 0 1742)
("superDomain" 0 NIL) ("operationAlist" 0 1064) ("modemaps" 0 NIL)
("sourceFile" 0 1049) ("dualSignature" 0 1041) ("constructorModemap" 0 63)
("constructorKind" 0 53) ("constructorForm" 0 21))