| Sun, 08 Nov 2009 16:30:41 +0100 |
wenzelm |
adapted Generic_Data, Proof_Data;
|
file |
diff |
annotate
|
| Sun, 05 Apr 2009 05:07:10 +0100 |
chaieb |
now deals with devision in fields
|
file |
diff |
annotate
|
| 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
|