| 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 | 
      
      
| 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.