From: Dimiter P. <dim...@gm...> - 2014-06-29 10:24:43
|
Dear all, I have a problem with the following rule (matchdeclare (u, atom, fn, symbolp), defrule (ddint21, 'integrate(delta(u)*fn(u), u, minf, inf), fn(0)) ); >> ddint21('integrate(delta(u)*fn(u), u, minf, inf)); output false should be fn(0) I tried playing around relaxing the match but even with true true it doesn't work. Any ideas? best regards, Dimiter |