diff options
| author | Jay Belanger | 2004-11-09 20:31:12 +0000 |
|---|---|---|
| committer | Jay Belanger | 2004-11-09 20:31:12 +0000 |
| commit | ce037856d4c8168dc5ec71bdbab9811aa8199d78 (patch) | |
| tree | 3fc1699f4a771cad575524d13f21588de07dfddd | |
| parent | f7917133cb39354f3cb1e4b9ce768a10858fce6d (diff) | |
| download | emacs-ce037856d4c8168dc5ec71bdbab9811aa8199d78.tar.gz emacs-ce037856d4c8168dc5ec71bdbab9811aa8199d78.zip | |
(math-rewrite, math-rewrite-phase): Use declared variable math-mt-many.
(math-rewrite): Use declared variable math-mt-func.
| -rw-r--r-- | lisp/calc/calc-rewr.el | 40 |
1 files changed, 20 insertions, 20 deletions
diff --git a/lisp/calc/calc-rewr.el b/lisp/calc/calc-rewr.el index 47b48bd88d8..fd361bd3eee 100644 --- a/lisp/calc/calc-rewr.el +++ b/lisp/calc/calc-rewr.el | |||
| @@ -166,7 +166,7 @@ | |||
| 166 | 166 | ||
| 167 | 167 | ||
| 168 | 168 | ||
| 169 | (defun math-rewrite (whole-expr rules &optional mmt-many) | 169 | (defun math-rewrite (whole-expr rules &optional math-mt-many) |
| 170 | (let ((crules (math-compile-rewrites rules)) | 170 | (let ((crules (math-compile-rewrites rules)) |
| 171 | (heads (math-rewrite-heads whole-expr)) | 171 | (heads (math-rewrite-heads whole-expr)) |
| 172 | (trace-buffer (get-buffer "*Trace*")) | 172 | (trace-buffer (get-buffer "*Trace*")) |
| @@ -176,20 +176,20 @@ | |||
| 176 | (calc-line-numbering nil) | 176 | (calc-line-numbering nil) |
| 177 | (calc-show-selections t) | 177 | (calc-show-selections t) |
| 178 | (calc-why nil) | 178 | (calc-why nil) |
| 179 | (mmt-func (function | 179 | (math-mt-func (function |
| 180 | (lambda (x) | 180 | (lambda (x) |
| 181 | (let ((result (math-apply-rewrites x (cdr crules) | 181 | (let ((result (math-apply-rewrites x (cdr crules) |
| 182 | heads crules))) | 182 | heads crules))) |
| 183 | (if result | 183 | (if result |
| 184 | (progn | 184 | (progn |
| 185 | (if trace-buffer | 185 | (if trace-buffer |
| 186 | (let ((fmt (math-format-stack-value | 186 | (let ((fmt (math-format-stack-value |
| 187 | (list result nil nil)))) | 187 | (list result nil nil)))) |
| 188 | (save-excursion | 188 | (save-excursion |
| 189 | (set-buffer trace-buffer) | 189 | (set-buffer trace-buffer) |
| 190 | (insert "\nrewrite to\n" fmt "\n")))) | 190 | (insert "\nrewrite to\n" fmt "\n")))) |
| 191 | (setq heads (math-rewrite-heads result heads t)))) | 191 | (setq heads (math-rewrite-heads result heads t)))) |
| 192 | result))))) | 192 | result))))) |
| 193 | (if trace-buffer | 193 | (if trace-buffer |
| 194 | (let ((fmt (math-format-stack-value (list whole-expr nil nil)))) | 194 | (let ((fmt (math-format-stack-value (list whole-expr nil nil)))) |
| 195 | (save-excursion | 195 | (save-excursion |
| @@ -197,22 +197,22 @@ | |||
| 197 | (setq truncate-lines t) | 197 | (setq truncate-lines t) |
| 198 | (goto-char (point-max)) | 198 | (goto-char (point-max)) |
| 199 | (insert "\n\nBegin rewriting\n" fmt "\n")))) | 199 | (insert "\n\nBegin rewriting\n" fmt "\n")))) |
| 200 | (or mmt-many (setq mmt-many (or (nth 1 (car crules)) | 200 | (or math-mt-many (setq math-mt-many (or (nth 1 (car crules)) |
| 201 | math-rewrite-default-iters))) | 201 | math-rewrite-default-iters))) |
| 202 | (if (equal mmt-many '(var inf var-inf)) (setq mmt-many 1000000)) | 202 | (if (equal math-mt-many '(var inf var-inf)) (setq math-mt-many 1000000)) |
| 203 | (if (equal mmt-many '(neg (var inf var-inf))) (setq mmt-many -1000000)) | 203 | (if (equal math-mt-many '(neg (var inf var-inf))) (setq math-mt-many -1000000)) |
| 204 | (math-rewrite-phase (nth 3 (car crules))) | 204 | (math-rewrite-phase (nth 3 (car crules))) |
| 205 | (if trace-buffer | 205 | (if trace-buffer |
| 206 | (let ((fmt (math-format-stack-value (list whole-expr nil nil)))) | 206 | (let ((fmt (math-format-stack-value (list whole-expr nil nil)))) |
| 207 | (save-excursion | 207 | (save-excursion |
| 208 | (set-buffer trace-buffer) | 208 | (set-buffer trace-buffer) |
| 209 | (insert "\nDone rewriting" | 209 | (insert "\nDone rewriting" |
| 210 | (if (= mmt-many 0) " (reached iteration limit)" "") | 210 | (if (= math-mt-many 0) " (reached iteration limit)" "") |
| 211 | ":\n" fmt "\n")))) | 211 | ":\n" fmt "\n")))) |
| 212 | whole-expr)) | 212 | whole-expr)) |
| 213 | 213 | ||
| 214 | (defun math-rewrite-phase (sched) | 214 | (defun math-rewrite-phase (sched) |
| 215 | (while (and sched (/= mmt-many 0)) | 215 | (while (and sched (/= math-mt-many 0)) |
| 216 | (if (listp (car sched)) | 216 | (if (listp (car sched)) |
| 217 | (while (let ((save-expr whole-expr)) | 217 | (while (let ((save-expr whole-expr)) |
| 218 | (math-rewrite-phase (car sched)) | 218 | (math-rewrite-phase (car sched)) |