Bill Page wrote:
>
> Here is a patch to the FriCAS plugin that I just submitted to TeXmacs.
> I have also attached a patch to the texmacs output formatter for
> FriCAS to render the TeXmacs symbol <mapsto> for the FriCAS +-> arrow.
It is an interesting hack. However, AFAICS the patch depends on
FriCAS doing no escaping in the output. Consider the following
s := id::String
#s
s(2)
"< some literal string from input file"
id([1, 2]) -- make scripted symbol
where 'id' is some special Texmacs symbol. Good input translation
make sure that things stay consistent, that is convertion
to string produces string containing given symbol, etc.
Producing for example TeX or MathML form inside Texmacs
session should give sensible results. Users expect
input file to work, and strings containing special Texmacs
characters should be properly escaped to produce equvalent
output in Texmacs and outside.
> One problem that I am having right now is the display of SPAD compiler
> output from the ')compile' command in TeXmacs. It seems like we may
> not have the appropriate iohooks in place to demarc the output in such
> a way that TeXmacs can synchronize and format it properly.
IIRC there are no iohooks specific to compiler.
--
Waldek Hebisch
[email protected]
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
