Searched refs:asksign1 (Results 1 – 3 of 3) sorted by relevance
185 load ("asksign1.lisp");
1026 /* Ensure that asksign1 deals correctly with squared expressions */
759 ((member (setq e (asksign1 e)) '($pos $neg) :test #'eq) e)899 (defun asksign1 ($askexp) function