Searched refs:pquotientchk (Results 1 – 7 of 7) sorted by relevance
164 (pquotient (pexpt (pquotientchk r a) (p-le v)) c))))166 v (pquotientchk r a)
202 (ptimeschk (pquotient c1 c) (pquotientchk h1star q))203 (ptimeschk (pquotient c2 c) (pquotientchk h2star q))298 (ptimeschk (cquotient c1 c) (pquotientchk h1star q))299 (ptimeschk (cquotient c2 c) (pquotientchk h2star q))))))
30 (defun pquotientchk (a b) function37 (ignore-rat-err (pquotientchk x y)))
135 (pquotientchk mul (cdr d))))))
314 (return (cons (pquotientchk p a)
983 (defun patimes (x r) (pquotientchk (ptimes x (car r)) (cdr r)))
3569 (setq p1b (pquotientchk (psimp var (caddr f1)) a))3571 (setq coef1r (pquotientchk (pdifference (ptimes f1 coef1r)3574 (setq coef1s (pquotientchk (pdifference (ptimes f1 coef1s)