Searched +refs:mbinding +refs:sub (Results 1 – 1 of 1) sorted by path
108 (zerop1 (sub (simplify (list '(%truncate) y)) y)))175 (take '(%gamma) (sub (add (div x z) 1) y)))))187 (sub 1 (simplify (list '(%cos) (mul '$%pi x))))))438 (setq ans (add* ans (mbinding (lind w) (meval form)))))454 ((equal lo hi) (mbinding ((list i) (list hi)) (meval exp)))505 (add u (resimplify (let* ((foo (mbinding (lind l*i) (meval expr)))508 (mul u (resimplify (let* ((foo (mbinding (lind l*i) (meval expr)))543 (setq foo (mbinding ((list gensym-ind) (list gensym-ind))576 (setq n ($limit (add 1 (sub hi lo))))628 (setq n ($limit (add 1 (sub hi lo))))[all …]