CVS log for OpenXM_contrib2/asir2018/builtin/dp-supp.c

Up to [local] / OpenXM_contrib2 / asir2018 / builtin

Request diff between arbitrary revisions

Default branch: MAIN

Revision 1.19 / (download) - annotate - [select for diffs], Sat Sep 10 05:41:43 2022 UTC (2 years, 2 months ago) by noro
Branch: MAIN
CVS Tags: HEAD
Changes since 1.18: +5 -5 lines
Diff to previous 1.18 (colored) to selected 1.6 (colored)

dp_red(), dp_red_marked() call ezgcdp() instead of ezgcdpz() for computing
a polynomial gcd.

Revision 1.18 / (download) - annotate - [select for diffs], Sat Sep 10 04:04:50 2022 UTC (2 years, 2 months ago) by noro
Branch: MAIN
Changes since 1.17: +21 -1 lines
Diff to previous 1.17 (colored) to selected 1.6 (colored)

dp_nf and dp_true_nf accepts inputs with non-integer coefficients.

Revision 1.17 / (download) - annotate - [select for diffs], Tue Dec 15 07:40:09 2020 UTC (3 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.16: +2 -2 lines
Diff to previous 1.16 (colored) to selected 1.6 (colored)

Fixed a bug in nd_sba_buch().
Added a switch 'sba_syz' in nd_sba(). If sba_syz=1 then [GB,LM(Syz)] is returned.
Added a switch 'ReversePOT' in dp_gr_flags().

Revision 1.16 / (download) - annotate - [select for diffs], Sat Dec 5 03:27:20 2020 UTC (3 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.15: +18 -1 lines
Diff to previous 1.15 (colored) to selected 1.6 (colored)

nd_gr, nd_sba etc now accept DP as inputs.

Revision 1.15 / (download) - annotate - [select for diffs], Mon Oct 26 02:41:05 2020 UTC (4 years ago) by noro
Branch: MAIN
Changes since 1.14: +24 -1 lines
Diff to previous 1.14 (colored) to selected 1.6 (colored)

Added switches for controling sba: sba_pot, sba_f4step, sba_largelcm.
Added a switch for controling f4: f4_td.

Revision 1.14 / (download) - annotate - [select for diffs], Thu Jul 2 09:24:16 2020 UTC (4 years, 4 months ago) by noro
Branch: MAIN
Changes since 1.13: +16 -1 lines
Diff to previous 1.13 (colored) to selected 1.6 (colored)

Improved nd_sba().

Revision 1.13 / (download) - annotate - [select for diffs], Fri Dec 27 08:13:59 2019 UTC (4 years, 10 months ago) by noro
Branch: MAIN
Changes since 1.12: +48 -7 lines
Diff to previous 1.12 (colored) to selected 1.6 (colored)

Added a module order [4,base_ord,ring_ord], which is POT with a base order.

Revision 1.12 / (download) - annotate - [select for diffs], Thu Dec 12 04:44:59 2019 UTC (4 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.11: +12 -3 lines
Diff to previous 1.11 (colored) to selected 1.6 (colored)

Modified some parts in functions related to Schreyer resolution.

Revision 1.11 / (download) - annotate - [select for diffs], Thu Nov 21 04:03:16 2019 UTC (4 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.10: +88 -5 lines
Diff to previous 1.10 (colored) to selected 1.6 (colored)

Added function dpm_insert_to_zlist(), dpm_sp_nf().

Revision 1.10 / (download) - annotate - [select for diffs], Tue Nov 12 12:50:40 2019 UTC (5 years ago) by noro
Branch: MAIN
Changes since 1.9: +76 -1 lines
Diff to previous 1.9 (colored) to selected 1.6 (colored)

Improved dpm_schreyer_base().

Revision 1.9 / (download) - annotate - [select for diffs], Tue Nov 12 07:47:45 2019 UTC (5 years ago) by noro
Branch: MAIN
Changes since 1.8: +317 -1 lines
Diff to previous 1.8 (colored) to selected 1.6 (colored)

Improved dpm_schreyer_base().
Added a function dpm_sp_nf().

Revision 1.8 / (download) - annotate - [select for diffs], Fri Nov 1 04:28:52 2019 UTC (5 years ago) by noro
Branch: MAIN
Changes since 1.7: +51 -1 lines
Diff to previous 1.7 (colored) to selected 1.6 (colored)

Fixed some bugs in dpm related functions.

Revision 1.7 / (download) - annotate - [select for diffs], Fri Oct 11 03:45:56 2019 UTC (5 years, 1 month ago) by noro
Branch: MAIN
Changes since 1.6: +57 -2 lines
Diff to previous 1.6 (colored)

Fixed some bugs related to module computation (incomplete).

Revision 1.6 / (download) - annotate - [selected], Thu Sep 19 06:29:47 2019 UTC (5 years, 1 month ago) by noro
Branch: MAIN
Changes since 1.5: +76 -47 lines
Diff to previous 1.5 (colored)

Weighted POT order can be defined by dp_ord([2,[Wv,Wm],0) etc.
Schreyer order can be defined by dp_ord([3,[Hn,...,H1],[0,0]]) etc.
They can be used as an argument of nd functions.
(I think there are still bugs.)

Revision 1.5 / (download) - annotate - [select for diffs], Fri Sep 13 02:04:42 2019 UTC (5 years, 2 months ago) by noro
Branch: MAIN
Changes since 1.4: +80 -15 lines
Diff to previous 1.4 (colored) to selected 1.6 (colored)

Added interreduction in dpm_schreyer_base().

Revision 1.4 / (download) - annotate - [select for diffs], Wed Sep 4 01:12:02 2019 UTC (5 years, 2 months ago) by noro
Branch: MAIN
Changes since 1.3: +64 -15 lines
Diff to previous 1.3 (colored) to selected 1.6 (colored)

Added dpm_schreyer_base() (an incomplete version).

Revision 1.3 / (download) - annotate - [select for diffs], Wed Aug 21 00:37:47 2019 UTC (5 years, 2 months ago) by noro
Branch: MAIN
Changes since 1.2: +167 -18 lines
Diff to previous 1.2 (colored) to selected 1.6 (colored)

Added dpm_set_schreyer() for setting a schreyer ordering.
Added and modified several functions for treating DPM (module element over a polynomial
ring with distributed representation).

Revision 1.2 / (download) - annotate - [select for diffs], Fri Sep 28 08:20:27 2018 UTC (6 years, 1 month ago) by noro
Branch: MAIN
Changes since 1.1: +46 -46 lines
Diff to previous 1.1 (colored) to selected 1.6 (colored)

Changed macros : QTOS->ZTOS, STOQ->STOZ etc.

Revision 1.1 / (download) - annotate - [select for diffs], Wed Sep 19 05:45:05 2018 UTC (6 years, 1 month ago) by noro
Branch: MAIN
Diff to selected 1.6 (colored)

Added asir2018 for implementing full-gmp asir.

This form allows you to request diff's between any two revisions of a file. You may select a symbolic revision name using the selection box or you may type in a numeric name using the type-in text box.