[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-developer] Re: FeynCalc

From: Bob McElrath
Subject: Re: [Axiom-developer] Re: FeynCalc
Date: Wed, 12 May 2004 12:10:18 -0700
User-agent: Mutt/

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:
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

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

Attachment: signature.asc
Description: Digital signature

reply via email to

[Prev in Thread] Current Thread [Next in Thread]