[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] Re: non extending category
From: |
root |
Subject: |
[Axiom-developer] Re: non extending category |
Date: |
Fri, 10 Feb 2006 11:32:55 -0500 |
.. 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|)))))
(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|)
join is trying to create a new type that has all of the parents
(|JetBundleFunctionCategory| |#1|)
(|FunctionSpace| (|Integer|))
(|AlgebraicallyClosedFunctionSpace| (|Integer|))
(|TranscendentalFunctionCategory|)
(|CombinatorialOpsCategory|)
(|LiouvillianFunctionCategory|)
(|SpecialFunctionCategory|)
with this new domain (represented by its signature list).
in addition if the new type HAS certain attributes (the "HAS" conditions)
then the new type will have these additional signatures.
so, simplifying, we are trying to combine types A, B, and C
with a new type D. Type D is represented by its signature list.
if the new type D HAS certain properties (such as being a GCDDomain
then we can add certain additional signatures (like 'factorPolynomial'.
thus if we can do GCDs of the new type
then we can factor polynomials of the new type.
i don't see any error message on the wiki page about 'non-extending
category'
t
- Re: [Axiom-developer] Re: Aldor and Axiom, (continued)
- Re: [Axiom-developer] Re: Aldor and Axiom, root, 2006/02/15
- Re: [Axiom-developer] RE: Aldor and Axiom, Jay Belanger, 2006/02/15
- Re: [Axiom-developer] RE: Aldor and Axiom, Martin Rubey, 2006/02/14
- [Axiom-developer] The symbol 4 (was Re: Aldor and Axiom), Ralf Hemmecke, 2006/02/14
- Re: [Axiom-developer] The symbol 4 (was Re: Aldor and Axiom), Martin Rubey, 2006/02/15
- Re: [Axiom-developer] The symbol 4 (was Re: Aldor and Axiom), Ralf Hemmecke, 2006/02/15
- [Axiom-developer] Re: Aldor and Axiom (was Re: What is SubDomain), Ralf Hemmecke, 2006/02/14
- [Axiom-developer] Re: Aldor and Axiom (was Re: What is SubDomain), Ralf Hemmecke, 2006/02/14
- [Axiom-developer] RE: What is SubDomain, Bill Page, 2006/02/13
- Re: [Axiom-developer] What is SubDomain (was: non extending category), Scott Morrison, 2006/02/14
- [Axiom-developer] Re: non extending category,
root <=
- [Axiom-developer] RE: non extending category, Bill Page, 2006/02/10
Re: [Axiom-developer] Help with JET, Vanuxem Grégory, 2006/02/10