| 1 | These are the tests from the Lewis/Wester test suite for polynomial |
|---|
| 2 | systems. Some details of Singular's performance: |
|---|
| 3 | |
|---|
| 4 | A: divide factorials ok |
|---|
| 5 | B: sum 1/i ok |
|---|
| 6 | C: gcd (big integers) ok |
|---|
| 7 | D: sum rational functions ok |
|---|
| 8 | E: sum rational functions ok |
|---|
| 9 | F: gcd(2 var polys) ok |
|---|
| 10 | G: gcd(3 var polys) ok |
|---|
| 11 | G_p: G mod 181 ok |
|---|
| 12 | H: det (Hilbert(80)) with bareiss ok |
|---|
| 13 | I: invert(Hilbert(40)) with inverse ok |
|---|
| 14 | J: check I ok |
|---|
| 15 | K: invert(Hilbert(70)) with inverse ok |
|---|
| 16 | L: check K ok |
|---|
| 17 | M1: det(sparse, rank 26, 5 var) ok |
|---|
| 18 | M2: det(sparse, rank 101, 5 var) ok |
|---|
| 19 | N: subst algebraic numbers no chance |
|---|
| 20 | O1: 3 dets (sparse, rank 15, 22 var) ok |
|---|
| 21 | O2: gcd of dets no chance -- memory/time |
|---|
| 22 | P: det(sparse, rank 101, rationals) ok |
|---|
| 23 | P': det(less sparse, rank 101, rationals) ok |
|---|
| 24 | Q: det(sparse, rank 101, 1-var) ok |
|---|
| 25 | Q': det(less sparse, rank 101, 1-var) ok |
|---|
| 26 | Pp: P mod 181 ok |
|---|
| 27 | P'p: P' mod 181 ok |
|---|
| 28 | Qp: Q mod 181 ok |
|---|
| 29 | Q'p: Q' mod 181 ok |
|---|
| 30 | S: Hermite form N/A |
|---|
| 31 | T: Hermite form N/A |
|---|
| 32 | U: Smith form N/A |
|---|
| 33 | V: Smith form N/A |
|---|
| 34 | W1: Smith form N/A |
|---|
| 35 | W2: Smith form N/A |
|---|
| 36 | X: gcd(Galousfield, minpoly) very long |
|---|
| 37 | Y: det(Galousfield, minpoly) ok |
|---|
| 38 | |
|---|
| 39 | For the original stuff tey used ot benchmark singular, see 'singall'. |
|---|
| 40 | For mupad and maple sources, see 'mupadall', 'mapleall'. |
|---|
| 41 | For more details, see also www.fordham.edu/lewis/cacomp.html |
|---|
