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@ 208

Name Size Rev Age Author Last Change
../
Docs 30   10 years Marek Rychlik
utils.lisp 2.5 KB 184   10 years Marek Rychlik * empty log message *
UNFINISHED 56 bytes 38   10 years Marek Rychlik
termlist.lisp 5.5 KB 185   10 years Marek Rychlik * empty log message *
term.lisp 2.9 KB 186   10 years Marek Rychlik * empty log message *
README 1.5 KB 10   16 years Marek Rychlik Moving sources into trunk
priority-queue.lisp 3.7 KB 187   10 years Marek Rychlik * empty log message *
polynomial.lisp 9.4 KB 188   10 years Marek Rychlik * empty log message *
pair-queue.lisp 4.7 KB 189   10 years Marek Rychlik * empty log message *
order.lisp 4.2 KB 191   10 years Marek Rychlik * empty log message *
order-mk.lisp 3.0 KB 190   10 years Marek Rychlik * empty log message *
ngrobner.lisp 12.0 KB 199   10 years Marek Rychlik * empty log message *
ngrobner.asd 833 bytes 200   10 years Marek Rychlik * empty log message *
ngrobner-package.lisp 2.0 KB 207   10 years Marek Rychlik * empty log message *
mx-grobner.lisp 13.8 KB 208   10 years Marek Rychlik * empty log message *
monomial.lisp 6.4 KB 192   10 years Marek Rychlik
ideal.lisp 8.6 KB 192   10 years Marek Rychlik
grobner.mac 116 bytes 166   10 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   10 years Marek Rychlik
gb-postprocessing.lisp 2.7 KB 192   10 years Marek Rychlik
f4-matrix.lisp 3.7 KB 160   10 years Marek Rychlik
division.lisp 7.2 KB 192   10 years Marek Rychlik
criterion.lisp 3.3 KB 192   10 years Marek Rychlik
buchberger.lisp 6.2 KB 192   10 years Marek Rychlik
Note: See TracBrowser for help on using the repository browser.