-
Grégoire Lecerf
Joris van der Hoeven
Joris van der Hoeven
mailing-list for TeXmacs Users
Text archives Help
From : Bill Page <address@hidden>- To: address@hidden, Texmacs-Dev <address@hidden>
- Subject: [TeXmacs] Adding TeXmacs symbols to FriCAS math-mode input
- Date: Mon, 24 Mar 2014 11:40:06 -0400
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)
+)
- [TeXmacs] Adding TeXmacs symbols to FriCAS math-mode input, Bill Page, 03/24/2014
Archive powered by MHonArc 2.6.19.
