[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/1.5.5.1+cvs20040105i |
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.
--
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
- [Axiom-developer] Re: FeynCalc -> MAXIMA, Camm Maguire, 2004/05/18
- Re: [Axiom-developer] Re: FeynCalc -> MAXIMA, root, 2004/05/18
- Re: [Axiom-developer] Re: FeynCalc -> MAXIMA, Bertfried Fauser, 2004/05/19
- Re: [Axiom-developer] Re: FeynCalc -> MAXIMA, root, 2004/05/19
- RE: [Maxima] Re: [Axiom-developer] Re: FeynCalc -> MAXIMA, Stavros Macrakis, 2004/05/19
- Re: [Maxima] Re: [Axiom-developer] Re: FeynCalc -> MAXIMA, Richard Fateman, 2004/05/19
- RE: [Maxima] Re: [Axiom-developer] Re: FeynCalc -> MAXIMA, Bertfried Fauser, 2004/05/19
- On formal correctness and readability (was: Re: [Maxima] Re: [Axiom-developer] Re: FeynCalc -> MAXIMA), David MENTRE, 2004/05/20
- Re: [Maxima] Re: [Axiom-developer] Re: FeynCalc -> MAXIMA,
Bob McElrath <=
- Re: [Maxima] Re: [Axiom-developer] Re: FeynCalc -> MAXIMA, C Y, 2004/05/19
- Re: [Maxima] Re: [Axiom-developer] Re: FeynCalc -> MAXIMA, root, 2004/05/19
- Re: [Maxima] Re: [Axiom-developer] Re: FeynCalc -> MAXIMA, Camm Maguire, 2004/05/23
- Re: [Axiom-developer] Re: FeynCalc -> MAXIMA, Bob McElrath, 2004/05/19
- Re: [Axiom-developer] Re: FeynCalc -> MAXIMA, Bertfried Fauser, 2004/05/19
- Re: [Axiom-developer] Re: FeynCalc -> MAXIMA, Bob McElrath, 2004/05/19
- Re: [Axiom-developer] Re: FeynCalc -> MAXIMA, Camm Maguire, 2004/05/23
- Re: [Axiom-developer] Re: FeynCalc -> MAXIMA, C Y, 2004/05/19
- Re: [Axiom-developer] Re: FeynCalc -> MAXIMA, Camm Maguire, 2004/05/23
- Re: [Axiom-developer] Re: FeynCalc -> MAXIMA, Bob McElrath, 2004/05/23