[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

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?


reply via email to

[Prev in Thread] Current Thread [Next in Thread]