Searched refs:ptptquotient (Results 1 – 2 of 2) sorted by relevance
703 (psimp (p-var x) (ptptquotient (p-terms x) (p-terms y))))))721 (defun ptptquotient (u v) function
291 (setq ans (nconc ans (ptptquotient (cdr (leadterm p)) ae)))