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: trunk@ 15

Name Size Rev Age Author Last Change
../
README 1.5 KB ​ 10   16 years Marek Rychlik Moving sources into trunk
grobner.lisp 79.5 KB ​ 15   13 years Marek Rychlik Played with various settings of :ezgcd and :gcd components to avoid …
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
Note: See TracBrowser for help on using the repository browser.