OpenXM/src/kxx/init-openxm.scm - diff

Return to init-openxm.scm CVS log

Up to [local] / OpenXM / src / kxx

Diff for /OpenXM/src/kxx/init-openxm.scm between version 1.3 and 1.15

-version 1.3, 2004/03/10 17:31:13
+version 1.15, 2006/02/13 06:14:22
 Line 1
 Line 1
 Line 1
- ; $OpenXM: OpenXM/src/kxx/init-openxm.scm,v 1.2 2004/03/07 22:55:12 ohara Exp $
+ ; $OpenXM: OpenXM/src/kxx/init-openxm.scm,v 1.14 2005/01/23 09:55:29 ohara Exp $
- (define (my-openxm-plugin-eval t)
+ (define (alist-search alist)
+   (let* ((lang (or (getenv "LANG") "C"))
+          (ent (assoc (substring lang 0 (min (string-length lang) 2)) alist)))
+     (if ent (cdr ent) (cdr (assoc "C" alist)))))
+ (define manual-asir2000
+   (alist-search
+    '(("C"  . "doc/asir2000/html-eg/man_toc.html") ("ja" . "doc/asir2000/html-jp/man_toc.html"))))
+ (define manual-asir-contrib
+   (alist-search
+    '(("C"  . "doc/asir-contrib/html-en/cman-en_toc.html") ("ja" . "doc/asir-contrib/html-ja/cman-ja_toc.html"))))
+ (define (openxm-eval t)
    (import-from (texmacs plugin plugin-cmd))
    (import-from (texmacs plugin plugin-convert))
    (plugin-eval "openxm" "default" (object->tree t)))
- (define (my-openxm-plugin-eval-paste t)
+ (define (openxm-eval-paste t)
-   (insert-tree (object->tree (my-openxm-plugin-eval t))))
+   (insert-tree (object->tree (openxm-eval t))))
- (define (w3m t)
+ (define (openxm-path t)
    (if (string? t)
-     (system (string-append "rxvt -g 100x50 -e w3m " t "&"))))
+     (let* ((openxm-home (or (getenv "OpenXM_HOME") "/usr/local/OpenXM"))
+            (local-path (string-append openxm-home "/" t))
+            (web-prefix "http://www.math.kobe-u.ac.jp/OpenXM/Current/")
+            (web-path   (string-append web-prefix t)))
+       (if (url-exists? local-path) local-path web-path))))
- (define (w3m-local t)
+ (define w3m-cmd
-   (if (string? t)
+   (cond
-     (w3m (string-append "/usr/local/OpenXM/" t))))
+    ((url-exists-in-path? "w3m")
+     (cond ((url-exists-in-path? "rxvt")  "rxvt  -g 100x50 -e w3m")
+           ((url-exists-in-path? "kterm") "kterm -g 100x50 -e w3m")
+           ((url-exists-in-path? "xterm") "xterm -g 100x50 -e w3m")
+           (else #f)))
+    ((url-exists-in-path? "mozilla" ) "mozilla" )
+    ((url-exists-in-path? "netscape") "netscape")
+    ((url-exists-in-path? "iexplore") "iexplore")
+    (else #f)))
+ (define (w3m t)
+   (if (and (string? t) w3m-cmd)
+     (system (string-append w3m-cmd " " t " &"))))
+ (define (w3m-search t)
+   (w3m (openxm-path t)))
  (define (openxm-initialize)
-   (menu-extend texmacs-session-help-icons
+ ;   (menu-extend texmacs-session-help-icons
-     (if (and (in-openxm?)
+ ;     (if (in-openxm?)
-           (url-exists? "/usr/local/OpenXM/doc/asir2000/html-jp/man_toc.html"))
+ ;     |
-     |
+ ;     ((balloon (icon "tm_help.xpm") "Risa/Asir manual")
-     ((balloon (icon "tm_help.xpm") "Risa/Asir manual")
+ ;      (w3m-search manual-asir2000))))
-      (w3m-local "doc/asir2000/html-eg/man_toc.html"))))
    (menu-extend texmacs-extra-menu
      (if (in-openxm?)
        (=> "OpenXM"
          (-> "Select engines"
            ("Risa/Asir" (insert-string "!asir;"))
            ("Kan/sm1"   (insert-string "!sm1;")))
-         (-> "Output format"
+         (-> "Select display style"
-           ("LaTeX"     (my-openxm-plugin-eval "!latex;"))
+           ("LaTeX"     (openxm-eval "!latex;"))
-           ("verbatim"  (my-openxm-plugin-eval "!verbatim;")))
+           ("verbatim"  (openxm-eval "!verbatim;")))
+         (-> "Load Modules (Asir)"
+           ("ccurve"    (openxm-eval "load(\"ccurve.rr\");"))
+           ("dsolv"     (openxm-eval "load(\"dsolv\");"))
+           ("ratint"    (openxm-eval "load(\"ratint\");"))
+           ("solv"      (openxm-eval "load(\"solv\");"))
+           ("sp"        (openxm-eval "load(\"sp\");"))
+           ("sturm"     (openxm-eval "load(\"sturm\");"))
+           ("sym"       (openxm-eval "load(\"sym\");"))
+           ("weight"    (openxm-eval "load(\"weight\");"))
+           ("yang"      (openxm-eval "load(\"yang.rr\");"))
+           )
+         (-> "Display Configuration (Asir)"
+           ("Load default"   (openxm-eval "noro_print_env(0);"))
+           ("Weyl algebra"   (openxm-eval "noro_print_env(\"weyl\");"))
+           ("Euler OPs"      (openxm-eval "noro_print_env(\"yang\");"))
+           )
          ---
          (-> "Manuals"
-           ("Risa/Asir manual"    (w3m-local "doc/asir2000/html-jp/man_toc.html"))
+           ("Risa/Asir manual"
-           ("Asir-contrib manual" (w3m-local "doc/asir-contrib/html-ja/cman-ja_toc.html")))
+            (w3m-search manual-asir2000))
+           ("Asir-contrib manual"
+            (w3m-search manual-asir-contrib)))
          (-> "Web"
-           ("The OpenXM Project"  (w3m "http://www.math.kobe-u.ac.jp/OpenXM/")))
+           ("The OpenXM Project"  (w3m "http://www.math.kobe-u.ac.jp/OpenXM/"))
+           ("Risa/Asir web page"  (w3m "http://www.math.kobe-u.ac.jp/Asir/index-ja.html")))
          )))
  )
+ (define (openxm-serialize lan t)
+   (import-from (utils plugin plugin-cmd))
+   (with u (pre-serialize lan t)
+     (with s (texmacs->verbatim (stree->tree u))
+       (string-append (string-replace s "\n" "\v") "\n")
+       )))
  (plugin-configure openxm
-   (:require (and (url-exists-in-path? "openxm") (url-exists-in-path? "ox_texmacs")))
+   (:require (url-exists-in-path? "openxm"))
    (:initialize (openxm-initialize))
-   (:launch "openxm ox_texmacs")
+   (:serializer ,openxm-serialize)
-   (:session "OpenXM"))
+   (:launch "exec openxm ox_texmacs")
+   (:session "OpenXM[asir,sm1]"))

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>