Tim, In http://wiki.axiom-developer.org/SandBoxJetBundleExpression
I see another strange SPAD message: --------------non extending category---------------------- .. JetBundleExpression #1 of cat (|Join| (|JetBundleFunctionCategory| |#1|) (|FunctionSpace| (|Integer|)) (|AlgebraicallyClosedFunctionSpace| (|Integer|)) (|TranscendentalFunctionCategory|) (|CombinatorialOpsCategory|) (|LiouvillianFunctionCategory|) (|SpecialFunctionCategory|) (CATEGORY |domain| (SIGNATURE |coerce| ($ (|Expression| (|Integer|)))) (SIGNATURE |coerce| ((|Expression| (|Integer|)) $)) (SIGNATURE |coerce| ($ (|SparseMultivariatePolynomial| (|Integer|) (|Kernel| $)))) (SIGNATURE |coerce| ($ (|SparseMultivariatePolynomial| (|Expression| (|Integer|)) |#1|))) (SIGNATURE |numerJP| ((|SparseMultivariatePolynomial| (|Expression| (|Integer|)) |#1|) $)) (SIGNATURE |reduce| ($ $)) (SIGNATURE |function| ($ (|Symbol|) (|List| $) (|NonNegativeInteger|))))) has no (IF (|has| (|Integer|) (|IntegralDomain|)) (PROGN (ATTRIBUTE (|AlgebraicallyClosedFunctionSpace| (|Integer|))) (ATTRIBUTE (|TranscendentalFunctionCategory|)) (ATTRIBUTE (|CombinatorialOpsCategory|)) (ATTRIBUTE (|LiouvillianFunctionCategory|)) (ATTRIBUTE (|SpecialFunctionCategory|)) (SIGNATURE |reduce| ($ $)) (SIGNATURE |number?| ((|Boolean|) $)) (SIGNATURE |simplifyPower| ($ $ (|Integer|))) (IF (|has| (|Integer|) (|GcdDomain|)) (PROGN (SIGNATURE |factorPolynomial| ((|Factored| (|SparseUnivariatePolynomial| $)) (|SparseUnivariatePolynomial| $))) (SIGNATURE |squareFreePolynomial| ((|Factored| (|SparseUnivariatePolynomial| $)) (|SparseUnivariatePolynomial| $)))) |noBranch|) (IF (|has| (|Integer|) (|RetractableTo| (|Integer|))) (ATTRIBUTE (|RetractableTo| (|AlgebraicNumber|))) |noBranch|)) |noBranch|) -------------- Any idea what this means? What is a "non extending category"? Is it trying to say that JetBundleExpression is missing some function definitions? Regards, Bill page. _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
