Mercurial > emacs
annotate lisp/calc/calc-misc.el @ 41030:8144c97ba576
(Fprin1_to_string): Doc fix.
author | Richard M. Stallman <rms@gnu.org> |
---|---|
date | Wed, 14 Nov 2001 00:08:47 +0000 |
parents | ee9c2872370b |
children | 3491bfbd825e |
rev | line source |
---|---|
40785 | 1 ;; Calculator for GNU Emacs, part I [calc-misc.el] |
40998
ee9c2872370b
Use `frame-width' instead of `screen-width',
Eli Zaretskii <eliz@gnu.org>
parents:
40785
diff
changeset
|
2 ;; Copyright (C) 1990, 1991, 1992, 1993, 2001 Free Software Foundation, Inc. |
40785 | 3 ;; Written by Dave Gillespie, daveg@synaptics.com. |
4 | |
5 ;; This file is part of GNU Emacs. | |
6 | |
7 ;; GNU Emacs is distributed in the hope that it will be useful, | |
8 ;; but WITHOUT ANY WARRANTY. No author or distributor | |
9 ;; accepts responsibility to anyone for the consequences of using it | |
10 ;; or for whether it serves any particular purpose or works at all, | |
11 ;; unless he says so in writing. Refer to the GNU Emacs General Public | |
12 ;; License for full details. | |
13 | |
14 ;; Everyone is granted permission to copy, modify and redistribute | |
15 ;; GNU Emacs, but only under the conditions described in the | |
16 ;; GNU Emacs General Public License. A copy of this license is | |
17 ;; supposed to have been given to you along with GNU Emacs so you | |
18 ;; can know your rights and responsibilities. It should be in a | |
19 ;; file named COPYING. Among other things, the copyright notice | |
20 ;; and this notice must be preserved on all copies. | |
21 | |
22 | |
23 | |
24 ;; This file is autoloaded from calc.el. | |
25 (require 'calc) | |
26 | |
27 (require 'calc-macs) | |
28 | |
29 (defun calc-Need-calc-misc () nil) | |
30 | |
31 | |
32 (defun calc-dispatch-help (arg) | |
33 "M-# is a prefix key; follow it with one of these letters: | |
34 | |
35 For turning Calc on and off: | |
36 C calc. Start the Calculator in a window at the bottom of the screen. | |
37 O calc-other-window. Start the Calculator but don't select its window. | |
38 B calc-big-or-small. Control whether to use the full Emacs screen for Calc. | |
39 Q quick-calc. Use the Calculator in the minibuffer. | |
40 K calc-keypad. Start the Calculator in keypad mode (X window system only). | |
41 E calc-embedded. Use the Calculator on a formula in this editing buffer. | |
42 J calc-embedded-select. Like E, but select appropriate half of => or :=. | |
43 W calc-embedded-word. Like E, but activate a single word, i.e., a number. | |
44 Z calc-user-invocation. Invoke Calc in the way you defined with `Z I' cmd. | |
45 X calc-quit. Turn Calc off. | |
46 | |
47 For moving data into and out of Calc: | |
48 G calc-grab-region. Grab the region defined by mark and point into Calc. | |
49 R calc-grab-rectangle. Grab the rectangle defined by mark, point into Calc. | |
50 : calc-grab-sum-down. Grab a rectangle and sum the columns. | |
51 _ calc-grab-sum-across. Grab a rectangle and sum the rows. | |
52 Y calc-copy-to-buffer. Copy a value from the stack into the editing buffer. | |
53 | |
54 For use with Embedded mode: | |
55 A calc-embedded-activate. Find and activate all :='s and =>'s in buffer. | |
56 D calc-embedded-duplicate. Make a copy of this formula and select it. | |
57 F calc-embedded-new-formula. Insert a new formula at current point. | |
58 N calc-embedded-next. Advance cursor to next known formula in buffer. | |
59 P calc-embedded-previous. Advance cursor to previous known formula. | |
60 U calc-embedded-update-formula. Re-evaluate formula at point. | |
61 ` calc-embedded-edit. Use calc-edit to edit formula at point. | |
62 | |
63 Documentation: | |
64 I calc-info. Read the Calculator manual in the Emacs Info system. | |
65 T calc-tutorial. Run the Calculator Tutorial using the Emacs Info system. | |
66 S calc-summary. Read the Summary from the Calculator manual in Info. | |
67 | |
68 Miscellaneous: | |
69 L calc-load-everything. Load all parts of the Calculator into memory. | |
70 M read-kbd-macro. Read a region of keystroke names as a keyboard macro. | |
71 0 (zero) calc-reset. Reset Calc stack and modes to default state. | |
72 | |
73 Press twice (`M-# M-#' or `M-# #') to turn Calc on or off using the same | |
74 Calc user interface as before (either M-# C or M-# K; initially M-# C)." | |
75 (interactive "P") | |
76 (calc-check-defines) | |
77 (if calc-dispatch-help | |
78 (progn | |
79 (save-window-excursion | |
80 (describe-function 'calc-dispatch-help) | |
81 (let ((win (get-buffer-window "*Help*"))) | |
82 (if win | |
83 (let (key) | |
84 (select-window win) | |
85 (while (progn | |
86 (message "Calc options: Calc, Keypad, ... %s" | |
87 "press SPC, DEL to scroll, C-g to cancel") | |
88 (memq (car (setq key (calc-read-key t))) | |
89 '(? ?\C-h ?\C-? ?\C-v ?\M-v))) | |
90 (condition-case err | |
91 (if (memq (car key) '(? ?\C-v)) | |
92 (scroll-up) | |
93 (scroll-down)) | |
94 (error (beep)))) | |
95 (calc-unread-command (cdr key)))))) | |
96 (calc-do-dispatch nil)) | |
97 (let ((calc-dispatch-help t)) | |
98 (calc-do-dispatch arg))) | |
99 ) | |
100 | |
101 | |
102 (defun calc-big-or-small (arg) | |
103 "Toggle Calc between full-screen and regular mode." | |
104 (interactive "P") | |
105 (let ((cwin (get-buffer-window "*Calculator*")) | |
106 (twin (get-buffer-window "*Calc Trail*")) | |
107 (kwin (get-buffer-window "*Calc Keypad*"))) | |
108 (if cwin | |
109 (setq calc-full-mode | |
110 (if kwin | |
40998
ee9c2872370b
Use `frame-width' instead of `screen-width',
Eli Zaretskii <eliz@gnu.org>
parents:
40785
diff
changeset
|
111 (and twin (eq (window-width twin) (frame-width))) |
ee9c2872370b
Use `frame-width' instead of `screen-width',
Eli Zaretskii <eliz@gnu.org>
parents:
40785
diff
changeset
|
112 (eq (window-height cwin) (1- (frame-height)))))) |
40785 | 113 (setq calc-full-mode (if arg |
114 (> (prefix-numeric-value arg) 0) | |
115 (not calc-full-mode))) | |
116 (if kwin | |
117 (progn | |
118 (calc-quit) | |
119 (calc-do-keypad calc-full-mode nil)) | |
120 (if cwin | |
121 (progn | |
122 (calc-quit) | |
123 (calc nil calc-full-mode nil)))) | |
124 (message (if calc-full-mode | |
125 "Now using full screen for Calc." | |
126 "Now using partial screen for Calc."))) | |
127 ) | |
128 | |
129 (defun calc-other-window () | |
130 "Invoke the Calculator in another window." | |
131 (interactive) | |
132 (if (memq major-mode '(calc-mode calc-trail-mode)) | |
133 (progn | |
134 (other-window 1) | |
135 (if (memq major-mode '(calc-mode calc-trail-mode)) | |
136 (other-window 1))) | |
137 (if (get-buffer-window "*Calculator*") | |
138 (calc-quit) | |
139 (let ((win (selected-window))) | |
140 (calc nil win (interactive-p))))) | |
141 ) | |
142 | |
143 (defun another-calc () | |
144 "Create another, independent Calculator buffer." | |
145 (interactive) | |
146 (if (eq major-mode 'calc-mode) | |
147 (mapcar (function | |
148 (lambda (v) | |
149 (set-default v (symbol-value v)))) calc-local-var-list)) | |
150 (set-buffer (generate-new-buffer "*Calculator*")) | |
151 (pop-to-buffer (current-buffer)) | |
152 (calc-mode) | |
153 ) | |
154 | |
155 | |
156 ;;; Make an attempt to preserve the window configuration, while deleting | |
157 ;;; windows on "bufs". Emacs 19's delete-window function will probably | |
158 ;;; make this kludgery unnecessary, but Emacs 18's tendency to grow all | |
159 ;;; windows on the screen to take up the slack from the deleted windows | |
160 ;;; can be annoying when Calc was called during another multi-window | |
161 ;;; application, such as GNUS. | |
162 | |
163 (defun calc-delete-windows-keep (&rest bufs) | |
164 (if (one-window-p) | |
165 (mapcar 'delete-windows-on bufs) | |
166 (let* ((w (car calc-was-split)) | |
167 (e (window-edges w)) | |
168 (wins nil) | |
169 w2 e2) | |
170 (while (progn | |
171 (setq w2 (previous-window w) | |
172 e2 (window-edges w2)) | |
173 (and (= (car e2) (car e)) | |
174 (= (nth 2 e2) (nth 2 e)) | |
175 (< (nth 1 e2) (nth 1 e)))) | |
176 (setq w w2 e e2)) | |
177 (setq w2 w e2 e) | |
178 (while (progn | |
179 (setq wins (cons (list w (nth 1 e) (window-buffer w) | |
180 (window-point w) (window-start w)) | |
181 wins) | |
182 w (next-window w) | |
183 e (window-edges w)) | |
184 (and (not (eq w w2)) | |
185 (= (car e2) (car e)) | |
186 (= (nth 2 e2) (nth 2 e))))) | |
187 (setq wins (nreverse wins)) | |
188 (mapcar 'delete-windows-on bufs) | |
189 (or (one-window-p) | |
190 (let ((w wins) | |
191 (main nil) | |
192 (mainpos 0) | |
193 (sel (if (window-point (nth 2 calc-was-split)) | |
194 (nth 2 calc-was-split) | |
195 (selected-window)))) | |
196 (while w | |
197 (if (window-point (car (car w))) | |
198 (if main | |
199 (delete-window (car (car w))) | |
200 (setq main (car (car w)) | |
201 mainpos (nth 1 (car w)) | |
202 wins (cdr wins))) | |
203 (setq wins (delq (car w) wins))) | |
204 (setq w (cdr w))) | |
205 (while wins | |
206 (setq w (split-window main | |
207 (if (eq main (car calc-was-split)) | |
208 (nth 1 calc-was-split) | |
209 (- (nth 1 (car wins)) mainpos)))) | |
210 (set-window-buffer w (nth 2 (car wins))) | |
211 (set-window-point w (nth 3 (car wins))) | |
212 (set-window-start w (nth 4 (car wins))) | |
213 (if (eq sel (car (car wins))) | |
214 (select-window w)) | |
215 (setq main w | |
216 mainpos (nth 1 (car wins)) | |
217 wins (cdr wins))) | |
218 (if (window-point sel) | |
219 (select-window sel)))))) | |
220 ) | |
221 | |
222 | |
223 (defun calc-info () | |
224 "Run the Emacs Info system on the Calculator documentation." | |
225 (interactive) | |
226 (require 'info) | |
227 (select-window (get-largest-window)) | |
228 (or (file-name-absolute-p calc-info-filename) | |
229 (let ((p load-path) | |
230 name) | |
231 (if (boundp 'Info-directory) | |
232 (setq p (cons Info-directory p))) | |
233 (while (and p (not (file-exists-p | |
234 (setq name (expand-file-name calc-info-filename | |
235 (car p)))))) | |
236 (setq p (cdr p))) | |
237 (if p (setq calc-info-filename name)))) | |
238 (condition-case err | |
239 (info) | |
240 (error nil)) | |
241 (or (and (boundp 'Info-current-file) | |
242 (stringp Info-current-file) | |
243 (string-match "calc" Info-current-file)) | |
244 (Info-find-node calc-info-filename "Top")) | |
245 ) | |
246 | |
247 (defun calc-tutorial () | |
248 "Run the Emacs Info system on the Calculator Tutorial." | |
249 (interactive) | |
250 (if (get-buffer-window "*Calculator*") | |
251 (calc-quit)) | |
252 (calc-info) | |
253 (Info-goto-node "Interactive Tutorial") | |
254 (calc-other-window) | |
255 (message "Welcome to the Calc Tutorial!") | |
256 ) | |
257 | |
258 (defun calc-info-summary () | |
259 "Run the Emacs Info system on the Calculator Summary." | |
260 (interactive) | |
261 (calc-info) | |
262 (Info-goto-node "Summary") | |
263 ) | |
264 | |
265 (defun calc-help () | |
266 (interactive) | |
267 (let ((msgs (append | |
268 '("Press `h' for complete help; press `?' repeatedly for a summary" | |
269 "Letter keys: Negate; Precision; Yank; Why; Xtended cmd; Quit" | |
270 "Letter keys: SHIFT + Undo, reDo; Keep-args; Inverse, Hyperbolic" | |
271 "Letter keys: SHIFT + sQrt; Sin, Cos, Tan; Exp, Ln, logB" | |
272 "Letter keys: SHIFT + Floor, Round; Abs, conJ, arG; Pi" | |
273 "Letter keys: SHIFT + Num-eval; More-recn; eXec-kbd-macro" | |
274 "Other keys: +, -, *, /, ^, \\ (int div), : (frac div)" | |
275 "Other keys: & (1/x), | (concat), % (modulo), ! (factorial)" | |
276 "Other keys: ' (alg-entry), = (eval), ` (edit); M-RET (last-args)" | |
277 "Other keys: SPC/RET (enter/dup), LFD (over); < > (scroll horiz)" | |
278 "Other keys: DEL (drop), M-DEL (drop-above); { } (scroll vert)" | |
279 "Other keys: TAB (swap/roll-dn), M-TAB (roll-up)" | |
280 "Other keys: [ , ; ] (vector), ( , ) (complex), ( ; ) (polar)" | |
281 "Prefix keys: Algebra, Binary/business, Convert, Display" | |
282 "Prefix keys: Functions, Graphics, Help, J (select)" | |
283 "Prefix keys: Kombinatorics/statistics, Modes, Store/recall" | |
284 "Prefix keys: Trail/time, Units/statistics, Vector/matrix" | |
285 "Prefix keys: Z (user), SHIFT + Z (define)" | |
286 "Prefix keys: prefix + ? gives further help for that prefix") | |
287 (list (format | |
288 " Calc %s by Dave Gillespie, daveg@synaptics.com" | |
289 calc-version))))) | |
290 (if calc-full-help-flag | |
291 msgs | |
292 (if (or calc-inverse-flag calc-hyperbolic-flag) | |
293 (if calc-inverse-flag | |
294 (if calc-hyperbolic-flag | |
295 (calc-inv-hyp-prefix-help) | |
296 (calc-inverse-prefix-help)) | |
297 (calc-hyperbolic-prefix-help)) | |
298 (setq calc-help-phase | |
299 (if (eq this-command last-command) | |
300 (% (1+ calc-help-phase) (1+ (length msgs))) | |
301 0)) | |
302 (let ((msg (nth calc-help-phase msgs))) | |
303 (message "%s" (if msg | |
304 (concat msg ":" | |
305 (make-string (- (apply 'max | |
306 (mapcar 'length | |
307 msgs)) | |
308 (length msg)) 32) | |
309 " [?=MORE]") | |
310 "")))))) | |
311 ) | |
312 | |
313 | |
314 | |
315 | |
316 ;;;; Stack and buffer management. | |
317 | |
318 | |
319 (defun calc-do-handle-whys () | |
320 (setq calc-why (sort calc-next-why | |
321 (function | |
322 (lambda (x y) | |
323 (and (eq (car x) '*) (not (eq (car y) '*)))))) | |
324 calc-next-why nil) | |
325 (if (and calc-why (or (eq calc-auto-why t) | |
326 (and (eq (car (car calc-why)) '*) | |
327 calc-auto-why))) | |
328 (progn | |
329 (calc-extensions) | |
330 (calc-explain-why (car calc-why) | |
331 (if (eq calc-auto-why t) | |
332 (cdr calc-why) | |
333 (if calc-auto-why | |
334 (eq (car (nth 1 calc-why)) '*)))) | |
335 (setq calc-last-why-command this-command) | |
336 (calc-clear-command-flag 'clear-message))) | |
337 ) | |
338 | |
339 (defun calc-record-why (&rest stuff) | |
340 (if (eq (car stuff) 'quiet) | |
341 (setq stuff (cdr stuff)) | |
342 (if (and (symbolp (car stuff)) | |
343 (cdr stuff) | |
344 (or (Math-objectp (nth 1 stuff)) | |
345 (and (Math-vectorp (nth 1 stuff)) | |
346 (math-constp (nth 1 stuff))) | |
347 (math-infinitep (nth 1 stuff)))) | |
348 (setq stuff (cons '* stuff)) | |
349 (if (and (stringp (car stuff)) | |
350 (string-match "\\`\\*" (car stuff))) | |
351 (setq stuff (cons '* (cons (substring (car stuff) 1) | |
352 (cdr stuff))))))) | |
353 (setq calc-next-why (cons stuff calc-next-why)) | |
354 nil | |
355 ) | |
356 | |
357 ;;; True if A is a constant or vector of constants. [P x] [Public] | |
358 (defun math-constp (a) | |
359 (or (Math-scalarp a) | |
360 (and (memq (car a) '(sdev intv mod vec)) | |
361 (progn | |
362 (while (and (setq a (cdr a)) | |
363 (or (Math-scalarp (car a)) ; optimization | |
364 (math-constp (car a))))) | |
365 (null a)))) | |
366 ) | |
367 | |
368 | |
369 (defun calc-roll-down-stack (n &optional m) | |
370 (if (< n 0) | |
371 (calc-roll-up-stack (- n) m) | |
372 (if (or (= n 0) (> n (calc-stack-size))) (setq n (calc-stack-size))) | |
373 (or m (setq m 1)) | |
374 (and (> n 1) | |
375 (< m n) | |
376 (if (and calc-any-selections | |
377 (not calc-use-selections)) | |
378 (calc-roll-down-with-selections n m) | |
379 (calc-pop-push-list n | |
380 (append (calc-top-list m 1) | |
381 (calc-top-list (- n m) (1+ m))))))) | |
382 ) | |
383 | |
384 (defun calc-roll-up-stack (n &optional m) | |
385 (if (< n 0) | |
386 (calc-roll-down-stack (- n) m) | |
387 (if (or (= n 0) (> n (calc-stack-size))) (setq n (calc-stack-size))) | |
388 (or m (setq m 1)) | |
389 (and (> n 1) | |
390 (< m n) | |
391 (if (and calc-any-selections | |
392 (not calc-use-selections)) | |
393 (calc-roll-up-with-selections n m) | |
394 (calc-pop-push-list n | |
395 (append (calc-top-list (- n m) 1) | |
396 (calc-top-list m (- n m -1))))))) | |
397 ) | |
398 | |
399 | |
400 (defun calc-do-refresh () | |
401 (if calc-hyperbolic-flag | |
402 (progn | |
403 (setq calc-display-dirty t) | |
404 nil) | |
405 (calc-refresh) | |
406 t) | |
407 ) | |
408 | |
409 | |
410 (defun calc-record-list (vals &optional prefix) | |
411 (while vals | |
412 (or (eq (car vals) 'top-of-stack) | |
413 (progn | |
414 (calc-record (car vals) prefix) | |
415 (setq prefix "..."))) | |
416 (setq vals (cdr vals))) | |
417 ) | |
418 | |
419 | |
420 (defun calc-last-args-stub (arg) | |
421 (interactive "p") | |
422 (calc-extensions) | |
423 (calc-last-args arg) | |
424 ) | |
425 | |
426 | |
427 (defun calc-power (arg) | |
428 (interactive "P") | |
429 (calc-slow-wrapper | |
430 (if (and calc-extensions-loaded | |
431 (calc-is-inverse)) | |
432 (calc-binary-op "root" 'calcFunc-nroot arg nil nil) | |
433 (calc-binary-op "^" 'calcFunc-pow arg nil nil '^))) | |
434 ) | |
435 | |
436 (defun calc-mod (arg) | |
437 (interactive "P") | |
438 (calc-slow-wrapper | |
439 (calc-binary-op "%" 'calcFunc-mod arg nil nil '%)) | |
440 ) | |
441 | |
442 (defun calc-inv (arg) | |
443 (interactive "P") | |
444 (calc-slow-wrapper | |
445 (calc-unary-op "inv" 'calcFunc-inv arg)) | |
446 ) | |
447 | |
448 (defun calc-percent () | |
449 (interactive) | |
450 (calc-slow-wrapper | |
451 (calc-pop-push-record-list | |
452 1 "%" (list (list 'calcFunc-percent (calc-top-n 1))))) | |
453 ) | |
454 | |
455 | |
456 (defun calc-over (n) | |
457 (interactive "P") | |
458 (if n | |
459 (calc-enter (- (prefix-numeric-value n))) | |
460 (calc-enter -2)) | |
461 ) | |
462 | |
463 | |
464 (defun calc-pop-above (n) | |
465 (interactive "P") | |
466 (if n | |
467 (calc-pop (- (prefix-numeric-value n))) | |
468 (calc-pop -2)) | |
469 ) | |
470 | |
471 (defun calc-roll-down (n) | |
472 (interactive "P") | |
473 (calc-wrapper | |
474 (let ((nn (prefix-numeric-value n))) | |
475 (cond ((null n) | |
476 (calc-roll-down-stack 2)) | |
477 ((> nn 0) | |
478 (calc-roll-down-stack nn)) | |
479 ((= nn 0) | |
480 (calc-pop-push-list (calc-stack-size) | |
481 (reverse | |
482 (calc-top-list (calc-stack-size))))) | |
483 (t | |
484 (calc-roll-down-stack (calc-stack-size) (- nn)))))) | |
485 ) | |
486 | |
487 (defun calc-roll-up (n) | |
488 (interactive "P") | |
489 (calc-wrapper | |
490 (let ((nn (prefix-numeric-value n))) | |
491 (cond ((null n) | |
492 (calc-roll-up-stack 3)) | |
493 ((> nn 0) | |
494 (calc-roll-up-stack nn)) | |
495 ((= nn 0) | |
496 (calc-pop-push-list (calc-stack-size) | |
497 (reverse | |
498 (calc-top-list (calc-stack-size))))) | |
499 (t | |
500 (calc-roll-up-stack (calc-stack-size) (- nn)))))) | |
501 ) | |
502 | |
503 | |
504 | |
505 | |
506 ;;; Other commands. | |
507 | |
508 (defun calc-num-prefix-name (n) | |
509 (cond ((eq n '-) "- ") | |
510 ((equal n '(4)) "C-u ") | |
511 ((consp n) (format "%d " (car n))) | |
512 ((integerp n) (format "%d " n)) | |
513 (t "")) | |
514 ) | |
515 | |
516 (defun calc-missing-key (n) | |
517 "This is a placeholder for a command which needs to be loaded from calc-ext. | |
518 When this key is used, calc-ext (the Calculator extensions module) will be | |
519 loaded and the keystroke automatically re-typed." | |
520 (interactive "P") | |
521 (calc-extensions) | |
522 (if (keymapp (key-binding (char-to-string last-command-char))) | |
523 (message "%s%c-" (calc-num-prefix-name n) last-command-char)) | |
524 (calc-unread-command) | |
525 (setq prefix-arg n) | |
526 ) | |
527 | |
528 (defun calc-shift-Y-prefix-help () | |
529 (interactive) | |
530 (calc-extensions) | |
531 (calc-do-prefix-help calc-Y-help-msgs "other" ?Y) | |
532 ) | |
533 | |
534 | |
535 | |
536 | |
537 (defun calcDigit-letter () | |
538 (interactive) | |
539 (if (calc-minibuffer-contains "[-+]?\\(1[1-9]\\|[2-9][0-9]\\)#.*") | |
540 (progn | |
541 (setq last-command-char (upcase last-command-char)) | |
542 (calcDigit-key)) | |
543 (calcDigit-nondigit)) | |
544 ) | |
545 | |
546 | |
547 ;; A Lisp version of temp_minibuffer_message from minibuf.c. | |
548 (defun calc-temp-minibuffer-message (m) | |
549 (let ((savemax (point-max))) | |
550 (save-excursion | |
551 (goto-char (point-max)) | |
552 (insert m)) | |
553 (let ((okay nil)) | |
554 (unwind-protect | |
555 (progn | |
556 (sit-for 2) | |
557 (identity 1) ; this forces a call to QUIT; in bytecode.c. | |
558 (setq okay t)) | |
559 (progn | |
560 (delete-region savemax (point-max)) | |
561 (or okay (abort-recursive-edit)))))) | |
562 ) | |
563 | |
564 | |
565 (put 'math-with-extra-prec 'lisp-indent-hook 1) | |
566 | |
567 | |
568 ;;; Concatenate two vectors, or a vector and an object. [V O O] [Public] | |
569 (defun math-concat (v1 v2) | |
570 (if (stringp v1) | |
571 (concat v1 v2) | |
572 (calc-extensions) | |
573 (if (and (or (math-objvecp v1) (math-known-scalarp v1)) | |
574 (or (math-objvecp v2) (math-known-scalarp v2))) | |
575 (append (if (and (math-vectorp v1) | |
576 (or (math-matrixp v1) | |
577 (not (math-matrixp v2)))) | |
578 v1 | |
579 (list 'vec v1)) | |
580 (if (and (math-vectorp v2) | |
581 (or (math-matrixp v2) | |
582 (not (math-matrixp v1)))) | |
583 (cdr v2) | |
584 (list v2))) | |
585 (list '| v1 v2))) | |
586 ) | |
587 | |
588 | |
589 ;;; True if A is zero. Works for un-normalized values. [P n] [Public] | |
590 (defun math-zerop (a) | |
591 (if (consp a) | |
592 (cond ((memq (car a) '(bigpos bigneg)) | |
593 (while (eq (car (setq a (cdr a))) 0)) | |
594 (null a)) | |
595 ((memq (car a) '(frac float polar mod)) | |
596 (math-zerop (nth 1 a))) | |
597 ((eq (car a) 'cplx) | |
598 (and (math-zerop (nth 1 a)) (math-zerop (nth 2 a)))) | |
599 ((eq (car a) 'hms) | |
600 (and (math-zerop (nth 1 a)) | |
601 (math-zerop (nth 2 a)) | |
602 (math-zerop (nth 3 a))))) | |
603 (eq a 0)) | |
604 ) | |
605 | |
606 | |
607 ;;; True if A is real and negative. [P n] [Public] | |
608 | |
609 (defun math-negp (a) | |
610 (if (consp a) | |
611 (cond ((eq (car a) 'bigpos) nil) | |
612 ((eq (car a) 'bigneg) (cdr a)) | |
613 ((memq (car a) '(float frac)) | |
614 (Math-integer-negp (nth 1 a))) | |
615 ((eq (car a) 'hms) | |
616 (if (math-zerop (nth 1 a)) | |
617 (if (math-zerop (nth 2 a)) | |
618 (math-negp (nth 3 a)) | |
619 (math-negp (nth 2 a))) | |
620 (math-negp (nth 1 a)))) | |
621 ((eq (car a) 'date) | |
622 (math-negp (nth 1 a))) | |
623 ((eq (car a) 'intv) | |
624 (or (math-negp (nth 3 a)) | |
625 (and (math-zerop (nth 3 a)) | |
626 (memq (nth 1 a) '(0 2))))) | |
627 ((equal a '(neg (var inf var-inf))) t)) | |
628 (< a 0)) | |
629 ) | |
630 | |
631 ;;; True if A is a negative number or an expression the starts with '-'. | |
632 (defun math-looks-negp (a) ; [P x] [Public] | |
633 (or (Math-negp a) | |
634 (eq (car-safe a) 'neg) | |
635 (and (memq (car-safe a) '(* /)) | |
636 (or (math-looks-negp (nth 1 a)) | |
637 (math-looks-negp (nth 2 a)))) | |
638 (and (eq (car-safe a) '-) | |
639 (math-looks-negp (nth 1 a)))) | |
640 ) | |
641 | |
642 | |
643 ;;; True if A is real and positive. [P n] [Public] | |
644 (defun math-posp (a) | |
645 (if (consp a) | |
646 (cond ((eq (car a) 'bigpos) (cdr a)) | |
647 ((eq (car a) 'bigneg) nil) | |
648 ((memq (car a) '(float frac)) | |
649 (Math-integer-posp (nth 1 a))) | |
650 ((eq (car a) 'hms) | |
651 (if (math-zerop (nth 1 a)) | |
652 (if (math-zerop (nth 2 a)) | |
653 (math-posp (nth 3 a)) | |
654 (math-posp (nth 2 a))) | |
655 (math-posp (nth 1 a)))) | |
656 ((eq (car a) 'date) | |
657 (math-posp (nth 1 a))) | |
658 ((eq (car a) 'mod) | |
659 (not (math-zerop (nth 1 a)))) | |
660 ((eq (car a) 'intv) | |
661 (or (math-posp (nth 2 a)) | |
662 (and (math-zerop (nth 2 a)) | |
663 (memq (nth 1 a) '(0 1))))) | |
664 ((equal a '(var inf var-inf)) t)) | |
665 (> a 0)) | |
666 ) | |
667 | |
668 (fset 'math-fixnump (symbol-function 'integerp)) | |
669 (fset 'math-fixnatnump (symbol-function 'natnump)) | |
670 | |
671 | |
672 ;;; True if A is an even integer. [P R R] [Public] | |
673 (defun math-evenp (a) | |
674 (if (consp a) | |
675 (and (memq (car a) '(bigpos bigneg)) | |
676 (= (% (nth 1 a) 2) 0)) | |
677 (= (% a 2) 0)) | |
678 ) | |
679 | |
680 ;;; Compute A / 2, for small or big integer A. [I i] | |
681 ;;; If A is negative, type of truncation is undefined. | |
682 (defun math-div2 (a) | |
683 (if (consp a) | |
684 (if (cdr a) | |
685 (math-normalize (cons (car a) (math-div2-bignum (cdr a)))) | |
686 0) | |
687 (/ a 2)) | |
688 ) | |
689 | |
690 (defun math-div2-bignum (a) ; [l l] | |
691 (if (cdr a) | |
692 (cons (+ (/ (car a) 2) (* (% (nth 1 a) 2) 500)) | |
693 (math-div2-bignum (cdr a))) | |
694 (list (/ (car a) 2))) | |
695 ) | |
696 | |
697 | |
698 ;;; Reject an argument to a calculator function. [Public] | |
699 (defun math-reject-arg (&optional a p option) | |
700 (if option | |
701 (calc-record-why option p a) | |
702 (if p | |
703 (calc-record-why p a))) | |
704 (signal 'wrong-type-argument (and a (if p (list p a) (list a)))) | |
705 ) | |
706 | |
707 | |
708 ;;; Coerce A to be an integer (by truncation toward zero). [I N] [Public] | |
709 (defun math-trunc (a &optional prec) | |
710 (cond (prec | |
711 (calc-extensions) | |
712 (math-trunc-special a prec)) | |
713 ((Math-integerp a) a) | |
714 ((Math-looks-negp a) | |
715 (math-neg (math-trunc (math-neg a)))) | |
716 ((eq (car a) 'float) | |
717 (math-scale-int (nth 1 a) (nth 2 a))) | |
718 (t (calc-extensions) | |
719 (math-trunc-fancy a))) | |
720 ) | |
721 (fset 'calcFunc-trunc (symbol-function 'math-trunc)) | |
722 | |
723 ;;; Coerce A to be an integer (by truncation toward minus infinity). [I N] | |
724 (defun math-floor (a &optional prec) ; [Public] | |
725 (cond (prec | |
726 (calc-extensions) | |
727 (math-floor-special a prec)) | |
728 ((Math-integerp a) a) | |
729 ((Math-messy-integerp a) (math-trunc a)) | |
730 ((Math-realp a) | |
731 (if (Math-negp a) | |
732 (math-add (math-trunc a) -1) | |
733 (math-trunc a))) | |
734 (t (calc-extensions) | |
735 (math-floor-fancy a))) | |
736 ) | |
737 (fset 'calcFunc-floor (symbol-function 'math-floor)) | |
738 | |
739 | |
740 (defun math-imod (a b) ; [I I I] [Public] | |
741 (if (and (not (consp a)) (not (consp b))) | |
742 (if (= b 0) | |
743 (math-reject-arg a "*Division by zero") | |
744 (% a b)) | |
745 (cdr (math-idivmod a b))) | |
746 ) | |
747 | |
748 | |
749 (defun calcFunc-inv (m) | |
750 (if (Math-vectorp m) | |
751 (progn | |
752 (calc-extensions) | |
753 (if (math-square-matrixp m) | |
754 (or (math-with-extra-prec 2 (math-matrix-inv-raw m)) | |
755 (math-reject-arg m "*Singular matrix")) | |
756 (math-reject-arg m 'square-matrixp))) | |
757 (math-div 1 m)) | |
758 ) | |
759 | |
760 | |
761 (defun math-do-working (msg arg) | |
40998
ee9c2872370b
Use `frame-width' instead of `screen-width',
Eli Zaretskii <eliz@gnu.org>
parents:
40785
diff
changeset
|
762 (or executing-kbd-macro |
40785 | 763 (progn |
764 (calc-set-command-flag 'clear-message) | |
765 (if math-working-step | |
766 (if math-working-step-2 | |
767 (setq msg (format "[%d/%d] %s" | |
768 math-working-step math-working-step-2 msg)) | |
769 (setq msg (format "[%d] %s" math-working-step msg)))) | |
770 (message "Working... %s = %s" msg | |
771 (math-showing-full-precision (math-format-number arg))))) | |
772 ) | |
773 | |
774 | |
775 ;;; Compute A modulo B, defined in terms of truncation toward minus infinity. | |
776 (defun math-mod (a b) ; [R R R] [Public] | |
777 (cond ((and (Math-zerop a) (not (eq (car-safe a) 'mod))) a) | |
778 ((Math-zerop b) | |
779 (math-reject-arg a "*Division by zero")) | |
780 ((and (Math-natnump a) (Math-natnump b)) | |
781 (math-imod a b)) | |
782 ((and (Math-anglep a) (Math-anglep b)) | |
783 (math-sub a (math-mul (math-floor (math-div a b)) b))) | |
784 (t (calc-extensions) | |
785 (math-mod-fancy a b))) | |
786 ) | |
787 | |
788 | |
789 | |
790 ;;; General exponentiation. | |
791 | |
792 (defun math-pow (a b) ; [O O N] [Public] | |
793 (cond ((equal b '(var nan var-nan)) | |
794 b) | |
795 ((Math-zerop a) | |
796 (if (and (Math-scalarp b) (Math-posp b)) | |
797 (if (math-floatp b) (math-float a) a) | |
798 (calc-extensions) | |
799 (math-pow-of-zero a b))) | |
800 ((or (eq a 1) (eq b 1)) a) | |
801 ((or (equal a '(float 1 0)) (equal b '(float 1 0))) a) | |
802 ((Math-zerop b) | |
803 (if (Math-scalarp a) | |
804 (if (or (math-floatp a) (math-floatp b)) | |
805 '(float 1 0) 1) | |
806 (calc-extensions) | |
807 (math-pow-zero a b))) | |
808 ((and (Math-integerp b) (or (Math-numberp a) (Math-vectorp a))) | |
809 (if (and (equal a '(float 1 1)) (integerp b)) | |
810 (math-make-float 1 b) | |
811 (math-with-extra-prec 2 | |
812 (math-ipow a b)))) | |
813 (t | |
814 (calc-extensions) | |
815 (math-pow-fancy a b))) | |
816 ) | |
817 | |
818 (defun math-ipow (a n) ; [O O I] [Public] | |
819 (cond ((Math-integer-negp n) | |
820 (math-ipow (math-div 1 a) (Math-integer-neg n))) | |
821 ((not (consp n)) | |
822 (if (and (Math-ratp a) (> n 20)) | |
823 (math-iipow-show a n) | |
824 (math-iipow a n))) | |
825 ((math-evenp n) | |
826 (math-ipow (math-mul a a) (math-div2 n))) | |
827 (t | |
828 (math-mul a (math-ipow (math-mul a a) | |
829 (math-div2 (math-add n -1)))))) | |
830 ) | |
831 | |
832 (defun math-iipow (a n) ; [O O S] | |
833 (cond ((= n 0) 1) | |
834 ((= n 1) a) | |
835 ((= (% n 2) 0) (math-iipow (math-mul a a) (/ n 2))) | |
836 (t (math-mul a (math-iipow (math-mul a a) (/ n 2))))) | |
837 ) | |
838 | |
839 (defun math-iipow-show (a n) ; [O O S] | |
840 (math-working "pow" a) | |
841 (let ((val (cond | |
842 ((= n 0) 1) | |
843 ((= n 1) a) | |
844 ((= (% n 2) 0) (math-iipow-show (math-mul a a) (/ n 2))) | |
845 (t (math-mul a (math-iipow-show (math-mul a a) (/ n 2))))))) | |
846 (math-working "pow" val) | |
847 val) | |
848 ) | |
849 | |
850 | |
851 (defun math-read-radix-digit (dig) ; [D S; Z S] | |
852 (if (> dig ?9) | |
853 (if (< dig ?A) | |
854 nil | |
855 (- dig 55)) | |
856 (if (>= dig ?0) | |
857 (- dig ?0) | |
858 nil)) | |
859 ) | |
860 | |
861 | |
862 | |
863 | |
864 | |
865 ;;; Bug reporting | |
866 | |
867 (defun report-calc-bug (topic) | |
868 "Report a bug in Calc, the GNU Emacs calculator. | |
869 Prompts for bug subject. Leaves you in a mail buffer." | |
870 (interactive "sBug Subject: ") | |
871 (mail nil calc-bug-address topic) | |
872 (goto-char (point-max)) | |
873 (insert "\nIn Calc " calc-version ", Emacs " (emacs-version) "\n\n") | |
874 (message (substitute-command-keys "Type \\[mail-send] to send bug report.")) | |
875 ) | |
876 (fset 'calc-report-bug (symbol-function 'report-calc-bug)) | |
877 |