Searched refs:ptptdiffer (Results 1 – 3 of 3) sorted by relevance
300 (psimp (p-var x) (ptptdiffer (p-terms x) (p-terms y))))311 (defun ptptdiffer (x y) function318 (ptptdiffer (pt-red x) (pt-red y))))320 (cons (pt-le x) (cons (pt-lc x) (ptptdiffer (pt-red x) y))))322 (ptptdiffer x (pt-red y)))))))875 (setq uuu (setq vvv (ptptdiffer uuu (list (car vvv) (cadr vvv))))))
459 (setq b (ptptdiffer (ptptdiffer b a) c))540 …(cond ((pzerop c) (setq u* (setq v (ptptdiffer u* (list (car v) (cadr v)))))) (t (rplaca (cdr v) c…
343 (psimp (p-var x) (ptptdiffer (p-terms x) (p-terms y))))