Searched refs:ptcplus (Results 1 – 2 of 2) sorted by relevance
241 (psimp (p-var x) (ptcplus y (p-terms x))))242 (t (psimp (p-var y) (ptcplus x (p-terms y))))))265 (ptcplus c (p-terms p)))))273 (defun ptcplus (c terms) function286 (cons (pt-le terms) (cons (pt-lc terms) (ptcplus c (pt-red terms)))))))
311 (psimp (p-var x) (ptcplus y (p-terms x))))312 (t (psimp (p-var y) (ptcplus x (p-terms y))))))