Paul,
Attached is a putative fix ($ratsimp --> sratsimp and insert on sratsimp to
argument of csign in the function meqp-by-csign)
(%i1) load("compar-fix.lisp")$
(%i2) assume(notequal(k,1))$
(%i3) is(equal(k,1));
(%o3) false
Let us know if this resolves your problem. I apologize for the bug--I think
it was my code that was the problem. I've made this $ratsimp instead of
sratsimp bug before--not long ago, Stavros found this same problem in my
topoly code.
Thanks for the bug report.
BW
(See attached file: compar-fix.lisp)
-------------- next part --------------
A non-text attachment was scrubbed...
Name: compar-fix.lisp
Type: application/octet-stream
Size: 2114 bytes
Desc: not available
Url : http://www.math.utexas.edu/pipermail/maxima/attachments/20071107/37249d1f/attachment.obj