[bpt/emacs.git] / lisp / calc / calcsel2.el

;;; calcsel2.el --- selection functions for Calc

;; Copyright (C) 1990, 1991, 1992, 1993, 2001, 2005 Free Software Foundation, Inc.

;; Author: David Gillespie <daveg@synaptics.com>
;; Maintainer: Jay Belanger <belanger@truman.edu>

;; This file is part of GNU Emacs.

;; GNU Emacs is distributed in the hope that it will be useful,
;; but WITHOUT ANY WARRANTY.  No author or distributor
;; accepts responsibility to anyone for the consequences of using it
;; or for whether it serves any particular purpose or works at all,
;; unless he says so in writing.  Refer to the GNU Emacs General Public
;; License for full details.

;; Everyone is granted permission to copy, modify and redistribute
;; GNU Emacs, but only under the conditions described in the
;; GNU Emacs General Public License.   A copy of this license is
;; supposed to have been given to you along with GNU Emacs so you
;; can know your rights and responsibilities.  It should be in a
;; file named COPYING.  Among other things, the copyright notice
;; and this notice must be preserved on all copies.

;;; Commentary:

;;; Code:

;; This file is autoloaded from calc-ext.el.

(require 'calc-ext)
(require 'calc-macs)

;; The variable calc-keep-selection is declared and set in calc-sel.el.
(defvar calc-keep-selection)

;; The variable calc-sel-reselect is local to the methods below,
;; but is used by some functions in calc-sel.el which are called
;; by the functions below.

(defun calc-commute-left (arg)
  (interactive "p")
  (if (< arg 0)
      (calc-commute-right (- arg))
    (calc-wrapper
     (calc-preserve-point)
     (let ((num (max 1 (calc-locate-cursor-element (point))))
	   (calc-sel-reselect calc-keep-selection))
       (if (= arg 0) (setq arg nil))
       (while (or (null arg) (>= (setq arg (1- arg)) 0))
	 (let* ((entry (calc-top num 'entry))
		(expr (car entry))
		(sel (calc-auto-selection entry))
		parent new)
	   (or (and sel
		    (consp (setq parent (calc-find-assoc-parent-formula
					 expr sel))))
	       (error "No term is selected"))
	   (if (and calc-assoc-selections
		    (assq (car parent) calc-assoc-ops))
	       (let ((outer (calc-find-parent-formula parent sel)))
		 (if (eq sel (nth 2 outer))
		     (setq new (calc-replace-sub-formula
				parent outer
				(cond
				 ((memq (car outer)
					(nth 1 (assq (car-safe (nth 1 outer))
						     calc-assoc-ops)))
				  (let* ((other (nth 2 (nth 1 outer)))
					 (new (calc-build-assoc-term
					       (car (nth 1 outer))
					       (calc-build-assoc-term
						(car outer)
						(nth 1 (nth 1 outer))
						sel)
					       other)))
				    (setq sel (nth 2 (nth 1 new)))
				    new))
				 ((eq (car outer) '-)
				  (calc-build-assoc-term
				   '+
				   (setq sel (math-neg sel))
				   (nth 1 outer)))
				 ((eq (car outer) '/)
				  (calc-build-assoc-term
				   '*
				   (setq sel (calcFunc-div 1 sel))
				   (nth 1 outer)))
				 (t (calc-build-assoc-term
				     (car outer) sel (nth 1 outer))))))
		   (let ((next (calc-find-parent-formula parent outer)))
		     (if (not (and (consp next)
				   (eq outer (nth 2 next))
				   (eq (car next) (car outer))))
			 (setq new nil)
		       (setq new (calc-build-assoc-term
				  (car next)
				  sel
				  (calc-build-assoc-term
				   (car next) (nth 1 next) (nth 2 outer)))
			     sel (nth 1 new)
			     new (calc-replace-sub-formula
				  parent next new))))))
	     (if (eq (nth 1 parent) sel)
		 (setq new nil)
	       (let ((p (nthcdr (1- (calc-find-sub-formula parent sel))
				(setq new (copy-sequence parent)))))
		 (setcar (cdr p) (car p))
		 (setcar p sel))))
	   (if (null new)
	       (if arg
		   (error "Term is already leftmost")
		 (or calc-sel-reselect
		     (calc-pop-push-list 1 (list expr) num '(nil)))
		 (setq arg 0))
	     (calc-pop-push-record-list
	      1 "left"
	      (list (calc-replace-sub-formula expr parent new))
	      num
	      (list (and (or (not (eq arg 0)) calc-sel-reselect)
			 sel))))))))))

(defun calc-commute-right (arg)
  (interactive "p")
  (if (< arg 0)
      (calc-commute-left (- arg))
    (calc-wrapper
     (calc-preserve-point)
     (let ((num (max 1 (calc-locate-cursor-element (point))))
	   (calc-sel-reselect calc-keep-selection))
       (if (= arg 0) (setq arg nil))
       (while (or (null arg) (>= (setq arg (1- arg)) 0))
	 (let* ((entry (calc-top num 'entry))
		(expr (car entry))
		(sel (calc-auto-selection entry))
		parent new)
	   (or (and sel
		    (consp (setq parent (calc-find-assoc-parent-formula
					 expr sel))))
	       (error "No term is selected"))
	   (if (and calc-assoc-selections
		    (assq (car parent) calc-assoc-ops))
	       (let ((outer (calc-find-parent-formula parent sel)))
		 (if (eq sel (nth 1 outer))
		     (setq new (calc-replace-sub-formula
				parent outer
				(if (memq (car outer)
					  (nth 2 (assq (car-safe (nth 2 outer))
						       calc-assoc-ops)))
				    (let ((other (nth 1 (nth 2 outer))))
				      (calc-build-assoc-term
				       (car outer)
				       other
				       (calc-build-assoc-term
					(car (nth 2 outer))
					sel
					(nth 2 (nth 2 outer)))))
				  (let ((new (cond
					      ((eq (car outer) '-)
					       (calc-build-assoc-term
						'+
						(math-neg (nth 2 outer))
						sel))
					      ((eq (car outer) '/)
					       (calc-build-assoc-term
						'*
						(calcFunc-div 1 (nth 2 outer))
						sel))
					      (t (calc-build-assoc-term
						  (car outer)
						  (nth 2 outer)
						  sel)))))
				    (setq sel (nth 2 new))
				    new))))
		   (let ((next (calc-find-parent-formula parent outer)))
		     (if (not (and (consp next)
				   (eq outer (nth 1 next))))
			 (setq new nil)
		       (setq new (calc-build-assoc-term
				  (car outer)
				  (calc-build-assoc-term
				   (car next) (nth 1 outer) (nth 2 next))
				  sel)
			     sel (nth 2 new)
			     new (calc-replace-sub-formula
				  parent next new))))))
	     (if (eq (nth (1- (length parent)) parent) sel)
		 (setq new nil)
	       (let ((p (nthcdr (calc-find-sub-formula parent sel)
				(setq new (copy-sequence parent)))))
		 (setcar p (nth 1 p))
		 (setcar (cdr p) sel))))
	   (if (null new)
	       (if arg
		   (error "Term is already rightmost")
		 (or calc-sel-reselect
		     (calc-pop-push-list 1 (list expr) num '(nil)))
		 (setq arg 0))
	     (calc-pop-push-record-list
	      1 "rght"
	      (list (calc-replace-sub-formula expr parent new))
	      num
	      (list (and (or (not (eq arg 0)) calc-sel-reselect)
			 sel))))))))))

(defun calc-build-assoc-term (op lhs rhs)
  (cond ((and (eq op '+) (or (math-looks-negp rhs)
			     (and (eq (car-safe rhs) 'cplx)
				  (math-negp (nth 1 rhs))
				  (eq (nth 2 rhs) 0))))
	 (list '- lhs (math-neg rhs)))
	((and (eq op '-) (or (math-looks-negp rhs)
			     (and (eq (car-safe rhs) 'cplx)
				  (math-negp (nth 1 rhs))
				  (eq (nth 2 rhs) 0))))
	 (list '+ lhs (math-neg rhs)))
	((and (eq op '*) (and (eq (car-safe rhs) '/)
			      (or (math-equal-int (nth 1 rhs) 1)
				  (equal (nth 1 rhs) '(cplx 1 0)))))
	 (list '/ lhs (nth 2 rhs)))
	((and (eq op '/) (and (eq (car-safe rhs) '/)
			      (or (math-equal-int (nth 1 rhs) 1)
				  (equal (nth 1 rhs) '(cplx 1 0)))))
	 (list '/ lhs (nth 2 rhs)))
	(t (list op lhs rhs))))

(defun calc-sel-unpack ()
  (interactive)
  (calc-wrapper
   (calc-preserve-point)
   (let* ((num (max 1 (calc-locate-cursor-element (point))))
	  (calc-sel-reselect calc-keep-selection)
	  (entry (calc-top num 'entry))
	  (expr (car entry))
	  (sel (or (calc-auto-selection entry) expr)))
     (or (and (not (math-primp sel))
	      (= (length sel) 2))
	 (error "Selection must be a function of one argument"))
     (calc-pop-push-record-list 1 "unpk"
				(list (calc-replace-sub-formula
				       expr sel (nth 1 sel)))
				num
				(list (and calc-sel-reselect (nth 1 sel)))))))

(defun calc-sel-isolate ()
  (interactive)
  (calc-slow-wrapper
   (calc-preserve-point)
   (let* ((num (max 1 (calc-locate-cursor-element (point))))
	  (calc-sel-reselect calc-keep-selection)
	  (entry (calc-top num 'entry))
	  (expr (car entry))
	  (sel (or (calc-auto-selection entry) (error "No selection")))
	  (eqn sel)
	  soln)
     (while (and (or (consp (setq eqn (calc-find-parent-formula expr eqn)))
		     (error "Selection must be a member of an equation"))
		 (not (assq (car eqn) calc-tweak-eqn-table))))
     (setq soln (math-solve-eqn eqn sel calc-hyperbolic-flag))
     (or soln
	 (error "No solution found"))
     (setq soln (calc-encase-atoms
		 (if (eq (not (calc-find-sub-formula (nth 2 eqn) sel))
			 (eq (nth 1 soln) sel))
		     soln
		   (list (nth 1 (assq (car soln) calc-tweak-eqn-table))
			 (nth 2 soln)
			 (nth 1 soln)))))
     (calc-pop-push-record-list 1 "isol"
				(list (calc-replace-sub-formula
				       expr eqn soln))
				num
				(list (and calc-sel-reselect sel)))
     (calc-handle-whys))))

(defun calc-sel-commute (many)
  (interactive "P")
  (let ((calc-assoc-selections nil))
    (calc-rewrite-selection "CommuteRules" many "cmut"))
  (calc-set-mode-line))

(defun calc-sel-jump-equals (many)
  (interactive "P")
  (calc-rewrite-selection "JumpRules" many "jump"))

(defun calc-sel-distribute (many)
  (interactive "P")
  (calc-rewrite-selection "DistribRules" many "dist"))

(defun calc-sel-merge (many)
  (interactive "P")
  (calc-rewrite-selection "MergeRules" many "merg"))

(defun calc-sel-negate (many)
  (interactive "P")
  (calc-rewrite-selection "NegateRules" many "jneg"))

(defun calc-sel-invert (many)
  (interactive "P")
  (calc-rewrite-selection "InvertRules" many "jinv"))

(provide 'calcsel2)

;;; arch-tag: 7c5b8d65-b8f0-45d9-820d-9930f8ee114b
;;; calcsel2.el ends here
Commit	Line	Data
3132f345 CW	1	;;; calcsel2.el --- selection functions for Calc
3132f345 CW	2
f8fc5256	3	;; Copyright (C) 1990, 1991, 1992, 1993, 2001, 2005 Free Software Foundation, Inc.
3132f345 CW	4
3132f345 CW	5	;; Author: David Gillespie <daveg@synaptics.com>
3b058174	6	;; Maintainer: Jay Belanger <belanger@truman.edu>
136211a9 EZ	7
	8	;; This file is part of GNU Emacs.
	9
	10	;; GNU Emacs is distributed in the hope that it will be useful,
	11	;; but WITHOUT ANY WARRANTY. No author or distributor
	12	;; accepts responsibility to anyone for the consequences of using it
	13	;; or for whether it serves any particular purpose or works at all,
	14	;; unless he says so in writing. Refer to the GNU Emacs General Public
	15	;; License for full details.
	16
	17	;; Everyone is granted permission to copy, modify and redistribute
	18	;; GNU Emacs, but only under the conditions described in the
	19	;; GNU Emacs General Public License. A copy of this license is
	20	;; supposed to have been given to you along with GNU Emacs so you
	21	;; can know your rights and responsibilities. It should be in a
	22	;; file named COPYING. Among other things, the copyright notice
	23	;; and this notice must be preserved on all copies.
	24
3132f345	25	;;; Commentary:
136211a9	26
3132f345	27	;;; Code:
136211a9 EZ	28
136211a9 EZ	29	;; This file is autoloaded from calc-ext.el.
136211a9	30
25efff5f	31	(require 'calc-ext)
136211a9 EZ	32	(require 'calc-macs)
136211a9 EZ	33
3b058174 JB	34	;; The variable calc-keep-selection is declared and set in calc-sel.el.
3b058174 JB	35	(defvar calc-keep-selection)
136211a9	36
1d64910f JB	37	;; The variable calc-sel-reselect is local to the methods below,
	38	;; but is used by some functions in calc-sel.el which are called
	39	;; by the functions below.
	40
136211a9 EZ	41	(defun calc-commute-left (arg)
	42	(interactive "p")
	43	(if (< arg 0)
	44	(calc-commute-right (- arg))
	45	(calc-wrapper
	46	(calc-preserve-point)
	47	(let ((num (max 1 (calc-locate-cursor-element (point))))
1d64910f	48	(calc-sel-reselect calc-keep-selection))
136211a9 EZ	49	(if (= arg 0) (setq arg nil))
	50	(while (or (null arg) (>= (setq arg (1- arg)) 0))
	51	(let* ((entry (calc-top num 'entry))
	52	(expr (car entry))
	53	(sel (calc-auto-selection entry))
	54	parent new)
	55	(or (and sel
	56	(consp (setq parent (calc-find-assoc-parent-formula
	57	expr sel))))
	58	(error "No term is selected"))
	59	(if (and calc-assoc-selections
	60	(assq (car parent) calc-assoc-ops))
	61	(let ((outer (calc-find-parent-formula parent sel)))
	62	(if (eq sel (nth 2 outer))
	63	(setq new (calc-replace-sub-formula
	64	parent outer
	65	(cond
	66	((memq (car outer)
	67	(nth 1 (assq (car-safe (nth 1 outer))
	68	calc-assoc-ops)))
	69	(let* ((other (nth 2 (nth 1 outer)))
	70	(new (calc-build-assoc-term
	71	(car (nth 1 outer))
	72	(calc-build-assoc-term
	73	(car outer)
	74	(nth 1 (nth 1 outer))
	75	sel)
	76	other)))
	77	(setq sel (nth 2 (nth 1 new)))
	78	new))
	79	((eq (car outer) '-)
	80	(calc-build-assoc-term
	81	'+
	82	(setq sel (math-neg sel))
	83	(nth 1 outer)))
	84	((eq (car outer) '/)
	85	(calc-build-assoc-term
	86	'*
	87	(setq sel (calcFunc-div 1 sel))
	88	(nth 1 outer)))
	89	(t (calc-build-assoc-term
	90	(car outer) sel (nth 1 outer))))))
	91	(let ((next (calc-find-parent-formula parent outer)))
	92	(if (not (and (consp next)
	93	(eq outer (nth 2 next))
	94	(eq (car next) (car outer))))
	95	(setq new nil)
	96	(setq new (calc-build-assoc-term
	97	(car next)
	98	sel
	99	(calc-build-assoc-term
	100	(car next) (nth 1 next) (nth 2 outer)))
	101	sel (nth 1 new)
	102	new (calc-replace-sub-formula
	103	parent next new))))))
	104	(if (eq (nth 1 parent) sel)
	105	(setq new nil)
	106	(let ((p (nthcdr (1- (calc-find-sub-formula parent sel))
	107	(setq new (copy-sequence parent)))))
	108	(setcar (cdr p) (car p))
	109	(setcar p sel))))
	110	(if (null new)
	111	(if arg
	112	(error "Term is already leftmost")
1d64910f	113	(or calc-sel-reselect
136211a9 EZ	114	(calc-pop-push-list 1 (list expr) num '(nil)))
	115	(setq arg 0))
	116	(calc-pop-push-record-list
	117	1 "left"
	118	(list (calc-replace-sub-formula expr parent new))
	119	num
1d64910f	120	(list (and (or (not (eq arg 0)) calc-sel-reselect)
bf77c646	121	sel))))))))))
136211a9 EZ	122
	123	(defun calc-commute-right (arg)
	124	(interactive "p")
	125	(if (< arg 0)
	126	(calc-commute-left (- arg))
	127	(calc-wrapper
	128	(calc-preserve-point)
	129	(let ((num (max 1 (calc-locate-cursor-element (point))))
1d64910f	130	(calc-sel-reselect calc-keep-selection))
136211a9 EZ	131	(if (= arg 0) (setq arg nil))
	132	(while (or (null arg) (>= (setq arg (1- arg)) 0))
	133	(let* ((entry (calc-top num 'entry))
	134	(expr (car entry))
	135	(sel (calc-auto-selection entry))
	136	parent new)
	137	(or (and sel
	138	(consp (setq parent (calc-find-assoc-parent-formula
	139	expr sel))))
	140	(error "No term is selected"))
	141	(if (and calc-assoc-selections
	142	(assq (car parent) calc-assoc-ops))
	143	(let ((outer (calc-find-parent-formula parent sel)))
	144	(if (eq sel (nth 1 outer))
	145	(setq new (calc-replace-sub-formula
	146	parent outer
	147	(if (memq (car outer)
	148	(nth 2 (assq (car-safe (nth 2 outer))
	149	calc-assoc-ops)))
	150	(let ((other (nth 1 (nth 2 outer))))
	151	(calc-build-assoc-term
	152	(car outer)
	153	other
	154	(calc-build-assoc-term
	155	(car (nth 2 outer))
	156	sel
	157	(nth 2 (nth 2 outer)))))
	158	(let ((new (cond
	159	((eq (car outer) '-)
	160	(calc-build-assoc-term
	161	'+
	162	(math-neg (nth 2 outer))
	163	sel))
	164	((eq (car outer) '/)
	165	(calc-build-assoc-term
	166	'*
	167	(calcFunc-div 1 (nth 2 outer))
	168	sel))
	169	(t (calc-build-assoc-term
	170	(car outer)
	171	(nth 2 outer)
	172	sel)))))
	173	(setq sel (nth 2 new))
	174	new))))
	175	(let ((next (calc-find-parent-formula parent outer)))
	176	(if (not (and (consp next)
	177	(eq outer (nth 1 next))))
	178	(setq new nil)
	179	(setq new (calc-build-assoc-term
	180	(car outer)
	181	(calc-build-assoc-term
	182	(car next) (nth 1 outer) (nth 2 next))
	183	sel)
	184	sel (nth 2 new)
	185	new (calc-replace-sub-formula
	186	parent next new))))))
	187	(if (eq (nth (1- (length parent)) parent) sel)
	188	(setq new nil)
	189	(let ((p (nthcdr (calc-find-sub-formula parent sel)
	190	(setq new (copy-sequence parent)))))
	191	(setcar p (nth 1 p))
	192	(setcar (cdr p) sel))))
	193	(if (null new)
	194	(if arg
195	(error "Term is already rightmost")
1d64910f	196	(or calc-sel-reselect
136211a9 EZ	197	(calc-pop-push-list 1 (list expr) num '(nil)))
	198	(setq arg 0))
	199	(calc-pop-push-record-list
	200	1 "rght"
	201	(list (calc-replace-sub-formula expr parent new))
	202	num
1d64910f	203	(list (and (or (not (eq arg 0)) calc-sel-reselect)
bf77c646	204	sel))))))))))
136211a9 EZ	205
	206	(defun calc-build-assoc-term (op lhs rhs)
	207	(cond ((and (eq op '+) (or (math-looks-negp rhs)
	208	(and (eq (car-safe rhs) 'cplx)
	209	(math-negp (nth 1 rhs))
	210	(eq (nth 2 rhs) 0))))
	211	(list '- lhs (math-neg rhs)))
	212	((and (eq op '-) (or (math-looks-negp rhs)
	213	(and (eq (car-safe rhs) 'cplx)
	214	(math-negp (nth 1 rhs))
	215	(eq (nth 2 rhs) 0))))
	216	(list '+ lhs (math-neg rhs)))
	217	((and (eq op '*) (and (eq (car-safe rhs) '/)
	218	(or (math-equal-int (nth 1 rhs) 1)
	219	(equal (nth 1 rhs) '(cplx 1 0)))))
	220	(list '/ lhs (nth 2 rhs)))
	221	((and (eq op '/) (and (eq (car-safe rhs) '/)
	222	(or (math-equal-int (nth 1 rhs) 1)
	223	(equal (nth 1 rhs) '(cplx 1 0)))))
	224	(list '/ lhs (nth 2 rhs)))
bf77c646	225	(t (list op lhs rhs))))
136211a9 EZ	226
	227	(defun calc-sel-unpack ()
	228	(interactive)
	229	(calc-wrapper
	230	(calc-preserve-point)
	231	(let* ((num (max 1 (calc-locate-cursor-element (point))))
1d64910f	232	(calc-sel-reselect calc-keep-selection)
136211a9 EZ	233	(entry (calc-top num 'entry))
	234	(expr (car entry))
	235	(sel (or (calc-auto-selection entry) expr)))
	236	(or (and (not (math-primp sel))
	237	(= (length sel) 2))
	238	(error "Selection must be a function of one argument"))
	239	(calc-pop-push-record-list 1 "unpk"
	240	(list (calc-replace-sub-formula
	241	expr sel (nth 1 sel)))
	242	num
1d64910f	243	(list (and calc-sel-reselect (nth 1 sel)))))))
136211a9 EZ	244
	245	(defun calc-sel-isolate ()
	246	(interactive)
	247	(calc-slow-wrapper
	248	(calc-preserve-point)
	249	(let* ((num (max 1 (calc-locate-cursor-element (point))))
1d64910f	250	(calc-sel-reselect calc-keep-selection)
136211a9 EZ	251	(entry (calc-top num 'entry))
	252	(expr (car entry))
	253	(sel (or (calc-auto-selection entry) (error "No selection")))
	254	(eqn sel)
	255	soln)
	256	(while (and (or (consp (setq eqn (calc-find-parent-formula expr eqn)))
	257	(error "Selection must be a member of an equation"))
	258	(not (assq (car eqn) calc-tweak-eqn-table))))
	259	(setq soln (math-solve-eqn eqn sel calc-hyperbolic-flag))
	260	(or soln
	261	(error "No solution found"))
	262	(setq soln (calc-encase-atoms
	263	(if (eq (not (calc-find-sub-formula (nth 2 eqn) sel))
	264	(eq (nth 1 soln) sel))
	265	soln
	266	(list (nth 1 (assq (car soln) calc-tweak-eqn-table))
	267	(nth 2 soln)
	268	(nth 1 soln)))))
	269	(calc-pop-push-record-list 1 "isol"
	270	(list (calc-replace-sub-formula
	271	expr eqn soln))
	272	num
1d64910f	273	(list (and calc-sel-reselect sel)))
bf77c646	274	(calc-handle-whys))))
136211a9 EZ	275
	276	(defun calc-sel-commute (many)
	277	(interactive "P")
	278	(let ((calc-assoc-selections nil))
	279	(calc-rewrite-selection "CommuteRules" many "cmut"))
bf77c646	280	(calc-set-mode-line))
136211a9 EZ	281
	282	(defun calc-sel-jump-equals (many)
	283	(interactive "P")
bf77c646	284	(calc-rewrite-selection "JumpRules" many "jump"))
136211a9 EZ	285
	286	(defun calc-sel-distribute (many)
	287	(interactive "P")
bf77c646	288	(calc-rewrite-selection "DistribRules" many "dist"))
136211a9 EZ	289
	290	(defun calc-sel-merge (many)
	291	(interactive "P")
bf77c646	292	(calc-rewrite-selection "MergeRules" many "merg"))
136211a9 EZ	293
	294	(defun calc-sel-negate (many)
	295	(interactive "P")
bf77c646	296	(calc-rewrite-selection "NegateRules" many "jneg"))
136211a9 EZ	297
	298	(defun calc-sel-invert (many)
	299	(interactive "P")
bf77c646	300	(calc-rewrite-selection "InvertRules" many "jinv"))
136211a9	301
25efff5f JB	302	(provide 'calcsel2)
25efff5f JB	303
ab5796a9	304	;;; arch-tag: 7c5b8d65-b8f0-45d9-820d-9930f8ee114b
bf77c646	305	;;; calcsel2.el ends here