Searched refs:infsimp (Results 1 – 4 of 4) sorted by relevance
909 (infsimp w)
1893 (infsimp z)1962 (defun infsimp (e) function
1226 (infsimp e)))
147 (setq val (infsimp (third args)))