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 -------hash map operations:
11 -------Lewis-Wester test A (divide factorials):
13 -------Lewis-Wester test B (sum of rational numbers):
15 -------Lewis-Wester test C (gcd of big integers):
17 -------Lewis-Wester test D (normalized sum of rational fcns):
19 -------Lewis-Wester test E (normalized sum of rational fcns):
21 -------Lewis-Wester test F (gcd of 2-var polys):
23 -------Lewis-Wester test G (gcd of 3-var polys):
25 -------Lewis-Wester test H (det of 80x80 Hilbert):
27 -------Lewis-Wester test I (invert rank 40 Hilbert):
29 -------Lewis-Wester test J (check rank 40 Hilbert):
31 -------Lewis-Wester test K (invert rank 70 Hilbert):
33 -------Lewis-Wester test L (check rank 70 Hilbert):
35 -------Lewis-Wester test M1 (26x26 sparse, det):
37 -------Lewis-Wester test M2 (101x101 sparse, det):
39 -------Lewis-Wester test N (poly at rational fcns):
41 -------Lewis-Wester test O1 (three 15x15 dets):
43 -------Lewis-Wester test P (det of sparse rank 101):
45 -------Lewis-Wester test P' (det of less sparse rank 101):
47 -------Lewis-Wester test Q (charpoly(P)):
49 -------Lewis-Wester test Q' (charpoly(P')):
51 -------computation of antipodes in Yukawa theory:
53 -------Fateman's polynomial expand benchmark: