|
|
last edited 2 years ago by Bill Page |
1 2 3 4 5 | ||
Editor: Bill Page
Time: 2022/10/09 20:06:03 GMT+0 |
||
Note: |
changed: -<a href="http://axiom-wiki.newsynthesis.org/uploads/input2mathaction">input2mathaction</a> - - -<a href="http://axiom-wiki.newsynthesis.org/uploads/mathaction2input">mathaction2input</a> - <a href="http://fricas-wiki.math.uni.wroc.pl/uploads/input2mathaction">input2mathaction</a> <a href="http://fricas-wiki.math.uni.wroc.pl/uploads/mathaction2input">mathaction2input</a>
Download: pdf dvi ps src tex log |
I have attached two perl scripts that I wrote to make instantaneous transitions to/from MathAction? and Axiom input files. I attached the example file quatsandbox which was copy/pasted from your sandbox and used in the demo executed below:
~/axiom/perl$ ./mathaction2input quatsandbox quat.input ~/axiom/perl$ ./input2mathaction quat.input quat.math ~/axiom/perl$ diff quatsandbox quat.math ~/axiom/perl$
As usual, you may have the edit the first line of the scripts to point to your system's perl binary. Or you can instead invoke with:
perl mathaction2input quatsandbox quat.input
These are relatively simple and do just what is needed for the translation. I admit that with another hour or two of "optimization" I could make them have half as many lines of code and half as readable, in the classic perl style, but I don't see the point.
Please feel free to attach to the MathAction? site where appropriate and otherwise distribute.