Powered by Apache

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

[BACK] 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, 3 months ago) by noro
Branch: MAIN
CVS Tags: HEAD
Changes since 1.31: +102 -10 lines
Diff to previous 1.31 (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 (3 years ago) by noro
Branch: MAIN
Changes since 1.30: +108 -13 lines
Diff to previous 1.30 (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, 9 months ago) by noro
Branch: MAIN
Changes since 1.29: +44 -4 lines
Diff to previous 1.29 (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, 9 months ago) by noro
Branch: MAIN
Changes since 1.28: +89 -14 lines
Diff to previous 1.28 (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, 10 months ago) by noro
Branch: MAIN
Changes since 1.27: +4 -2 lines
Diff to previous 1.27 (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, 11 months ago) by noro
Branch: MAIN
Changes since 1.26: +47 -1 lines
Diff to previous 1.26 (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, 2 months ago) by noro
Branch: MAIN
Changes since 1.25: +18 -2 lines
Diff to previous 1.25 (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, 5 months ago) by noro
Branch: MAIN
Changes since 1.24: +48 -4 lines
Diff to previous 1.24 (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, 6 months ago) by noro
Branch: MAIN
Changes since 1.23: +48 -1 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], Tue Feb 11 01:43:57 2020 UTC (4 years, 10 months ago) by noro
Branch: MAIN
Changes since 1.22: +20 -8 lines
Diff to previous 1.22 (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, 11 months ago) by noro
Branch: MAIN
Changes since 1.21: +2 -2 lines
Diff to previous 1.21 (colored)

Resolved error caused by duplicate symbols.

Revision 1.21 / (download) - annotate - [select for diffs], Fri Dec 27 08:13:59 2019 UTC (5 years ago) by noro
Branch: MAIN
Changes since 1.20: +40 -8 lines
Diff to previous 1.20 (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 (5 years ago) by noro
Branch: MAIN
Changes since 1.19: +28 -4 lines
Diff to previous 1.19 (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 (5 years, 1 month ago) by noro
Branch: MAIN
Changes since 1.18: +55 -2 lines
Diff to previous 1.18 (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 (5 years, 1 month 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 - [select for diffs], Tue Nov 12 07:47:45 2019 UTC (5 years, 1 month 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, 2 months ago) by noro
Branch: MAIN
Changes since 1.15: +34 -7 lines
Diff to previous 1.15 (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, 3 months ago) by noro
Branch: MAIN
Changes since 1.14: +18 -8 lines
Diff to previous 1.14 (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, 3 months ago) by noro
Branch: MAIN
Changes since 1.13: +10 -5 lines
Diff to previous 1.13 (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, 3 months ago) by noro
Branch: MAIN
Changes since 1.12: +15 -5 lines
Diff to previous 1.12 (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, 3 months ago) by noro
Branch: MAIN
Changes since 1.11: +18 -2 lines
Diff to previous 1.11 (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, 3 months ago) by noro
Branch: MAIN
Changes since 1.10: +78 -43 lines
Diff to previous 1.10 (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, 4 months ago) by noro
Branch: MAIN
Changes since 1.9: +35 -11 lines
Diff to previous 1.9 (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, 4 months ago) by noro
Branch: MAIN
Changes since 1.8: +181 -31 lines
Diff to previous 1.8 (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, 9 months ago) by noro
Branch: MAIN
Changes since 1.7: +16 -8 lines
Diff to previous 1.7 (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, 9 months ago) by noro
Branch: MAIN
Changes since 1.6: +1 -168 lines
Diff to previous 1.6 (colored)

Removed unnecessary codes.

Revision 1.6 / (download) - annotate - [select for diffs], Mon Mar 18 07:00:33 2019 UTC (5 years, 9 months ago) by noro
Branch: MAIN
Changes since 1.5: +35 -25 lines
Diff to previous 1.5 (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, 9 months ago) by noro
Branch: MAIN
Changes since 1.4: +95 -68 lines
Diff to previous 1.4 (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 (6 years, 1 month ago) by noro
Branch: MAIN
Changes since 1.3: +90 -8 lines
Diff to previous 1.3 (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 (6 years, 1 month ago) by noro
Branch: MAIN
Changes since 1.2: +358 -1 lines
Diff to previous 1.2 (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, 3 months ago) by noro
Branch: MAIN
Changes since 1.1: +90 -90 lines
Diff to previous 1.1 (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, 3 months ago) by noro
Branch: MAIN

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.




FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>