Thu, 26 Mar 2009 14:14:02 +0100 |
wenzelm |
simplified attribute and method setup: eliminating bottom-up styles makes it easier to keep things in one place, and also SML/NJ happy;
|
file |
diff |
annotate
|
Sun, 15 Mar 2009 15:59:44 +0100 |
wenzelm |
simplified attribute setup;
|
file |
diff |
annotate
|
Sat, 26 Jan 2008 17:08:38 +0100 |
wenzelm |
tuned attribute syntax -- no need for eta-expansion;
|
file |
diff |
annotate
|
Wed, 31 Oct 2007 12:19:44 +0100 |
chaieb |
Added field ideal into entry - uses by algebra method to prove the ideal membership problem
|
file |
diff |
annotate
|
Sat, 28 Jul 2007 20:40:24 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Thu, 05 Jul 2007 00:06:19 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 25 Jun 2007 00:36:34 +0200 |
wenzelm |
made type conv pervasive;
|
file |
diff |
annotate
|
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
|