Hi, you can use regular expression to filter the result, for example
cat fricas-export.txt | sed -n -e 's/^([0-9]*) -> //p'
This way, you don't need to "Clear All fields", just export as verbatim.
But clearly the right thing to do is add the export functionality to
the texmacs/fricas plugin.
Qian
On 11/7/18 6:23 PM, Slawomir Kolodynski wrote:
Is there a way to export a TeXmacs file to the FriCAS .input file that
can be read by the )read command?
What I do now is in TeXmacs I do RightClick --> Session --> Clear All
fields, then File->Export/Verbatim, then manually edit the resulting
file to remove the FriiCAS session header at start and the )->
characters from every line. This gets tedious as it has to be repeated
with every modification. is there a better way?
Thanks
Slawomir
--
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]
<mailto:[email protected]>.
To post to this group, send email to [email protected]
<mailto:[email protected]>.
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
--
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 https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
