Searched refs:ptderivative (Results 1 – 1 of 1) sorted by relevance
476 (psimp (p-var p) (ptderivative (p-terms p))))491 (defun ptderivative (terms) function498 (ptderivative (pt-red terms)))))