1 -------commutative expansion and substitution:
3 -------Laurent series expansion of Gamma function:
5 -------determinant of univariate symbolic Vandermonde matrices:
7 -------determinant of polyvariate symbolic Toeplitz matrices:
9 -------Lewis-Wester test A (divide factorials)
11 -------Lewis-Wester test B (sum of rational numbers)
13 -------Lewis-Wester test C (gcd of big integers)
15 -------Lewis-Wester test D (normalized sum of rational fcns)
17 -------Lewis-Wester test E (normalized sum of rational fcns)
19 -------Lewis-Wester test F (gcd of 2-var polys)
21 -------Lewis-Wester test G (gcd of 3-var polys)
23 -------Lewis-Wester test H (det of 80x80 Hilbert)
25 -------Lewis-Wester test I (invert rank 40 Hilbert)
27 -------Lewis-Wester test J (check rank 40 Hilbert)
29 -------Lewis-Wester test K (invert rank 70 Hilbert)
31 -------Lewis-Wester test L (check rank 70 Hilbert)
33 -------Lewis-Wester test M1 (26x26 sparse, det)
35 -------Lewis-Wester test M2 (101x101 sparse, det)
37 -------Lewis-Wester test N (poly at rational fcns)
39 -------Lewis-Wester test O1 (three 15x15 dets)
41 -------Lewis-Wester test P (det of sparse rank 101)
43 -------Lewis-Wester test P' (det of less sparse rank 101)
45 -------Lewis-Wester test Q (charpoly(P))
47 -------Lewis-Wester test Q' (charpoly(P'))
49 -------computation of antipodes in Yukawa theory