Up to [local] / OpenXM / src / asir-contrib / testing / noro
Request diff between arbitrary revisions
Default branch: MAIN
Current tag: MAIN
Revision 1.13, Tue Nov 15 04:12:26 2016 UTC (7 years, 9 months ago) by noro
Branch: MAIN
CVS Tags: HEAD
Changes since 1.12: +1 -1
lines
FILE REMOVED
To avoid cofusion, we did the following: 1. asir-contrib/testing/noro/new_pd.rr -> asir-contrib/src/packages/noro_pd.rr 2. asir-contrib/testing/noro/{pd.rr, new_pd.rr} -> asir-contrib/testing/noro/obsolete
Revision 1.12 / (download) - annotate - [selected], Tue Nov 15 01:56:22 2016 UTC (7 years, 9 months ago) by noro
Branch: MAIN
Changes since 1.11: +3 -3
lines
Diff to previous 1.11 (colored)
*** empty log message ***
Revision 1.11 / (download) - annotate - [select for diffs], Sun Nov 13 02:09:36 2016 UTC (7 years, 9 months ago) by noro
Branch: MAIN
Changes since 1.10: +26 -5
lines
Diff to previous 1.10 (colored) to selected 1.12 (colored)
Replaced calls to satind to sat_ind, because satind is buggy. Note that this function is only called in two obsolete functions: prima_dec and pseudo_dec. Added a function sat_ind_var for the special case when the saturation is computed for a variable.
Revision 1.10 / (download) - annotate - [select for diffs], Fri Sep 19 00:48:50 2014 UTC (9 years, 11 months ago) by ohara
Branch: MAIN
Changes since 1.9: +7 -5
lines
Diff to previous 1.9 (colored) to selected 1.12 (colored)
Fixed for invoking functions.
Revision 1.9 / (download) - annotate - [select for diffs], Fri Sep 5 11:55:19 2014 UTC (9 years, 11 months ago) by ohara
Branch: MAIN
Changes since 1.8: +15 -15
lines
Diff to previous 1.8 (colored) to selected 1.12 (colored)
Fixed for calling qsort, mapat because of recent changes in module implementation.
Revision 1.8 / (download) - annotate - [select for diffs], Tue Nov 1 00:35:56 2011 UTC (12 years, 9 months ago) by noro
Branch: MAIN
CVS Tags: RELEASE_1_3_1_13b
Changes since 1.7: +276 -82
lines
Diff to previous 1.7 (colored) to selected 1.12 (colored)
Modifications mainly for paralell computation.
Revision 1.7 / (download) - annotate - [select for diffs], Tue Aug 9 07:49:38 2011 UTC (13 years ago) by noro
Branch: MAIN
Changes since 1.6: +129 -30
lines
Diff to previous 1.6 (colored) to selected 1.12 (colored)
Fixed some bugs.
Revision 1.6 / (download) - annotate - [select for diffs], Tue Jul 5 07:46:09 2011 UTC (13 years, 1 month ago) by noro
Branch: MAIN
Changes since 1.5: +10 -3
lines
Diff to previous 1.5 (colored) to selected 1.12 (colored)
gen_minipoly now resets the term order. Fixed a bug in the radical decompostion over GF(p).
Revision 1.5 / (download) - annotate - [select for diffs], Fri Jun 3 04:51:15 2011 UTC (13 years, 2 months ago) by noro
Branch: MAIN
Changes since 1.4: +5 -2
lines
Diff to previous 1.4 (colored) to selected 1.12 (colored)
Modified noro_pd.find_npos so that it does not use a variable whose minimal polynomial is linear.
Revision 1.4 / (download) - annotate - [select for diffs], Fri Feb 18 02:59:04 2011 UTC (13 years, 6 months ago) by noro
Branch: MAIN
Changes since 1.3: +207 -123
lines
Diff to previous 1.3 (colored) to selected 1.12 (colored)
Improved several functions: ideal intersection, radical_membership etc.
Revision 1.3 / (download) - annotate - [select for diffs], Wed Jan 19 04:52:03 2011 UTC (13 years, 7 months ago) by noro
Branch: MAIN
Changes since 1.2: +32 -9
lines
Diff to previous 1.2 (colored) to selected 1.12 (colored)
Improved colon_prime_dec().
Revision 1.2 / (download) - annotate - [select for diffs], Wed Jan 19 00:51:38 2011 UTC (13 years, 7 months ago) by noro
Branch: MAIN
Changes since 1.1: +26 -11
lines
Diff to previous 1.1 (colored) to selected 1.12 (colored)
Added a shortcut for detecting radical ideal case to syci_dec(). Modified elim_gb so that it calls nd_gr_trace().
Revision 1.1 / (download) - annotate - [select for diffs], Sun Jan 16 08:46:10 2011 UTC (13 years, 7 months ago) by noro
Branch: MAIN
Diff to selected 1.12 (colored)
Added new_pd.rr, an improved version of pd.rr.