[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-math] About rewrited expressions for power, log, exp and so.

From: Martin Rubey
Subject: Re: [Axiom-math] About rewrited expressions for power, log, exp and so.
Date: 30 Nov 2006 16:58:26 +0100
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.4

Francois Maltey <address@hidden> writes:

> Hello,
> I try to understand how axiom is sure in Expression domain.
> and what suppositions axiom does.
> It seems that axiom makes a lot of fuzzy simplifications.


> But then how can I test if standard exemples of axiom continue to be right
> with a new elemntry.spad ?

Well, I'm still hoping for a unit testing package. But in fact, I wouldn't mind
if some "standard example" stops working, but in exchange a dozen others start

The "simplifier" in EXPR is nearly non-existent, and those bits that do exist
are quite broken.

>     sqrt (u^2)  ---> sqrt (u^2) I agree  sqrt ((-1)^2) = 1
> but (u^a)^(1/a) ---> u          not coherent with a=2

quite right. In fact, I believe I corrected this behaviour in "hackroot"
once. I didn't realize that there were other places with that nonsense, too.

> What rules might apply axiom for expressions ?  Is there a reason that theses
> rules aren't usual mathematic rules ?  What is the axiom policy ? What is
> your advice ?

My advice is: look at MuPaD and see how things are done there. I think they got
it right.

Apart from that, implement many good computable domains.

Great that you are working on this stuff.


reply via email to

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