Searched defs:pctimes (Results 1 – 3 of 3) sorted by relevance
41 (defun pctimes (c p) (cond ((pcoefp p) (ctimes c p)) function
61 (defun pctimes (c p) function
902 (defun pctimes (c p) function