> depends(f,x); > solve(at(diff(f,x,1),x=exp(x))+f=3,at(diff(f,x,1),x=exp(x))); > > which returns at(diff(f,x,1),x=exp(x)) = 3-f, as expected. >
If you want to implement this, you will then somehow have to tell InterfaceInit.derivative() to look out for the situation where the variable isn't a variable any longer and substitute that with your construction. Or, if the expression tree supports an "at" (which it doesn't seem to at present, since A.operands() was just [e^x]), one would define InterfaceInit.at() or something like that, and it would translate nicely into Maxima and friends. But I have no idea how Pynac handles this sort of thing. - kcrisman --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---