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))