home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / sci / math / symbolic / 2104 < prev    next >
Encoding:
Text File  |  1992-07-28  |  62.6 KB  |  1,647 lines

  1. Newsgroups: sci.math.symbolic
  2. Path: sparky!uunet!wupost!sdd.hp.com!hplabs!hplextra!cello!jacobson
  3. From: jacobson@cello.hpl.hp.com (David Jacobson)
  4. Subject: New math.el (source code --- very long)
  5. Message-ID: <1992Jul28.235335.684@cello.hpl.hp.com>
  6. Date: Tue, 28 Jul 1992 23:53:35 GMT
  7. Organization: Hewlett-Packard Laboratories
  8. Lines: 1637
  9.  
  10. The last line of this file is "(run-hooks 'math-mode-load-hook)".
  11. Check to make sure you got it.
  12.  
  13. ========================== cut here ============================
  14. ; math.el, a mode package for Mathematica.  
  15. ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  16. ;; Copyright (c) 1990, 1991, 1992 Hewlett-Packard Company, all rights reserved.
  17. ;; 
  18. ;;                             LEGAL NOTICE
  19. ;; 
  20. ;; This math-mode package is experimental and HP shall have no obligation to
  21. ;; maintain or support it.  HP makes no express or implied warranty of any
  22. ;; kind with respect to this software, and HP shall not be liable for any
  23. ;; direct, indirect, special, incidental or consequential damages (whether
  24. ;; based on contract, tort or any other legal theory) arising in any way from
  25. ;; use of the software.
  26. ;; 
  27. ;; Everyone is granted permission to copy, modify and redistribute this
  28. ;; math-mode package, provided:
  29. ;;  1.  All copies contain this copyright notice.
  30. ;;  2.  All modified copies shall carry a prominant notice stating who
  31. ;;      made the last modification and the date of such modification.
  32. ;;  3.  No charge is made for this software or works derived from it.  
  33. ;;      This clause shall not be construed as constraining other software
  34. ;;      distributed on the same medium as this software, nor is a
  35. ;;      distribution fee considered a charge.
  36. ;;
  37. ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  38. ;;    The procedure start-math-process was derived from the 
  39. ;;    procedure make-shell, part of the Gnu Emacs file shell.el, by
  40. ;;    permission of the Free Software Foundation.  Shell.el is
  41. ;;    Copyright (C) 1985, 1986, 1987, 1988 Free Software Foundation,
  42. ;;    Inc.
  43. ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  44. ;;    Author: David Jacobson, jacobson@hpl.hp.com
  45. ;;      Assumes GNU Emacs version 18.54 or later
  46. ;;      Version info is in math-version-string defined after history box
  47. ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  48. ;; 2/17/1991 Dan Dill dan@chem.bu.edu
  49. ;;   Add math-send-filter-active and math-send-filter-status, 
  50. ;;   for use with tex-mma
  51. ;;
  52. ;; 5/1/1991 Dan Dill dan@chem.bu.edu
  53. ;;   Add math-remote-host and math-remote-shell and modified 
  54. ;;   start-buffer-process, to run Mathematica remotely
  55. ;;
  56. ;; 5/8/1991 David Jacobson jacobson@hplabs.hp.com
  57. ;;   Add math-timeout and improve documentation, add checking
  58. ;;   for incomplete cells to check-math-syntax
  59. ;;
  60. ;; 11/17/1991 David Jacobson jacobson@hpl.hp.com
  61. ;;  Adding indent cookie crumb rejection
  62. ;;
  63. ;; 11/27/1991 David Jacobson jacobson@hpl.hp.com
  64. ;;  Fix path.  Delete goto-math-line.  Fix up find-math-error
  65. ;;
  66. ;; 11/30/1991 Dan Dill dan@chem.bu.edu
  67. ;;  Adapt indent cookie crumb rejection changes for use with tex-mma
  68. ;;
  69. ;; 12/5/91 David Jacobson jacobson@hpl.hp.com
  70. ;;  Functions math and start-math no longer call math-mode if it was already
  71. ;;  in math-mode.  (math-mode initializes a lot of variables, including
  72. ;;  all local variables.)  Small changes to start-buffer-process to avoid 
  73. ;;  munging state if the process is already running.
  74. ;;
  75. ;; 12/10/91 David Jacobson jacobson@hpl.hp.com
  76. ;;  Add kill-math-cell.  Add installation instructions.  Fix documentation.
  77. ;; 
  78. ;; 12/12/91 Dan Dill dan@chem.bu.edu
  79. ;;  Synchronize with tex-mma by setting math-send-filter-active to nil
  80. ;;  in math-send-filter when the input prompt has been received.
  81. ;;
  82. ;; 12/17/91 David Jacobson jacobson@hpl.hp.com
  83. ;;  Set mark when C-c C-y copies cell.  Fix bug causing
  84. ;;  C-c C-y and empty response in last cell of buffer that
  85. ;;  was not its own math process buffer to get wrong cell.
  86. ;;  Rename start-buffer-process to start-math-process.
  87. ;;  Add more documentation.  Add math-mode-load-hook.
  88. ;;
  89. ;; 12/31/91, 1/7/92 David Jacobson jacobson@hpl.hp.com
  90. ;;  Cause the DISPLAY variable to be set when using a remote host.
  91. ;;
  92. ;; 1/20/92 David Jacobson jacobson@hpl.hp.com
  93. ;;  Adjust legal wording.
  94. ;; 
  95. ;; 4/2/92 David Jacobson jacobson@hpl.hp.com
  96. ;;  Add math-transform-float and math-transform-floats-in-region
  97. ;;
  98. ;; 5/16/92 David Jacobson jacobson@hpl.hp.com
  99. ;;  Fix math-copy-region so that if the input string ends in a "-" 
  100. ;;  the cell is deleted.
  101. ;;
  102. ;; 6/3/92 David Jacobson jacobson@hpl.hp.com
  103. ;;  Fix to use fancy math indent cookies.
  104. ;;
  105. ;; 6/4/92 David Jacobson jacobson@hpl.hp.com
  106. ;;  Fix cell sending system to that it gets responses to interrupts
  107. ;;  and Input[...] right.  Major changes to math-identify-cell.
  108. ;;  Also fix so that no extra space is inserted after response
  109. ;;  to Input.
  110. ;; 
  111. ;; 6/22/92 David Jacobson jacobson@hpl.hp.com
  112. ;;  Remove references to c-process-filter in math-help-filter.
  113. ;;  Fix math-copy-cell to add a backslash if the first line
  114. ;;  is blank.  This sometimes happens when you copy an Out cell.
  115. ;;  Fix math-identify-cell to search back to a blank line before the
  116. ;;  beginning if it is an Out cell and also to include all the
  117. ;;  text to the beginning of the next In cell.
  118. ;;
  119. ;; 6/23/92 David Jacobson jacobson@hpl.hp.com
  120. ;;  Make "--" at end of math-copy-cell delete to end of buffer.
  121. ;;
  122. ;; 7/17/92 David Jacobson jacobson@hpl.hp.com
  123. ;;  Twiddle on-line documentation.  Make C-c C-k run old-kill-math-cell,
  124. ;;  which is now an alias for kill-math-cell.  Twiddle key binding
  125. ;;  details.
  126. ;;
  127. ;; 7/23/92 David Jacobson jacobson@hpl.hp.com
  128. ;;  Add math-remove-symbol
  129. ;;
  130. ;; 7/28/92 David Jacobson jacobson@hpl.hp.com
  131. ;;  Make check-math-syntax warn on backslash whitespace eol.
  132. ;;  Add math-remote-user.  Make backquote be a valid statement ender.
  133. ;;
  134. ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  135. (defconst math-version-string
  136.   "Mathematica mode experimental version of July 28, 1992 for Mathematica version 2.1."
  137.   "String describing this version of math.el.")
  138. ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  139. ;; Installation and use:
  140. ;; 
  141. ;; For initial tryout save this file somewhere, start emacs and type 
  142. ;;     M-x load-file <<the full path name of this file>>
  143. ;; Then type 
  144. ;;     M-x math
  145. ;; a window should be created and a Mathematica process created in it.
  146. ;; Type in a cell and "submit" it with ESC-RET.  
  147. ;; You can see a lot more information and instructoins by typing 
  148. ;; C-h m (DEL m for HP keyboard users).  
  149. ;; You can use C-h f to find more information on each command.
  150. ;; 
  151. ;; For full installation, this file should be installed as math.el 
  152. ;; in whatever directory you put your local or personal emacs lisp files.
  153. ;; It should be byte-compiled.  You should add the following to 
  154. ;; your .emacs file:
  155. ;;  
  156. ;;  (autoload 'math "math" "Starts Mathematica" t)
  157. ;;  (autoload 'math-mode "math" 
  158. ;;    "Mode for editing Mathematica.  Loading will result in more info." t)
  159. ;;  (setq auto-mode-alist (cons '("\\.m" . math-mode) auto-mode-alist))
  160. ;;
  161. ;; and add the following to your init.m file
  162. ;;
  163. ;;  If[Environment["MATHINDENTCOOKIE"] =!= $Failed,
  164. ;;    $BatchInput=False;
  165. ;;    If[NameQ["System`Private`$IndentSuffix"],
  166. ;;      ToExpression[
  167. ;;        "System`Private`$IndentSuffix = Environment[\"MATHINDENTCOOKIE\"]"];
  168. ;;      Print[" ", Environment["MATHINDENTCOOKIEMSG"]]]]
  169. ;;  
  170. ;; It will usually work without this, but this makes it do better at
  171. ;; identifying when the system is waiting for more input.  
  172. ;; 
  173. ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  174. ;; 
  175. ;; LIMITATIONS
  176. ;; 
  177. ;; A nasty problem arises because's in Versions 2.0 and up Mathematica will 
  178. ;; under certain conditions put out a message before a cell has been 
  179. ;; completed, then expect the remainder of the cell to be sent.  In most 
  180. ;; other conditions, unexpected output indicates an error of one sort or
  181. ;; another has occurred.  Two such messages are General::spell,
  182. ;; indicating a suspected spelling error, and Syntax::newl, indicating
  183. ;; that a newline has been interpreted as a multiplication operator.
  184. ;; 
  185. ;; There are several approaches to this problem:
  186. ;; 1.  Avoid the constructs that lead to it.
  187. ;; 2.  Turn off the messages.
  188. ;; 3.  Persuade WRI to change the interface.
  189. ;; 4.  Workaround it.  When it occurs
  190. ;;      a. Clear the input by typing ESC RET.  (Moving to a blank line
  191. ;;               might make you feel better, but shouldn't be necessary.  
  192. ;;               Math-mode keeps track of where the last output ended.)
  193. ;;               This will send a newline to the Mathematica process 
  194. ;;               and cause it to flush its input and reissue the prompt.
  195. ;;               (This step is not always necessary.)
  196. ;;      b. Cut away the message and new prompt. (Or hit the key for 
  197. ;;               undo one or two times.)
  198. ;;      c. Fix the input, if necessary (it is not necessary for 
  199. ;;               General::Spell), and resubmit the cell.
  200. ;;
  201. ;; The whole system for running Mathematica on a remote host is rather
  202. ;; unreliable.  If the built-in facilities don't work, try setting 
  203. ;; math-process-string to point to a shell script (or compiled program,for
  204. ;; that matter), that you can then work with freely.
  205. ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  206.  
  207. (provide 'math)
  208.  
  209. (require 'shell)
  210.  
  211. (defvar Mathematica-search-path 
  212.   (list nil (getenv "HOME") "/usr/local/math/StartUp" "/usr/local/math/Packages")
  213.   "*A list of directories in which to look for files.  
  214. Use nil for the current directory.")
  215.  
  216. (defvar math-process-string "/usr/local/bin/math"
  217.   "*A string to pass to the unix exec function to start Mathematica")
  218.  
  219. (defvar math-process-buffer 
  220.   "*math*"
  221.   "The buffer normally running Mathematica.  Certain commands
  222. (e.g. math-complete-symbol) will go to this buffer to find a Mathematica 
  223. process.  This can be locally set with set-math-process-buffer.")
  224.  
  225. ; (defconst math-header-re (concat "^" (regexp-quote "Copyright 1988-91 Wolfram Research, Inc."))
  226. ;   "A regexp that will match somewhere in the Mathematica preamble")
  227.  
  228. (defvar math-header-re nil
  229.   "A regexp that matches some line in the Mathematic preamble.  Nil if 
  230. Mathematica is not started.")
  231.  
  232. (defvar math-remote-host nil
  233.   "*If non-nil, use as remote host name with `math-remote-shell' to run
  234. Mathematica remotely.  See also variables math-remote-user and 
  235. math-display-var")
  236.  
  237. (defvar math-remote-user nil
  238.    "*If non-nil, use as user-ID on remote host.  Effective only if 
  239. math-remote-host is non-nil.  Uses the \"-l\" flag to rsh/remsh")
  240.  
  241. (defvar math-display-var nil 
  242.   "*If set to a string, the DISPLAY environment variable is set to this
  243. value.  If nil, the DISPLAY environment variable is set the the local
  244. DISPLAY environment variable.  If math-display-var is neither nil nor
  245. a string, the DISPLAY environment variable will not be set.")
  246.  
  247. (defconst math-indent-cookie "|===indent==="
  248.   "This string is put in the evironment variable MATHINDENTCOOKIE, and
  249. in version 2.1 and greater and the init.m file is set up properly, this
  250. is assigned to the Mathematica variable `System`Private`$IndentSuffix.  
  251. The output parser looks for this value to know to send the next line.")
  252.  
  253. (defconst math-indent-cookie-message "-- indent cookies enabled --"
  254.   "This string in the startup messages indicates that indent cookies
  255. are being used.")
  256.  
  257. (defvar math-indent-cookies nil
  258.   "A buffer specific variable that is t if non-blank math indent cookies
  259. are being used.")
  260.  
  261.  
  262. (defvar math-timeout nil 
  263. "*If non-nil, use as a timeout between lines of input.  Nil is
  264. recommended, unless you are having trouble with the system hanging,
  265. particularly on syntax errors.  Nil causes input to be waited for
  266. using accept-process-output.  This means the next line of output will
  267. be sent when math-mode receives the indentation prompt from
  268. Mathematica.  If non-nil math-mode will wait only math-timeout seconds
  269. between sending lines of input. Usually this needs to be set when
  270. using a remote host.  1 is recommended in this case. (See
  271. math-remote-host and math-remote-shell.)")
  272.  
  273. (defvar math-remote-shell 
  274.   (cond ((file-exists-p "/usr/ucb/rsh")    "/usr/ucb/rsh")
  275.     ((file-exists-p "/usr/bin/remsh") "/usr/bin/remsh"))
  276.   "*String used with `math-remote-host' to run Mathematica remotely.")
  277.  
  278. (defconst math-valid-cell-ending-re 
  279.   ".*\\([])}\"A-Za-z0-9!_`'$%#]\\|\\+\\+\\|--\\|=[ \t]*\\.\\|[^/];\\|\\b[0-9]+\\.\\|[^&]&\\)[ \t]*$"
  280.   "An re that matches lines that can validly end complete cells.
  281. This is not perfect.")
  282. ;;; The "[^/];" is because "/;" means a condition follows, so it cannot 
  283. ;;; be the end of a cell.  The "=[ \t]*\\." and "\\b[0-9]+\\." allow periods 
  284. ;;; only in "=." and at the end of mumbers, disallowing a 
  285. ;;; variable followed by a period (Dot[]).  "[^&]&" allows "&" but not "&&".  
  286. ;;; It will mess up if "&" appears
  287. ;;; as the first character on a line by itself, but then the end of the
  288. ;;; previous line probably made a valid prefix, which is an error anyway.
  289.  
  290. (defvar math-send-filter-status 'normal
  291.   "Status of last input to Mathematica:
  292.   `normal' means no problems detected;
  293.   `input-prompt' means Mathematica input prompt received
  294.   `premature-output' means part of cell not sent due to unexpected output;
  295.   `blank-line-added' means line inserted to separate input from output;
  296.   `incomplete-cell' means an incomplete cell was detected;
  297.   `syntax-error' means a syntax error was detected.")
  298.  
  299. (defvar math-send-filter-active nil
  300.   "Status of Mathematica process filter: t if enabled, else nil.")
  301.  
  302. (defvar math-last-output-column 8
  303.   "The column at which the last \"normal\" output ended.  If 
  304. math-indent-cookies is false, indent cookies are considered complete if 
  305. they are this long.")
  306.  
  307. (defvar math-mode-map nil) 
  308.  
  309. ;;; deep-copy-keymap was written by Daniel LaLiberte.
  310. ;;; Some GNU Emacs systems already have this installed.  If so
  311. ;;; comment out this function definition.
  312.  
  313. (defun deep-copy-keymap (keymap)
  314.   "Return a deep copy of KEYMAP.  That is, all levels are copied,
  315. not just the top level."
  316.   (if (not (keymapp keymap))
  317.       keymap
  318.     (cond
  319.  
  320.      ((listp keymap)
  321.       (let ((new-keymap (copy-alist keymap)))
  322.     (setq keymap (cdr new-keymap))
  323.     (while keymap
  324.       (let ((binding (car keymap)))
  325.         (if (keymapp (cdr binding))
  326.         (setcdr binding (deep-copy-keymap (cdr binding))))
  327.         )
  328.       (setq keymap (cdr keymap))
  329.       )
  330.     new-keymap
  331.     ))
  332.  
  333.       ((vectorp keymap)
  334.        (let ((i 0)
  335.          (n (length keymap))
  336.          (new-keymap (copy-sequence keymap)))
  337.      (while (< i n)
  338.        (if (keymapp (aref keymap i))
  339.            (aset new-keymap i (deep-copy-keymap (aref keymap i))))
  340.        (setq i (1+ i)))
  341.      new-keymap
  342.      )))))
  343.  
  344. (defun math-version ()
  345.   "Display string indentifying math.el."
  346.   (interactive)
  347.   (with-output-to-temp-buffer "*Help*" (print-help-return-message))
  348.   (let ((home-buffer (current-buffer)))
  349.     (pop-to-buffer "*Help*")
  350.     (insert math-version-string)
  351.     (insert "\n")
  352.     (pop-to-buffer home-buffer))
  353.   (bury-buffer "*Help*"))
  354.  
  355. (if math-mode-map
  356.     nil
  357.   (setq math-mode-map (deep-copy-keymap shell-mode-map))
  358.   (define-key math-mode-map "\C-m" 'newline) 
  359.                     ; The shell-mode-mode
  360.                     ; sets this to shell-send-input.
  361.                     ; We change it to 'newline.  We
  362.                     ; ought to undefine it, so that
  363.                     ; Emacs will find the 'newline
  364.                     ; in the global keymap, but there
  365.                     ; is no easy way to do this.
  366.   (define-key math-mode-map "\M-\C-m" 'math-send-input)
  367.   ;; \C-c\C-c is set to interrupt-shell-subjob in the shell-mode-mode
  368.   ;; The name is deceptive; it sends a SIGINT signal (control C) to 
  369.   ;; whatever process is running in the current buffer
  370.   (define-key math-mode-map "\C-c9" 'kill-9-process)
  371.   (define-key math-mode-map "\C-cv" 'math-version)
  372.   (define-key math-mode-map "\C-he" 'math-help) ; e-xpression in help menu
  373.   (define-key math-mode-map "\C-hE" 'math-extra-help) ; E-xpression in help menu
  374.   (define-key math-mode-map "\C-c\C-f" 'math-edit-function)
  375.   (define-key math-mode-map "\M-\t"   'math-complete-symbol)
  376.   (define-key math-mode-map "\C-c\C-y" 'math-copy-cell)
  377.   (define-key math-mode-map "\C-c\C-e" 'find-math-error)
  378.   (define-key math-mode-map "\C-c\C-r" 'math-isearch-backward)
  379.   (define-key math-mode-map "\M-k" 'kill-math-cell) ; overrides kill-sentence
  380.   (define-key math-mode-map "\C-c\C-k" 'old-kill-math-cell)
  381.   ;; old-kill-math-cell is effectively just an alias for kill-math-cell
  382.   ;; but it is named differently so the preferred binding will show up
  383.   ;; for describe mode
  384.   (define-key math-mode-map "\C-c\C-x" 'math-transform-float)
  385.   (define-key math-mode-map "\C-c\C-v" 'math-remove-symbol)
  386.   )
  387.  
  388. (defvar math-mode-syntax-table nil
  389.   "Syntax table used while in math mode.")
  390.  
  391. (if math-mode-syntax-table
  392.     ()
  393.   (setq math-mode-syntax-table (make-syntax-table))
  394.   (modify-syntax-entry ?% "." math-mode-syntax-table)
  395.   (modify-syntax-entry ?& "." math-mode-syntax-table)
  396.   (modify-syntax-entry ?* ". 23" math-mode-syntax-table) ;allow for (* comment *)
  397.   (modify-syntax-entry ?+ "." math-mode-syntax-table)
  398.   (modify-syntax-entry ?- "." math-mode-syntax-table)
  399.   (modify-syntax-entry ?/ "." math-mode-syntax-table)
  400.   (modify-syntax-entry ?< "." math-mode-syntax-table)
  401.   (modify-syntax-entry ?= "." math-mode-syntax-table)
  402.   (modify-syntax-entry ?> "." math-mode-syntax-table)
  403.   (modify-syntax-entry ?_ "." math-mode-syntax-table)
  404.   (modify-syntax-entry ?\| "." math-mode-syntax-table)
  405.   (modify-syntax-entry ?\` "_" math-mode-syntax-table) ; Mathematica context symbol
  406.   (modify-syntax-entry ?\( "()1" math-mode-syntax-table) ;allow for (* comment *)
  407.   (modify-syntax-entry ?\) ")(4" math-mode-syntax-table)) ;allow for (* comment *)
  408.  
  409. ;;; math-send-input sends a chunk of text to Mathematica.  It
  410. ;;; interacts tightly with math-send-filter using the buffer-specific
  411. ;;; variable math-send-state and synchronizes though sending output
  412. ;;; and the accept-process-output (but see below) command.  
  413.  
  414. ;;; The Emacs documentation
  415. ;;; claims that one cannot be sure how much output will be delivered
  416. ;;; in a chunk to the output filter.  However we depend on chunks of
  417. ;;; up to one line after which Mathematica immediately does a read,
  418. ;;; arriving in a single chunk.  A slightly more robust technique than
  419. ;;; doing string-match on the input string would be to put the input 
  420. ;;; into the buffer and match there.  
  421.  
  422. ;;; If the Mathematica process does not send a prompt at all, the
  423. ;;; accept-process-output hangs and the only solution is to kill the
  424. ;;; mathexe process or Emacs.  This can happen if you use an Input[""]
  425. ;;; (a rather perverse thing to do).  An alternative is to replace
  426. ;;; (accept-process-output process) with (sleep-for 10).  It appears that
  427. ;;; arrival of any output causes Emacs to pop immediately out of a
  428. ;;; sleep-for.  But this could mess up if you have more than one active
  429. ;;; process running at a time or if you strike a key.  
  430. ;;; Of course, we could use a while loop and have the filter set 
  431. ;;; math-send-state to another value when it has actually gotten 
  432. ;;; something.  I tried this but ran into unknown trouble and have 
  433. ;;; not followed up on it.
  434.  
  435. ;;; The variable math-send-state has the following interpretatons:
  436. ;;; starting-up               Mathematica is just starting up.
  437. ;;;                           Snarf up the first line and watch
  438. ;;;                           for the math-indent-cookie-message.
  439. ;;;
  440. ;;; non-last-line             We are in the middle of sending a
  441. ;;;                           multi-line input.  Watch for
  442. ;;;                           errors and output other than indent
  443. ;;;                           cookies.  Math-send-input exits its
  444. ;;;                           loop as soon as the state is not
  445. ;;;                           non-last-line.
  446. ;;;
  447. ;;; last-line                 The last line has been sent, still watch
  448. ;;;                           for syntax error messages.  (Approprate
  449. ;;;                           for 1.2 only.)  Also insert
  450. ;;;                           a blank like (and warn about it) if the
  451. ;;;                           output contains any non-whitespace
  452. ;;;                           characters before a newline.
  453. ;;;
  454. ;;; last-line-no-blank        Same as last-line, except it doesn't
  455. ;;;                           force a blank line after the cell.
  456. ;;;
  457. ;;; throw-away-prompt         A syntax error has been detected and a 
  458. ;;;                           newline sent to Mathematica to flush its
  459. ;;;                           input buffer.  Normally it will come
  460. ;;;                           back with a new prompt.  If the next
  461. ;;;                           output looks like a prompt, throw it
  462. ;;;                           away and give a syntax error message.
  463. ;;;                           Throw away indent cookies.
  464. ;;;                           Otherwise display the discarded
  465. ;;;                           material in a warning message.
  466. ;;;                           This is only for compatibility with 1.2.
  467. ;;;
  468. ;;; premature-output          Output that was not an indent cookie
  469. ;;;                           was detected in the non-last-line state.
  470. ;;;                           Stop sending.  Watch for indent cookies.
  471. ;;;                           Transition to normal whan In or Out are
  472. ;;;                           detected.
  473. ;;;
  474. ;;; normal                    Just post the output.
  475. ;;;
  476.  
  477. ;;; Note: the syntax error detection code and the correspoinding 
  478. ;;; throw-away-prompt state were important in 1.2.  They should
  479. ;;; be unnecessary in 2.0, but were left for compatibility.
  480. ;;; No attempt has been made in upgrading to 2.0 to maintain full backward
  481. ;;; compatibility, but the basic cell-submission stuff is so important 
  482. ;;; that backward compatibility is attempted here.
  483. ;;; With version 2.1 indent cookie recognition has been added.
  484.  
  485. (defvar math-partial-output "" 
  486.  "Accumulates output until it can be determined that it is not an indent 
  487. cookie")
  488.  
  489. (defun indent-cookie-p (string &optional ignorestate)
  490.   "Checks STRING to see if it is an indent cookie.  Returns
  491. t if probably a cookie, nil if definitely not, and 'partial otherwise.
  492. It is not really a predicate of STRING, since it also depends on 
  493. math-send-state.  If optional IGNORESTATE is true it ignores the 
  494. math-send-state."
  495.   (if math-indent-cookies
  496.       (let (tail)
  497.     (cond ((not (or 
  498.              ignorestate 
  499.              (memq math-send-state 
  500.                '(last-line last-line-no-blank non-last-line premature-output))))
  501.            nil)
  502.           ((not (string-match "\\`\\([ \t]*\\)[^ \t]" string)) 'partial)
  503.           ((string= (setq tail (substring string (match-end 1)))
  504.             math-indent-cookie) t)
  505.           ((>= (length tail) (length math-indent-cookie)) nil)
  506.           ((string= tail (substring math-indent-cookie 
  507.                     0 
  508.                     (length tail)))
  509.            'partial)
  510.           (t nil)))
  511.     ;; now for the math-indent-cookies not true case
  512.     (if (or ignorestate (memq math-send-state '(last-line last-line-no-blank non-last-line)))
  513.     (if (string-match "\\` +\\'" string)
  514.         (let ((len (length string)))
  515.           (cond ((< len math-last-output-column) 'partial)
  516.             ((= len math-last-output-column) t)
  517.             (t nil)))  ; too long
  518.       nil)  ; non-blank
  519.       nil)) ; not correct state
  520.   )
  521.         
  522. (defvar math-indent-cookie-pending nil "t if we can't decide if we have
  523. an indent cookie.")
  524.  
  525. (defun math-send-input ()
  526.   "Send input to Mathematica.
  527. At end of buffer, sends last \"cell\" to Mathematica.  When not at end, 
  528. copies current \"cell\" to the end of the buffer and sends it.  Also
  529. sends input for interrupt and Input[].  Warning: A multi-line input
  530. to Input[\"\"] will cause deadlock."
  531.   (interactive "*")
  532.   (let ((process (or (get-buffer-process (current-buffer))
  533.              (error "Current buffer has no process")))
  534.     bpt2
  535.     ept2
  536.     begpkt
  537.     endpkt
  538.     copy
  539.     )
  540.     ;; Find beginning of "cell"
  541.     (let* ((cellinfo (math-identify-cell 
  542.               (point) 'submit (process-mark process)))
  543.        (bpt (car cellinfo))
  544.        (ept (nth 1 cellinfo))
  545.        )
  546.       (check-math-syntax bpt ept)
  547.       (goto-char ept)
  548.       ;; Move to line beyond cell, adding newline if necessary.
  549.       (forward-line 1)
  550.       (if (or (not (bolp)) 
  551.           (= (point) bpt)) ; make null cells contain a newline
  552.       (newline))
  553.       (setq copy (buffer-substring bpt (point)))
  554.       ;; If we are \"near\" the end of the buffer, we don't copy the data down
  555.       ;; there, but we kill excess white space.  Otherwise, we go there and 
  556.       ;; copy the data.
  557.       (if (looking-at "\\s *\\'")
  558.       (progn
  559.         (replace-match "")
  560.         (setq bpt2 bpt)
  561.         (setq ept2 (point))
  562.         (setq math-last-input-end (point)))
  563.     (push-mark bpt)  ; This sets the mark when copying down a cell
  564.     (goto-char (point-max))
  565.     (forward-line 0)
  566.     (if (or (eolp) (looking-at "^[ \t]*In\\[[0-9]+\\]:=\\s *$"))
  567.         (end-of-line)
  568.       (end-of-line)
  569.       (newline))
  570.     (setq bpt2 (point))
  571.     (insert copy)
  572.     (setq ept2 (point))
  573.     (setq math-last-input-end (point)))
  574.       (goto-char bpt2)
  575.       (setq math-partial-output "") 
  576.       (setq math-indent-cookie-pending nil)
  577.       (setq math-send-filter-status 'normal) ; For single line input without filter
  578.                                              ; ..
  579.       (set-process-filter process 'math-send-filter)
  580.       ;; math-send-state is a global variable
  581.       (setq math-send-state 'non-last-line)
  582.       (setq begpkt bpt2) ; point
  583.       (message "*")
  584.       (unwind-protect
  585.     (while (eq math-send-state 'non-last-line)
  586.       (goto-char begpkt)
  587.       (forward-line 1)
  588.       (setq endpkt (point))
  589.       ;; set flag to exit loop and tell math-send-filter to
  590.       ;; deal with next output as non-intermediate lines.
  591.       ;; If this line likely came from an Input[...] have it
  592.       ;; not force a blank line.
  593.       (if (= endpkt ept2) 
  594.           (setq math-send-state (if (nth 2 cellinfo)
  595.                     'last-line-no-blank
  596.                       'last-line)))
  597.       (metered-process-send-string 
  598.        process (buffer-substring begpkt endpkt))
  599.       (if (eq math-send-state 'non-last-line)
  600.           (if math-timeout
  601.           (sleep-for math-timeout)
  602.         (accept-process-output process)
  603.         (while math-indent-cookie-pending
  604.           (accept-process-output process))))
  605.       (setq begpkt endpkt) ; advance to next line
  606.       ) ; end while
  607.     ;; unwind-protect tail; here for future use
  608.     ))))
  609.  
  610. (defun check-dangling-indent-cookie (proc)
  611.   ;; proc can be nil
  612.   (if (eq (indent-cookie-p 
  613.        (buffer-substring (save-excursion 
  614.                    (forward-line 0)
  615.                    (point))
  616.                  (point))
  617.        t)  ; ignore state
  618.       t)
  619.       (progn
  620.     (setq math-send-state 'normal)
  621.     (setq math-send-filter-status 'incomplete-cell);????
  622.     (if (and proc math-indent-cookies) ; without cookies it is too 
  623.                     ; unreliable to send the newline
  624.         (progn
  625.           (newline 2)
  626.           (ding t)
  627.           (message "Incomplete cell!  Newline sent to clear input.")
  628.           (process-send-string proc "\n"))
  629.       (ding t)
  630.       (message "Incomplete cell?  Clear input with ESC RET.")
  631.       )
  632.     t)
  633.     nil) ;end if
  634. )
  635.  
  636. (defun math-send-filter (proc procstring)
  637.   (let ((cbuf (current-buffer))
  638.     (save-match-data (match-data))
  639.     (string (concat math-partial-output procstring))
  640.     incomplete-cell
  641.     cookie-status)
  642.     (unwind-protect
  643.     (progn
  644.       (setq math-partial-output "")
  645.       (setq math-indent-cookie-pending nil) ; assume for now this ouput
  646.                     ;completes an indent cookie
  647.       (set-buffer (process-buffer proc))
  648.       (setq cookie-status (indent-cookie-p string))
  649.       (cond 
  650.        ;; cond branch: can not tell if it is or is not an indent cookie
  651.        ((eq cookie-status 'partial)
  652.         (setq math-partial-output string)
  653.         (setq math-indent-cookie-pending t))
  654.        ;; if state is starting-up
  655.        ;; check for math-send-cookie-message in startup strings
  656.        ;; snarf up beginning string
  657.        ;; exit to normal when In[...] is found
  658.        ;; We insert and search in the buffer since we might get more
  659.        ;; than one line at a time.
  660.        ((eq math-send-state 'starting-up)
  661.         (let ((beg (point-max))
  662.           end)
  663.           (goto-char beg)
  664.           (insert string)
  665.           (set-marker (process-mark proc) (point))
  666.           (setq end (point)) 
  667.           (goto-char beg)
  668.           (forward-line 0)
  669.           (if (and (not math-header-re)
  670.                (looking-at "^.*\n"))
  671.           (setq math-header-re 
  672.             (concat "^" (regexp-quote
  673.                      (buffer-substring (match-beginning 0)
  674.                                (match-end 0))))))
  675.           (if (and (not math-indent-cookies)
  676.                (re-search-forward math-indent-cookie-message
  677.                       end t))
  678.           (setq math-indent-cookies t))
  679.           (goto-char end)
  680.           (forward-line 0)
  681.           (if (looking-at "^[ \t]*In\\[[0-9]+\\]")
  682.           (setq math-send-state 'normal))
  683.           (goto-char end)))
  684.        ;; cond branch: a <retype-line error> 
  685.        ;; retained for version 1.2 compatibility
  686.        ((and
  687.          (memq math-send-state '(non-last-line last-line last-line-no-blank))
  688.          (string-match "\\`\\([ \t]*\\)\\^ <retype line>" string))
  689.         (let ((tpt (point))
  690.           error-column
  691.           indent-column
  692.           (tail-string (substring string (match-end 0))))
  693.           (goto-char tpt)
  694.           (insert (substring string 0 (match-end 1)))
  695.           (setq error-column (current-column))
  696.           (delete-region tpt (point))
  697.           (indent-to-column (- error-column math-last-output-column))
  698.           (insert "^--error\n")
  699.           (backward-char 9)
  700.           (previous-line 1)
  701.           ;; Display any unexpected output.  I don't know how to 
  702.           ;; test this code.
  703.           (if (string-match "\\S " tail-string)
  704.           (save-excursion
  705.             (goto-char (point-max))
  706.             (insert tail-string)
  707.             (set-marker (process-mark proc) (point)))))  ; end of let
  708.         (setq math-send-state 'throw-away-prompt)
  709.         (message "Syntax error") ; live dangerously here, but sometimes we 
  710.                     ; don't get a prompt back from 
  711.                     ; Mathematica
  712.         (process-send-string proc "\n")
  713.         (setq math-send-filter-status 'syntax-error)
  714.         )
  715.        ;; cond branch: snarf up indent strings
  716.        ;; Whether or not this branch is taken when math-send-state
  717.        ;; is throw-away-prompt depends on the OS.  On some systems
  718.        ;; the indent cookie comes out with the "^ <retype-line>" 
  719.        ;; (in 1.2 only)
  720.        ;; and the indent cookie is inserted by the tail-string
  721.        ;; procesing above.  On others it comes out separately and is 
  722.        ;; handled here.
  723.        ((and
  724.          (memq math-send-state '(non-last-line throw-away-prompt))
  725.          (eq cookie-status t))) ; do nothing 
  726.        ;; cond branch: unexpected output
  727.        ((eq math-send-state 'non-last-line)
  728.         (insert 
  729. "-------- Unexpected output appeared here; rest of cell not sent --------\n"
  730. )
  731.         (goto-char (point-max))
  732.         (insert string)
  733.         (setq math-last-output-column (current-column))
  734.         (set-marker (process-mark proc) (point))
  735.         (setq math-send-state 'premature-output)
  736.         (setq math-send-filter-status 'premature-output)
  737.         ;; the following if checks for a dangling indent cookie right
  738.         ;; after unexpected output.  But it probably never happens
  739.         ;; since the unexpected output is probably several i/o chunks
  740.         ;; long and the state is normal by the time any indent cookie 
  741.         ;; finally arrives.  Thus the message is almost always sent.
  742.         (if (not (check-dangling-indent-cookie proc))
  743.                     ; check-dangling-indent-cookie
  744.                     ; generates its own message
  745.         (progn
  746.           (ding t)
  747.           (message ""))))
  748.        ;; cond branch: throw away unwanted prompt
  749.        ((eq math-send-state 'throw-away-prompt)
  750.          (setq math-send-state 'normal)
  751.          (if (string-match "\\`[ \t]*In\\[[0-9]+\\]:= \\'" string)
  752.          (message "Syntax error")
  753.            (message "Syntax error, discarding prompt(?): %s" 
  754.             string))
  755.          (setq math-send-filter-status 'syntax-error)
  756.         )
  757.        ;; cond branch: last line has been sent, make sure a blank line
  758.        ;; follows the In... stuff.  See further comments.
  759.        ((memq math-send-state '(last-line last-line-no-blank))
  760.         (goto-char (point-max))
  761.         ;; except in the case of an indent cookie the string
  762.         ;; that was received is inserted after this big cond.
  763.         (cond ((string-match "\\`\\s *\n" string); blank with newline 
  764.            (setq math-send-state 'normal)
  765.            (message "")
  766.            )                ; clear "*" in message area
  767.           ((eq cookie-status t)
  768.                     ; give help message
  769.            (setq math-send-filter-status 'incomplete-cell)
  770.            (setq math-send-state 'normal)
  771.            (setq incomplete-cell t)
  772.            (process-send-string proc "\n")
  773.            (newline)
  774.            (ding t) ; don't do anything funny
  775.            (message "Incomplete cell!  Newline sent to clear input.")
  776.            )
  777.           ((string-match "\\`[ \t]*In\\[[0-9]+\\]:=" string)
  778.            (message "") ; clear "*" in message area
  779.            (setq math-send-state 'normal)
  780.            (setq math-send-filter-status 'normal)
  781.            )
  782.           ;; cond branch.  Output was cell sent in response to
  783.           ;; an Input[...] (sometimes)
  784.           ((eq math-send-state 'last-line-no-blank)
  785.            (setq math-send-filter-status 'normal)
  786.            (setq math-send-state 'normal))
  787.           ;; cond brach
  788.           (t
  789.            ;; non-blank, but not an In[] prompt.  Probably either
  790.            ;; output of a Mathematica Print[...] or an error message.
  791.            ;; Add a blank line to separate cells.
  792.            (newline)
  793.            (message "newline inserted by Emacs' math-mode")
  794.            (setq math-send-filter-status 'blank-line-added)
  795.            (setq math-send-state 'normal)
  796.            )
  797.           )
  798.         (if (not incomplete-cell)
  799.         (progn
  800.           (insert string)
  801.           (set-marker (process-mark proc) (point))
  802.           (setq math-last-output-column (current-column)))))
  803.        ;; cond branch. premature output
  804.        ((eq math-send-state 'premature-output)
  805.         (setq math-send-filter-status 'normal)
  806.         (goto-char (point-max))
  807.         (insert string)
  808.         (setq math-last-output-column (current-column))
  809.         (set-marker (process-mark proc) (point))
  810.         (if (save-excursion
  811.           (forward-line 0)
  812.           (looking-at "\\(^[ \t]*In\\[[0-9]+\\]:= ?\\)\\|\\(^[ \t]*Out\\[[0-9]+\\]\\(//[^=]*\\)?= ?\\)"))
  813.         (setq math-send-state 'normal)
  814.           (check-dangling-indent-cookie proc)))
  815.        (t
  816.         (setq math-send-filter-status 'normal)
  817.         (goto-char (point-max))
  818.         (insert string)
  819.         (setq math-last-output-column (current-column))
  820.         (set-marker (process-mark proc) (point))
  821.         ;; at one time a check was made here for dangling indent cookies.
  822.         ;; but only if math-indent-cookies was true, since otherwise
  823.         ;; graphics resulted in spurious warnings.  However
  824.         ;; this code was deleted since with math-indent-cookies true
  825.         ;; you can see an indent cookie anyway, and if it happens when the
  826.         ;; math-send-state is 'normal, there is something seriously wrong
  827.         ;; anyway.
  828.         )) ; finish off t branch and entire cond
  829.       (save-excursion
  830.         (forward-line 0)
  831.         (if (looking-at "^[ \t]*In\\[[0-9]+\\]:= ")
  832.         (setq math-send-filter-active nil))) ; Synchronize with tex-mma
  833.       ) ; end of prgn
  834.       ;; safely exit the filter
  835.       ;; unwind-protect tail
  836.       (set-buffer cbuf)
  837.       (store-match-data save-match-data))))
  838.  
  839. (defun math-mode ()
  840.   "Major mode for interacting with Mathematica and editing .m files.
  841.  
  842. \\[math] starts Mathematica.  (See below for starting Mathematica on a 
  843. remote host.)
  844.  
  845. \\[math-send-input] tries to identify stuff following last \"In[...]:=\" 
  846. or blank line or the last output and sends it.  To clear out
  847. Mathmatica after an error occurs, move point two lines below last
  848. printing character and type \\[math-send-input].  Warning: do not
  849. use Input[\"\"], and type in a mult-line reply; deadlock results.
  850.  
  851. \\[math-copy-cell] will copy a previous cell to the end of the buffer.
  852. It prompts for the number of the cell to copy.  Blank is previous cell.
  853. There are many more (and very useful) options.
  854. Type \\[describe-key] \\[math-copy-cell] to see the full details.
  855.  
  856. \\[math-help] gives help on a Mathematica symbol.  With wildcards
  857. it lists all matching symbols.  
  858. \\[math-extra-help] or C-u \\[math-help] give more verbose help.
  859. These functions use Mathematica's ? and ?? operations.
  860.  
  861. \\[math-complete-symbol] will complete the symbol near point.
  862.  
  863. \\[math-isearch-backward] does a backward regexp i-search, 
  864. initialized to find In[...].
  865.  
  866. \\[kill-math-cell] kills the cell near point.  With prefix arg kills
  867. this and subsequent cells.
  868.  
  869. \\[find-math-error] when typed after <<filename has returned a
  870. syntax error will goto the error.  (Depends on Mathematica-search-path.)
  871.  
  872. \\[math-transform-float] converts thing near point like 6.02E23 to 6.02*10^23.
  873. Type \\[describe-key] \\[math-transform-float] for more details.
  874. \\[math-transform-floats-in-region] does it to all floats in the region
  875.  
  876. \\[interrupt-shell-subjob] interrupts Mathematica.
  877. \\[kill-9-process] kills (-9) the Mathematica process.
  878.  
  879. \\[start-math] starts a Mathematica process in the current buffer.
  880.  
  881. \\[math-version] identifies this version of Mathematica mode.
  882.  
  883. \\[math-remove-symbol] creates a cell Remove[<<symbol>>], where <<symbol>> 
  884. is the word near point. 
  885.  
  886. Most entries from the Emacs' shell mode are available as well.
  887.  
  888. If you are not in a buffer running Mathematica, \\[math-help], \\[math-extra-help], 
  889. \\[math-complete-symbol], and \\[math-copy-cell] use or copy to the 
  890. buffer *math*.  \\[math-help], \\[math-extra-help], and \\[math-complete-symbol]
  891. all send input to Mathematica: chaos may ensue if you do this while Mathmatica
  892. is busy with other work---no check is made.  You can change the buffer/process
  893. these commands use with \\[set-math-process-buffer].
  894.  
  895. Entry to this mode calls the value of math-mode-hook with no args,
  896. if that value is non-nil.
  897.  
  898. If variable math-remote-host is non-nil, \\[math] will start
  899. Mathematica on host math-remote-host.
  900. If you have trouble
  901. with math-mode hanging for multi-line input, see the help on the variable
  902. math-timeout.  Due to a Mathematica feature you should make sure that 
  903. $BatchInput = False.  
  904. Interrupts are not available when using a remote host, and synchronization
  905. is sometimes incorrect; sorry.  See also the variables math-remote-user, 
  906. math-display-var, and math-remote-shell."
  907.  
  908.  
  909.   (interactive)
  910.   (shell-mode)
  911.   (kill-all-local-variables)
  912.   (setq major-mode 'math-mode)
  913.   (setq mode-name "Mathematica")
  914.   (setq mode-line-process '(": %s"))
  915.   (use-local-map math-mode-map)
  916.   (set-syntax-table math-mode-syntax-table)
  917.   (make-local-variable 'parse-sexp-ignore-comment)
  918.   (setq parse-sexp-ignore-comment t)
  919.   (make-local-variable 'math-last-output-column)
  920.   (make-local-variable 'math-partial-output)
  921.   (setq math-partial-output "")
  922.   (make-local-variable 'math-send-state)
  923.   (setq math-send-state 'normal)
  924.   (make-local-variable 'doing-math-complete-symbol)
  925.   (setq doing-math-complete-symbol nil)
  926.   (make-local-variable 'math-indent-cookies)
  927.   (make-local-variable 'math-indent-cookie-pending)
  928.   ; Position of end of last input to Mathematica
  929.   (make-local-variable 'math-last-input-end)
  930.  
  931.   (run-hooks 'math-mode-hook))
  932.  
  933.  
  934. (defun math ()
  935.   "Run Mathematica, input and output via buffer *math*."
  936.   (interactive)
  937.   (pop-to-buffer (start-math-process
  938.           "*math*" "math" math-process-string))
  939.   ;; We don't make this one local.  That way if the
  940.   ;; user changes the name of the buffer, say by writing
  941.   ;; it to a file, math-process-buffer still points
  942.   ;; to the right place.
  943.   (setq math-process-buffer (current-buffer))
  944.   (set-process-filter (get-buffer-process math-process-buffer) 
  945.               'math-send-filter))
  946.  
  947. (defun start-math ()
  948.   "Starts a Mathematica process in the current buffer."
  949.   (interactive "*")
  950.   (start-math-process (current-buffer) "math" math-process-string)
  951.   (make-local-variable 'math-process-buffer)
  952.   (setq math-process-buffer (current-buffer))
  953.   (set-process-filter (get-buffer-process math-process-buffer) 
  954.               'math-send-filter))
  955.  
  956.  
  957. (defun math-complete-symbol ()
  958.   "Complete the symbol preceeding point."
  959.   (interactive "*")
  960.   (let ((process (get-buffer-process math-process-buffer))
  961.     sent-successfully)
  962.     (if    (not (and process (memq (process-status process) '(run stop))))
  963.     (error "No math process running in buffer %s" math-process-buffer))
  964.     (setq math-completion-symbol (math-symbol-around-point))
  965.     (unwind-protect
  966.     (let ((cbuf (current-buffer)))
  967.       (set-buffer (get-buffer-create " Mathwork"))
  968.       (erase-buffer)
  969.       (set-buffer cbuf)
  970.       (setq doing-math-complete-symbol t)
  971.       (set-process-filter process 'math-help-filter)
  972.       (process-send-string process (concat 
  973. "Scan[Print,Names[\"" math-completion-symbol "**\"]];Out[--$Line];\n"))
  974.       (setq sent-successfully t))
  975.       (if (not sent-successfully)
  976.       (progn
  977.         (setq doing-math-complete-symbol nil)
  978.         (setq math-send-state 'normal) ; IS THIS RIGHT
  979.         (set-process-filter process 'math-send-filter))))))
  980.        
  981.               
  982. (defun math-symbol-around-point ()
  983.  "Return the symbol around the point as a string."
  984.  (save-excursion
  985.    (let (beg)
  986.      (if (not (eobp)) (forward-char 1))
  987.      (if (not (re-search-backward "\\w\\|\\s_" nil t))
  988.      ""
  989.        (forward-char 1)
  990.        (backward-sexp)
  991.        (setq beg (point))
  992.        (forward-sexp)
  993.        (buffer-substring beg (point))))))
  994.  
  995. (defun math-extra-help () 
  996.   "Like math-help with a prefix arg"
  997.   (interactive)
  998.   (let ((current-prefix-arg (list 1))
  999.     (prefix-arg (list 1)))          ; I'm hacking.  
  1000.                     ; current-prefix-arg makes M-X ... work
  1001.                                         ; prefix-arg makes it work when bound to a key
  1002.                     ; I'm sure RMS had something else in mind.
  1003.     (call-interactively 'math-help)))
  1004.  
  1005. (defun math-help (symbol arg)
  1006.   "Display what Mathematica knows about SYMBOL.  
  1007. With prefix arg (2nd arg when called from a program) it gives more info."
  1008.   (interactive  ; read a word, using the word around point as the default
  1009.    (let ((enable-recursive-minibuffers t)
  1010.      (try-word (math-symbol-around-point))
  1011.      val)
  1012.      (if (string-equal try-word "")
  1013.      (setq val (read-string "Mathematica symbol: "))
  1014.        (setq val (read-string (format "Mathematica symbol (default %s): "
  1015.                       try-word)))
  1016.        (if (string-equal val "")
  1017.        (setq val try-word)))
  1018.      (if (string-equal val "")
  1019.      (error "No symbol read"))
  1020.      (list val current-prefix-arg)))
  1021.   (let ((process (get-buffer-process math-process-buffer))
  1022.     sent-successfully)
  1023.     (if    (not (and process (memq (process-status process) '(run stop))))
  1024.       (error "No math process running in buffer %s" math-process-buffer))
  1025.     (unwind-protect
  1026.     (progn
  1027.       (with-output-to-temp-buffer "*Help*"
  1028.         (print-help-return-message))
  1029.       (set-process-filter process 'math-help-filter)
  1030.       (process-send-string process (concat (if arg "??" "?") symbol "\n"))
  1031.       (setq sent-successfully t))
  1032.       (if (not sent-successfully) (set-process-filter process 
  1033.                               'math-send-filter)))))
  1034.  
  1035.  
  1036. (defun math-edit-function (symbol arg)
  1037.   "Display all of SYMBOL's definitions in InputForm"
  1038.   (interactive  ; read a word, using the word around point as the default
  1039.    (let ((enable-recursive-minibuffers t)
  1040.      (try-word (math-symbol-around-point))
  1041.      val)
  1042.      (if (string-equal try-word "")
  1043.      (setq val (read-string "Mathematica symbol: "))
  1044.        (setq val (read-string (format "Mathematica symbol (default %s): "
  1045.                       try-word)))
  1046.        (if (string-equal val "")
  1047.        (setq val try-word)))
  1048.      (if (string-equal val "")
  1049.      (error "No symbol read"))
  1050.      (list val current-prefix-arg)))
  1051.   (let ((sent-successfully)
  1052.     (process (get-buffer-process math-process-buffer))
  1053.     (cbuf (current-buffer)))
  1054.     (unwind-protect
  1055.     (progn
  1056.       (set-buffer (get-buffer-create " Mathwork"))
  1057.       (erase-buffer)
  1058.       (set-buffer cbuf)
  1059.       (set-process-filter process 'math-edit-function-filter)
  1060.       (process-send-string process 
  1061.                    (concat "Print[HoldForm[Clear[" symbol 
  1062.                        "]]];Definition[" symbol 
  1063.                        "]//InputForm\nPrint[\"asdfasdfasdfasdf\"];Out[$Line -= 2];\n"))
  1064.       (setq sent-successfully t))
  1065.       (if (not sent-successfully)
  1066.       (set-process-filter process 'math-send-filter)))))
  1067.  
  1068. (defun math-edit-function-filter (proc string)
  1069.   (let ((cbuf (current-buffer))
  1070.     (save-match-data (match-data))
  1071.     )
  1072.     (unwind-protect
  1073.     (progn
  1074.       (set-buffer " Mathwork")
  1075.       (goto-char (point-max))
  1076.       (insert string)
  1077.       (forward-line 0)
  1078.       (if (and (looking-at "[ \t]*In\\[[0-9]+\\]" )
  1079.             (re-search-backward "\\(\\S \\)\\s *In\\[[0-9]+\\]:= asdfasdfasdfasdf" nil t))
  1080.           (let ((separator "")) ; separator puts things 
  1081.         ; like (*=============*) between the defintions.
  1082.         ; but the more I looked at it the more less-cluttered looked
  1083.         ; better.  Feel free to change it to whatever you like.
  1084.         (set-process-filter proc 'math-send-filter)
  1085.         (delete-region (match-end 1) (point-max))
  1086.         (goto-char (point-max))
  1087.         (if (not (re-search-backward "Out\\[[0-9]+\\]//InputForm=" nil t))
  1088.             (error "Math mode internal error"))
  1089.         (delete-region (match-beginning 0) (match-end 0))
  1090.         (if (looking-at "\\s *\\'") ; blank to eob
  1091.             (progn ; extract name of function
  1092.               (goto-char (point-min))
  1093.               (re-search-forward "Clear\\[\\([^]]+\\)\\]")
  1094.               (error "Function %s not defined" 
  1095.                  (buffer-substring 
  1096.                   (match-beginning 1) (match-end 1)))))
  1097.         (if (looking-at "\\s *Attributes\\[.+\\] =")
  1098.             (progn 
  1099.               (forward-sexp)
  1100.               (end-of-line)
  1101.               (newline)))
  1102.         (goto-char (point-min))
  1103.         (insert "(")
  1104.         (goto-char (point-max))
  1105.         (insert "\n;" separator ")\n")
  1106.         (goto-char (point-min))
  1107.         (replace-regexp "^\\([ \t]*\n\\)+" (concat ";" separator "\n"))
  1108.         (goto-char (point-max))
  1109.         (set-buffer cbuf)
  1110.         (insert-buffer " Mathwork")
  1111.         (forward-line 2)))
  1112.       )
  1113.       ;; Unwind protect tail
  1114.       (set-buffer cbuf)
  1115.       (store-match-data save-match-data))))
  1116.  
  1117.  
  1118.  
  1119. (defun math-help-filter (proc string)
  1120.   (let ((cbuf (current-buffer))
  1121.     (save-match-data (match-data))
  1122.     (local-doing-math-complete-symbol doing-math-complete-symbol))
  1123.     ;; doing-math-complete-symbol is buffer-local and we are going
  1124.     ;; to switch buffers.
  1125.     (unwind-protect
  1126.     (progn
  1127.       (if local-doing-math-complete-symbol
  1128.           (set-buffer " Mathwork")
  1129.         (set-buffer "*Help*"))
  1130.       (goto-char (point-max))
  1131.       (insert string)
  1132.       (beginning-of-line)
  1133.       (if (looking-at "^[ \t]*In\\[[0-9]+\\]:=")
  1134.           (progn
  1135.         (delete-region (point) (point-max))
  1136.         (bury-buffer (current-buffer))
  1137.         (if local-doing-math-complete-symbol
  1138.             (progn
  1139.               (set-buffer cbuf)
  1140.               ;; we are back to the original buffer, so this is ok
  1141.               (setq doing-math-complete-symbol nil)
  1142.               (insert (get-math-completion math-completion-symbol)))
  1143.           (goto-char (point-min))))))
  1144.       (set-buffer cbuf)
  1145.       (store-match-data save-match-data))))
  1146.  
  1147. (defun check-math-syntax (pmin pmax)
  1148.   "Checks for balanced parens, lack of valid prefix, and valid termination.
  1149. Mathematica will misbehave if there exists a prefix of a cell such that
  1150. the prefix ends in a newline and forms a valid mathematica expresssion.
  1151. This function causes an error if that is the case.  If that is ok it checks 
  1152. that the whole expression has balanced parens, comments and quotes.  It is
  1153. not perfect at these checks since GNU Emacs does not understand nested
  1154. comments.  Also it only checks that the nesting level of all paren constructs
  1155. is zero at the end, not that they really match."
  1156.   (interactive "r")
  1157.   (let ((pt (point))
  1158.     possibleerr)
  1159.     (save-restriction
  1160.       (narrow-to-region pmin pmax)
  1161.       (goto-char pmin)
  1162.       (while (and (not possibleerr)
  1163.           (not (eobp)))
  1164.     (end-of-line)
  1165.     (let ((parsestate (parse-partial-sexp (point-min) (point))))
  1166.       (if (not (looking-at "\\s *\\'")) ; not just all white space to eob
  1167.           (progn      ; make sure this could NOT end a valid expression
  1168.         (if (and
  1169.              (= (nth 0 parsestate) 0) ; zero paren depth
  1170.              (not (nth 3 parsestate)) ; not in a string
  1171.              (not (nth 4 parsestate)) ; not in a comment
  1172.              (progn
  1173.                (forward-line 0)
  1174.                (looking-at math-valid-cell-ending-re)))
  1175.             (progn
  1176.               (setq possibleerr 
  1177.                 "Possible complete statement before end, submit anyway? ")
  1178.               (end-of-line))))
  1179.         ;; we are at the end of the statement
  1180.         (cond ((nth 3 parsestate)
  1181.            (setq possibleerr
  1182.              "Apparently unterminated string, submit anyway? "))
  1183.           ((nth 4 parsestate)
  1184.            (setq possibleerr 
  1185.              "Apparently unclosed comment, submit anyway? "))
  1186.           ((not (zerop (nth 0 parsestate)))
  1187.            (setq possibleerr
  1188.              "Apparently mismatched parens, submit anyway? "))
  1189.           ((save-excursion
  1190.              (goto-char (point-min))
  1191.              (re-search-forward "\\\\[ \t]+$" nil t))
  1192.            (setq possibleerr
  1193.              "Line ends with backslash whitespace, submit anyway? "))
  1194.           ((save-excursion
  1195.              (forward-line 0)
  1196.              (not (looking-at math-valid-cell-ending-re)))
  1197.            (setq possibleerr 
  1198.              "Possible incomplete cell, submit anyway? "))))
  1199.       (if (not possibleerr) (forward-line 1)))))
  1200.     (if (and possibleerr (not (y-or-n-p possibleerr)))
  1201.     (progn
  1202.       (error "Cancelled")
  1203.       (setq math-send-filter-status 'syntax-error) 
  1204.       )
  1205.       (goto-char pt))))
  1206.  
  1207.  
  1208. (defun start-math-process (bufferid procname program &optional startfile &rest switches)
  1209.   ;; A munged version of make-shell
  1210.   ;; Make-shell is part of Gnu Emacs, Copyright (C) 1985, 1986, 1987, 1988 
  1211.   ;; Free Software Foundation,Inc.
  1212.   ;; Used with permission.
  1213.   ;; bufferid can be a buffer or the name of a buffer
  1214.   ;; startfile is now ignored.  
  1215.   ;; It wouldn't have worked with Mathematica anyway.
  1216.   (let ((buffer (get-buffer-create bufferid))
  1217.     (disp (cond
  1218.         ((eq math-display-var nil) (getenv "DISPLAY"))
  1219.         ((stringp math-display-var) math-display-var)
  1220.         (t nil)))
  1221.     proc proc-args status)
  1222.     (setq proc (get-buffer-process buffer))
  1223.     (if proc (setq status (process-status proc)))
  1224.     (save-excursion
  1225.       (set-buffer buffer)
  1226.       (if (memq status '(run stop))
  1227.       nil
  1228.     (if proc (delete-process proc))
  1229.     (message "Starting Mathematica...")
  1230.     (if (not (eq major-mode 'math-mode))
  1231.         (math-mode))
  1232.     (setq math-indent-cookies nil)
  1233.     (setq math-header-re nil)
  1234.     (setq math-send-state 'starting-up)
  1235.     (if math-remote-host
  1236.         (progn
  1237.           (setq 
  1238.            proc-args 
  1239.            (delq nil
  1240.              (list 
  1241.               procname
  1242.               buffer
  1243.               math-remote-shell
  1244.               math-remote-host
  1245.               (if math-remote-user "-l")
  1246.               math-remote-user ; if nil will be deleted
  1247.               "sh"
  1248.               "-c"
  1249.               (mapconcat 
  1250.                'identity
  1251.                (delq nil
  1252.                  (list
  1253.                   "\""
  1254.                   (if disp (format "DISPLAY=%s" disp))
  1255.                   (format
  1256.                    "TERMCAP=emacs:co#%d:tc=unknown:"
  1257.                    (screen-width))
  1258.                   "TERM=emacs"
  1259.                   "EMACS=t"
  1260.                   (format "MATHINDENTCOOKIE='%s'" 
  1261.                       math-indent-cookie)
  1262.                   (format "MATHINDENTCOOKIEMSG='%s'" 
  1263.                       math-indent-cookie-message)
  1264.                   program
  1265.                   switches
  1266.                   "\"")) " "))))); have mapconcat put spaces between
  1267.       ;; The local case
  1268.       (setq 
  1269.        proc-args
  1270.        (append
  1271.         (list
  1272.          procname
  1273.          buffer
  1274.          (concat exec-directory "env"))
  1275.         (delq nil 
  1276.           (list
  1277.            (if disp (format "DISPLAY=%s" disp))
  1278.            (format
  1279.             "TERMCAP=emacs:co#%d:tc=unknown:"
  1280.             (screen-width))
  1281.            "TERM=emacs"
  1282.            "EMACS=t"
  1283.            (format "MATHINDENTCOOKIE=%s" 
  1284.                math-indent-cookie)
  1285.            (format "MATHINDENTCOOKIEMSG=%s" 
  1286.                math-indent-cookie-message)
  1287.            "-" ; suppress other environment variables
  1288.            program
  1289.            switches)))))
  1290.     (setq proc (apply 'start-process proc-args))
  1291.     ;;(setq procname (process-name proc))  ; what in the world is this for?
  1292.     (goto-char (point-max))
  1293.     (set-marker (process-mark proc) (point))
  1294.     ))
  1295.     buffer))
  1296.  
  1297. (defun backward-incarnations (inc)
  1298.   "Moves back ARG incarnations of Mathematica, as recognized
  1299. by math-header-re."
  1300.   (if inc
  1301.       (let ((count (cond ((numberp inc) inc)
  1302.              ((equal inc '(4)) 1)
  1303.              ((equal inc '(16)) 2)
  1304.              ((equal inc '(64)) 3)
  1305.              ((equal inc '(256)) 4)
  1306.              ((equal inc '(1024)) 5)
  1307.              (t (error "I'm too lazy to count that many prefix keys")))))
  1308.         (re-search-backward math-header-re nil nil count))))
  1309.  
  1310.  
  1311.  
  1312.  
  1313.  
  1314.  
  1315.  
  1316. (defun math-copy-cell (numberstring incarnations pt)
  1317.   "Copies the cell beginning In[<CELLNUMBER>] to the end of the buffer.  
  1318. With CELLNUMBER of empty string and point at or after last In[...]:= 
  1319. (and if buffer is its own math-process-buffer)
  1320. copies previous In cell to end of buffer.  With point before last In[...]:= 
  1321. copies cell near point (In, Out, or just a block of text) to end of buffer.  
  1322. If CELLNUMBER is followed by \"-\", even if otherwise blank, the designated
  1323. cell is deleted.  If by \"--\" all subsequent cells are deleted.
  1324. With an explicit CELLNUMBER, a prefix arg will skip back prefix arg 
  1325. incarnations before searching for In[<CELLNUMBER>].  C-u's count in unary.  
  1326. When called from a program, CELLNUMBER must be a string, second arg is 
  1327. INCARNATIONS back and third is POINT to begin search at."
  1328.   (interactive "sCell number (default is cell near point):  \nP\nd")
  1329.   (let (killflag)
  1330.     (cond ((string-match "--\\'" numberstring)
  1331.        (setq killflag 'all)
  1332.        (setq numberstring (substring numberstring 0 -2)))
  1333.       ((string-match "-\\'" numberstring)
  1334.        (setq killflag t)
  1335.        (setq numberstring (substring numberstring 0 -1))))
  1336.     (cond  ((zerop (length numberstring))
  1337.         (goto-char (point-max))
  1338.         (if (and
  1339.          (equal (get-buffer math-process-buffer) ; get-buffer is safe
  1340.                     ; in wierd cases
  1341.             (current-buffer))  ; copy to ourself?
  1342.          (re-search-backward "^[ \t]*In\\[[0-9]+\\]:=" nil t)
  1343.          (>= pt (point))) ; in or after last cell
  1344.           (progn
  1345.         (re-search-backward "^[ \t]*In\\[[0-9]+\\]:=") ; back up to previous one
  1346.         (while (and (not (bobp))
  1347.                 (or (looking-at ; reject ones without any useful text 
  1348.                  "^[ \t]*In\\[[0-9]+\\]:=\\s *\\(\\'\\|\n\\s *$\\)")))
  1349.           (re-search-backward "^[ \t]*In\\[[0-9]+\\]:=")))
  1350.           (goto-char pt))) ; else branch: do current cell
  1351.        (t
  1352.         (goto-char (point-max))
  1353.         (backward-incarnations incarnations)
  1354.         (re-search-backward (concat "^[ \t]*In\\[" numberstring "\\]:="))))
  1355.     (if (interactive-p) (push-mark))
  1356.     (let* ((cellinfo (math-identify-cell (point) 'copy))
  1357.        (copy (buffer-substring (car cellinfo) (nth 1 cellinfo)))
  1358.        insert-point)
  1359.       (if killflag (kill-math-cell (car cellinfo) (eq killflag 'all)))
  1360.       (if (not (equal (get-buffer math-process-buffer)
  1361.               (current-buffer)))
  1362.       (pop-to-buffer math-process-buffer))
  1363.       (goto-char (point-max))
  1364.       (re-search-backward "\\S ")
  1365.       (forward-line 0)
  1366.       (if (looking-at "^[ \t]*In\\[[0-9]+\\]:=\\s *$")
  1367.       (end-of-line)
  1368.     (goto-char (point-max)))
  1369.       (setq insert-point (point))
  1370.       (insert copy)
  1371.       (save-excursion ; patch up cells that begin with a blank line
  1372.     (goto-char insert-point)
  1373.     (if (looking-at "[ \t]*\n")
  1374.         (progn
  1375.           (end-of-line)
  1376.           (insert "\\")))))))
  1377.  
  1378. (defun math-isearch-backward ()
  1379.   "Does a backward regexp i-search, initialized to find In[...]:="
  1380.   (interactive)
  1381.   (setq search-last-regexp "^[ \t]*In\\[[0-9]+\\]:=\\s *")
  1382.   (setq unread-command-char search-reverse-char)
  1383.   (isearch-backward-regexp))
  1384.  
  1385. (defun math-identify-cell (pt mode &optional possiblebndy)
  1386.   "Finds cell around POS.  MODE can be one of 'submit, 'copy, or
  1387. 'kill.  'submit searches for cells beginning with In blank or
  1388. Interrupt>, 'copy with In Out or blank line, and 'kill with just In or
  1389. Out.  A string crossing optional POSSIBLEBNDY (usually the process
  1390. mark) will result in query as to include characters before
  1391. POSSIBLEBNDY.  Returns a list of the buffer position of the beginning
  1392. and end of the cell and non-nil if the string was truncated at POSSIBLEBNDY."
  1393.   (save-excursion
  1394.     (let (bpt ept tpt inputresponse)
  1395.       (goto-char pt)
  1396.       ;; back up at most one blank line looking for input
  1397.       (end-of-line)
  1398.       (re-search-backward  
  1399.        (cond 
  1400.     ((eq mode 'copy)
  1401.      "\\(^[ \t]*In\\[[0-9]+\\]:= ?\\)\\|\\(^\\s *\n\\)\\|\\(^[ \t]*Out\\[[0-9]+\\]\\(//[^=]*\\)?= ?\\)")
  1402.     ((eq mode 'submit)
  1403.      "\\(^[ \t]*In\\[[0-9]+\\]:= ?\\)\\|\\(Interrupt> ?\\)\\|\\(^\\s *\n\\)")
  1404.     ((eq mode 'kill) "\\(^[ \t]*In\\[[0-9]+\\]:= ?\\)\\|\\(^[ \t]*Out\\[[0-9]+\\]\\(//[^=]*\\)?= ?\\)"))
  1405.        nil 1)
  1406.       (goto-char (or (match-end 0) (point-min)))
  1407.       (setq tpt (point)) ; place from which to initiate search for end of cell
  1408.       ;; for 'kill, back up to blank line before the beginning of an Out cell.
  1409.       (if (eq mode 'kill)
  1410.       (if (match-beginning 2) ; Out...
  1411.           (let ((savept (point)))
  1412.         (forward-line 0)
  1413.         (re-search-backward "\\(^[ \t]*$\\)\\|^[ \t]*In\\[[0-9]+\\]\\|^[ \t]*Out\\[[0-9]+\\]"
  1414.                     nil t) ; see if we find a blank before 
  1415.                     ;anything else
  1416.         (if (match-beginning 1) ; found a blank first
  1417.             (forward-line 1) ; move off blank
  1418.           (goto-char savept)
  1419.           (forward-line 0)))
  1420.         (forward-line 0))) ; if kill but not Out, also go to bol
  1421.       (setq bpt (point)) ; beginning of cell
  1422.       (goto-char tpt)
  1423.       (if (re-search-forward 
  1424.        (cond ((memq mode '(submit copy))
  1425.           "^\\s *$\\|^[ \t]*Out\\[[0-9]+\\][^=\n]*=\\|^[ \t]*In\\[[0-9]+\\]:=")
  1426.          (t "^[ \t]*In\\[[0-9]+\\]:=")
  1427.          ); end of cond
  1428.        nil 1)
  1429.       ;; If it matches, we have found the beginning of a line
  1430.       ;;  following the cell.  If not kill, back up one character.  
  1431.       ;; If it doesn't match we are at eob and end of cell.
  1432.       (goto-char (max (- (match-beginning 0) (if (eq mode 'kill) 0 1)) 
  1433.               bpt)))
  1434.       (setq ept (point))
  1435.       ;; Take care of boundary crossing problems
  1436.       (if (and possiblebndy (< bpt possiblebndy) (< possiblebndy ept))
  1437.       (progn 
  1438.         (goto-char possiblebndy)
  1439.         (unwind-protect
  1440.         (progn
  1441.           (insert "==>")
  1442.           (if (y-or-n-p "Use only chars after ==> in buffer ")
  1443.               (progn
  1444.             (setq bpt possiblebndy)
  1445.             (setq inputresponse t))))
  1446.           (delete-backward-char 3))))
  1447.       (list bpt ept inputresponse))))
  1448.  
  1449.  
  1450.  
  1451. (defun kill-math-cell (pt arg) "Kills the cell around POINT.  
  1452. If it is an In[...] cell, the following Out[...] cell is also killed.
  1453. With prefix ARG kills to almost eob"
  1454. ;; we should fix this so a numeric arg kills that many cells.
  1455.   (interactive "*d\nP")
  1456.   (let* ((region-info (math-identify-cell pt 'kill))
  1457.      (kill-beg (car region-info))
  1458.      kill-end
  1459.     )
  1460.     (if arg
  1461.     (progn
  1462.       (goto-char (point-max))
  1463.       (if (re-search-backward "In\\[[0-9]+\\]:= ?" nil t)
  1464.           (setq kill-end (match-beginning 0)) ; kill to about eob
  1465.         (setq kill-end (point-max)))) ; obscure case
  1466.       (setq kill-end (car (cdr region-info)))) ; normal case
  1467.     (kill-region kill-beg kill-end)
  1468.     (re-search-forward 
  1469.      "\\(^[ \t]*In\\[[0-9]+\\]:= ?\\)\\|\\(^[ \t]*Out\\[[0-9]+\\]\\(//[^=]*\\)?= ?\\)"
  1470.      nil t)))
  1471.  
  1472.  
  1473. (defun old-kill-math-cell ()
  1474.   (interactive)
  1475.   (error "kill-math-cell is now on ESC k"))
  1476.  
  1477.  
  1478. (defun get-math-completion (prefix)
  1479.   "Returns string to insert to complete a Mathematica symbol
  1480.   Designed to be called as in (insert (get-math-completion word))"
  1481.   (let ((cbuf (current-buffer)))
  1482.     (unwind-protect
  1483.     (progn
  1484.       (set-buffer " Mathwork")
  1485.       (goto-char (point-min))
  1486.       (let (alist)
  1487.         (while (looking-at "\\S +")
  1488.           (setq alist (cons (list (buffer-substring (match-beginning 0) (match-end 0))) alist))
  1489.           (forward-line 1))
  1490.         (set-buffer cbuf)
  1491.         (let ((t-c-result  (and alist (try-completion prefix alist))))
  1492.           ; try-completion barfs on a nil alist, so we help it out
  1493.           (cond ((eq t-c-result t) 
  1494.              (message "%s is complete" prefix)
  1495.              "")
  1496.             ((eq t-c-result nil)
  1497.              (message "No match found")
  1498.              "")
  1499.             ((not (string= prefix t-c-result))
  1500.              (substring t-c-result (length prefix)))
  1501.             (t (with-output-to-temp-buffer "*Help*"
  1502.              (display-completion-list 
  1503.               (all-completions prefix alist))
  1504.              (print-help-return-message))
  1505.                "")))))
  1506.       (set-buffer cbuf); unwind-protect exit
  1507.    )))
  1508.  
  1509. (defun kill-9-process ()
  1510.   "Kills the process in the current buffer as in kill -9."
  1511.   (interactive)
  1512.   (kill-process (get-buffer-process (current-buffer))))
  1513.  
  1514. (defun metered-process-send-string (process string)
  1515.   "The same semantics as process-send-string, except the
  1516. string is broken into small enough chunks to not mess up emacs."
  1517.   (let ((p 0)
  1518.     (len (length string)))
  1519.     (while (< p len)
  1520.       (process-send-string process
  1521.                (substring string p (setq p (min len (+ p 80))))))))
  1522.  
  1523.  
  1524.  
  1525. (defun skip-over-white-lines ()
  1526.   ;; it might be possible to do this with 
  1527.   ;; (re-search-forward "\\(^\\s *\n\\)*")
  1528.   ;; but this works.
  1529.   (while (and 
  1530.       (not (eobp))
  1531.       (looking-at "^\\s *$") ; blank line
  1532.       (zerop (forward-line)))))
  1533.  
  1534. (defun find-math-error ()
  1535.   "Searches for the last \"syntax error in\" message; goes to indicated line
  1536. in the indicated file.  It uses the symbol Mathematica-search-path rather 
  1537. than going to all the work to discover the real real search path."
  1538.   (interactive)
  1539.   (let (filename
  1540.     linenumber
  1541.     raw-filename
  1542.     (math-search-path Mathematica-search-path))
  1543.     (save-excursion
  1544.       (re-search-backward "Syntax::sntx:")
  1545.       (forward-line 0)
  1546.       (if (not (looking-at ".*(line \\([0-9]+\\) of \"\\([^\"\n \t]+\\)\")$"))
  1547.       (error "Cannot parse error line"))
  1548.       (setq raw-filename (buffer-substring (match-beginning 2) (match-end 2)))
  1549.       (setq linenumber (string-to-int 
  1550.             (buffer-substring (match-beginning 1) (match-end 1)))))
  1551.     (while (not filename)
  1552.       (setq filename (expand-file-name raw-filename (car math-search-path)))
  1553.       (if (not (file-readable-p filename))
  1554.       (progn (setq filename nil)
  1555.          (setq math-search-path (cdr math-search-path))
  1556.          (if (null math-search-path)
  1557.              (error "File %s not found" raw-filename)))))
  1558.     (find-file-other-window filename)
  1559.     (goto-line linenumber)))
  1560.  
  1561.  
  1562. (defun set-math-process-buffer (buffer)
  1563.   "Sets the buffer in/to which to evaluate/copy Mathematica
  1564. code.  (You only need to use this function if you want a buffer 
  1565. other than *math*.)"
  1566.   (interactive "bMathematica buffer: ")
  1567.   (make-local-variable 'math-process-buffer)
  1568.   ;; The following trick will use the buffer itself if
  1569.   ;; it is defined.  That way if the user eventually 
  1570.   ;; changes the name, say by writing it out, this local
  1571.   ;; math-process-buffer will still point to the right place.  
  1572.   ;; But if the buffer does not yet exist, it will still work.
  1573.   (setq math-process-buffer (or (get-buffer buffer) buffer)))
  1574.  
  1575. (defun math-transform-float (&optional forcedecimal)
  1576.   "Converts a float near point in Fortran/C style to math style. 
  1577. With optional prefix ARG, forces a decimal point."
  1578.   (interactive "*P")
  1579.   ;; Parens are necessary.  Otherwise consider
  1580.   ;; 5^3e2 ==> 5^3*10^2.
  1581.   ;; It is important that something of the form -3.5e6 be transformed
  1582.   ;; to -(3.5*10^6).  Otherwise condsider 3-1e3==>3(-1*10^3).
  1583.   (let ((pt (point))
  1584.     (eolpoint (progn (end-of-line) (point)))
  1585.     temp)
  1586.     (forward-line 0)
  1587.     (while 
  1588.     (and
  1589.      (setq temp 
  1590.            (re-search-forward 
  1591. "\\(^\\|[^0-9.]\\)\\(\\([0-9]+\\.[0-9]*\\|[0-9]*\\.[0-9]+\\)\\|[0-9]+\\)[eE]\\([-+]?[0-9]+\\)" 
  1592. ;;; bol or a character that can't be in a float followed by 
  1593. ;;; significant, which is d+.d* or d*.d+ or d+  The first two are in the
  1594. ;;; third paren group to detect the presence of a decimal point
  1595. ;;; then an optional e or E and finally the exponent.
  1596.  
  1597.         eolpoint t)) ;no error
  1598.      (<= (match-end 0) (1- pt)))
  1599.       ;; empty while body
  1600.       )
  1601.     (if (and temp
  1602.          (<= (match-beginning 2) pt))
  1603.     (if (and forcedecimal 
  1604.          (not (match-beginning 3))) ; no decimal point present
  1605.         (replace-match "(\\2.*10^\\4)" t)
  1606.       (replace-match "(\\2*10^\\4)" t))
  1607.       (goto-char pt)
  1608.       (error "No float found"))))
  1609.  
  1610.  
  1611. (defun math-transform-floats-in-region (pt1 pt2 &optional forcedecimal)
  1612.   "Converts all Fortran/C floats in REGION to Mathematica style.
  1613.    Optional non-nil prefix ARG forces decimal points."
  1614.   (interactive "*rP")
  1615.   ;; Parens are necessary.  Otherwise consider
  1616.   ;; 5^3e2 ==> 5^3*10^2.
  1617.   ;; It is important that something of the form -3.5e6 be transformed
  1618.   ;; to -(3.5*10^6).  Otherwise condsider 3-1e3==>3(-1*10^3).
  1619.   (save-excursion
  1620.     (save-restriction
  1621.       (narrow-to-region pt1 pt2)
  1622.     (goto-char pt1)
  1623.     (if (not forcedecimal)
  1624.         (replace-regexp 
  1625.          "\\(^\\|[^0-9.]\\)\\(\\([0-9]+\\.[0-9]*\\|[0-9]*\\.[0-9]+\\)\\|[0-9]+\\)[eE]\\([-+]?[0-9]+\\)" 
  1626.          "\\1(\\2*10^\\4)")
  1627.       (replace-regexp 
  1628.        "\\(^\\|[^0-9.]\\)\\([0-9]+\\.[0-9]*\\|[0-9]*\\.[0-9]+\\)[eE]\\([-+]?[0-9]+\\)" 
  1629.        "\\1(\\2*10^\\3)")
  1630.       (goto-char pt1)
  1631.       (replace-regexp 
  1632.        "\\(^\\|[^0-9.]\\)\\([0-9]+\\)[eE]\\([-+]?[0-9]+\\)" 
  1633.        "\\1(\\2.*10^\\3)")
  1634.       ))))
  1635.  
  1636. (defun math-remove-symbol ()
  1637.   "Take the word near point and create a Remove[<<word>>] cell.  This is 
  1638. useful when a spelling error has occurred."
  1639.   (interactive)
  1640.   (let ((symbol (math-symbol-around-point)))
  1641.     (push-mark)
  1642.     (goto-char (point-max))
  1643.     (insert "Remove[" symbol "]")))
  1644.  
  1645. (run-hooks 'math-mode-load-hook)
  1646.  
  1647.