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

Name Size Rev Age Author Last Change
../
Docs ​ 30   9 years Marek Rychlik
buchberger.lisp 6.2 KB ​ 145   9 years Marek Rychlik * empty log message *
criterion.lisp 3.3 KB ​ 146   9 years Marek Rychlik * empty log message *
division.lisp 6.0 KB ​ 64   9 years Marek Rychlik * empty log message *
f4-matrix.lisp 3.2 KB ​ 40   9 years Marek Rychlik * empty log message *
gb-postprocessing.lisp 2.7 KB ​ 136   9 years Marek Rychlik * empty log message *
gebauer-moeller.lisp 4.9 KB ​ 147   9 years Marek Rychlik * empty log message *
grobner-demo.output 261.7 KB ​ 10   15 years Marek Rychlik Moving sources into trunk
grobner.asd 797 bytes ​ 132   9 years Marek Rychlik * empty log message *
grobner.demo 8.5 KB ​ 10   15 years Marek Rychlik Moving sources into trunk
grobner.lisp 13.0 KB ​ 135   9 years Marek Rychlik * empty log message *
ideal.lisp 8.6 KB ​ 73   9 years Marek Rychlik * empty log message *
monomial.lisp 6.4 KB ​ 139   9 years Marek Rychlik * empty log message *
mx-grobner.lisp 12.8 KB ​ 133   9 years Marek Rychlik * empty log message *
mx-parsing.lisp 3.8 KB ​ 113   9 years Marek Rychlik * empty log message *
order-mk.lisp 3.0 KB ​ 141   9 years Marek Rychlik * empty log message *
order.lisp 4.2 KB ​ 140   9 years Marek Rychlik * empty log message *
pair-queue.lisp 3.8 KB ​ 144   9 years Marek Rychlik * empty log message *
polynomial.lisp 9.4 KB ​ 143   9 years Marek Rychlik * empty log message *
priority-queue.lisp 3.7 KB ​ 138   9 years Marek Rychlik * empty log message *
README 1.5 KB ​ 10   15 years Marek Rychlik Moving sources into trunk
term.lisp 2.9 KB ​ 142   9 years Marek Rychlik * empty log message *
UNFINISHED 56 bytes ​ 38   9 years Marek Rychlik
utils.lisp 2.5 KB ​ 137   9 years Marek Rychlik * empty log message *
Note: See TracBrowser for help on using the repository browser.