From 44a49cb801191cd6e803204aaffe04ab7a65a345 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Sat, 4 Jul 2009 15:29:29 +0000 Subject: 2009-07-04 Alfredo Portes * contrib/texmacs: New. --- contrib/texmacs/progs/init-openaxiom.scm | 23 ++++++++++++++ contrib/texmacs/progs/openaxiom-input.scm | 53 +++++++++++++++++++++++++++++++ 2 files changed, 76 insertions(+) create mode 100755 contrib/texmacs/progs/init-openaxiom.scm create mode 100755 contrib/texmacs/progs/openaxiom-input.scm (limited to 'contrib/texmacs/progs') 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)) -- cgit v1.2.3