Searched refs:pcsubsty (Results 1 – 7 of 7) sorted by relevance
321 (zgcd-lift (pcsubsty (car vals) (car vars) c)322 (pcsubsty (car vals) (car vars) f)323 (pcsubsty (car vals) (car vars) g)336 (pcsubsty (car pts) (car vars) c)337 (pcsubsty (car pts) (car vars) f)338 (pcsubsty (car pts) (car vars) g)
69 (pcsubsty 0 var p2)73 (pcsubsty 0 var p1)
110 (ratreduce (pctimes -1 (pcsubsty zl varl (car e)))111 (pcsubsty zl varl (cdr e)))))
118 (not (pzerop (pcsubsty (setq l (rand (length gv) modulus))120 (not (pcoefp (setq p0 (pcsubsty l gv (pmod p)))))
241 ((zerop (pcsubsty (cmod m) x u))380 (if subvar (pcsubsty (mapcar #'(lambda (a b) (list a 1 1 0 b))388 (if subvar (pcsubsty (mapcar #'(lambda (a b) (list a 1 1 0 (- b)))676 loop (setq d (pcsubsty a b lc))679 (setq d (pcsubsty a b p)))
62 ((not (pzerop (setq temp (pcsubsty val v lcp))))
455 (defun pcsubsty (vals vars p) function