Searched refs:pcsubst (Results 1 – 5 of 5) sorted by relevance
167 (cond ((equal (pcsubst f1f2 b xv) 0) (go step6)))169 (setq gtilde (pcsubst gbar b xv))170 (setq f1tilde (pcsubst bigf1 b xv))171 (setq f2tilde (pcsubst bigf2 b xv))334 (t (cons (pfactor (pcsubst p i (car p)))
254 (t (setq a* (pcsubst a bp xv))257 (t (setq b* (pcsubst b bp xv))
497 (setq uk (pdifference uk (pcsubst u xk xv)))500 (pctimes (crecip (pcsubst qk xk xv)) uk)
409 (defun pcsubst (p val var) function
95 (mapcar #'(lambda (p) (pabs (pcsubst p m (car p))))