Searched refs:palgsimp (Results 1 – 4 of 4) sorted by relevance
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)))499 (palgsimp the-gen (cdr expr) (alg expr)))
684 (palgsimp (p-var f) (afp-terms-times (cdr f)(cdr g)) (alg f)))1001 (t (palgsimp (p-var poly) (afp-terms-square (p-terms poly)) (alg poly)))))1389 (and (consp v) (consp ww) (setq ww (palgsimp (p-var v) (cdr ww) (cdr v))))
854 (palgsimp (p-var x) (ptimes1 (p-terms x) (p-terms y)) (alg x)))919 (defun palgsimp (var p tell) ;TELL=(N X) -> X^(1/N) function
499 (palgsimp (car x)