Searched refs:pcdiffer (Results 1 – 2 of 2) sorted by relevance
296 ((pcoefp x) (pcdiffer x y))326 (defun pcdiffer (c p) function
340 (cond ((pcoefp x) (pcdiffer x y))