Searched refs:ptimes1 (Results 1 – 7 of 7) sorted by relevance
79 (psimp (car x) (ptimes1 (cdr x) (cdr y))))84 (defun ptimes1 (***x*** y) (prog (**u*** **v**) function
116 (psimp (car x) (ptimes1 (cdr x) (cdr y))))122 (defun ptimes1 (x y) function
318 (palgsimp (p-var x) (ptimes1 (p-terms x) (p-terms y)) (alg x)))334 (palgsimp (car x) (ptimes1 (cdr x) (cdr y)) (alg x)))
854 (palgsimp (p-var x) (ptimes1 (p-terms x) (p-terms y)) (alg x)))859 (defun ptimes1 (x y-orig &aux uuu ) function
118 (setq gn (pgcd1 (ptimes1 gn g) f))
592 (setq p (ptimes1 p p))593 (when (oddp n) (setq u (pgcd1 (ptimes1 u p) q)))
440 (cons (car x) (ptimes1 (cdr x) (cdr y))))