Commit | Line | Data |
---|---|---|
3132f345 CW |
1 | ;;; calc-sel.el --- data selection functions for Calc |
2 | ||
58ba2f8f | 3 | ;; Copyright (C) 1990, 1991, 1992, 1993, 2001, 2002, 2003, 2004, |
ae940284 | 4 | ;; 2005, 2006, 2007, 2008, 2009 Free Software Foundation, Inc. |
3132f345 CW |
5 | |
6 | ;; Author: David Gillespie <daveg@synaptics.com> | |
e8fff8ed | 7 | ;; Maintainer: Jay Belanger <jay.p.belanger@gmail.com> |
136211a9 EZ |
8 | |
9 | ;; This file is part of GNU Emacs. | |
10 | ||
662c9c64 | 11 | ;; GNU Emacs is free software: you can redistribute it and/or modify |
7c671b23 | 12 | ;; it under the terms of the GNU General Public License as published by |
662c9c64 GM |
13 | ;; the Free Software Foundation, either version 3 of the License, or |
14 | ;; (at your option) any later version. | |
7c671b23 | 15 | |
136211a9 | 16 | ;; GNU Emacs is distributed in the hope that it will be useful, |
7c671b23 GM |
17 | ;; but WITHOUT ANY WARRANTY; without even the implied warranty of |
18 | ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
19 | ;; GNU General Public License for more details. | |
20 | ||
21 | ;; You should have received a copy of the GNU General Public License | |
662c9c64 | 22 | ;; along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>. |
136211a9 | 23 | |
3132f345 | 24 | ;;; Commentary: |
136211a9 | 25 | |
3132f345 | 26 | ;;; Code: |
136211a9 EZ |
27 | |
28 | ;; This file is autoloaded from calc-ext.el. | |
136211a9 | 29 | |
da0ae499 | 30 | (require 'calc-ext) |
136211a9 EZ |
31 | (require 'calc-macs) |
32 | ||
136211a9 EZ |
33 | ;;; Selection commands. |
34 | ||
3132f345 CW |
35 | (defvar calc-keep-selection t) |
36 | ||
8416e352 JB |
37 | (defvar calc-selection-cache-entry nil) |
38 | (defvar calc-selection-cache-num) | |
39 | (defvar calc-selection-cache-comp) | |
40 | (defvar calc-selection-cache-offset) | |
41 | (defvar calc-selection-true-num) | |
42 | ||
136211a9 EZ |
43 | (defun calc-select-here (num &optional once keep) |
44 | (interactive "P") | |
45 | (calc-wrapper | |
46 | (calc-prepare-selection) | |
47 | (let ((found (calc-find-selected-part)) | |
48 | (entry calc-selection-cache-entry)) | |
49 | (or (and keep (nth 2 entry)) | |
50 | (progn | |
51 | (if once (progn | |
52 | (setq calc-keep-selection nil) | |
53 | (message "(Selection will apply to next command only)"))) | |
a1506d29 | 54 | (calc-change-current-selection |
136211a9 EZ |
55 | (if found |
56 | (if (and num (> (setq num (prefix-numeric-value num)) 0)) | |
57 | (progn | |
58 | (while (and (>= (setq num (1- num)) 0) | |
59 | (not (eq found (car entry)))) | |
60 | (setq found (calc-find-assoc-parent-formula | |
61 | (car entry) found))) | |
62 | found) | |
63 | (calc-grow-assoc-formula (car entry) found)) | |
bf77c646 | 64 | (car entry)))))))) |
136211a9 EZ |
65 | |
66 | (defun calc-select-once (num) | |
67 | (interactive "P") | |
bf77c646 | 68 | (calc-select-here num t)) |
136211a9 EZ |
69 | |
70 | (defun calc-select-here-maybe (num) | |
71 | (interactive "P") | |
bf77c646 | 72 | (calc-select-here num nil t)) |
136211a9 EZ |
73 | |
74 | (defun calc-select-once-maybe (num) | |
75 | (interactive "P") | |
bf77c646 | 76 | (calc-select-here num t t)) |
136211a9 EZ |
77 | |
78 | (defun calc-select-additional () | |
79 | (interactive) | |
80 | (calc-wrapper | |
81 | (let (calc-keep-selection) | |
82 | (calc-prepare-selection)) | |
83 | (let ((found (calc-find-selected-part)) | |
84 | (entry calc-selection-cache-entry)) | |
85 | (calc-change-current-selection | |
86 | (if found | |
87 | (let ((sel (nth 2 entry))) | |
88 | (if sel | |
89 | (progn | |
90 | (while (not (or (eq sel (car entry)) | |
91 | (calc-find-sub-formula sel found))) | |
92 | (setq sel (calc-find-assoc-parent-formula | |
93 | (car entry) sel))) | |
94 | sel) | |
95 | (calc-grow-assoc-formula (car entry) found))) | |
bf77c646 | 96 | (car entry)))))) |
136211a9 EZ |
97 | |
98 | (defun calc-select-more (num) | |
99 | (interactive "P") | |
100 | (calc-wrapper | |
101 | (calc-prepare-selection) | |
102 | (let ((entry calc-selection-cache-entry)) | |
103 | (if (nth 2 entry) | |
104 | (let ((sel (nth 2 entry))) | |
105 | (while (and (not (eq sel (car entry))) | |
106 | (>= (setq num (1- (prefix-numeric-value num))) 0)) | |
107 | (setq sel (calc-find-assoc-parent-formula (car entry) sel))) | |
108 | (calc-change-current-selection sel)) | |
bf77c646 | 109 | (calc-select-here num))))) |
136211a9 EZ |
110 | |
111 | (defun calc-select-less (num) | |
112 | (interactive "p") | |
113 | (calc-wrapper | |
114 | (calc-prepare-selection) | |
115 | (let ((found (calc-find-selected-part)) | |
116 | (entry calc-selection-cache-entry)) | |
a1506d29 | 117 | (calc-change-current-selection |
136211a9 EZ |
118 | (and found |
119 | (let ((sel (nth 2 entry)) | |
120 | old index op) | |
121 | (while (and sel | |
122 | (not (eq sel found)) | |
123 | (>= (setq num (1- num)) 0)) | |
124 | (setq old sel | |
125 | index (calc-find-sub-formula sel found)) | |
126 | (and (setq sel (and index (nth index old))) | |
127 | calc-assoc-selections | |
128 | (setq op (assq (car-safe sel) calc-assoc-ops)) | |
129 | (memq (car old) (nth index op)) | |
130 | (setq num (1+ num)))) | |
bf77c646 | 131 | sel)))))) |
136211a9 EZ |
132 | |
133 | (defun calc-select-part (num) | |
134 | (interactive "P") | |
e93c003e | 135 | (or num (setq num (- last-command-event ?0))) |
136211a9 EZ |
136 | (calc-wrapper |
137 | (calc-prepare-selection) | |
138 | (let ((sel (calc-find-nth-part (or (nth 2 calc-selection-cache-entry) | |
139 | (car calc-selection-cache-entry)) | |
140 | num))) | |
141 | (if sel | |
142 | (calc-change-current-selection sel) | |
bf77c646 | 143 | (error "%d is not a valid sub-formula index" num))))) |
136211a9 | 144 | |
8416e352 JB |
145 | ;; The variables calc-fnp-op and calc-fnp-num are local to |
146 | ;; calc-find-nth-part (and calc-select-previous) but used by | |
147 | ;; calc-find-nth-part-rec, which is called by them. | |
148 | (defvar calc-fnp-op) | |
149 | (defvar calc-fnp-num) | |
150 | ||
151 | (defun calc-find-nth-part (expr calc-fnp-num) | |
136211a9 EZ |
152 | (if (and calc-assoc-selections |
153 | (assq (car-safe expr) calc-assoc-ops)) | |
8416e352 | 154 | (let (calc-fnp-op) |
136211a9 EZ |
155 | (calc-find-nth-part-rec expr)) |
156 | (if (eq (car-safe expr) 'intv) | |
8416e352 JB |
157 | (and (>= calc-fnp-num 1) (<= calc-fnp-num 2) (nth (1+ calc-fnp-num) expr)) |
158 | (and (not (Math-primp expr)) (>= calc-fnp-num 1) (< calc-fnp-num (length expr)) | |
159 | (nth calc-fnp-num expr))))) | |
136211a9 EZ |
160 | |
161 | (defun calc-find-nth-part-rec (expr) ; uses num, op | |
8416e352 JB |
162 | (or (if (and (setq calc-fnp-op (assq (car-safe (nth 1 expr)) calc-assoc-ops)) |
163 | (memq (car expr) (nth 1 calc-fnp-op))) | |
136211a9 | 164 | (calc-find-nth-part-rec (nth 1 expr)) |
8416e352 | 165 | (and (= (setq calc-fnp-num (1- calc-fnp-num)) 0) |
136211a9 | 166 | (nth 1 expr))) |
8416e352 JB |
167 | (if (and (setq calc-fnp-op (assq (car-safe (nth 2 expr)) calc-assoc-ops)) |
168 | (memq (car expr) (nth 2 calc-fnp-op))) | |
136211a9 | 169 | (calc-find-nth-part-rec (nth 2 expr)) |
8416e352 | 170 | (and (= (setq calc-fnp-num (1- calc-fnp-num)) 0) |
bf77c646 | 171 | (nth 2 expr))))) |
136211a9 EZ |
172 | |
173 | (defun calc-select-next (num) | |
174 | (interactive "p") | |
175 | (if (< num 0) | |
176 | (calc-select-previous (- num)) | |
177 | (calc-wrapper | |
178 | (calc-prepare-selection) | |
179 | (let* ((entry calc-selection-cache-entry) | |
180 | (sel (nth 2 entry))) | |
181 | (if sel | |
182 | (progn | |
183 | (while (>= (setq num (1- num)) 0) | |
184 | (let* ((parent (calc-find-parent-formula (car entry) sel)) | |
185 | (p parent) | |
186 | op) | |
187 | (and (eq p t) (setq p nil)) | |
188 | (while (and (setq p (cdr p)) | |
189 | (not (eq (car p) sel)))) | |
190 | (if (cdr p) | |
191 | (setq sel (or (and calc-assoc-selections | |
192 | (setq op (assq (car-safe (nth 1 p)) | |
193 | calc-assoc-ops)) | |
194 | (memq (car parent) (nth 2 op)) | |
195 | (nth 1 (nth 1 p))) | |
196 | (nth 1 p))) | |
197 | (if (and calc-assoc-selections | |
198 | (setq op (assq (car-safe parent) calc-assoc-ops)) | |
199 | (consp (setq p (calc-find-parent-formula | |
200 | (car entry) parent))) | |
201 | (eq (nth 1 p) parent) | |
202 | (memq (car p) (nth 1 op))) | |
203 | (setq sel (nth 2 p)) | |
204 | (error "No \"next\" sub-formula"))))) | |
205 | (calc-change-current-selection sel)) | |
206 | (if (Math-primp (car entry)) | |
207 | (calc-change-current-selection (car entry)) | |
bf77c646 | 208 | (calc-select-part num))))))) |
136211a9 EZ |
209 | |
210 | (defun calc-select-previous (num) | |
211 | (interactive "p") | |
212 | (if (< num 0) | |
213 | (calc-select-next (- num)) | |
214 | (calc-wrapper | |
215 | (calc-prepare-selection) | |
216 | (let* ((entry calc-selection-cache-entry) | |
217 | (sel (nth 2 entry))) | |
218 | (if sel | |
219 | (progn | |
220 | (while (>= (setq num (1- num)) 0) | |
221 | (let* ((parent (calc-find-parent-formula (car entry) sel)) | |
222 | (p (cdr-safe parent)) | |
223 | (prev nil) | |
224 | op) | |
225 | (if (eq (car-safe parent) 'intv) (setq p (cdr p))) | |
226 | (while (and (not (eq (car p) sel)) | |
227 | (setq prev (car p) | |
228 | p (cdr p)))) | |
229 | (if prev | |
230 | (setq sel (or (and calc-assoc-selections | |
231 | (setq op (assq (car-safe prev) | |
232 | calc-assoc-ops)) | |
233 | (memq (car parent) (nth 1 op)) | |
234 | (nth 2 prev)) | |
235 | prev)) | |
236 | (if (and calc-assoc-selections | |
237 | (setq op (assq (car-safe parent) calc-assoc-ops)) | |
238 | (consp (setq p (calc-find-parent-formula | |
239 | (car entry) parent))) | |
240 | (eq (nth 2 p) parent) | |
241 | (memq (car p) (nth 2 op))) | |
242 | (setq sel (nth 1 p)) | |
243 | (error "No \"previous\" sub-formula"))))) | |
244 | (calc-change-current-selection sel)) | |
245 | (if (Math-primp (car entry)) | |
246 | (calc-change-current-selection (car entry)) | |
247 | (let ((len (if (and calc-assoc-selections | |
248 | (assq (car (car entry)) calc-assoc-ops)) | |
8416e352 | 249 | (let (calc-fnp-op (calc-fnp-num 0)) |
136211a9 | 250 | (calc-find-nth-part-rec (car entry)) |
8416e352 | 251 | (- 1 calc-fnp-num)) |
136211a9 | 252 | (length (car entry))))) |
bf77c646 | 253 | (calc-select-part (- len num))))))))) |
136211a9 EZ |
254 | |
255 | (defun calc-find-parent-formula (expr part) | |
256 | (cond ((eq expr part) t) | |
257 | ((Math-primp expr) nil) | |
258 | (t | |
259 | (let ((p expr) res) | |
260 | (while (and (setq p (cdr p)) | |
261 | (not (setq res (calc-find-parent-formula | |
262 | (car p) part))))) | |
263 | (and p | |
bf77c646 | 264 | (if (eq res t) expr res)))))) |
136211a9 EZ |
265 | |
266 | ||
267 | (defun calc-find-assoc-parent-formula (expr part) | |
bf77c646 | 268 | (calc-grow-assoc-formula expr (calc-find-parent-formula expr part))) |
136211a9 EZ |
269 | |
270 | (defun calc-grow-assoc-formula (expr part) | |
271 | (if calc-assoc-selections | |
272 | (let ((op (assq (car-safe part) calc-assoc-ops))) | |
273 | (if op | |
274 | (let (new) | |
275 | (while (and (consp (setq new (calc-find-parent-formula | |
276 | expr part))) | |
277 | (memq (car new) | |
278 | (nth (calc-find-sub-formula new part) op))) | |
279 | (setq part new)))) | |
280 | part) | |
bf77c646 | 281 | part)) |
136211a9 EZ |
282 | |
283 | (defun calc-find-sub-formula (expr part) | |
284 | (cond ((eq expr part) t) | |
285 | ((Math-primp expr) nil) | |
286 | (t | |
287 | (let ((num 1)) | |
288 | (while (and (setq expr (cdr expr)) | |
289 | (not (calc-find-sub-formula (car expr) part))) | |
290 | (setq num (1+ num))) | |
bf77c646 | 291 | (and expr num))))) |
136211a9 EZ |
292 | |
293 | (defun calc-unselect (num) | |
294 | (interactive "P") | |
295 | (calc-wrapper | |
296 | (calc-prepare-selection num) | |
bf77c646 | 297 | (calc-change-current-selection nil))) |
136211a9 EZ |
298 | |
299 | (defun calc-clear-selections () | |
300 | (interactive) | |
301 | (calc-wrapper | |
302 | (let ((limit (calc-stack-size)) | |
303 | (n 1)) | |
304 | (while (<= n limit) | |
305 | (if (calc-top n 'sel) | |
306 | (progn | |
307 | (calc-prepare-selection n) | |
308 | (calc-change-current-selection nil))) | |
309 | (setq n (1+ n)))) | |
bf77c646 | 310 | (calc-clear-command-flag 'position-point))) |
136211a9 EZ |
311 | |
312 | (defun calc-show-selections (arg) | |
313 | (interactive "P") | |
314 | (calc-wrapper | |
315 | (calc-preserve-point) | |
316 | (setq calc-show-selections (if arg | |
317 | (> (prefix-numeric-value arg) 0) | |
318 | (not calc-show-selections))) | |
319 | (let ((p calc-stack)) | |
320 | (while (and p | |
321 | (or (null (nth 2 (car p))) | |
322 | (equal (car p) calc-selection-cache-entry))) | |
323 | (setq p (cdr p))) | |
324 | (or (and p | |
325 | (let ((calc-selection-cache-default-entry | |
326 | calc-selection-cache-entry)) | |
327 | (calc-do-refresh))) | |
328 | (and calc-selection-cache-entry | |
329 | (let ((sel (nth 2 calc-selection-cache-entry))) | |
330 | (setcar (nthcdr 2 calc-selection-cache-entry) nil) | |
331 | (calc-change-current-selection sel))))) | |
332 | (message (if calc-show-selections | |
333 | "Displaying only selected part of formulas" | |
bf77c646 | 334 | "Displaying all but selected part of formulas")))) |
136211a9 | 335 | |
8416e352 JB |
336 | ;; The variables calc-final-point-line and calc-final-point-column |
337 | ;; are declared in calc.el, and are used throughout. | |
338 | (defvar calc-final-point-line) | |
339 | (defvar calc-final-point-column) | |
340 | ||
136211a9 EZ |
341 | (defun calc-preserve-point () |
342 | (or (looking-at "\\.\n+\\'") | |
343 | (progn | |
344 | (setq calc-final-point-line (+ (count-lines (point-min) (point)) | |
345 | (if (bolp) 1 0)) | |
346 | calc-final-point-column (current-column)) | |
bf77c646 | 347 | (calc-set-command-flag 'position-point)))) |
136211a9 EZ |
348 | |
349 | (defun calc-enable-selections (arg) | |
350 | (interactive "P") | |
351 | (calc-wrapper | |
352 | (calc-preserve-point) | |
353 | (setq calc-use-selections (if arg | |
354 | (> (prefix-numeric-value arg) 0) | |
355 | (not calc-use-selections))) | |
356 | (calc-set-command-flag 'renum-stack) | |
357 | (message (if calc-use-selections | |
358 | "Commands operate only on selected sub-formulas" | |
bf77c646 | 359 | "Selections of sub-formulas have no effect")))) |
136211a9 EZ |
360 | |
361 | (defun calc-break-selections (arg) | |
362 | (interactive "P") | |
363 | (calc-wrapper | |
364 | (calc-preserve-point) | |
365 | (setq calc-assoc-selections (if arg | |
366 | (<= (prefix-numeric-value arg) 0) | |
367 | (not calc-assoc-selections))) | |
368 | (message (if calc-assoc-selections | |
369 | "Selection treats a+b+c as a sum of three terms" | |
bf77c646 | 370 | "Selection treats a+b+c as (a+b)+c")))) |
136211a9 EZ |
371 | |
372 | (defun calc-prepare-selection (&optional num) | |
373 | (or num (setq num (calc-locate-cursor-element (point)))) | |
374 | (setq calc-selection-true-num num | |
375 | calc-keep-selection t) | |
376 | (or (> num 0) (setq num 1)) | |
377 | ;; (if (or (< num 1) (> num (calc-stack-size))) | |
378 | ;; (error "Cursor must be positioned on a stack element")) | |
379 | (let* ((entry (calc-top num 'entry)) | |
380 | ww w) | |
381 | (or (equal entry calc-selection-cache-entry) | |
382 | (progn | |
383 | (setcar entry (calc-encase-atoms (car entry))) | |
384 | (setq calc-selection-cache-entry entry | |
385 | calc-selection-cache-num num | |
386 | calc-selection-cache-comp | |
387 | (let ((math-comp-tagged t)) | |
388 | (math-compose-expr (car entry) 0)) | |
389 | calc-selection-cache-offset | |
390 | (+ (car (math-stack-value-offset calc-selection-cache-comp)) | |
391 | (length calc-left-label) | |
392 | (if calc-line-numbering 4 0)))))) | |
bf77c646 | 393 | (calc-preserve-point)) |
136211a9 EZ |
394 | |
395 | ;;; The following ensures that no two subformulas will be "eq" to each other! | |
396 | (defun calc-encase-atoms (x) | |
397 | (if (or (not (consp x)) | |
398 | (equal x '(float 0 0))) | |
399 | (list 'cplx x 0) | |
400 | (calc-encase-atoms-rec x) | |
bf77c646 | 401 | x)) |
136211a9 EZ |
402 | |
403 | (defun calc-encase-atoms-rec (x) | |
404 | (or (Math-primp x) | |
405 | (progn | |
406 | (if (eq (car x) 'intv) | |
407 | (setq x (cdr x))) | |
408 | (while (setq x (cdr x)) | |
409 | (if (or (not (consp (car x))) | |
410 | (equal (car x) '(float 0 0))) | |
411 | (setcar x (list 'cplx (car x) 0)) | |
bf77c646 | 412 | (calc-encase-atoms-rec (car x))))))) |
136211a9 | 413 | |
1c80b98b JB |
414 | ;; The variable math-comp-sel-tag is local to calc-find-selected-part, |
415 | ;; but is used by math-comp-sel-flat-term and math-comp-add-string-sel | |
416 | ;; in calccomp.el, which are called (indirectly) by calc-find-selected-part. | |
417 | ||
136211a9 EZ |
418 | (defun calc-find-selected-part () |
419 | (let* ((math-comp-sel-hpos (- (current-column) calc-selection-cache-offset)) | |
420 | toppt | |
421 | (lcount 0) | |
422 | (spaces 0) | |
423 | (math-comp-sel-vpos (save-excursion | |
424 | (beginning-of-line) | |
425 | (let ((line (point))) | |
426 | (calc-cursor-stack-index | |
427 | calc-selection-cache-num) | |
428 | (setq toppt (point)) | |
429 | (while (< (point) line) | |
430 | (forward-line 1) | |
431 | (setq spaces (+ spaces | |
432 | (current-indentation)) | |
433 | lcount (1+ lcount))) | |
434 | (- lcount (math-comp-ascent | |
435 | calc-selection-cache-comp) -1)))) | |
436 | (math-comp-sel-cpos (- (point) toppt calc-selection-cache-offset | |
437 | spaces lcount)) | |
438 | (math-comp-sel-tag nil)) | |
439 | (and (>= math-comp-sel-hpos 0) | |
440 | (> calc-selection-true-num 0) | |
441 | (math-composition-to-string calc-selection-cache-comp 1000000)) | |
bf77c646 | 442 | (nth 1 math-comp-sel-tag))) |
136211a9 EZ |
443 | |
444 | (defun calc-change-current-selection (sub-expr) | |
445 | (or (eq sub-expr (nth 2 calc-selection-cache-entry)) | |
446 | (let ((calc-prepared-composition calc-selection-cache-comp) | |
447 | (buffer-read-only nil) | |
448 | top) | |
449 | (calc-set-command-flag 'renum-stack) | |
450 | (setcar (nthcdr 2 calc-selection-cache-entry) sub-expr) | |
451 | (calc-cursor-stack-index calc-selection-cache-num) | |
452 | (setq top (point)) | |
453 | (calc-cursor-stack-index (1- calc-selection-cache-num)) | |
454 | (delete-region top (point)) | |
455 | (let ((calc-selection-cache-default-entry calc-selection-cache-entry)) | |
456 | (insert (math-format-stack-value calc-selection-cache-entry) | |
bf77c646 | 457 | "\n"))))) |
136211a9 EZ |
458 | |
459 | (defun calc-top-selected (&optional n m) | |
460 | (and calc-any-selections | |
461 | calc-use-selections | |
462 | (progn | |
463 | (or n (setq n 1)) | |
464 | (or m (setq m 1)) | |
465 | (calc-check-stack (+ n m -1)) | |
466 | (let ((top (nthcdr (+ m calc-stack-top -1) calc-stack)) | |
467 | (sel nil)) | |
468 | (while (>= (setq n (1- n)) 0) | |
469 | (if (nth 2 (car top)) | |
470 | (setq sel (if sel t (nth 2 (car top))))) | |
471 | (setq top (cdr top))) | |
bf77c646 | 472 | sel)))) |
136211a9 | 473 | |
8416e352 JB |
474 | ;; The variables calc-rsf-old and calc-rsf-new are local to |
475 | ;; calc-replace-sub-formula, but used by calc-replace-sub-formula-rec, | |
476 | ;; which is called by calc-replace-sub-formula. | |
477 | (defvar calc-rsf-old) | |
478 | (defvar calc-rsf-new) | |
479 | ||
480 | (defun calc-replace-sub-formula (expr calc-rsf-old calc-rsf-new) | |
481 | (setq calc-rsf-new (calc-encase-atoms calc-rsf-new)) | |
bf77c646 | 482 | (calc-replace-sub-formula-rec expr)) |
136211a9 EZ |
483 | |
484 | (defun calc-replace-sub-formula-rec (expr) | |
8416e352 | 485 | (cond ((eq expr calc-rsf-old) calc-rsf-new) |
136211a9 EZ |
486 | ((Math-primp expr) expr) |
487 | (t | |
488 | (cons (car expr) | |
bf77c646 | 489 | (mapcar 'calc-replace-sub-formula-rec (cdr expr)))))) |
136211a9 EZ |
490 | |
491 | (defun calc-sel-error () | |
25f72ec0 | 492 | (error "Invalid operation on sub-formulas")) |
136211a9 EZ |
493 | |
494 | (defun calc-replace-selections (n vals m) | |
495 | (if (calc-top-selected n m) | |
496 | (let ((num (length vals))) | |
497 | (calc-preserve-point) | |
498 | (cond | |
499 | ((= n num) | |
500 | (let* ((old (calc-top-list n m 'entry)) | |
501 | (new nil) | |
502 | (sel nil) | |
503 | val) | |
504 | (while old | |
505 | (if (nth 2 (car old)) | |
506 | (setq val (calc-encase-atoms (car vals)) | |
507 | new (cons (calc-replace-sub-formula (car (car old)) | |
508 | (nth 2 (car old)) | |
509 | val) | |
510 | new) | |
511 | sel (cons val sel)) | |
512 | (setq new (cons (car vals) new) | |
513 | sel (cons nil sel))) | |
514 | (setq vals (cdr vals) | |
515 | old (cdr old))) | |
516 | (calc-pop-stack n m t) | |
517 | (calc-push-list (nreverse new) | |
518 | m (and calc-keep-selection (nreverse sel))))) | |
519 | ((= num 1) | |
520 | (let* ((old (calc-top-list n m 'entry)) | |
521 | more) | |
522 | (while (and old (not (nth 2 (car old)))) | |
523 | (setq old (cdr old))) | |
524 | (setq more old) | |
525 | (while (and (setq more (cdr more)) (not (nth 2 (car more))))) | |
526 | (and more | |
527 | (calc-sel-error)) | |
528 | (calc-pop-stack n m t) | |
529 | (if old | |
530 | (let ((val (calc-encase-atoms (car vals)))) | |
531 | (calc-push-list (list (calc-replace-sub-formula | |
532 | (car (car old)) | |
533 | (nth 2 (car old)) | |
534 | val)) | |
535 | m (and calc-keep-selection (list val)))) | |
536 | (calc-push-list vals)))) | |
537 | (t (calc-sel-error)))) | |
538 | (calc-pop-stack n m t) | |
bf77c646 | 539 | (calc-push-list vals m))) |
136211a9 EZ |
540 | |
541 | (defun calc-delete-selection (n) | |
542 | (let ((entry (calc-top n 'entry))) | |
543 | (if (nth 2 entry) | |
544 | (if (eq (nth 2 entry) (car entry)) | |
545 | (progn | |
546 | (calc-pop-stack 1 n t) | |
547 | (calc-push-list '(0) n)) | |
548 | (let ((parent (calc-find-parent-formula (car entry) (nth 2 entry))) | |
549 | (repl nil)) | |
550 | (calc-preserve-point) | |
551 | (calc-pop-stack 1 n t) | |
552 | (cond ((or (memq (car parent) '(* / %)) | |
553 | (and (eq (car parent) '^) | |
554 | (eq (nth 2 parent) (nth 2 entry)))) | |
555 | (setq repl 1)) | |
556 | ((memq (car parent) '(vec calcFunc-min calcFunc-max))) | |
557 | ((and (assq (car parent) calc-tweak-eqn-table) | |
558 | (= (length parent) 3)) | |
559 | (setq repl 'del)) | |
560 | (t | |
561 | (setq repl 0))) | |
562 | (cond | |
563 | ((eq repl 'del) | |
564 | (calc-push-list (list | |
565 | (calc-normalize | |
566 | (calc-replace-sub-formula | |
567 | (car entry) | |
568 | parent | |
569 | (if (eq (nth 2 entry) (nth 1 parent)) | |
570 | (nth 2 parent) | |
571 | (nth 1 parent))))) | |
572 | n)) | |
573 | (repl | |
574 | (calc-push-list (list | |
575 | (calc-normalize | |
576 | (calc-replace-sub-formula (car entry) | |
577 | (nth 2 entry) | |
578 | repl))) | |
579 | n)) | |
580 | (t | |
581 | (calc-push-list (list | |
582 | (calc-normalize | |
583 | (calc-replace-sub-formula (car entry) | |
584 | parent | |
585 | (delq (nth 2 entry) | |
586 | (copy-sequence | |
587 | parent))))) | |
588 | n))))) | |
bf77c646 | 589 | (calc-pop-stack 1 n t)))) |
136211a9 EZ |
590 | |
591 | (defun calc-roll-down-with-selections (n m) | |
592 | (let ((vals (append (calc-top-list m 1) | |
593 | (calc-top-list (- n m) (1+ m)))) | |
594 | (sels (append (calc-top-list m 1 'sel) | |
595 | (calc-top-list (- n m) (1+ m) 'sel)))) | |
bf77c646 | 596 | (calc-pop-push-list n vals 1 sels))) |
136211a9 EZ |
597 | |
598 | (defun calc-roll-up-with-selections (n m) | |
599 | (let ((vals (append (calc-top-list (- n m) 1) | |
600 | (calc-top-list m (- n m -1)))) | |
601 | (sels (append (calc-top-list (- n m) 1 'sel) | |
602 | (calc-top-list m (- n m -1) 'sel)))) | |
bf77c646 | 603 | (calc-pop-push-list n vals 1 sels))) |
136211a9 | 604 | |
8416e352 JB |
605 | ;; The variable calc-sel-reselect is local to several functions |
606 | ;; which call calc-auto-selection. | |
607 | (defvar calc-sel-reselect) | |
608 | ||
136211a9 EZ |
609 | (defun calc-auto-selection (entry) |
610 | (or (nth 2 entry) | |
611 | (progn | |
8416e352 | 612 | (setq calc-sel-reselect nil) |
136211a9 | 613 | (calc-prepare-selection) |
bf77c646 | 614 | (calc-grow-assoc-formula (car entry) (calc-find-selected-part))))) |
136211a9 EZ |
615 | |
616 | (defun calc-copy-selection () | |
617 | (interactive) | |
618 | (calc-wrapper | |
619 | (calc-preserve-point) | |
620 | (let* ((num (max 1 (calc-locate-cursor-element (point)))) | |
621 | (entry (calc-top num 'entry))) | |
bf77c646 | 622 | (calc-push (or (calc-auto-selection entry) (car entry)))))) |
136211a9 EZ |
623 | |
624 | (defun calc-del-selection () | |
625 | (interactive) | |
626 | (calc-wrapper | |
627 | (calc-preserve-point) | |
628 | (let* ((num (max 1 (calc-locate-cursor-element (point)))) | |
629 | (entry (calc-top num 'entry)) | |
630 | (sel (calc-auto-selection entry))) | |
631 | (setcar (nthcdr 2 entry) (and (not (eq sel (car entry))) sel)) | |
bf77c646 | 632 | (calc-delete-selection num)))) |
136211a9 | 633 | |
64d96023 JB |
634 | (defvar calc-selection-history nil |
635 | "History for calc selections.") | |
636 | ||
136211a9 EZ |
637 | (defun calc-enter-selection () |
638 | (interactive) | |
639 | (calc-wrapper | |
640 | (calc-preserve-point) | |
641 | (let* ((num (max 1 (calc-locate-cursor-element (point)))) | |
8416e352 | 642 | (calc-sel-reselect calc-keep-selection) |
136211a9 EZ |
643 | (entry (calc-top num 'entry)) |
644 | (expr (car entry)) | |
645 | (sel (or (calc-auto-selection entry) expr)) | |
646 | alg) | |
647 | (let ((calc-dollar-values (list sel)) | |
648 | (calc-dollar-used 0)) | |
64d96023 JB |
649 | (setq alg (calc-do-alg-entry "" "Replace selection with: " nil |
650 | 'calc-selection-history)) | |
136211a9 EZ |
651 | (and alg |
652 | (progn | |
653 | (setq alg (calc-encase-atoms (car alg))) | |
654 | (calc-pop-push-record-list 1 "repl" | |
655 | (list (calc-replace-sub-formula | |
656 | expr sel alg)) | |
657 | num | |
8416e352 | 658 | (list (and calc-sel-reselect alg)))))) |
bf77c646 | 659 | (calc-handle-whys)))) |
136211a9 EZ |
660 | |
661 | (defun calc-edit-selection () | |
662 | (interactive) | |
663 | (calc-wrapper | |
664 | (calc-preserve-point) | |
665 | (let* ((num (max 1 (calc-locate-cursor-element (point)))) | |
8416e352 | 666 | (calc-sel-reselect calc-keep-selection) |
136211a9 EZ |
667 | (entry (calc-top num 'entry)) |
668 | (expr (car entry)) | |
669 | (sel (or (calc-auto-selection entry) expr)) | |
670 | alg) | |
671 | (let ((str (math-showing-full-precision | |
8f66f479 | 672 | (math-format-nice-expr sel (frame-width))))) |
136211a9 | 673 | (calc-edit-mode (list 'calc-finish-selection-edit |
8416e352 | 674 | num (list 'quote sel) calc-sel-reselect)) |
136211a9 | 675 | (insert str "\n")))) |
bf77c646 | 676 | (calc-show-edit-buffer)) |
136211a9 | 677 | |
8416e352 JB |
678 | (defvar calc-original-buffer) |
679 | ||
680 | ;; The variable calc-edit-disp-trail is local to calc-edit-finish, | |
681 | ;; in calc-yank.el. | |
682 | (defvar calc-edit-disp-trail) | |
519c0d00 | 683 | (defvar calc-edit-top) |
8416e352 | 684 | |
136211a9 EZ |
685 | (defun calc-finish-selection-edit (num sel reselect) |
686 | (let ((buf (current-buffer)) | |
519c0d00 | 687 | (str (buffer-substring calc-edit-top (point-max))) |
136211a9 EZ |
688 | (start (point))) |
689 | (switch-to-buffer calc-original-buffer) | |
690 | (let ((val (math-read-expr str))) | |
691 | (if (eq (car-safe val) 'error) | |
692 | (progn | |
693 | (switch-to-buffer buf) | |
694 | (goto-char (+ start (nth 1 val))) | |
695 | (error (nth 2 val)))) | |
696 | (calc-wrapper | |
697 | (calc-preserve-point) | |
8416e352 | 698 | (if calc-edit-disp-trail |
136211a9 EZ |
699 | (calc-trail-display 1 t)) |
700 | (setq val (calc-encase-atoms (calc-normalize val))) | |
701 | (let ((expr (calc-top num 'full))) | |
702 | (if (calc-find-sub-formula expr sel) | |
703 | (calc-pop-push-record-list 1 "edit" | |
704 | (list (calc-replace-sub-formula | |
705 | expr sel val)) | |
706 | num | |
707 | (list (and reselect val))) | |
708 | (calc-push val) | |
bf77c646 | 709 | (error "Original selection has been lost"))))))) |
136211a9 EZ |
710 | |
711 | (defun calc-sel-evaluate (arg) | |
712 | (interactive "p") | |
713 | (calc-slow-wrapper | |
714 | (calc-preserve-point) | |
715 | (let* ((num (max 1 (calc-locate-cursor-element (point)))) | |
8416e352 | 716 | (calc-sel-reselect calc-keep-selection) |
136211a9 EZ |
717 | (entry (calc-top num 'entry)) |
718 | (sel (or (calc-auto-selection entry) (car entry)))) | |
719 | (calc-with-default-simplification | |
720 | (let ((math-simplify-only nil)) | |
721 | (calc-modify-simplify-mode arg) | |
722 | (let ((val (calc-encase-atoms (calc-normalize sel)))) | |
723 | (calc-pop-push-record-list 1 "jsmp" | |
724 | (list (calc-replace-sub-formula | |
725 | (car entry) sel val)) | |
726 | num | |
8416e352 | 727 | (list (and calc-sel-reselect val)))))) |
bf77c646 | 728 | (calc-handle-whys)))) |
136211a9 EZ |
729 | |
730 | (defun calc-sel-expand-formula (arg) | |
731 | (interactive "p") | |
732 | (calc-slow-wrapper | |
733 | (calc-preserve-point) | |
734 | (let* ((num (max 1 (calc-locate-cursor-element (point)))) | |
8416e352 | 735 | (calc-sel-reselect calc-keep-selection) |
136211a9 EZ |
736 | (entry (calc-top num 'entry)) |
737 | (sel (or (calc-auto-selection entry) (car entry)))) | |
738 | (calc-with-default-simplification | |
739 | (let ((math-simplify-only nil)) | |
740 | (calc-modify-simplify-mode arg) | |
741 | (let* ((math-expand-formulas (> arg 0)) | |
742 | (val (calc-normalize sel)) | |
743 | top) | |
744 | (and (<= arg 0) | |
745 | (setq top (math-expand-formula val)) | |
746 | (setq val (calc-normalize top))) | |
747 | (setq val (calc-encase-atoms val)) | |
748 | (calc-pop-push-record-list 1 "jexf" | |
749 | (list (calc-replace-sub-formula | |
750 | (car entry) sel val)) | |
751 | num | |
8416e352 | 752 | (list (and calc-sel-reselect val)))))) |
bf77c646 | 753 | (calc-handle-whys)))) |
136211a9 EZ |
754 | |
755 | (defun calc-sel-mult-both-sides (no-simp &optional divide) | |
756 | (interactive "P") | |
757 | (calc-wrapper | |
758 | (calc-preserve-point) | |
759 | (let* ((num (max 1 (calc-locate-cursor-element (point)))) | |
8416e352 | 760 | (calc-sel-reselect calc-keep-selection) |
136211a9 EZ |
761 | (entry (calc-top num 'entry)) |
762 | (expr (car entry)) | |
763 | (sel (or (calc-auto-selection entry) expr)) | |
764 | (func (car-safe sel)) | |
765 | alg lhs rhs) | |
766 | (setq alg (calc-with-default-simplification | |
767 | (car (calc-do-alg-entry "" | |
768 | (if divide | |
769 | "Divide both sides by: " | |
64d96023 JB |
770 | "Multiply both sides by: ") |
771 | nil 'calc-selection-history)))) | |
136211a9 EZ |
772 | (and alg |
773 | (progn | |
774 | (if (and (or (eq func '/) | |
775 | (assq func calc-tweak-eqn-table)) | |
776 | (= (length sel) 3)) | |
777 | (progn | |
778 | (or (memq func '(/ calcFunc-eq calcFunc-neq)) | |
779 | (if (math-known-nonposp alg) | |
780 | (progn | |
781 | (setq func (nth 1 (assq func | |
782 | calc-tweak-eqn-table))) | |
783 | (or (math-known-negp alg) | |
784 | (message "Assuming this factor is nonzero"))) | |
785 | (or (math-known-posp alg) | |
786 | (if (math-known-nonnegp alg) | |
787 | (message "Assuming this factor is nonzero") | |
788 | (message "Assuming this factor is positive"))))) | |
789 | (setq lhs (list (if divide '/ '*) (nth 1 sel) alg) | |
790 | rhs (list (if divide '/ '*) (nth 2 sel) alg)) | |
791 | (or no-simp | |
792 | (progn | |
793 | (setq lhs (math-simplify lhs) | |
794 | rhs (math-simplify rhs)) | |
795 | (and (eq func '/) | |
796 | (or (Math-equal (nth 1 sel) 1) | |
797 | (Math-equal (nth 1 sel) -1) | |
798 | (and (memq (car-safe (nth 2 sel)) '(+ -)) | |
799 | (memq (car-safe alg) '(+ -)))) | |
800 | (setq rhs (math-expand-term rhs))))) | |
801 | (setq alg (calc-encase-atoms | |
802 | (calc-normalize (list func lhs rhs))))) | |
803 | (setq rhs (list (if divide '* '/) sel alg)) | |
804 | (or no-simp | |
805 | (setq rhs (math-simplify rhs))) | |
806 | (setq alg (calc-encase-atoms | |
807 | (calc-normalize (if divide | |
808 | (list '/ rhs alg) | |
809 | (list '* alg rhs)))))) | |
810 | (calc-pop-push-record-list 1 (if divide "div" "mult") | |
811 | (list (calc-replace-sub-formula | |
812 | expr sel alg)) | |
813 | num | |
8416e352 | 814 | (list (and calc-sel-reselect alg))))) |
bf77c646 | 815 | (calc-handle-whys)))) |
136211a9 EZ |
816 | |
817 | (defun calc-sel-div-both-sides (no-simp) | |
818 | (interactive "P") | |
bf77c646 | 819 | (calc-sel-mult-both-sides no-simp t)) |
136211a9 EZ |
820 | |
821 | (defun calc-sel-add-both-sides (no-simp &optional subtract) | |
822 | (interactive "P") | |
823 | (calc-wrapper | |
824 | (calc-preserve-point) | |
825 | (let* ((num (max 1 (calc-locate-cursor-element (point)))) | |
8416e352 | 826 | (calc-sel-reselect calc-keep-selection) |
136211a9 EZ |
827 | (entry (calc-top num 'entry)) |
828 | (expr (car entry)) | |
829 | (sel (or (calc-auto-selection entry) expr)) | |
830 | (func (car-safe sel)) | |
831 | alg lhs rhs) | |
832 | (setq alg (calc-with-default-simplification | |
833 | (car (calc-do-alg-entry "" | |
834 | (if subtract | |
835 | "Subtract from both sides: " | |
64d96023 JB |
836 | "Add to both sides: ") |
837 | nil 'calc-selection-history)))) | |
136211a9 EZ |
838 | (and alg |
839 | (progn | |
840 | (if (and (assq func calc-tweak-eqn-table) | |
841 | (= (length sel) 3)) | |
842 | (progn | |
843 | (setq lhs (list (if subtract '- '+) (nth 1 sel) alg) | |
844 | rhs (list (if subtract '- '+) (nth 2 sel) alg)) | |
845 | (or no-simp | |
846 | (setq lhs (math-simplify lhs) | |
847 | rhs (math-simplify rhs))) | |
848 | (setq alg (calc-encase-atoms | |
849 | (calc-normalize (list func lhs rhs))))) | |
850 | (setq rhs (list (if subtract '+ '-) sel alg)) | |
851 | (or no-simp | |
852 | (setq rhs (math-simplify rhs))) | |
853 | (setq alg (calc-encase-atoms | |
854 | (calc-normalize (list (if subtract '- '+) alg rhs))))) | |
855 | (calc-pop-push-record-list 1 (if subtract "sub" "add") | |
856 | (list (calc-replace-sub-formula | |
857 | expr sel alg)) | |
858 | num | |
8416e352 | 859 | (list (and calc-sel-reselect alg))))) |
bf77c646 | 860 | (calc-handle-whys)))) |
136211a9 EZ |
861 | |
862 | (defun calc-sel-sub-both-sides (no-simp) | |
863 | (interactive "P") | |
bf77c646 | 864 | (calc-sel-add-both-sides no-simp t)) |
136211a9 | 865 | |
da0ae499 JB |
866 | (provide 'calc-sel) |
867 | ||
cbee283d | 868 | ;; arch-tag: e5169792-777d-428f-bff5-acca66813fa2 |
bf77c646 | 869 | ;;; calc-sel.el ends here |