Lines Matching +refs:ptimes +refs:e
207 (defun afp-terms-plus (terms-f terms-g &aux e)
213 (setq e (afp-plus (second terms-f) (second terms-g)))
214 (cond ((pzerop e)(afp-terms-plus (cddr terms-f) (cddr terms-g)))
215 (t (cons (car terms-f) (cons e (afp-terms-plus (cddr terms-f) (cddr terms-g)))))))
318 ptimes
358 (t (ptimes f (setq creqd (pexpt (p-cof g)
372 ptimes deg-dif)))
450 do (return (ptimes d v))
484 do (return (ptimes d (principal-part v)))
488 (setq v (afp-quotient r (ptimes gg (pexpt h delta))))
495 (t (ptimes g^delta h))))))
502 (t (ptimes f g))))
563 (iassert (equal f (ptimes d qf))) (iassert (equal g (ptimes d qg)))))
634 do (setq answ (ptimes answ (pexpt (p-cof pol) deg)))
764 (remove-zero-coefficients (tim (ptimes f g))))))
769 (ptimes f g)
772 (tim (ptimes f g)))))))
806 (values gcd b (pdifference a (ptimes quot b))))))))
824 (cond (fact (setq gcd (ptimes fact gcd))
825 (setq a (ptimes a fact))
826 (setq b (ptimes b fact))))
1324 do (setq ans (ptimes ans v))
1524 (let ((modulus new-modulus)) (setq dif (pdifference product (ptimes ve we))))
1532 (setq h (ptimes b dif))
1533 (setq kk (ptimes a dif))
1538 (setq kk (pplus kk (ptimes quot we)))
1671 (setq a (ptimes (car case0) (setq mon (list (car f) k 1))))
1672 (setq b (ptimes (second case0) mon))
1676 (ptimes quot f)))
1720 (show (pdifference v (ptimes fi gi)))