Searched refs:ptptplus (Results 1 – 4 of 4) sorted by relevance
239 (psimp (p-var x) (ptptplus (p-terms y) (p-terms x))))247 (defun ptptplus (x y) function253 (ptptplus (pt-red x) (pt-red y))))255 (cons (pt-le x) (cons (pt-lc x) (ptptplus (pt-red x) y))))256 (t (cons (pt-le y) (cons (pt-lc y) (ptptplus x (pt-red y)))))))870 (setq uuu (setq vvv (ptptplus uuu (list e c))))930 (ptptplus (pctimes1 kernel p) a))
457 (fptimes1 (ptptplus (car f) (cdr f)) (ptptplus (car g) (cdr g))))460 (return (ptptplus (lsft a (ash d 1)) (ptptplus (lsft b d) c)))))537 …((or (null v) (> e (car v))) (setq u* (setq v (ptptplus u* (list e c)))) (setq y (cddr y)) (go a1))
476 do (setq ans (ptptplus ans
309 (psimp (p-var x) (ptptplus (p-terms y) (p-terms x))))