Bug in Asksign, also in Askexp?



Jürgen Tischer <jtischer@emcali.net.co> writes:

> (C3) asksign(log(x));
> Is  x - 1  positive, negative, or zero?
> 
> neg;
> (D3)                                  NEG
> (C4) asksign(log(-1));
> (D4)                                  NEG
> 

There is a variable `limitp' which is defined and documented (!) in
compar.lisp.

(C1) ?limitp;
(D1)                                 FALSE
(C2) ?limitp:true;
(D2)                                 TRUE
(C3) asksign(log(x));
Is  x  positive or negative?

pos;
Is  x - 1  positive, negative, or zero?

neg;
(D3)                                  NEG
(C4) asksign(log(x));
Is  x  positive or negative?

neg;
(D4)                                  PNZ


Wolfgang
-- 
wjenkner@inode.at