Subject: Further code to improve the assume database
From: Dieter Kaiser
Date: Sat, 10 Oct 2009 20:06:16 +0200
Am Samstag, den 10.10.2009, 12:35 -0500 schrieb Barton Willis:
> -----maxima-bounces at math.utexas.edu wrote: -----
>
>
> >I have no problems with the testsuite and the share_testsuite with the
> >exception of one example:
> >
> >********************** Problem 40 ***************
> >Input:
> >fourier_elim(fourier_elim(eqs, [y, x, z]), [z, y, x])
> >
> >
> >Result:
> >[0 < z, z < min(4, - y - x + 4), 0 < y, y < 1, 0 < x, x < 1]
> >
> >This differed from the expected result:
> >[0 < z, z < 4 - x - y, 0 < y, y < 1, 0 < x, x < 1]
>
> The new result isn't wrong, but the old answer is better, isn't it? Since
> 0 < x < 1 and 0 < y < 1, we have -y - x + 4 < 4. So min(4, - y - x + 4)
> should simplify to -y - x + 4. There is a source code comment in
> Fourier elimination code: (What is the story with dosimp?)
Hello Barton,
thank you for the answer.
I will try to find the reason why we get a difference only for this
example.
Dieter Kaiser