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 (sum of rational fcns)
17 -------Lewis-Wester test E (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 M1 (26x26 sparse, det)
27 -------Lewis-Wester test O1 (three 15x15 dets)
29 -------Lewis-Wester test P (det of sparse rank 101)
31 -------Lewis-Wester test P' (det of less sparse rank 101)