[Top][All Lists]

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

[Axiom-developer] exquo issue

From: Martin Rubey
Subject: [Axiom-developer] exquo issue
Date: Fri, 1 Oct 2004 15:23:51 +0000

Dear all,

as you may have noticed, 

exquo(simplify((A-2^a)*(A+2^a))::UP(A,EXPR INT),(A-2^a)::UP(A,EXPR INT))

currently fails. The reason is that Axiom does not know that



Of course, that problem is unsolvable in general. However, I'm quite sure that
the current way deals with the problem (it ignores it) is that good.

I see the following possibility:

Every domain (that has a zero element) should know whether it can determine
whether one of its members is zero or not.

If it cannot, it should implement heuristics, but emit a warning.



reply via email to

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