Tue, 05 Jun 2007 22:46:53 +0200 | wenzelm | tuned document; | file | diff | annotate |
Tue, 05 Jun 2007 18:36:07 +0200 | wenzelm | renamed locale ring/semiring to gb_ring/gb_semiring to avoid clash with Ring_and_Field versions; | file | diff | annotate |
Tue, 05 Jun 2007 16:26:04 +0200 | wenzelm | Semiring normalization and Groebner Bases. | file | diff | annotate |