[Axiom-developer] non extending category

[Bill Page]

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.