Searched refs:ptcdiffer (Results 1 – 2 of 2) sorted by relevance
305 (t (psimp (p-var y) (ptcdiffer x (p-terms y))))))329 (psimp (p-var p) (ptcdiffer c (p-terms p)))))335 (defun ptcdiffer (c terms) function351 (cons (pminus (pt-lc terms)) (ptcdiffer c (pt-red terms)))))))
346 (t (psimp (p-var y) (ptcdiffer x (p-terms y))))))