CVS log for OpenXM_contrib2/asir2018/engine/nd.c

Up to [local] / OpenXM_contrib2 / asir2018 / engine

Request diff between arbitrary revisions

Default branch: MAIN

Revision 1.66 / (download) - annotate - [select for diffs], Sun Apr 3 06:45:47 2022 UTC (2 years, 8 months ago) by noro
Branch: MAIN
CVS Tags: HEAD
Changes since 1.65: +2 -1 lines
Diff to previous 1.65 (colored) to selected 1.22 (colored)

Reverted a declaration of a variable in nd.c.

Revision 1.65 / (download) - annotate - [select for diffs], Sun Apr 3 00:39:12 2022 UTC (2 years, 8 months ago) by noro
Branch: MAIN
Changes since 1.64: +629 -768 lines
Diff to previous 1.64 (colored) to selected 1.22 (colored)

Removed unused variables.

Revision 1.64 / (download) - annotate - [select for diffs], Wed Mar 9 07:50:51 2022 UTC (2 years, 9 months ago) by noro
Branch: MAIN
Changes since 1.63: +12 -4 lines
Diff to previous 1.63 (colored) to selected 1.22 (colored)

The diagonalization in nd_gb and nd_gb_trace is not executed when diag_period is set to 0.
Reverted a modification in dist.c related to the bug on M1 mac.

