CVS log for OpenXM_contrib2/asir2000/lib/primdec_lex

Default branch: MAIN

Revision 1.3 / (download) - annotate - [select for diffs], Tue Oct 3 08:16:55 2006 UTC (18 years, 2 months ago) by noro
Branch: MAIN
CVS Tags: R_1_3_1-2, RELEASE_1_3_1_13b, RELEASE_1_2_3_12, HEAD, DEB_REL_1_2_3-9
Changes since 1.2: +7 -1 lines
Diff to previous 1.2 (colored)

Fixed a bug in extraction: GB computation with respect to an elimination
order was incorrectly skipped.

Revision 1.2 / (download) - annotate - [select for diffs], Fri Feb 24 01:15:56 2006 UTC (18 years, 10 months ago) by noro
Branch: MAIN
Changes since 1.1: +2 -2 lines
Diff to previous 1.1 (colored)

Fixed a common bug in primdec*.
Fixed a bug in int_hander.

A variant of 'primdec' which uses the lex order for searching primitive
element.

Diffs between
and