close Warning: Can't synchronize with repository "(default)" (The repository directory has changed, you should resynchronize the repository with: trac-admin $ENV repository resync '(default)'). Look in the Trac log for more information.

source: branches/f4grobner@ 444

Name Size Rev Age Author Last Change
../
Docs 30   9 years Marek Rychlik
utils.lisp 2.5 KB 184   9 years Marek Rychlik * empty log message *
UNFINISHED 56 bytes 38   9 years Marek Rychlik
termlist.lisp 7.0 KB 438   9 years Marek Rychlik * empty log message *
term.lisp 2.7 KB 435   9 years Marek Rychlik * empty log message *
ring.lisp 2.9 KB 425   9 years Marek Rychlik * empty log message *
README 4.8 KB 366   9 years Marek Rychlik * empty log message *
priority-queue.lisp 3.7 KB 187   9 years Marek Rychlik * empty log message *
polynomial.lisp 10.3 KB 434   9 years Marek Rychlik * empty log message *
pair-queue.lisp 4.7 KB 189   9 years Marek Rychlik * empty log message *
order.lisp 6.9 KB 444   9 years Marek Rychlik * empty log message *
ngrobner.lisp 7.8 KB 443   9 years Marek Rychlik
ngrobner.asd 797 bytes 441   9 years Marek Rychlik * empty log message *
ngrobner-package.lisp 3.2 KB 442   9 years Marek Rychlik * empty log message *
mx-grobner.lisp 17.2 KB 391   9 years Marek Rychlik * empty log message *
monomial.lisp 6.9 KB 423   9 years Marek Rychlik * empty log message *
ideal.lisp 8.6 KB 192   9 years Marek Rychlik
grobner.mac 159 bytes 278   9 years Marek Rychlik * empty log message *
grobner.demo 8.5 KB 10   16 years Marek Rychlik Moving sources into trunk
grobner-demo.output 261.7 KB 10   16 years Marek Rychlik Moving sources into trunk
gebauer-moeller.lisp 4.9 KB 192   9 years Marek Rychlik
gb-postprocessing.lisp 2.7 KB 192   9 years Marek Rychlik
f4-matrix.lisp 3.7 KB 160   9 years Marek Rychlik
division.lisp 7.2 KB 192   9 years Marek Rychlik
criterion.lisp 3.3 KB 192   9 years Marek Rychlik
buchberger.lisp 6.2 KB 192   9 years Marek Rychlik
5am-tests.lisp 3.9 KB 389   9 years Marek Rychlik * empty log message *
Note: See TracBrowser for help on using the repository browser.