Searched refs:patimes (Results 1 – 2 of 2) sorted by relevance
684 (patimes x (rainv y))))983 (defun patimes (x r) (pquotientchk (ptimes x (car r)) (cdr r))) function985 (defun paquo (x y) (patimes x (rainv y)))
185584 patimes