Searched refs:pcoefadd (Results 1 – 6 of 6) sorted by relevance
29 (defun pcoefadd (e c x) (cond ((pzerop c) x) function38 ((pzerop (car x)) (pcoefadd 0 (pplus c (cadr x)) nil))46 (t (pcoefadd (car x)62 (pcoefadd (car x)92 (t (pcoefadd (+ (car ***x***) (car y))
41 (defun pcoefadd (e c x) function57 (pcoefadd 0 (pplus c (car (cdr x))) nil))69 (pcoefadd (car x)91 (pcoefadd (car x)135 (pcoefadd (+ (car (dynamic *x*)) (car y))
227 (defun pcoefadd (exponent coeff remainder) function251 (pcoefadd (pt-le x)283 (pcoefadd 0 (pplus c (pt-lc terms)) nil))316 (pcoefadd (pt-le x)346 (pcoefadd 0 (pdifference c (pt-lc terms)) nil))369 (pcoefadd 0 (pdifference (pt-lc terms) c) nil))496 (pcoefadd (1- (pt-le terms))509 (pcoefadd (pt-le terms)586 (pcoefadd (* n (p-le p)) (pexpt (p-lc p) n) nil)))765 (pcoefadd hipow[all …]
292 (pcoefadd 2 294 (pcoefadd 1 (ptimes 4 (ptimes (polcoef p2e 2)296 (pcoefadd 0 (pexpt (polcoef p2e 1) 2) ()))))
302 (pcoefadd (pt-le u) (pplus (ptimes lcv (pt-lc u))
526 (pcoefadd (+ (car *x*) (car y))