deriv_jcalculus_ is a symbolic mechanism -- it's a rule based system which generates a new expression.
load'math/calculus' 0 1 2&p. deriv_jcalculus_ 1 1 4&p. And, the mechanisms which it uses rely on the formal structure of tacit definitions. I hope this helps, -- Raul On Sun, May 16, 2021 at 6:23 AM Thomas Bulka <[email protected]> wrote: > > Hi Forum, > > I'd be happy about some information about the domain of > deriv_jcalculus_ from math/jcalculus. I assume that the dictionary > entry of former ddot (https://code.jsoftware.com/wiki/Vocabulary/ddot) > is at least basically correct for deriv_jcalculus_ since the removal > of ddot did not happen that long ago. > > What I'd like to understand is, why deriv_jcalculus_ seems only to be > able to derive tacit verbs. For example ^&3 deriv_jcalculus_ 1 gives > 3&*@(^&2) while {{y^3}} deriv_jcalculus_ 1 gives a domain error. > > This is not problematic at all, but in order to learn J better I'd > like to understand, why deriv_jcalculus_ only handles tacit verbs. > > Thanks in advance for any explanation and kind regards, > > Thomas > ---------------------------------------------------------------------- > For information about J forums see http://www.jsoftware.com/forums.htm ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
