source:
branches/f4grobner@
162
Name | Size | Rev | Age | Author | Last Change |
---|---|---|---|---|---|
../ | |||||
Docs | | 30 | 9 years | ||
utils.lisp | 2.5 KB | 137 | 9 years | * empty log message * | |
UNFINISHED | 56 bytes | 38 | 9 years | ||
termlist.lisp | 5.5 KB | 150 | 9 years | * empty log message * | |
term.lisp | 2.9 KB | 142 | 9 years | * empty log message * | |
README | 1.5 KB | 10 | 16 years | Moving sources into trunk | |
priority-queue.lisp | 3.7 KB | 138 | 9 years | * empty log message * | |
polynomial.lisp | 9.4 KB | 143 | 9 years | * empty log message * | |
pair-queue.lisp | 4.7 KB | 162 | 9 years | * empty log message * | |
order.lisp | 4.2 KB | 140 | 9 years | * empty log message * | |
order-mk.lisp | 3.0 KB | 141 | 9 years | * empty log message * | |
mx-grobner.lisp | 13.2 KB | 158 | 9 years | * empty log message * | |
monomial.lisp | 6.4 KB | 139 | 9 years | * empty log message * | |
ideal.lisp | 8.6 KB | 156 | 9 years | * empty log message * | |
grobner.lisp | 12.0 KB | 161 | 9 years | * empty log message * | |
grobner.demo | 8.5 KB | 10 | 16 years | Moving sources into trunk | |
grobner.asd | 798 bytes | 159 | 9 years | * empty log message * | |
grobner-demo.output | 261.7 KB | 10 | 16 years | Moving sources into trunk | |
gebauer-moeller.lisp | 4.9 KB | 147 | 9 years | * empty log message * | |
gb-postprocessing.lisp | 2.7 KB | 136 | 9 years | * empty log message * | |
f4-matrix.lisp | 3.7 KB | 160 | 9 years | ||
division.lisp | 7.2 KB | 148 | 9 years | * empty log message * | |
criterion.lisp | 3.3 KB | 146 | 9 years | * empty log message * | |
buchberger.lisp | 6.2 KB | 145 | 9 years | * empty log message * |
Note:
See TracBrowser
for help on using the repository browser.