| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 29-Aug-2018 | - | ||||
| 4ti2/ | H | 29-Aug-2018 | - | 429 | 228 | |
| fiber/ | H | 29-Aug-2018 | - | 29 | 4 | |
| groebner/ | H | 29-Aug-2018 | - | 27,275 | 19,915 | |
| ppi/ | H | 29-Aug-2018 | - | 1,256 | 1,023 | |
| util/ | H | 29-Aug-2018 | - | 5,076 | 3,910 | |
| zsolve/ | H | 29-Aug-2018 | - | 6,868 | 4,891 | |
| Makefile.am | H A D | 29-Aug-2018 | 1,023 | 32 | 11 | |
| banner.h | H A D | 29-Aug-2018 | 443 | 15 | 13 |