On Tue, 18 Mar 2014, Bill Page wrote:
Yes, TeXmacs can embed FriCAS commands and display FriCAS output. But
unless I am mistaken still FriCAS generates LaTeX in the usual way and
that is interpreted by TeXmacs. This is the same way that TeXmacs
works with Maxima. TeXmacs however does have a native intermediate
display form consisting of s-expressions very similar to what FriCAS
uses internally. As we discussed many many years ago, it would in
principle be very nice if FriCAS could generate TeXmacs intermediate
form directly instead of using LaTeX. In particular this would
probably solve the problem of displaying very long lines of FriCAS
output in TeXmacs. Currently at least one version of the TeXmacs
plugin for FriCAS uses the old line folding code written by Dick Jenks
for use in the original Axiom book. This is also used on the
AxiomWiki. Unfortunately it does not always do such a good job and
may TeXmacs would do a better job if it was handed s-expression output
from FriCAS instead of LaTeX.
This is wrong. FriCAS generates the native TeXmacs format, not LaTeX.
Yes it would be particularly nice if one could use typeset input into
FriCAS. As you say this might involve some clever translations but I
think it could be well worth the effort.
Using 2D input works right now.
At the moment, TeXmacs is the best free GUI to mathematical programs.
Of course that is debatable. I find the "notebook" style browser
based interface developed for Sage (and now incorporated in IPython
and various other I.... flavors) to be rather compelling. In this
case quite high quality typeset mathematics is provided by MathJax.
I somehow dislike the idea that everything should run in a browser.
I like this idea. It reminds me to comment that most (all?) CAS
interfaces assume only a very primitive sort of "sequential"
asynchronous relationship between the document being generated and the
CAS kernel state. For example, editing a variable definition
occurring earlier in the document has not effect on the CAS output
occurring later in the document. After the edit, the document is out
of sync with the CAS engine. This is usually solve in a brute force
way by resetting the kernal and forcing re-execution of all embeded
CAS commands in the document. A much better way would be for such
variable definitions and other operations that affect the state of the
CAS kernel to be linked in a kind of dependency graph so that the
state of the document could be synced with the kernel using only a
minimum number of CAS operations. In some ways this would be like a
spread-sheet interface. Everything including graphics could be
dynamically updated.
mathemagix (with TeXmacs) has not only dynamic plots but also dynamic
formulas. They remember on what they depend. When you assign a new value
to a parameter, dynamic formulas are updated automatically. You just
propose to make *all* formulas dynamic. I think this is an overkill, there
should be a choice. Suppose I want
x:=1
<some calculation for x=1>
x:=2
<some calculation for x=2>
I don't want the whole calculation for x=1 to disappear immediately after
I execute x:=2.
By the way, mathemagix is quite similar to Axiom in its main ideas -
domains, etc.
There have been some attempts to replace HyperDoc with a web-browser
based interface. This has had only limited success in the original
Axiom project although admittedly only a limited amount of effort has
been devoted to this sort of thing. In most ways it seems like a
browser interface for hyperdoc is more more natural than using a
document creating system like TeXmacs.
Maybe. I like browsers not very much.
Andrey
--
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.
