[Top][All Lists]

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

Re: [Maxima] Re: [Axiom-developer] Re: FeynCalc -> MAXIMA

From: Bob McElrath
Subject: Re: [Maxima] Re: [Axiom-developer] Re: FeynCalc -> MAXIMA
Date: Wed, 19 May 2004 14:02:38 -0700
User-agent: Mutt/

Stavros Macrakis address@hidden wrote:
> > We need to keep the theory and the code together and have 
> > each one explain the other. How else can you show that the 
> > code does what it is intended to do?
> That is a very hard problem in general.

Test cases.

While this does not *prove* the correctness of the code in a
mathematical sense, it does in a monte-carlo sense.  I note that both
maxima and axiom have test suites.

I do not think new mathematical code or subsystems should be accepted
unless they are accompanied by a thorough test suite.

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]