Last change
on this file since 1 was 1, checked in by Marek Rychlik, 15 years ago |
First import of a version circa 1997.
|
File size:
590 bytes
|
Line | |
---|
1 | |
---|
2 |
|
---|
3 | colored-poly-tests.lisp,0
|
---|
4 | |
---|
5 |
|
---|
6 | cox-tests.lisp,222
|
---|
7 | (defun run 15,715
|
---|
8 | (defun test-1 18,814
|
---|
9 | (defun test-2 31,1169
|
---|
10 | (defun test-3 46,1657
|
---|
11 | (defun test-4 63,2350
|
---|
12 | (defun test-5 70,2571
|
---|
13 | (defun test-6 121,5866
|
---|
14 | (defun run-short-tests 129,6119
|
---|
15 | (defun run-long-tests 133,6204
|
---|
16 | |
---|
17 |
|
---|
18 | grobner-tests.lisp,33
|
---|
19 | (defun run-grobner-test 25,1066
|
---|
20 | |
---|
21 |
|
---|
22 | ratpoly-tests.lisp,0
|
---|
23 | |
---|
24 |
|
---|
25 | tests.lisp,222
|
---|
26 | (defun run 14,649
|
---|
27 | (defun test-1 17,748
|
---|
28 | (defun test-2 30,1103
|
---|
29 | (defun test-3 45,1591
|
---|
30 | (defun test-4 62,2284
|
---|
31 | (defun test-5 69,2505
|
---|
32 | (defun test-6 120,5800
|
---|
33 | (defun run-short-tests 128,6053
|
---|
34 | (defun run-long-tests 132,6138
|
---|
Note:
See
TracBrowser
for help on using the repository browser.