Searched refs:pctimes (Results 1 – 15 of 15) sorted by relevance
150 (cons (pctimes (crecip (car y)) (cdr y)) 1))152 (cons (pctimes (/ (car y)) (cdr y)) 1))173 (cons (pctimes (quotient 1.0 y) x) 1))177 (cons (pctimes (crecip (cdr b)) (car b)) 1))
497 (pctimes (cmod (pt-le terms)) (pt-lc terms))611 (ptimes (pctimes (cmod n-choose-k) rest-pow)613 (pctimes (cmod n-choose-k) rest-pow)))))674 (modulus (pctimes (crecip y) x))851 (cond ((pcoefp x) (if (pzerop x) (pzero) (pctimes x y)))852 ((pcoefp y) (if (pzerop y) (pzero) (pctimes y x)))902 (defun pctimes (c p) function
118 ((ratreduce (pctimes (cadr p) (car r))247 (pgsubst (pplus (make-poly (car f)) (pctimes c (make-poly alg)))317 (rquotient (pctimes (cdr alpha) (car polys))319 (pctimes (cdr alpha) (pget (caar polys)))
490 (t (setq uk (pctimes (crecip (cmod qk)) uk))492 (pplus u (pctimes qk uk)))))500 (pctimes (crecip (pcsubst qk xk xv)) uk)
39 (pctimes (crecip (pcsubstz (car xk) qk))289 (1 (pctimes c gcd))
363 (setq a (pdifference a (pmod (pctimes pk (cdr qlp)))))364 (setq b (pdifference b (pmod (pctimes pk b1))))836 (setq v (pctimes adn* v) lc (pctimes adn* lc))))849 (setq v (pctimes (crecip adn*) v))(setq adn* 1)))1024 factp (cons (pctimes (pmod lc) (car factp)) (cdr factp)))
417 (t (cons (pdifference (cadr x) (pctimes j (car x)))436 ((pcoefp x) (pctimes x y))437 ((pcoefp y) (pctimes y x))
302 (pctimes a b)
110 (ratreduce (pctimes -1 (pcsubsty zl varl (car e)))
33 (setq p (pctimes intbs* p))
284 (ae (p-terms (pquotient (pctimes n (leadterm poly)) ans))))
93 (pctimes deg coeff)))
41 (defun pctimes (c p) (cond ((pcoefp p) (ctimes c p)) function76 ((pcoefp x) (pctimes x y))77 ((pcoefp y) (pctimes y x))
61 (defun pctimes (c p) function112 (pctimes x y))114 (pctimes y x))
315 (cond ((pcoefp x) (if (pzerop x) 0 (pctimes x y)))316 ((pcoefp y) (if (pzerop y) 0 (pctimes y x)))327 (t (pctimes x y))))332 (t (pctimes y x))))