Lines Matching defs:whole
172 ;; The variable math-rewrite-whole-expr is local to math-rewrite,
174 (defvar math-rewrite-whole-expr)
176 (defun math-rewrite (math-rewrite-whole-expr rules &optional math-mt-many)
178 (heads (math-rewrite-heads math-rewrite-whole-expr))
201 (let ((fmt (math-format-stack-value (list math-rewrite-whole-expr nil nil))))
213 (let ((fmt (math-format-stack-value (list math-rewrite-whole-expr nil nil))))
219 math-rewrite-whole-expr))
224 (while (let ((save-expr math-rewrite-whole-expr))
226 (not (equal math-rewrite-whole-expr save-expr))))
229 (setq math-rewrite-whole-expr
230 (math-normalize (list (car sched) math-rewrite-whole-expr)))
233 (list math-rewrite-whole-expr nil nil))))
244 (while (let ((save-expr math-rewrite-whole-expr))
245 (setq math-rewrite-whole-expr (math-normalize
246 (math-map-tree-rec math-rewrite-whole-expr)))
247 (not (equal math-rewrite-whole-expr save-expr)))))))
308 ;;; head of the whole rule), or nil if none.
317 ;;; Register 0 is the whole expression being matched. The others are
473 ;;; whole match the name v. Beware of circular structures!
488 (let ((math-rewrite-whole t))
497 (defvar math-rewrite-whole nil)
1160 (if (and (= part 0) (not def) (not math-rewrite-whole)