From: SourceForge.net <noreply@so...>  20041205 19:19:35

Bugs item #1079521, was opened at 20041205 12:19 Message generated for change (Tracker Item Submitted) made by Item Submitter You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1079521&group_id=4933 Category: Lisp Core Group: None Status: Open Resolution: None Priority: 2 Submitted By: Robert Dodier (robert_dodier) Assigned to: Nobody/Anonymous (nobody) Summary: freeof (exp, exp(x)) yields true Initial Comment: freeof (exp, exp(x)) => true although freeof (sin, sin(x)) => false (kill (f), freeof (f, f(x))) => false Exponentials are always stored as %e^something, so freeof (%e, exp(x)) => false Dunno what is the right policy here. Substituting %e for exp in the argument list (which is consistent with the otherwise universal policy of substituting %e^x for exp(x)) won't work right: freeof (exp, exp(x)) hypothetically => false (OK) freeof (exp, %e*2) hypothetically => false (OOPS) Another answer is to not substitute %e^x for exp(x) but that will have widespread effects (to put it mildly).  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1079521&group_id=4933 