Hi Mario,
> /*********** begin maxima session ************/
>
> (%i1) negp(u):=if asksign(u)='neg then true$
> (%i2) posp(u):=if asksign(u)='pos then true$
> (%i3) matchdeclare([a,b],true,c,negp,d,posp)$
> (%i4) tellsimpafter((a<b)*c,a*c>b*c)$
> (%i5) tellsimpafter((a<b)*d,a*d<b*d)$
> Is d positive, negative, or zero?
>
> /*********** end maxima session ************/
Looks like rules are being applied to later tellsimpafter
arguments. tellsimpafter quotes its arguments but it does
simplify them, it appears. (tellsimpafter is a defmspec;
defmspec arguments are neither evaluated nor simplified
by default.)
I find that simp : false; load (ineq); simp : true;
loads the rules without triggering asksign.
Probably ineq.mac should just have simp : false;
before the rules and simp : true; afterwards.
Hope this helps,
Robert Dodier