Mon, 11 Jun 2007 18:28:16 +0200 | chaieb | Conversion for computation on constants now depends on the context | file | diff | annotate |
Mon, 11 Jun 2007 16:23:17 +0200 | chaieb | Added instantiation of algebra method to fields | file | diff | annotate |
Mon, 11 Jun 2007 11:05:57 +0200 | chaieb | explicitely depends on file groebner.ML | file | diff | annotate |
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 |