Is "x-2" positive, negative, or zero? positive;
Thank you for your attention
Fixed in limit.lisp rev 1.105
use gensym when shifting limit variable by a constant
to avoid carrying over assumptions about original variable
Log in to post a comment.
Sign up for the SourceForge newsletter:
You seem to have CSS turned off.
Please don't fill out this field.