Tue, 12 Jun 2007 10:15:48 +0200 | chaieb | Changed normalizer Data to contain a simpset besides the list of instances; Before the method starts, it simplifies with this simpset; Added attribute 'algebra' to add and delete theorems from the simpset above; | file | diff | annotate |
Mon, 11 Jun 2007 18:28:16 +0200 | chaieb | Conversion for computation on constants now depends on the context | file | diff | annotate |
Tue, 05 Jun 2007 18:36:10 +0200 | wenzelm | tuned; | file | diff | annotate |
Tue, 05 Jun 2007 16:26:04 +0200 | wenzelm | Semiring normalization and Groebner Bases. | file | diff | annotate |