[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] about Expression Integer
From: |
Ralf Hemmecke |
Subject: |
Re: [Axiom-developer] about Expression Integer |
Date: |
Tue, 21 Feb 2006 22:53:02 +0100 |
User-agent: |
Thunderbird 1.5 (X11/20051201) |
(4) -> differentiate(ex1,x)$S
This function seems to come from 'DifferentialExtension'
No. I rather think it comes from 'PartialDifferentialRing(Symbol)'.
Look at Hyperdoc. Browse SUP and view Operations->Origins (Filter
"differentiate").
So I am confused as to why
'differentiate(univariate(p,v))' does not seem to yield this
same result. Can you help?
Not really. I think there is a bug here, since x is sometimes treated as
the indeterminate of SUP and sometimes not.
It seems to me that the interrelationship between all of these
polynomial categories, domains and packages is remarkably
convoluted.
I don't really think so. The problematic thing is to take
"Expression Integer" as an argument in the construction of SUP.
Could you explain in which sense SUP(Expression Integer) should be
semantically different from Expression(Integer)?
Isn't an element of SUP(Expression Integer) also an expression?
It is obvious that Axiom can construct SUP(Expression Integer), but does
this make sense?
I do not fully understand the "Expression" constructor, but I somehow
consider it as a domain that contains every expression. Therefore, I
think constructing higher domains that are built on Expression should
not yield a bigger class than Expression itself.
What would be the relation between
SUP(Expression Integer) and Expression(Integer) on a semantic level?
Equality, subset, superset?
Ralf
- RE: [Axiom-developer] about Expression Integer, (continued)
- RE: [Axiom-developer] about Expression Integer, Bill Page, 2006/02/19
- Re: [Axiom-developer] about Expression Integer, Martin Rubey, 2006/02/19
- DMP([x], DMP([x], Integer)) (was Re: [Axiom-developer] about Expression Integer), Ralf Hemmecke, 2006/02/20
- RE: [Axiom-developer] about Expression Integer, Bill Page, 2006/02/20
- Re: [Axiom-developer] about Expression Integer, Francois Maltey, 2006/02/20
- RE: [Axiom-developer] about Expression Integer, Bill Page, 2006/02/20
- Re: [Axiom-developer] about Expression Integer, Ralf Hemmecke, 2006/02/21
- RE: [Axiom-developer] about Expression Integer, Bill Page, 2006/02/21
- Re: [Axiom-developer] about Expression Integer, Ralf Hemmecke, 2006/02/21
- RE: [Axiom-developer] about Expression Integer, Bill Page, 2006/02/21
- Re: [Axiom-developer] about Expression Integer,
Ralf Hemmecke <=
- RE: [Axiom-developer] about Expression Integer, Bill Page, 2006/02/21
- Re: [Axiom-developer] about Expression Integer, Martin Rubey, 2006/02/22
- RE: [Axiom-developer] about Expression Integer, Bill Page, 2006/02/23
- Re: [Axiom-developer] about Expression Integer, Martin Rubey, 2006/02/22
- RE: [Axiom-developer] about Expression Integer, Bill Page, 2006/02/22
- Re: [Axiom-developer] about Expression Integer, Francois Maltey, 2006/02/22
- Re: [Axiom-developer] about Expression Integer, Martin Rubey, 2006/02/23
- RE: [Axiom-developer] about Expression Integer, Bill Page, 2006/02/23
- Re: [Axiom-developer] about Expression Integer, Ralf Hemmecke, 2006/02/24
- Re: [Axiom-developer] about Expression Integer, William Sit, 2006/02/24