Alexander <vidybida@bitp.kiev.ua> writes:
> I have downloaded the members.inode.at/wjenkner/maxima/ineq.mac and
> put it instead of the ineq.mac supplied with the Maxima package.
> Here is what did I get:
>
> (C1) load(ineq);
[...]
> (C6) demo(ineq);
>
> batching /usr/local/maxima-5.9.0/share/maxima/5.9.0/share/simplification/ineq.dem
> At the _ prompt, type ';' followed by enter to get next demo
> (C7) LOAD('ineq)
> c a partitions PRODUCT
> c a partitions PRODUCT
> c a partitions PRODUCT
> c a partitions PRODUCT
> Is e + a positive, negative, or zero?
>
> pos;
> Circular rule attempted - TELLSIMPAFTER
> -- an error. Quitting. To debug this try DEBUGMODE(TRUE);)
The reason is that you loaded ineq.mac twice since ineq.dem also loads
ineq.mac unconditionally. This means that Maxima will use the rules
it has learned the first time when it is loading ineq.mac the second
time, hence circularities. In general, one has to be careful about
this by creating separate rule packages (see the manual) or simply by
killing rules. Of course, here it's (ahem, blush) not your fault and
I will fix this. So thanks for reporting this. Meanwhile. I suggest
to do `kill(rules);' before `demo(ineq);'.
As Stavros pointed out, this package will help you with the a>b and
c>d => a+c>b+d thing only in the sense that it lets you explicitly
add the inequalities like
(C19) (a>b)+(c>d);
(D19) c + a > d + b
Wolfgang