Searched refs:pctimes1 (Results 1 – 6 of 6) sorted by relevance
42 (t (psimp (car p) (pctimes1 c (cdr p))))))44 (defun pctimes1 (c x) function48 (pctimes1 c (cddr x))))))81 (psimp (car x) (pctimes1 y (cdr x))))82 (t (psimp (car y) (pctimes1 x (cdr y))))))
64 (psimp (car p) (pctimes1 c (cdr p)))))66 (defun pctimes1 (c x) function71 (pctimes1 c (cdr (cdr x))))))118 (psimp (car x) (pctimes1 y (cdr x))))120 (psimp (car y) (pctimes1 x (cdr y))))))
856 (psimp (p-var x) (pctimes1 y (p-terms x))))857 (t (psimp (p-var y) (pctimes1 x (p-terms y))))))904 (psimp (p-var p) (pctimes1 c (p-terms p)))))906 (defun pctimes1 (c terms) function930 (ptptplus (pctimes1 kernel p) a))
278 (t (pctimes1 (pexpt lcv k) u))))281 (setq u (pctimes1 (pexpt lcv (- (1- k) m)) u))))300 ((null v) (pctimes1 lcv u))
443 (cons (car x) (pctimes1 y (cdr x))))444 (t (cons (car y) (pctimes1 x (cdr y))))))450 (return (lsft (pctimes1 (cadr f) g) (car f))))452 (return (lsft (pctimes1 (cadr g) f) (car g)))))
320 (psimp (p-var x) (pctimes1 y (p-terms x))))321 (t (psimp (p-var y) (pctimes1 x (p-terms y))))))336 (psimp (car x) (pctimes1 y (cdr x))))337 (t (psimp (car y) (pctimes1 x (cdr y))))))