**Next message:**C Y: "Re: [Axiom-developer] FeynCalc -> MAXIMA"**Previous message:**Tim Daly: "fyi... Planarity algorithm"**In reply to:**Stavros Macrakis: "RE: [Maxima] Re: [Axiom-developer] Re: FeynCalc -> MAXIMA"**Next in thread:**C Y: "Re: [Maxima] Re: [Axiom-developer] Re: FeynCalc -> MAXIMA"**Reply:**C Y: "Re: [Maxima] Re: [Axiom-developer] Re: FeynCalc -> MAXIMA"**Reply:**root: "Re: [Maxima] Re: [Axiom-developer] Re: FeynCalc -> MAXIMA"**Messages sorted by:**[ date ] [ thread ] [ subject ] [ author ]**Mail actions:**[ respond to this message ] [ mail a new topic ]

Stavros Macrakis [stavros.macrakis@verizon.net] 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

- application/pgp-signature attachment: Digital signature

**Next message:**C Y: "Re: [Axiom-developer] FeynCalc -> MAXIMA"**Previous message:**Tim Daly: "fyi... Planarity algorithm"**In reply to:**Stavros Macrakis: "RE: [Maxima] Re: [Axiom-developer] Re: FeynCalc -> MAXIMA"**Next in thread:**C Y: "Re: [Maxima] Re: [Axiom-developer] Re: FeynCalc -> MAXIMA"**Reply:**C Y: "Re: [Maxima] Re: [Axiom-developer] Re: FeynCalc -> MAXIMA"**Reply:**root: "Re: [Maxima] Re: [Axiom-developer] Re: FeynCalc -> MAXIMA"**Messages sorted by:**[ date ] [ thread ] [ subject ] [ author ]**Mail actions:**[ respond to this message ] [ mail a new topic ]

*
This archive was generated by hypermail 2b29
: 01/19/19-04:20:00 PM Z CET
*