mailing-list for TeXmacs Users

[Bill Page <address@hidden>]

The following patch is based on similar coding in mupad-input.scm  It
encodes all TeXmacs symbols as FriCAS identifiers by introducing
escapes in FriCAS symbol names in such a way
--- /home/wspage/texmacs/src/plugins/fricas/progs/fricas-input.scm	2014-03-23 00:07:51.178848727 -0400
+++ /usr/share/TeXmacs/plugins/fricas/progs/fricas-input.scm	2014-03-24 11:23:35.470109326 -0400
@@ -89,6 +89,18 @@
 ;; Initialization
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 
+(define (fricas-send-identifier arg)
+;;  (display "_<") (display (substring arg 1 (- (string-length arg) 1))) (display "_>")
+  (display "_<")
+  (cond ((== (substring arg 0 3) "<b-") (begin (display "b_-") (display (substring arg 3 (- (string-length arg) 1))) ))
+        ((== (substring arg 0 5) "<cal-") (begin (display "cal_-") (display (substring arg 5 (- (string-length arg) 1))) ))
+        ((== (substring arg 0 6) "<frak-") (begin (display "frak_-") (display (substring arg 6 (- (string-length arg) 1))) ))
+        ((== (substring arg 0 5) "<bbb-") (begin (display "bbb_-") (display (substring arg 5 (- (string-length arg) 1))) ))
+        (else (display (substring arg 1 (- (string-length arg) 1))) )
+  )
+  (display "_>")
+)
+
 (plugin-input-converters fricas
   (rows fricas-input-rows)
   (det fricas-input-det)
@@ -100,4 +112,287 @@
   ("<mathe>"      "%e")
   ("<pi>"         "%pi")
   ("<ldots>"      " .. ")
-  ("<cdots>"      " .. "))
+  ("<cdots>"      " .. ")
+
+  ("<mapsto>"     " +-> ")
+  ("<hbar>"       fricas-send-identifier)
+  ("<alpha>"      fricas-send-identifier)
+  ("<beta>"       fricas-send-identifier)
+  ("<gamma>"      fricas-send-identifier)
+  ("<delta>"      fricas-send-identifier)
+  ("<epsilon>"    fricas-send-identifier)
+  ("<varepsilon>" fricas-send-identifier)
+  ("<zeta>"       fricas-send-identifier)
+  ("<eta>"        fricas-send-identifier)
+  ("<theta>"      fricas-send-identifier)
+  ("<vartheta>"   fricas-send-identifier)
+  ("<iota>"       fricas-send-identifier)
+  ("<kappa>"      fricas-send-identifier)
+  ("<lambda>"     fricas-send-identifier)
+  ("<mu>"         fricas-send-identifier)
+  ("<nu>"         fricas-send-identifier)
+  ("<xi>"         fricas-send-identifier)
+  ("<omicron>"    fricas-send-identifier)
+  ("<pi>"         fricas-send-identifier)
+  ("<varpi>"      fricas-send-identifier)
+  ("<rho>"        fricas-send-identifier)
+  ("<varrho>"     fricas-send-identifier)
+  ("<sigma>"      fricas-send-identifier)
+  ("<varsigma>"   fricas-send-identifier)
+  ("<tau>"        fricas-send-identifier)
+  ("<upsilon>"    fricas-send-identifier)
+  ("<phi>"        fricas-send-identifier)
+  ("<varphi>"     fricas-send-identifier)
+  ("<chi>"        fricas-send-identifier)
+  ("<psi>"        fricas-send-identifier)
+  ("<omega>"      fricas-send-identifier)
+  ("<Gamma>"      fricas-send-identifier)
+  ("<Delta>"      fricas-send-identifier)
+  ("<Theta>"      fricas-send-identifier)
+  ("<Lambda>"     fricas-send-identifier)
+  ("<Xi>"         fricas-send-identifier)
+  ("<Pi>"         fricas-send-identifier)
+  ("<Sigma>"      fricas-send-identifier)
+  ("<Upsilon>"    fricas-send-identifier)
+  ("<Phi>"        fricas-send-identifier)
+  ("<Psi>"        fricas-send-identifier)
+  ("<Omega>"      fricas-send-identifier)
+  ("<b-0>" fricas-send-identifier)
+  ("<b-1>" fricas-send-identifier)
+  ("<b-2>" fricas-send-identifier)
+  ("<b-3>" fricas-send-identifier)
+  ("<b-4>" fricas-send-identifier)
+  ("<b-5>" fricas-send-identifier)
+  ("<b-6>" fricas-send-identifier)
+  ("<b-7>" fricas-send-identifier)
+  ("<b-8>" fricas-send-identifier)
+  ("<b-9>" fricas-send-identifier)
+  
+  ("<b-a>" fricas-send-identifier)
+  ("<b-b>" fricas-send-identifier)
+  ("<b-c>" fricas-send-identifier)
+  ("<b-d>" fricas-send-identifier)
+  ("<b-e>" fricas-send-identifier)
+  ("<b-f>" fricas-send-identifier)
+  ("<b-g>" fricas-send-identifier)
+  ("<b-h>" fricas-send-identifier)
+  ("<b-i>" fricas-send-identifier)
+  ("<b-j>" fricas-send-identifier)
+  ("<b-k>" fricas-send-identifier)
+  ("<b-l>" fricas-send-identifier)
+  ("<b-m>" fricas-send-identifier)
+  ("<b-n>" fricas-send-identifier)
+  ("<b-o>" fricas-send-identifier)
+  ("<b-p>" fricas-send-identifier)
+  ("<b-q>" fricas-send-identifier)
+  ("<b-r>" fricas-send-identifier)
+  ("<b-s>" fricas-send-identifier)
+  ("<b-t>" fricas-send-identifier)
+  ("<b-u>" fricas-send-identifier)
+  ("<b-v>" fricas-send-identifier)
+  ("<b-w>" fricas-send-identifier)
+  ("<b-x>" fricas-send-identifier)
+  ("<b-y>" fricas-send-identifier)
+  ("<b-z>" fricas-send-identifier)
+  ("<b-A>" fricas-send-identifier)
+  ("<b-B>" fricas-send-identifier)
+  ("<b-C>" fricas-send-identifier)
+  ("<b-D>" fricas-send-identifier)
+  ("<b-E>" fricas-send-identifier)
+  ("<b-F>" fricas-send-identifier)
+  ("<b-G>" fricas-send-identifier)
+  ("<b-H>" fricas-send-identifier)
+  ("<b-I>" fricas-send-identifier)
+  ("<b-J>" fricas-send-identifier)
+  ("<b-K>" fricas-send-identifier)
+  ("<b-L>" fricas-send-identifier)
+  ("<b-M>" fricas-send-identifier)
+  ("<b-N>" fricas-send-identifier)
+  ("<b-O>" fricas-send-identifier)
+  ("<b-P>" fricas-send-identifier)
+  ("<b-Q>" fricas-send-identifier)
+  ("<b-R>" fricas-send-identifier)
+  ("<b-S>" fricas-send-identifier)
+  ("<b-T>" fricas-send-identifier)
+  ("<b-U>" fricas-send-identifier)
+  ("<b-V>" fricas-send-identifier)
+  ("<b-W>" fricas-send-identifier)
+  ("<b-X>" fricas-send-identifier)
+  ("<b-Y>" fricas-send-identifier)
+  ("<b-Z>" fricas-send-identifier)
+  
+  ("<b-alpha>"      fricas-send-identifier)
+  ("<b-beta>"       fricas-send-identifier)
+  ("<b-gamma>"      fricas-send-identifier)
+  ("<b-delta>"      fricas-send-identifier)
+  ("<b-epsilon>"    fricas-send-identifier)
+  ("<b-varepsilon>" fricas-send-identifier)
+  ("<b-zeta>"       fricas-send-identifier)
+  ("<b-eta>"        fricas-send-identifier)
+  ("<b-theta>"      fricas-send-identifier)
+  ("<b-vartheta>"   fricas-send-identifier)
+  ("<b-iota>"       fricas-send-identifier)
+  ("<b-kappa>"      fricas-send-identifier)
+  ("<b-lambda>"     fricas-send-identifier)
+  ("<b-mu>"         fricas-send-identifier)
+  ("<b-nu>"         fricas-send-identifier)
+  ("<b-xi>"         fricas-send-identifier)
+  ("<b-omicron>"    fricas-send-identifier)
+  ("<b-pi>"         fricas-send-identifier)
+  ("<b-varpi>"      fricas-send-identifier)
+  ("<b-rho>"        fricas-send-identifier)
+  ("<b-varrho>"     fricas-send-identifier)
+  ("<b-sigma>"      fricas-send-identifier)
+  ("<b-varsigma>"   fricas-send-identifier)
+  ("<b-tau>"        fricas-send-identifier)
+  ("<b-upsilon>"    fricas-send-identifier)
+  ("<b-phi>"        fricas-send-identifier)
+  ("<b-varphi>"     fricas-send-identifier)
+  ("<b-chi>"        fricas-send-identifier)
+  ("<b-psi>"        fricas-send-identifier)
+  ("<b-omega>"      fricas-send-identifier)
+  ("<b-Gamma>"      fricas-send-identifier)
+  ("<b-Delta>"      fricas-send-identifier)
+  ("<b-Theta>"      fricas-send-identifier)
+  ("<b-Lambda>"     fricas-send-identifier)
+  ("<b-Xi>"         fricas-send-identifier)
+  ("<b-Pi>"         fricas-send-identifier)
+  ("<b-Sigma>"      fricas-send-identifier)
+  ("<b-Upsilon>"    fricas-send-identifier)
+  ("<b-Phi>"        fricas-send-identifier)
+  ("<b-Psi>"        fricas-send-identifier)
+  ("<b-Omega>"      fricas-send-identifier)
+
+  ("<cal-A>" fricas-send-identifier)
+  ("<cal-B>" fricas-send-identifier)
+  ("<cal-C>" fricas-send-identifier)
+  ("<cal-D>" fricas-send-identifier)
+  ("<cal-E>" fricas-send-identifier)
+  ("<cal-F>" fricas-send-identifier)
+  ("<cal-G>" fricas-send-identifier)
+  ("<cal-H>" fricas-send-identifier)
+  ("<cal-I>" fricas-send-identifier)
+  ("<cal-J>" fricas-send-identifier)
+  ("<cal-K>" fricas-send-identifier)
+  ("<cal-L>" fricas-send-identifier)
+  ("<cal-M>" fricas-send-identifier)
+  ("<cal-N>" fricas-send-identifier)
+  ("<cal-O>" fricas-send-identifier)
+  ("<cal-P>" fricas-send-identifier)
+  ("<cal-Q>" fricas-send-identifier)
+  ("<cal-R>" fricas-send-identifier)
+  ("<cal-S>" fricas-send-identifier)
+  ("<cal-T>" fricas-send-identifier)
+  ("<cal-U>" fricas-send-identifier)
+  ("<cal-V>" fricas-send-identifier)
+  ("<cal-W>" fricas-send-identifier)
+  ("<cal-X>" fricas-send-identifier)
+  ("<cal-Y>" fricas-send-identifier)
+  ("<cal-Z>" fricas-send-identifier)
+
+  ("<frak-a>" fricas-send-identifier)
+  ("<frak-b>" fricas-send-identifier)
+  ("<frak-c>" fricas-send-identifier)
+  ("<frak-d>" fricas-send-identifier)
+  ("<frak-e>" fricas-send-identifier)
+  ("<frak-f>" fricas-send-identifier)
+  ("<frak-g>" fricas-send-identifier)
+  ("<frak-h>" fricas-send-identifier)
+  ("<frak-i>" fricas-send-identifier)
+  ("<frak-j>" fricas-send-identifier)
+  ("<frak-k>" fricas-send-identifier)
+  ("<frak-l>" fricas-send-identifier)
+  ("<frak-m>" fricas-send-identifier)
+  ("<frak-n>" fricas-send-identifier)
+  ("<frak-o>" fricas-send-identifier)
+  ("<frak-p>" fricas-send-identifier)
+  ("<frak-q>" fricas-send-identifier)
+  ("<frak-r>" fricas-send-identifier)
+  ("<frak-s>" fricas-send-identifier)
+  ("<frak-t>" fricas-send-identifier)
+  ("<frak-u>" fricas-send-identifier)
+  ("<frak-v>" fricas-send-identifier)
+  ("<frak-w>" fricas-send-identifier)
+  ("<frak-x>" fricas-send-identifier)
+  ("<frak-y>" fricas-send-identifier)
+  ("<frak-z>" fricas-send-identifier)
+  ("<frak-A>" fricas-send-identifier)
+  ("<frak-B>" fricas-send-identifier)
+  ("<frak-C>" fricas-send-identifier)
+  ("<frak-D>" fricas-send-identifier)
+  ("<frak-E>" fricas-send-identifier)
+  ("<frak-F>" fricas-send-identifier)
+  ("<frak-G>" fricas-send-identifier)
+  ("<frak-H>" fricas-send-identifier)
+  ("<frak-I>" fricas-send-identifier)
+  ("<frak-J>" fricas-send-identifier)
+  ("<frak-K>" fricas-send-identifier)
+  ("<frak-L>" fricas-send-identifier)
+  ("<frak-M>" fricas-send-identifier)
+  ("<frak-N>" fricas-send-identifier)
+  ("<frak-O>" fricas-send-identifier)
+  ("<frak-P>" fricas-send-identifier)
+  ("<frak-Q>" fricas-send-identifier)
+  ("<frak-R>" fricas-send-identifier)
+  ("<frak-S>" fricas-send-identifier)
+  ("<frak-T>" fricas-send-identifier)
+  ("<frak-U>" fricas-send-identifier)
+  ("<frak-V>" fricas-send-identifier)
+  ("<frak-W>" fricas-send-identifier)
+  ("<frak-X>" fricas-send-identifier)
+  ("<frak-Y>" fricas-send-identifier)
+  ("<frak-Z>" fricas-send-identifier)
+
+  ("<bbb-a>" fricas-send-identifier)
+  ("<bbb-b>" fricas-send-identifier)
+  ("<bbb-c>" fricas-send-identifier)
+  ("<bbb-d>" fricas-send-identifier)
+  ("<bbb-e>" fricas-send-identifier)
+  ("<bbb-f>" fricas-send-identifier)
+  ("<bbb-g>" fricas-send-identifier)
+  ("<bbb-h>" fricas-send-identifier)
+  ("<bbb-i>" fricas-send-identifier)
+  ("<bbb-j>" fricas-send-identifier)
+  ("<bbb-k>" fricas-send-identifier)
+  ("<bbb-l>" fricas-send-identifier)
+  ("<bbb-m>" fricas-send-identifier)
+  ("<bbb-n>" fricas-send-identifier)
+  ("<bbb-o>" fricas-send-identifier)
+  ("<bbb-p>" fricas-send-identifier)
+  ("<bbb-q>" fricas-send-identifier)
+  ("<bbb-r>" fricas-send-identifier)
+  ("<bbb-s>" fricas-send-identifier)
+  ("<bbb-t>" fricas-send-identifier)
+  ("<bbb-u>" fricas-send-identifier)
+  ("<bbb-v>" fricas-send-identifier)
+  ("<bbb-w>" fricas-send-identifier)
+  ("<bbb-x>" fricas-send-identifier)
+  ("<bbb-y>" fricas-send-identifier)
+  ("<bbb-z>" fricas-send-identifier)
+  ("<bbb-A>" fricas-send-identifier)
+  ("<bbb-B>" fricas-send-identifier)
+  ("<bbb-C>" fricas-send-identifier)
+  ("<bbb-D>" fricas-send-identifier)
+  ("<bbb-E>" fricas-send-identifier)
+  ("<bbb-F>" fricas-send-identifier)
+  ("<bbb-G>" fricas-send-identifier)
+  ("<bbb-H>" fricas-send-identifier)
+  ("<bbb-I>" fricas-send-identifier)
+  ("<bbb-J>" fricas-send-identifier)
+  ("<bbb-K>" fricas-send-identifier)
+  ("<bbb-L>" fricas-send-identifier)
+  ("<bbb-M>" fricas-send-identifier)
+  ("<bbb-N>" fricas-send-identifier)
+  ("<bbb-O>" fricas-send-identifier)
+  ("<bbb-P>" fricas-send-identifier)
+  ("<bbb-Q>" fricas-send-identifier)
+  ("<bbb-R>" fricas-send-identifier)
+  ("<bbb-S>" fricas-send-identifier)
+  ("<bbb-T>" fricas-send-identifier)
+  ("<bbb-U>" fricas-send-identifier)
+  ("<bbb-V>" fricas-send-identifier)
+  ("<bbb-W>" fricas-send-identifier)
+  ("<bbb-X>" fricas-send-identifier)
+  ("<bbb-Y>" fricas-send-identifier)
+  ("<bbb-Z>" fricas-send-identifier)
+)