![[BACK]](/icons/cvsweb/back.gif){kind=icon}
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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 - [select for diffs], 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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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
Added asir2018 for implementing full-gmp asir.