Up to [local] / OpenXM_contrib2 / asir2000 / lib
Request diff between arbitrary revisions
Default branch: MAIN
Current tag: RELEASE_1_2_2
Revision 1.4 / (download) - annotate - [selected], Mon Jan 15 05:18:20 2001 UTC (23 years, 5 months ago) by noro
Branch: MAIN
CVS Tags: RELEASE_1_2_2,
RELEASE_1_2_1
Changes since 1.3: +4 -3
lines
Diff to previous 1.3 (colored)
Fixed a bug in primdec. In isolated(), the associated primes must be represented by groebner bases w.r.t. PRIMORD (=3).