Up to [local] / OpenXM_contrib2 / asir2018 / builtin
Request diff between arbitrary revisions
Default branch: MAIN
Revision 1.32 / (download) - annotate - [select for diffs], Sat Sep 10 04:04:50 2022 UTC (2 years, 1 month ago) by noro
Branch: MAIN
CVS Tags: HEAD
Changes since 1.31: +102 -10
lines
Diff to previous 1.31 (colored) to selected 1.17 (colored)
dp_nf and dp_true_nf accepts inputs with non-integer coefficients.
Revision 1.31 / (download) - annotate - [select for diffs], Sun Dec 5 22:41:03 2021 UTC (2 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.30: +108 -13
lines
Diff to previous 1.30 (colored) to selected 1.17 (colored)
Added computation of weighted Hilbert-Poincare series. Simplified the use of HP series in Hilbert driven algorithms.
Revision 1.30 / (download) - annotate - [select for diffs], Wed Mar 10 06:36:20 2021 UTC (3 years, 7 months ago) by noro
Branch: MAIN
Changes since 1.29: +44 -4
lines
Diff to previous 1.29 (colored) to selected 1.17 (colored)
Added an option ord=OrdSpec to dp_monomial_hilbert_poincare and dp_monomial_hilbert_poincare_incremental.
Revision 1.29 / (download) - annotate - [select for diffs], Sun Feb 28 02:33:15 2021 UTC (3 years, 8 months ago) by noro
Branch: MAIN
Changes since 1.28: +89 -14
lines
Diff to previous 1.28 (colored) to selected 1.17 (colored)
Added an option for executing Hilbert driven computation in nd_gr and nd_gr_trace.
Revision 1.28 / (download) - annotate - [select for diffs], Thu Feb 18 05:35:01 2021 UTC (3 years, 8 months ago) by noro
Branch: MAIN
Changes since 1.27: +4 -2
lines
Diff to previous 1.27 (colored) to selected 1.17 (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.27 / (download) - annotate - [select for diffs], Mon Jan 25 00:39:51 2021 UTC (3 years, 9 months ago) by noro
Branch: MAIN
Changes since 1.26: +47 -1
lines
Diff to previous 1.26 (colored) to selected 1.17 (colored)
Changed the name of options about module ordering and change of ordering. New options are sba_modord and sba_gbinput.
Revision 1.26 / (download) - annotate - [select for diffs], Mon Oct 26 02:41:05 2020 UTC (4 years ago) by noro
Branch: MAIN
Changes since 1.25: +18 -2
lines
Diff to previous 1.25 (colored) to selected 1.17 (colored)
Added switches for controling sba: sba_pot, sba_f4step, sba_largelcm. Added a switch for controling f4: f4_td.
Revision 1.25 / (download) - annotate - [select for diffs], Tue Jun 30 01:52:17 2020 UTC (4 years, 4 months ago) by noro
Branch: MAIN
Changes since 1.24: +48 -4
lines
Diff to previous 1.24 (colored) to selected 1.17 (colored)
Added experimental code for F4-type sba.
Revision 1.24 / (download) - annotate - [select for diffs], Fri Jun 19 10:18:13 2020 UTC (4 years, 4 months ago) by noro
Branch: MAIN
Changes since 1.23: +48 -1
lines
Diff to previous 1.23 (colored) to selected 1.17 (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], Tue Feb 11 01:43:57 2020 UTC (4 years, 8 months ago) by noro
Branch: MAIN
Changes since 1.22: +20 -8
lines
Diff to previous 1.22 (colored) to selected 1.17 (colored)
Added an option lex to newsyz.lres().
Revision 1.22 / (download) - annotate - [select for diffs], Thu Jan 9 01:47:40 2020 UTC (4 years, 10 months ago) by noro
Branch: MAIN
Changes since 1.21: +2 -2
lines
Diff to previous 1.21 (colored) to selected 1.17 (colored)
Resolved error caused by duplicate symbols.
Revision 1.21 / (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.20: +40 -8
lines
Diff to previous 1.20 (colored) to selected 1.17 (colored)
Added a module order [4,base_ord,ring_ord], which is POT with a base order.
Revision 1.20 / (download) - annotate - [select for diffs], Thu Dec 12 04:44:59 2019 UTC (4 years, 10 months ago) by noro
Branch: MAIN
Changes since 1.19: +28 -4
lines
Diff to previous 1.19 (colored) to selected 1.17 (colored)
Modified some parts in functions related to Schreyer resolution.
Revision 1.19 / (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.18: +55 -2
lines
Diff to previous 1.18 (colored) to selected 1.17 (colored)
Added function dpm_insert_to_zlist(), dpm_sp_nf().
Revision 1.18 / (download) - annotate - [select for diffs], Tue Nov 19 10:50:31 2019 UTC (4 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.17: +35 -1
lines
Diff to previous 1.17 (colored)
Added dpm_schreyer_frame() and dpm_set_schreyer_level().
Revision 1.17 / (download) - annotate - [selected], Tue Nov 12 07:47:45 2019 UTC (4 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.16: +39 -4
lines
Diff to previous 1.16 (colored)
Improved dpm_schreyer_base(). Added a function dpm_sp_nf().
Revision 1.16 / (download) - annotate - [select for diffs], Fri Oct 11 03:45:56 2019 UTC (5 years ago) by noro
Branch: MAIN
Changes since 1.15: +34 -7
lines
Diff to previous 1.15 (colored) to selected 1.17 (colored)
Fixed some bugs related to module computation (incomplete).
Revision 1.15 / (download) - annotate - [select for diffs], Thu Sep 19 06:29:47 2019 UTC (5 years, 1 month ago) by noro
Branch: MAIN
Changes since 1.14: +18 -8
lines
Diff to previous 1.14 (colored) to selected 1.17 (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.14 / (download) - annotate - [select for diffs], Fri Sep 13 09:02:49 2019 UTC (5 years, 1 month ago) by noro
Branch: MAIN
Changes since 1.13: +10 -5
lines
Diff to previous 1.13 (colored) to selected 1.17 (colored)
Fixed a bug in dpm_dtol().
Revision 1.13 / (download) - annotate - [select for diffs], Thu Sep 5 08:49:43 2019 UTC (5 years, 2 months ago) by noro
Branch: MAIN
Changes since 1.12: +15 -5
lines
Diff to previous 1.12 (colored) to selected 1.17 (colored)
dpm_hc() returns c*<<...>> for an input c*<<...:i>>.
Revision 1.12 / (download) - annotate - [select for diffs], Wed Sep 4 05:32:10 2019 UTC (5 years, 2 months ago) by noro
Branch: MAIN
Changes since 1.11: +18 -2
lines
Diff to previous 1.11 (colored) to selected 1.17 (colored)
Added dpm_simplify_syz() (with many bugs).
Revision 1.11 / (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.10: +78 -43
lines
Diff to previous 1.10 (colored) to selected 1.17 (colored)
Added dpm_schreyer_base() (an incomplete version).
Revision 1.10 / (download) - annotate - [select for diffs], Wed Aug 28 23:27:33 2019 UTC (5 years, 2 months ago) by noro
Branch: MAIN
Changes since 1.9: +35 -11
lines
Diff to previous 1.9 (colored) to selected 1.17 (colored)
Fixed a bug in nd_gr_trace(). Added bload/bsave functions for DPM object.
Revision 1.9 / (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.8: +181 -31
lines
Diff to previous 1.8 (colored) to selected 1.17 (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.8 / (download) - annotate - [select for diffs], Mon Mar 18 10:30:41 2019 UTC (5 years, 7 months ago) by noro
Branch: MAIN
Changes since 1.7: +16 -8
lines
Diff to previous 1.7 (colored) to selected 1.17 (colored)
Refined the output of dp_monomial_hilbert_poincare(). It returns [hnum(t),n,array,hpoly(n)] where HilbertPoincareSeries = hnum/(1-t)^n, HF(i)=array(i) for i=0,...,l-1 (l=length(array)), HF(i)=hpoly(i) for i>=l, and HF(l-1)!=hpoly(l-1).
Revision 1.7 / (download) - annotate - [select for diffs], Mon Mar 18 07:09:58 2019 UTC (5 years, 7 months ago) by noro
Branch: MAIN
Changes since 1.6: +1 -168
lines
Diff to previous 1.6 (colored) to selected 1.17 (colored)
Removed unnecessary codes.
Revision 1.6 / (download) - annotate - [select for diffs], Mon Mar 18 07:00:33 2019 UTC (5 years, 7 months ago) by noro
Branch: MAIN
Changes since 1.5: +35 -25
lines
Diff to previous 1.5 (colored) to selected 1.17 (colored)
Fixed a bug in mhp_to_hf().
Revision 1.5 / (download) - annotate - [select for diffs], Wed Mar 13 08:01:05 2019 UTC (5 years, 7 months ago) by noro
Branch: MAIN
Changes since 1.4: +95 -68
lines
Diff to previous 1.4 (colored) to selected 1.17 (colored)
Fixed bugs in functions related to computation of Hilbert function.
Revision 1.4 / (download) - annotate - [select for diffs], Mon Nov 12 07:59:33 2018 UTC (5 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.3: +90 -8
lines
Diff to previous 1.3 (colored) to selected 1.17 (colored)
dp_monomial_hilbert_poincare() returns [HP,S,HFArray,HPoly,Den] if an option hf=1 is given. In the output, HFArray=[HF(0) ... HF(d-1)], HPoly/Den is the Hilbert polynomial and HF(n)=HPoly(n)/Den for n>=d. Added ibin(n,k) for computing nCk.
Revision 1.3 / (download) - annotate - [select for diffs], Mon Nov 12 04:25:13 2018 UTC (5 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.2: +358 -1
lines
Diff to previous 1.2 (colored) to selected 1.17 (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.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: +90 -90
lines
Diff to previous 1.1 (colored) to selected 1.17 (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.17 (colored)
Added asir2018 for implementing full-gmp asir.