On 03/16/2014 04:09 AM, jiazhaoconga wrote:
And http://axiom-wiki.newsynthesis.org/SymbolicDifferentiation implements
a small enough subset of Category and Domain from scratch to do symbolic
differentiation, you can try to implement it in Julia to prove the
translation idea is possible (at
Hi Francesco,
Maybe you try a much simpler example from
http://axiom-wiki.newsynthesis.org/ProgrammingSPAD
How would you program MyFun in Julia?
And as you see in ZZFun, SPAD allows conditional exports. Does Julia
have similar features.
Oh, and that's not all that you would have to translate.
Hi there!
I have been looking at the FriCAS and OpenAxiom code recently, to determine
whether it is possible to translate the code into Julia programming
language.
Julia is a new open source programming language for scientific purposes. It
has many objectives, like being simple to learn as
Francesco,
Julia seems remarkably like SPAD and Aldor, particularly in its type system
http://docs.julialang.org/en/latest/manual/types/
but I seriously doubt that fully automatic translation of the FriCAS
library would be possible since FriCAS frequently resorts to direct
calls to the
I have read the long thread that you post earlier this month in julia-dev:
Symbolic Math: try a translation of Axiom to Julia?
https://groups.google.com/forum/#!topic/julia-dev/NTfS9fJuIcE
Some words about the comparison of CAS mentioned in the thread above:
panAxiom systems have great
On 15 March 2014 23:09, jiazhaoconga jiazhaoco...@gmail.com wrote:
https://groups.google.com/forum/#!topic/julia-dev/NTfS9fJuIcE
Thanks for the link. I found it almost kind of funny to read it. We
definitely need to talk more ... :)
--
You received this message because you are subscribed to
Francesco Bonazzi wrote:
I think that creating a SPAD-to-Julia compiler is a hard task, but
nonetheless I believe that adding CAS support to Julia would benefit both
Julia and the CAS itself. I believe that Julia offers a much easier
learning curve for beginners than SPAD, and the CAS