diffalg - benchmarks between versions






An efficiency comparaison between diffalg (96), diffalg (98) and diffalg (99) .

F. Boulier developped diffalg in 1996 for the main library of Maple V.5. It implements the algorithm presented in [BLOP97]. Development was then taken over by E. Hubert. The package evolved in diffalg (98) that is available in Maple V.5.1. The new features of diffalg (98) included help pages addressed to a wider audience, additional functionalities described in [H99] and a new profile of efficiency in time and space. The version in the main library of Maple6 is diffalg (99) . It implemented the results of [H00]. Diffalg (00) presents a thourough revision of the help pages. It is in the main library of Maple7,8,...

The test suite used here consists mainly of problems that were submitted to me by people outside of differential algebra. Some became fanatic users of diffalg! These problems were a main motivation to improve the package. Get introduced to the problems asked: [mws].
Problem diffalg (96) diffalg (98) diffalg (99)
S0 3.1 3.5 2.3
S1 2.5 3.2 1.7
S2 427.3 5.9 5.5
S3 19846.4 11.8 8.8
S4 - * 174.9 115.9
S5 - 823.5 308.6
S6 - - -

The timings of the table are all measured on the same DEC ALPHA 3000/800s at University of Waterloo in 1999.

Timings using diffalg (99) on a PC Dual Intel are
S0: 0.399, S1: 0.280, S2: 1.150, S3: 1.67, S4: 22.079, S5: 98.419, S6: -

- results in System error, ran out of memory (> 62 megabytes).
* only part of the result is obtained by disabling the splittings in the algorithm.



E. Hubert