1 ;;; calcsel2.el --- selection functions for Calc
3 ;; Copyright (C) 1990, 1991, 1992, 1993, 2001, 2002, 2003, 2004,
4 ;; 2005, 2006, 2007, 2008, 2009, 2010, 2011 Free Software Foundation, Inc.
6 ;; Author: David Gillespie <daveg@synaptics.com>
7 ;; Maintainer: Jay Belanger <jay.p.belanger@gmail.com>
9 ;; This file is part of GNU Emacs.
11 ;; GNU Emacs is free software: you can redistribute it and/or modify
12 ;; it under the terms of the GNU General Public License as published by
13 ;; the Free Software Foundation, either version 3 of the License, or
14 ;; (at your option) any later version.
16 ;; GNU Emacs is distributed in the hope that it will be useful,
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.
21 ;; You should have received a copy of the GNU General Public License
22 ;; along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>.
28 ;; This file is autoloaded from calc-ext.el.
33 ;; The variable calc-keep-selection is declared and set in calc-sel.el.
34 (defvar calc-keep-selection)
36 ;; The variable calc-sel-reselect is local to the methods below,
37 ;; but is used by some functions in calc-sel.el which are called
38 ;; by the functions below.
40 (defun calc-commute-left (arg)
43 (calc-commute-right (- arg))
46 (let ((num (max 1 (calc-locate-cursor-element (point))))
47 (calc-sel-reselect calc-keep-selection))
48 (if (= arg 0) (setq arg nil))
49 (while (or (null arg) (>= (setq arg (1- arg)) 0))
50 (let* ((entry (calc-top num 'entry))
52 (sel (calc-auto-selection entry))
55 (consp (setq parent (calc-find-assoc-parent-formula
57 (error "No term is selected"))
58 (if (and calc-assoc-selections
59 (assq (car parent) calc-assoc-ops))
60 (let ((outer (calc-find-parent-formula parent sel)))
61 (if (eq sel (nth 2 outer))
62 (setq new (calc-replace-sub-formula
66 (nth 1 (assq (car-safe (nth 1 outer))
68 (let* ((other (nth 2 (nth 1 outer)))
69 (new (calc-build-assoc-term
71 (calc-build-assoc-term
76 (setq sel (nth 2 (nth 1 new)))
79 (calc-build-assoc-term
81 (setq sel (math-neg sel))
84 (calc-build-assoc-term
86 (setq sel (calcFunc-div 1 sel))
88 (t (calc-build-assoc-term
89 (car outer) sel (nth 1 outer))))))
90 (let ((next (calc-find-parent-formula parent outer)))
91 (if (not (and (consp next)
92 (eq outer (nth 2 next))
93 (eq (car next) (car outer))))
95 (setq new (calc-build-assoc-term
98 (calc-build-assoc-term
99 (car next) (nth 1 next) (nth 2 outer)))
101 new (calc-replace-sub-formula
102 parent next new))))))
103 (if (eq (nth 1 parent) sel)
105 (let ((p (nthcdr (1- (calc-find-sub-formula parent sel))
106 (setq new (copy-sequence parent)))))
107 (setcar (cdr p) (car p))
111 (error "Term is already leftmost")
112 (or calc-sel-reselect
113 (calc-pop-push-list 1 (list expr) num '(nil)))
115 (calc-pop-push-record-list
117 (list (calc-replace-sub-formula expr parent new))
119 (list (and (or (not (eq arg 0)) calc-sel-reselect)
122 (defun calc-commute-right (arg)
125 (calc-commute-left (- arg))
127 (calc-preserve-point)
128 (let ((num (max 1 (calc-locate-cursor-element (point))))
129 (calc-sel-reselect calc-keep-selection))
130 (if (= arg 0) (setq arg nil))
131 (while (or (null arg) (>= (setq arg (1- arg)) 0))
132 (let* ((entry (calc-top num 'entry))
134 (sel (calc-auto-selection entry))
137 (consp (setq parent (calc-find-assoc-parent-formula
139 (error "No term is selected"))
140 (if (and calc-assoc-selections
141 (assq (car parent) calc-assoc-ops))
142 (let ((outer (calc-find-parent-formula parent sel)))
143 (if (eq sel (nth 1 outer))
144 (setq new (calc-replace-sub-formula
146 (if (memq (car outer)
147 (nth 2 (assq (car-safe (nth 2 outer))
149 (let ((other (nth 1 (nth 2 outer))))
150 (calc-build-assoc-term
153 (calc-build-assoc-term
156 (nth 2 (nth 2 outer)))))
159 (calc-build-assoc-term
161 (math-neg (nth 2 outer))
164 (calc-build-assoc-term
166 (calcFunc-div 1 (nth 2 outer))
168 (t (calc-build-assoc-term
172 (setq sel (nth 2 new))
174 (let ((next (calc-find-parent-formula parent outer)))
175 (if (not (and (consp next)
176 (eq outer (nth 1 next))))
178 (setq new (calc-build-assoc-term
180 (calc-build-assoc-term
181 (car next) (nth 1 outer) (nth 2 next))
184 new (calc-replace-sub-formula
185 parent next new))))))
186 (if (eq (nth (1- (length parent)) parent) sel)
188 (let ((p (nthcdr (calc-find-sub-formula parent sel)
189 (setq new (copy-sequence parent)))))
191 (setcar (cdr p) sel))))
194 (error "Term is already rightmost")
195 (or calc-sel-reselect
196 (calc-pop-push-list 1 (list expr) num '(nil)))
198 (calc-pop-push-record-list
200 (list (calc-replace-sub-formula expr parent new))
202 (list (and (or (not (eq arg 0)) calc-sel-reselect)
205 (defun calc-build-assoc-term (op lhs rhs)
206 (cond ((and (eq op '+) (or (math-looks-negp rhs)
207 (and (eq (car-safe rhs) 'cplx)
208 (math-negp (nth 1 rhs))
209 (eq (nth 2 rhs) 0))))
210 (list '- lhs (math-neg rhs)))
211 ((and (eq op '-) (or (math-looks-negp rhs)
212 (and (eq (car-safe rhs) 'cplx)
213 (math-negp (nth 1 rhs))
214 (eq (nth 2 rhs) 0))))
215 (list '+ lhs (math-neg rhs)))
216 ((and (eq op '*) (and (eq (car-safe rhs) '/)
217 (or (math-equal-int (nth 1 rhs) 1)
218 (equal (nth 1 rhs) '(cplx 1 0)))))
219 (list '/ lhs (nth 2 rhs)))
220 ((and (eq op '/) (and (eq (car-safe rhs) '/)
221 (or (math-equal-int (nth 1 rhs) 1)
222 (equal (nth 1 rhs) '(cplx 1 0)))))
223 (list '/ lhs (nth 2 rhs)))
224 (t (list op lhs rhs))))
226 (defun calc-sel-unpack ()
229 (calc-preserve-point)
230 (let* ((num (max 1 (calc-locate-cursor-element (point))))
231 (calc-sel-reselect calc-keep-selection)
232 (entry (calc-top num 'entry))
234 (sel (or (calc-auto-selection entry) expr)))
235 (or (and (not (math-primp sel))
237 (error "Selection must be a function of one argument"))
238 (calc-pop-push-record-list 1 "unpk"
239 (list (calc-replace-sub-formula
240 expr sel (nth 1 sel)))
242 (list (and calc-sel-reselect (nth 1 sel)))))))
244 (defun calc-sel-isolate ()
247 (calc-preserve-point)
248 (let* ((num (max 1 (calc-locate-cursor-element (point))))
249 (calc-sel-reselect calc-keep-selection)
250 (entry (calc-top num 'entry))
252 (sel (or (calc-auto-selection entry) (error "No selection")))
255 (while (and (or (consp (setq eqn (calc-find-parent-formula expr eqn)))
256 (error "Selection must be a member of an equation"))
257 (not (assq (car eqn) calc-tweak-eqn-table))))
258 (setq soln (math-solve-eqn eqn sel calc-hyperbolic-flag))
260 (error "No solution found"))
261 (setq soln (calc-encase-atoms
262 (if (eq (not (calc-find-sub-formula (nth 2 eqn) sel))
263 (eq (nth 1 soln) sel))
265 (list (nth 1 (assq (car soln) calc-tweak-eqn-table))
268 (calc-pop-push-record-list 1 "isol"
269 (list (calc-replace-sub-formula
272 (list (and calc-sel-reselect sel)))
273 (calc-handle-whys))))
275 (defun calc-sel-commute (many)
277 (let ((calc-assoc-selections nil))
278 (calc-rewrite-selection "CommuteRules" many "cmut"))
279 (calc-set-mode-line))
281 (defun calc-sel-jump-equals (many)
283 (calc-rewrite-selection "JumpRules" many "jump"))
285 (defun calc-sel-distribute (many)
287 (calc-rewrite-selection "DistribRules" many "dist"))
289 (defun calc-sel-merge (many)
291 (calc-rewrite-selection "MergeRules" many "merg"))
293 (defun calc-sel-negate (many)
295 (calc-rewrite-selection "NegateRules" many "jneg"))
297 (defun calc-sel-invert (many)
299 (calc-rewrite-selection "InvertRules" many "jinv"))
303 ;;; calcsel2.el ends here