[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] non extending category
From: |
Bill Page |
Subject: |
[Axiom-developer] non extending category |
Date: |
Fri, 10 Feb 2006 09:23:36 -0500 |
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.
- RE: [Axiom-developer] Help with JET, (continued)
- RE: [Axiom-developer] Help with JET, Bill Page, 2006/02/09
- RE: [Axiom-developer] Help with JET, Vanuxem Grégory, 2006/02/11
- RE: [Axiom-developer] Help with JET, Bill Page, 2006/02/11
- RE: [Axiom-developer] Help with JET, Vanuxem Grégory, 2006/02/11
- Re: [Axiom-developer] Help with JET, root, 2006/02/11
- RE: [Axiom-developer] Help with JET, Vanuxem Grégory, 2006/02/11
- RE: [Axiom-developer] Help with JET, Vanuxem Grégory, 2006/02/11
- RE: [Axiom-developer] Help with JET, Vanuxem Grégory, 2006/02/13
- RE: [Axiom-developer] Help with JET, Bill Page, 2006/02/13
- RE: [Axiom-developer] Help with JET, Bill Page, 2006/02/11
[Axiom-developer] non extending category,
Bill Page <=
- Re: [Axiom-developer] non extending category, C Y, 2006/02/10
- RE: [Axiom-developer] non extending category, Bill Page, 2006/02/10
- Re: [Axiom-developer] non extending category, Ralf Hemmecke, 2006/02/10
- RE: [Axiom-developer] non extending category, Bill Page, 2006/02/10
- Re: [Axiom-developer] non extending category, Ralf Hemmecke, 2006/02/12
- Re: [Axiom-developer] non extending category, root, 2006/02/12
- RE: [Axiom-developer] non extending category, Bill Page, 2006/02/12
- Re: [Axiom-developer] non extending category, Ralf Hemmecke, 2006/02/13
- [Axiom-developer] What is SubDomain (was: non extending category), Bill Page, 2006/02/13
- [Axiom-developer] Re: What is SubDomain, Ralf Hemmecke, 2006/02/13