diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-07-04 15:29:29 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-07-04 15:29:29 +0000 |
| commit | 44a49cb801191cd6e803204aaffe04ab7a65a345 (patch) | |
| tree | a90e6644218d0c25afcabdedeb7c7acc39129c47 /contrib/texmacs/progs | |
| parent | 8a4f74e2a21557463176766306120b13fa80e457 (diff) | |
| download | open-axiom-44a49cb801191cd6e803204aaffe04ab7a65a345.tar.gz | |
2009-07-04 Alfredo Portes <doyenatccny@gmail.com>
* contrib/texmacs: New.
Diffstat (limited to 'contrib/texmacs/progs')
| -rwxr-xr-x | contrib/texmacs/progs/init-openaxiom.scm | 23 | ||||
| -rwxr-xr-x | contrib/texmacs/progs/openaxiom-input.scm | 53 |
2 files changed, 76 insertions, 0 deletions
diff --git a/contrib/texmacs/progs/init-openaxiom.scm b/contrib/texmacs/progs/init-openaxiom.scm new file mode 100755 index 00000000..b6d485a3 --- /dev/null +++ b/contrib/texmacs/progs/init-openaxiom.scm @@ -0,0 +1,23 @@ +
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+;;
+;; MODULE : init-openaxiom.scm
+;; DESCRIPTION : Initialize openaxiom plugin
+;; COPYRIGHT : (C) 1999 Joris van der Hoeven
+;;
+;; This software falls under the GNU general public license and comes WITHOUT
+;; ANY WARRANTY WHATSOEVER. See the file $TEXMACS_PATH/LICENSE for details.
+;; If you don't have this file, write to the Free Software Foundation, Inc.,
+;; 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
+;;
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+
+(define (openaxiom-initialize)
+ (import-from (texmacs plugin plugin-convert))
+ (lazy-input-converter (openaxiom-input) openaxiom))
+
+(plugin-configure openaxiom
+ (:require (url-exists-in-path? "open-axiom"))
+ (:initialize (openaxiom-initialize))
+ (:launch "tm_openaxiom")
+ (:session "OpenAxiom"))
diff --git a/contrib/texmacs/progs/openaxiom-input.scm b/contrib/texmacs/progs/openaxiom-input.scm new file mode 100755 index 00000000..81da0b8f --- /dev/null +++ b/contrib/texmacs/progs/openaxiom-input.scm @@ -0,0 +1,53 @@ +
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+;;
+;; MODULE : openopenaxiom-input.scm
+;; DESCRIPTION : OpenAxiom input converters
+;; COPYRIGHT : (C) 1999 Joris van der Hoeven
+;;
+;; This software falls under the GNU general public license and comes WITHOUT
+;; ANY WARRANTY WHATSOEVER. See the file $TEXMACS_PATH/LICENSE for details.
+;; If you don't have this file, write to the Free Software Foundation, Inc.,
+;; 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
+;;
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+
+(texmacs-module (openaxiom-input)
+ (:use (texmacs plugin plugin-convert)))
+
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+;; Specific conversion routines
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+
+(define (openaxiom-input-var-row r)
+ (if (not (null? r))
+ (begin
+ (display ", ")
+ (plugin-input (car r))
+ (openaxiom-input-var-row (cdr r)))))
+
+(define (openaxiom-input-row r)
+ (display "[")
+ (plugin-input (car r))
+ (openaxiom-input-var-row (cdr r))
+ (display "]"))
+
+(define (openaxiom-input-var-rows t)
+ (if (not (null? t))
+ (begin
+ (display ", ")
+ (openaxiom-input-row (car t))
+ (openaxiom-input-var-rows (cdr t)))))
+
+(define (openaxiom-input-rows t)
+ (display "matrix([")
+ (openaxiom-input-row (car t))
+ (openaxiom-input-var-rows (cdr t))
+ (display "])"))
+
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+;; Initialization
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+
+(plugin-input-converters openaxiom
+ (rows openaxiom-input-rows))
|