| Last change
 on this file since 3 was             1, checked in by Marek Rychlik, 17 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.