Searched refs:ptminus (Results 1 – 15 of 15) sorted by relevance
313 ((ptzerop x) (ptminus y))642 (cons (p-var p) (ptminus (p-terms p)))))647 (defun ptminus (x) function
911 \muskip1=\gluetomu1ptplus-2ptminus-3fil