Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: CAS integration tests applied to different versions of same software
Replies: 20   Last Post: Nov 18, 2017 6:30 PM

 Messages: [ Previous | Next ]
 clicliclic@freenet.de Posts: 1,245 Registered: 4/26/08
Re: CAS integration tests applied to different versions of samesoftware
Posted: Oct 17, 2017 12:25 PM

"Nasser M. Abbasi" schrieb:
>
> Lets say there are 14,000 integrals which are passed.
>
> Then for each one of these integrals, I divide its leaf size by the
> leaf size of the optimal result for it. The reasume is new
> list of 14,000 numbers (each is ratio).
>
> Then find the mean of this long list of numbers using the Mean
> command.
>
> So I am doing the second method you mentioned above. Is this the
> right way? I am not a statistic person and only managed to get
> B in my probability and statics course with lots of struggle.
>
> The code is this one line:
>
> meanNormalized = Mean[ allPassed[[All,3]] / allPassed[[All,4]] ];
>
> The 3rd field is the leaf size of the result from CAS, and the 4th
> field is the leaf size of the optimal from your input file.
>
> allPassed is the array which contains all the integrals which passed
> from all the 200 test files.
>
> I can change it if it not the correct way.
>

I think this is the correct way, but the column heading in your table
should then read "mean normalized leaf size" and not "normalized mean
leaf size" as quoted in your preceding post.

Compare my message of 11th June 2015 in the thread "fyi, rebuild CAS
integration tests, Rubi 4.8, Maple 2015, Mathematica 10.1".

How about computing the "median normalized leaf size" too for
comparison?

Martin.

PS: By the way, that thread "fyi, rebuild CAS integration tests, Rubi
4.8, Maple 2015, Mathematica 10.1" of summer 2015 is a real gem towards
the end.

Date Subject Author
10/13/17 Nasser Abbasi
10/14/17 clicliclic@freenet.de
10/14/17 Nasser Abbasi
10/14/17 Nasser Abbasi
10/15/17 Nasser Abbasi
10/16/17 Albert D. Rich
10/16/17 Nasser Abbasi
10/16/17 Albert D. Rich
10/16/17 Nasser Abbasi
10/17/17 clicliclic@freenet.de
10/17/17 Albert D. Rich
10/24/17 Nasser Abbasi
10/25/17 Nasser Abbasi
10/26/17 acer
10/26/17 Nasser Abbasi
10/26/17 Richard Fateman
10/27/17 Albert D. Rich
10/27/17 Nasser Abbasi
10/27/17 Albert D. Rich
10/27/17 Nasser Abbasi
11/18/17 Peter Luschny