Home
last modified time | relevance | path

Searched refs:ptcdiffer (Results 1 – 2 of 2) sorted by relevance

/dports/math/maxima/maxima-5.43.2/src/
H A Drat3a.lisp305 (t (psimp (p-var y) (ptcdiffer x (p-terms y))))))
329 (psimp (p-var p) (ptcdiffer c (p-terms p)))))
335 (defun ptcdiffer (c terms) function
351 (cons (pminus (pt-lc terms)) (ptcdiffer c (pt-red terms)))))))
/dports/math/maxima/maxima-5.43.2/share/affine/
H A Dnew-rat.lisp346 (t (psimp (p-var y) (ptcdiffer x (p-terms y))))))