| Fri, 07 May 2010 16:12:26 +0200 |
haftmann |
renamed Normalizer to the more specific Semiring_Normalizer
|
file |
diff |
annotate
|
| Thu, 06 May 2010 23:37:07 +0200 |
haftmann |
xsymbolized
|
file |
diff |
annotate
|
| Thu, 06 May 2010 17:59:19 +0200 |
haftmann |
dropped duplicate comp_arith
|
file |
diff |
annotate
|
| Thu, 06 May 2010 16:32:20 +0200 |
haftmann |
dropped auxiliary method sring_norm; integrated normalizer.ML and normalizer_data.ML
|
file |
diff |
annotate
|
| Fri, 23 Apr 2010 23:35:43 +0200 |
wenzelm |
mark schematic statements explicitly;
|
file |
diff |
annotate
|
| Wed, 29 Apr 2009 14:20:26 +0200 |
haftmann |
farewell to class recpower
|
file |
diff |
annotate
|
| Tue, 18 Mar 2008 20:33:33 +0100 |
wenzelm |
tuned proof;
|
file |
diff |
annotate
|
| Wed, 31 Oct 2007 12:19:45 +0100 |
chaieb |
Added example for the ideal membership problem solved by algebra
|
file |
diff |
annotate
|
| Thu, 05 Jul 2007 00:06:19 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 12 Jun 2007 10:40:44 +0200 |
chaieb |
Tuned proofs : now use 'algebra ad: ...'
|
file |
diff |
annotate
|
| Mon, 11 Jun 2007 18:34:12 +0200 |
nipkow |
nex example
|
file |
diff |
annotate
|
| Tue, 05 Jun 2007 22:47:49 +0200 |
wenzelm |
Groebner Basis Examples.
|
file |
diff |
annotate
|