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
|
Rev | Line | |
---|
[1] | 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.