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

Name Size Rev Age Author Last Change
../
README 1.5 KB ​ 10   16 years Marek Rychlik Moving sources into trunk
grobner.lisp 79.6 KB ​ 22   13 years Marek Rychlik Removed the last change in colon-ideal. Boundary care f=nil leads to …
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.