Re: [Axiom-developer] Re: FeynCalc

[Bob McElrath]

C Y address@hidden wrote:
> Having Axiom and Maxima versions of Feyncalc would be 
> really excellent - each system could serve as a check
> on the accuracy of the other.  Keeping both current would
> be a bit of work though.

I would be very, very interested in such a thing, however, maintaining
three separate codebases would really really suck.

The Mathematica language is the largest I have ever seen.  It attempts
to be all things, list-based, object-based, functional, patterns,
interpreted, compiled, and of course has an extremely large library.
Automatic translation from Mathematica may be near impossible.  Frankly
I think the size of the language makes it poorly suited to almost all
tasks, and I hope Axiom and Maxima do not attempt to emulate it.

Rather, it may be easier to develop a MMA export mode for Axiom/Maxima
for the purpose of comparing solutions.  An export mode doesn't need to
understand the entire MMA language.  I would like to see a large,
cross-system test suite which could be used to validate and improve all
systems.  Perhaps this:
    http://www.math.unm.edu/~wester/cas_review.html
would be a good starting point.

In any case, I am extremely interested in this and would like to help.
I have a pile of Maple code for my use, dealing with supersymmetric
lagrangians, feynman rules, etc, and I intend to re-implement it in
Axiom or Maxima, and doing so as part of a larger package would be
ideal.

Cheers,
Bob McElrath [Univ. of California at Davis, Department of Physics]
    
    "A great many people think they are thinking when they are merely
    rearranging their prejudices." -- William James

signature.asc
Description: Digital signature