Revision 1.63 / (download) - annotate - [select for diffs], Thu Jan 13 08:15:02 2022 UTC (2 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.62: +20 -6 lines
Diff to previous 1.62 (colored) to selected 1.22 (colored)

Added an option 'asis' to generic_gauss_elim_mod().

Revision 1.62 / (download) - annotate - [select for diffs], Sun Dec 19 08:23:28 2021 UTC (3 years ago) by noro
Branch: MAIN
Changes since 1.61: +2 -2 lines
Diff to previous 1.61 (colored) to selected 1.22 (colored)

Fixed the bug in nd_sba about showing the number of bases, non-zero reductions etc.

Revision 1.61 / (download) - annotate - [select for diffs], Sat Dec 18 04:43:59 2021 UTC (3 years ago) by noro
Branch: MAIN
Changes since 1.60: +13 -9 lines
Diff to previous 1.60 (colored) to selected 1.22 (colored)

nd_gb and nd_gb_trace now show the number of S-pairs eliminated by the Hilbert function criterion.

Revision 1.60 / (download) - annotate - [select for diffs], Fri Dec 17 23:53:13 2021 UTC (3 years ago) by noro
Branch: MAIN
Changes since 1.59: +4 -4 lines
Diff to previous 1.59 (colored) to selected 1.22 (colored)

nd_sba, nd_gb, nd_gb_trace now show the number of total bases.

Revision 1.59 / (download) - annotate - [select for diffs], Tue Dec 14 01:02:40 2021 UTC (3 years ago) by noro
Branch: MAIN
Changes since 1.58: +7 -11 lines
Diff to previous 1.58 (colored) to selected 1.22 (colored)

Simplified the options for Hilbert driven computations.

Revision 1.58 / (download) - annotate - [select for diffs], Tue Dec 7 08:58:08 2021 UTC (3 years ago) by noro
Branch: MAIN
Changes since 1.57: +5 -5 lines
Diff to previous 1.57 (colored) to selected 1.22 (colored)

Fixed a bug related to the previous commit.

Revision 1.57 / (download) - annotate - [select for diffs], Tue Dec 7 08:48:34 2021 UTC (3 years ago) by noro
Branch: MAIN
Changes since 1.56: +28 -16 lines
Diff to previous 1.56 (colored) to selected 1.22 (colored)

Fixed a bug related to Hilbert driven algorithm.

Revision 1.56 / (download) - annotate - [select for diffs], Sun Dec 5 22:41:04 2021 UTC (3 years ago) by noro
Branch: MAIN
Changes since 1.55: +73 -88 lines
Diff to previous 1.55 (colored) to selected 1.22 (colored)

Added computation of weighted Hilbert-Poincare series.
Simplified the use of HP series in Hilbert driven algorithms.

Revision 1.55 / (download) - annotate - [select for diffs], Mon Nov 29 09:19:33 2021 UTC (3 years ago) by noro
Branch: MAIN
Changes since 1.54: +67 -30 lines
Diff to previous 1.54 (colored) to selected 1.22 (colored)

Improved comp_sig_monomial().

Revision 1.54 / (download) - annotate - [select for diffs], Fri Oct 29 20:50:02 2021 UTC (3 years, 1 month ago) by noro
Branch: MAIN
Changes since 1.53: +2 -2 lines
Diff to previous 1.53 (colored) to selected 1.22 (colored)

Fixed a bug in nd_gr_trace : GB check in Weyl algebra is now done by nd_gb.

Revision 1.53 / (download) - annotate - [select for diffs], Fri Mar 12 01:18:33 2021 UTC (3 years, 9 months ago) by noro
Branch: MAIN
Changes since 1.52: +36 -7 lines
Diff to previous 1.52 (colored) to selected 1.22 (colored)

Added a function for checking primitive S-irreducibility (but not used).

Revision 1.52 / (download) - annotate - [select for diffs], Tue Mar 9 08:48:50 2021 UTC (3 years, 9 months ago) by noro
Branch: MAIN
Changes since 1.51: +8 -6 lines
Diff to previous 1.51 (colored) to selected 1.22 (colored)

Changed some messages related to Hilbert driven computation.

Revision 1.51 / (download) - annotate - [select for diffs], Tue Mar 9 07:07:02 2021 UTC (3 years, 9 months ago) by noro
Branch: MAIN
Changes since 1.50: +5 -2 lines
Diff to previous 1.50 (colored) to selected 1.22 (colored)

Added code for showing timing for inter-reduction.

Revision 1.50 / (download) - annotate - [select for diffs], Tue Mar 9 05:20:35 2021 UTC (3 years, 9 months ago) by noro
Branch: MAIN
Changes since 1.49: +29 -6 lines
Diff to previous 1.49 (colored) to selected 1.22 (colored)

Added code for showing timings.

Revision 1.49 / (download) - annotate - [select for diffs], Sun Feb 28 02:33:16 2021 UTC (3 years, 9 months ago) by noro
Branch: MAIN
Changes since 1.48: +198 -1 lines
Diff to previous 1.48 (colored) to selected 1.22 (colored)

Added an option for executing Hilbert driven computation in nd_gr and nd_gr_trace.

Revision 1.48 / (download) - annotate - [select for diffs], Thu Feb 18 05:35:01 2021 UTC (3 years, 10 months ago) by noro
Branch: MAIN
Changes since 1.47: +8 -6 lines
Diff to previous 1.47 (colored) to selected 1.22 (colored)

Trivial syzyzies are not added when do_weyl=1.
Term order is recovered after nd_sba.
Improved primedec_mod by using nd functions.

Revision 1.47 / (download) - annotate - [select for diffs], Mon Feb 1 08:06:33 2021 UTC (3 years, 10 months ago) by noro
Branch: MAIN
Changes since 1.46: +133 -52 lines
Diff to previous 1.46 (colored) to selected 1.22 (colored)

In nd_sba_buch, s-pairs are stored separately with respect to signature.

Revision 1.46 / (download) - annotate - [select for diffs], Mon Jan 25 00:39:52 2021 UTC (3 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.45: +248 -32 lines
Diff to previous 1.45 (colored) to selected 1.22 (colored)

Changed the name of options about module ordering and change of ordering.
New options are sba_modord and sba_gbinput.

Revision 1.45 / (download) - annotate - [select for diffs], Mon Jan 11 08:37:44 2021 UTC (3 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.44: +62 -10 lines
Diff to previous 1.44 (colored) to selected 1.22 (colored)

Fixed a bug in insert_sig.
Added switches sba_fixord and sba_grevlexgb in nd_sba.

Revision 1.44 / (download) - annotate - [select for diffs], Tue Dec 15 07:40:09 2020 UTC (4 years ago) by noro
Branch: MAIN
Changes since 1.43: +88 -22 lines
Diff to previous 1.43 (colored) to selected 1.22 (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.43 / (download) - annotate - [select for diffs], Sat Dec 5 03:27:20 2020 UTC (4 years ago) by noro
Branch: MAIN
Changes since 1.42: +81 -14 lines
Diff to previous 1.42 (colored) to selected 1.22 (colored)

nd_gr, nd_sba etc now accept DP as inputs.

Revision 1.42 / (download) - annotate - [select for diffs], Thu Dec 3 07:58:54 2020 UTC (4 years ago) by noro
Branch: MAIN
Changes since 1.41: +5 -1 lines
Diff to previous 1.41 (colored) to selected 1.22 (colored)

Fixed a bug in nd_sba().

Revision 1.41 / (download) - annotate - [select for diffs], Thu Nov 26 03:55:23 2020 UTC (4 years, 1 month ago) by noro
Branch: MAIN
Changes since 1.40: +182 -34 lines
Diff to previous 1.40 (colored) to selected 1.22 (colored)

Added several messages.

Revision 1.40 / (download) - annotate - [select for diffs], Mon Nov 2 08:30:55 2020 UTC (4 years, 1 month ago) by noro
Branch: MAIN
Changes since 1.39: +169 -14 lines
Diff to previous 1.39 (colored) to selected 1.22 (colored)

Added necessary functions related to sba for 32bit environment.

Revision 1.39 / (download) - annotate - [select for diffs], Thu Oct 29 01:50:35 2020 UTC (4 years, 1 month ago) by noro
Branch: MAIN
Changes since 1.38: +77 -15 lines
Diff to previous 1.38 (colored) to selected 1.22 (colored)

Modified add_pbucket and add_pbucket_symbolic.
Added switches sba_pot and top to nd_ toplevel functions.

Revision 1.38 / (download) - annotate - [select for diffs], Mon Oct 26 02:41:05 2020 UTC (4 years, 2 months ago) by noro
Branch: MAIN
Changes since 1.37: +67 -63 lines
Diff to previous 1.37 (colored) to selected 1.22 (colored)

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

Revision 1.37 / (download) - annotate - [select for diffs], Tue Oct 6 06:31:19 2020 UTC (4 years, 2 months ago) by noro
Branch: MAIN
Changes since 1.36: +4 -3 lines
Diff to previous 1.36 (colored) to selected 1.22 (colored)

Removed warnings.

Revision 1.36 / (download) - annotate - [select for diffs], Sun Sep 27 04:35:04 2020 UTC (4 years, 3 months ago) by noro
Branch: MAIN
Changes since 1.35: +9 -7 lines
Diff to previous 1.35 (colored) to selected 1.22 (colored)

DP_Print is examined before printing timing.
Fixed a bug in allocating buffer in mkpvs().

Revision 1.35 / (download) - annotate - [select for diffs], Wed Aug 26 06:40:36 2020 UTC (4 years, 4 months ago) by noro
Branch: MAIN
Changes since 1.34: +9 -4 lines
Diff to previous 1.34 (colored) to selected 1.22 (colored)

Added a switch debug_pari for attaching debug window to ox_pari.

Revision 1.34 / (download) - annotate - [select for diffs], Fri Jul 10 08:09:05 2020 UTC (4 years, 5 months ago) by noro
Branch: MAIN
Changes since 1.33: +10 -8 lines
Diff to previous 1.33 (colored) to selected 1.22 (colored)

Fixed a bug in nd_sba and nd_sba_f4.

Revision 1.33 / (download) - annotate - [select for diffs], Thu Jul 9 02:33:38 2020 UTC (4 years, 5 months ago) by noro
Branch: MAIN
Changes since 1.32: +100 -87 lines
Diff to previous 1.32 (colored) to selected 1.22 (colored)

Implemented a hybrid algorithm in nd_sba_f4().

Revision 1.32 / (download) - annotate - [select for diffs], Tue Jul 7 08:08:26 2020 UTC (4 years, 5 months ago) by noro
Branch: MAIN
Changes since 1.31: +2 -2 lines
Diff to previous 1.31 (colored) to selected 1.22 (colored)

Fixed a bug in nd_sba_f4().

Revision 1.31 / (download) - annotate - [select for diffs], Tue Jul 7 08:04:30 2020 UTC (4 years, 5 months ago) by noro
Branch: MAIN
Changes since 1.30: +60 -57 lines
Diff to previous 1.30 (colored) to selected 1.22 (colored)

Trying to improve nd_sba_f4().

Revision 1.30 / (download) - annotate - [select for diffs], Fri Jul 3 03:37:59 2020 UTC (4 years, 5 months ago) by noro
Branch: MAIN
Changes since 1.29: +129 -27 lines
Diff to previous 1.29 (colored) to selected 1.22 (colored)

Removed unnecessary arguments in nd_sba_buch() etc.

Revision 1.29 / (download) - annotate - [select for diffs], Thu Jul 2 09:24:17 2020 UTC (4 years, 5 months ago) by noro
Branch: MAIN
Changes since 1.28: +81 -28 lines
Diff to previous 1.28 (colored) to selected 1.22 (colored)

Improved nd_sba().

Revision 1.28 / (download) - annotate - [select for diffs], Tue Jun 30 01:52:17 2020 UTC (4 years, 5 months ago) by noro
Branch: MAIN
Changes since 1.27: +503 -26 lines
Diff to previous 1.27 (colored) to selected 1.22 (colored)

Added experimental code for F4-type sba.

Revision 1.27 / (download) - annotate - [select for diffs], Thu Jun 25 02:53:31 2020 UTC (4 years, 6 months ago) by noro
Branch: MAIN
Changes since 1.26: +56 -60 lines
Diff to previous 1.26 (colored) to selected 1.22 (colored)

Improved several subroutines for nd_sba.

Revision 1.26 / (download) - annotate - [select for diffs], Tue Jun 23 01:49:58 2020 UTC (4 years, 6 months ago) by noro
Branch: MAIN
Changes since 1.25: +49 -128 lines
Diff to previous 1.25 (colored) to selected 1.22 (colored)

Fixed a bug in comp_sig etc.

Revision 1.25 / (download) - annotate - [select for diffs], Fri Jun 19 22:58:48 2020 UTC (4 years, 6 months ago) by noro
Branch: MAIN
Changes since 1.24: +129 -4 lines
Diff to previous 1.24 (colored) to selected 1.22 (colored)

Implemented reduction by using geobucket for nd_sba.

Revision 1.24 / (download) - annotate - [select for diffs], Fri Jun 19 10:18:13 2020 UTC (4 years, 6 months ago) by noro
Branch: MAIN
Changes since 1.23: +776 -15 lines
Diff to previous 1.23 (colored) to selected 1.22 (colored)

Added an experimental implementation of a signature based algorithm
nd_sba(Base,Vars,Characteristic,Ord). (No correctness)

Revision 1.23 / (download) - annotate - [select for diffs], Wed Feb 5 04:56:10 2020 UTC (4 years, 10 months ago) by noro
Branch: MAIN
Changes since 1.22: +2 -2 lines
Diff to previous 1.22 (colored)

Fixed a bug in dpm_simplify_syz().
Fixed a bug in ndl_module_compare().
Fixed bugs in module_syz.rr.

Revision 1.22 / (download) - annotate - [selected], Thu Nov 21 01:54:01 2019 UTC (5 years, 1 month ago) by noro
Branch: MAIN
Changes since 1.21: +2 -2 lines
Diff to previous 1.21 (colored)

Improved dpm_schreyer_base().

Revision 1.21 / (download) - annotate - [select for diffs], Thu Sep 19 06:29:48 2019 UTC (5 years, 3 months ago) by noro
Branch: MAIN
Changes since 1.20: +173 -121 lines
Diff to previous 1.20 (colored) to selected 1.22 (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.20 / (download) - annotate - [select for diffs], Sun Sep 15 08:46:12 2019 UTC (5 years, 3 months ago) by noro
Branch: MAIN
Changes since 1.19: +24 -12 lines
Diff to previous 1.19 (colored) to selected 1.22 (colored)

Fixed a bug in dpmtondv().

Revision 1.19 / (download) - annotate - [select for diffs], Wed Sep 4 05:32:10 2019 UTC (5 years, 3 months ago) by noro
Branch: MAIN
Changes since 1.18: +13 -11 lines
Diff to previous 1.18 (colored) to selected 1.22 (colored)

Added dpm_simplify_syz() (with many bugs).

Revision 1.18 / (download) - annotate - [select for diffs], Wed Sep 4 01:12:02 2019 UTC (5 years, 3 months ago) by noro
Branch: MAIN
Changes since 1.17: +23 -1 lines
Diff to previous 1.17 (colored) to selected 1.22 (colored)

Added dpm_schreyer_base() (an incomplete version).

Revision 1.17 / (download) - annotate - [select for diffs], Wed Aug 28 23:27:34 2019 UTC (5 years, 4 months ago) by noro
Branch: MAIN
Changes since 1.16: +9 -7 lines
Diff to previous 1.16 (colored) to selected 1.22 (colored)

Fixed a bug in nd_gr_trace().
Added bload/bsave functions for DPM object.

Revision 1.16 / (download) - annotate - [select for diffs], Wed Aug 21 00:37:47 2019 UTC (5 years, 4 months ago) by noro
Branch: MAIN
Changes since 1.15: +184 -46 lines
Diff to previous 1.15 (colored) to selected 1.22 (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.15 / (download) - annotate - [select for diffs], Sat Apr 20 06:04:18 2019 UTC (5 years, 8 months ago) by noro
Branch: MAIN
Changes since 1.14: +29 -5 lines
Diff to previous 1.14 (colored) to selected 1.22 (colored)

Added a vector containing LT(gi) for all intermediate bases to the list
returned by nd_gr(...|gentrace=1).  The vector is the last element of
the returned list.

Revision 1.14 / (download) - annotate - [select for diffs], Sun Mar 3 05:21:17 2019 UTC (5 years, 9 months ago) by noro
Branch: MAIN
Changes since 1.13: +2 -2 lines
Diff to previous 1.13 (colored) to selected 1.22 (colored)

Fixed many bugs:
asir2000, asir2018: a bug in ndv_homogenize()
asir2018: several bugs related to multiplication of univariate polynomials
          bsave/bload of LM data

Revision 1.13 / (download) - annotate - [select for diffs], Mon Jan 14 09:17:34 2019 UTC (5 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.12: +14 -6 lines
Diff to previous 1.12 (colored) to selected 1.22 (colored)

Fixed a performance bug in ndv_reduce_vect_q() and mpz_removecont_array().

Revision 1.12 / (download) - annotate - [select for diffs], Mon Nov 12 04:25:13 2018 UTC (6 years, 1 month ago) by noro
Branch: MAIN
Changes since 1.11: +23 -24 lines
Diff to previous 1.11 (colored) to selected 1.22 (colored)

Added dp_monomial_hilbert_poincare(M,V), where M is a monomial ideal
and V is a list of inderterminates. It returns [P(t),N], which means
the Hilbert-Poincare series of K[V]/<M> is P/(1-t)^N.

Revision 1.11 / (download) - annotate - [select for diffs], Tue Oct 23 04:53:37 2018 UTC (6 years, 2 months ago) by noro
Branch: MAIN
Changes since 1.10: +60 -33 lines
Diff to previous 1.10 (colored) to selected 1.22 (colored)

Improved nm_ind_pair_to_vect_compress().

Revision 1.10 / (download) - annotate - [select for diffs], Fri Oct 19 23:27:38 2018 UTC (6 years, 2 months ago) by noro
Branch: MAIN
Changes since 1.9: +3 -3 lines
Diff to previous 1.9 (colored) to selected 1.22 (colored)

Added generic_gauss_elim_hensel64() and related functions for
Hensel lifting by using a 64bit prime in Gaussian elimination.

Revision 1.9 / (download) - annotate - [select for diffs], Tue Oct 2 09:06:15 2018 UTC (6 years, 2 months ago) by noro
Branch: MAIN
Changes since 1.8: +8 -3 lines
Diff to previous 1.8 (colored) to selected 1.22 (colored)

Improved generic_gauss_elim64().

Revision 1.8 / (download) - annotate - [select for diffs], Mon Oct 1 07:48:01 2018 UTC (6 years, 2 months ago) by noro
Branch: MAIN
Changes since 1.7: +2 -2 lines
Diff to previous 1.7 (colored) to selected 1.22 (colored)

Modified ndv_reduce_vect_q so that is calls mpz_addmul().

Revision 1.7 / (download) - annotate - [select for diffs], Mon Oct 1 05:49:06 2018 UTC (6 years, 2 months ago) by noro
Branch: MAIN
Changes since 1.6: +333 -341 lines
Diff to previous 1.6 (colored) to selected 1.22 (colored)

Added several functions for 64bit modular computation.
U64 -> mp_limb_t.

Revision 1.6 / (download) - annotate - [select for diffs], Fri Sep 28 08:20:28 2018 UTC (6 years, 3 months ago) by noro
Branch: MAIN
Changes since 1.5: +624 -631 lines
Diff to previous 1.5 (colored) to selected 1.22 (colored)

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

Revision 1.5 / (download) - annotate - [select for diffs], Thu Sep 27 02:39:37 2018 UTC (6 years, 3 months ago) by noro
Branch: MAIN
Changes since 1.4: +22 -23 lines
Diff to previous 1.4 (colored) to selected 1.22 (colored)

Removed the measurement of GCtime. GCtime is now included in CPUtime.

Revision 1.4 / (download) - annotate - [select for diffs], Tue Sep 25 07:36:01 2018 UTC (6 years, 3 months ago) by noro
Branch: MAIN
Changes since 1.3: +128 -1 lines
Diff to previous 1.3 (colored) to selected 1.22 (colored)

Fixed a bug in Pinttorat().

Revision 1.3 / (download) - annotate - [select for diffs], Mon Sep 24 22:26:43 2018 UTC (6 years, 3 months ago) by noro
Branch: MAIN
Changes since 1.2: +5 -4 lines
Diff to previous 1.2 (colored) to selected 1.22 (colored)

Fixed bugs in generic_gauss_elim_hensel(_dalg).

Revision 1.2 / (download) - annotate - [select for diffs], Fri Sep 21 07:06:51 2018 UTC (6 years, 3 months ago) by noro
Branch: MAIN
Changes since 1.1: +5 -5 lines
Diff to previous 1.1 (colored) to selected 1.22 (colored)

Fixed several bugs.
configure.in -> configure.ac.

Revision 1.1 / (download) - annotate - [select for diffs], Wed Sep 19 05:45:07 2018 UTC (6 years, 3 months ago) by noro
Branch: MAIN
Diff to selected 1.22 (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.