Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
Download

build open-axiom

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