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

Up to [local] / OpenXM_contrib2 / asir2000 / builtin

Request diff between arbitrary revisions

Default branch: MAIN

Revision 1.67 / (download) - annotate - [select for diffs], Thu Mar 29 01:32:50 2018 UTC (6 years, 9 months ago) by noro
Branch: MAIN
CVS Tags: HEAD
Changes since 1.66: +2853 -2853 lines
Diff to previous 1.66 (colored)

Changed a tab to two space charaters.

Revision 1.66 / (download) - annotate - [select for diffs], Thu Aug 31 02:36:20 2017 UTC (7 years, 3 months ago) by noro
Branch: MAIN
Changes since 1.65: +409 -50 lines
Diff to previous 1.65 (colored)

DP object now accepts general data type as coefficients.
Added DPM (element of a free module) and several related functions:
dpm_ltod, dpm_dtol, dpm_ht, dpm_hm, dpm_hc, dpm_nf, dpm_weyl_nf etc.
A monomial of DPM is represented as <<d0,d1,...:k>>, which
represents x0^d0*x1^d1*...*ek (ek is the k-th standard base of k[X]^n).

Revision 1.65 / (download) - annotate - [select for diffs], Mon Mar 27 09:05:46 2017 UTC (7 years, 9 months ago) by noro
Branch: MAIN
Changes since 1.64: +20 -4 lines
Diff to previous 1.64 (colored)

Fixed a bug in dp_mbase(): dp_mbase now checks whether input is
zero-dimensional and it returns [] if input is the trivial ideal [1].
nd_gr, nd_f4 etc. accept the same order specicications as dp_gr_main.

Revision 1.64 / (download) - annotate - [select for diffs], Thu Mar 31 08:43:25 2016 UTC (8 years, 8 months ago) by noro
Branch: MAIN
Changes since 1.63: +1 -56 lines
Diff to previous 1.63 (colored)

Added dp_true_nf_and_quotient, dp_true_nf_and_quotient_mod,
      dp_weyl_true_nf_and_quotient_marked, dp_weyl_true_nf_and_quotient_marked_mod,
      dp_weyl_true_nf_and_quotient, dp_weyl_true_nf_and_quotient_mod.

Revision 1.63 / (download) - annotate - [select for diffs], Thu Mar 31 07:33:32 2016 UTC (8 years, 8 months ago) by noro
Branch: MAIN
Changes since 1.62: +56 -1 lines
Diff to previous 1.62 (colored)

Corrected traditional style argument declaration.

Revision 1.62 / (download) - annotate - [select for diffs], Thu Mar 31 01:40:10 2016 UTC (8 years, 8 months ago) by noro
Branch: MAIN
Changes since 1.61: +65 -28 lines
Diff to previous 1.61 (colored)

Implemented a new specification for module term order:
[ispot, [pw,mw], tiebreaker].
If this is specified, then
1. x^a*ei > x^b*ej if a*pw+mw[i]>b*pw+mw[j]
2. if a*pw+mw[i]>b*pw+mw[j] then
   apply POT if ispot=1 or TOP if ispot=0 with tiebreaker.
length(pw) must be equal to the number of variables.
length(mw) must be equal to the module rank.

Revision 1.61 / (download) - annotate - [select for diffs], Fri Aug 14 13:51:54 2015 UTC (9 years, 4 months ago) by fujimoto
Branch: MAIN
Changes since 1.60: +1 -7 lines
Diff to previous 1.60 (colored)

Removed unneeded 'defined(__MINGW64__)'.

Revision 1.60 / (download) - annotate - [select for diffs], Sat Aug 8 14:19:41 2015 UTC (9 years, 4 months ago) by fujimoto
Branch: MAIN
Changes since 1.59: +7 -1 lines
Diff to previous 1.59 (colored)

Added fflush(stderr) after fprintf(stderr,  ) for mingw32/mingw64.

Revision 1.59 / (download) - annotate - [select for diffs], Tue Nov 5 02:55:03 2013 UTC (11 years, 1 month ago) by noro
Branch: MAIN
CVS Tags: RELEASE_1_3_1_13b
Changes since 1.58: +3 -3 lines
Diff to previous 1.58 (colored)

Fixed inconsistent returns in various functions which make gcc abort.

Revision 1.58 / (download) - annotate - [select for diffs], Thu Jun 16 08:17:14 2011 UTC (13 years, 6 months ago) by noro
Branch: MAIN
Changes since 1.57: +5 -5 lines
Diff to previous 1.57 (colored)

0's in the arguments of mknode, mksnode and mkfnode have been changed to
NULLP (=(void *)0).

Revision 1.57 / (download) - annotate - [select for diffs], Sat May 1 02:17:49 2010 UTC (14 years, 8 months ago) by noro
Branch: MAIN
Changes since 1.56: +85 -1 lines
Diff to previous 1.56 (colored)

Added dp_mono_raddec for computing radical decomposition of a monomial ideal.

Revision 1.56 / (download) - annotate - [select for diffs], Thu Oct 15 07:08:40 2009 UTC (15 years, 2 months ago) by noro
Branch: MAIN
CVS Tags: R_1_3_1-2
Changes since 1.55: +7 -4 lines
Diff to previous 1.55 (colored)

Modified qltozl so that it accepts a vector with zero entries.

Revision 1.55 / (download) - annotate - [select for diffs], Fri Oct 9 04:02:11 2009 UTC (15 years, 2 months ago) by noro
Branch: MAIN
Changes since 1.54: +65 -8 lines
Diff to previous 1.54 (colored)

Added a builtin function dp_true_nf_marked_mod() for Groebner walk over a finite field.

Revision 1.54 / (download) - annotate - [select for diffs], Mon Jun 1 07:31:54 2009 UTC (15 years, 6 months ago) by noro
Branch: MAIN
Changes since 1.53: +8 -1 lines
Diff to previous 1.53 (colored)

*** empty log message ***

Revision 1.53 / (download) - annotate - [select for diffs], Wed Jan 7 05:33:18 2009 UTC (15 years, 11 months ago) by noro
Branch: MAIN
CVS Tags: RELEASE_1_2_3_12
Changes since 1.52: +11 -9 lines
Diff to previous 1.52 (colored)

Fixed bugs related to homogenization.

Revision 1.52 / (download) - annotate - [select for diffs], Mon Jan 5 02:14:00 2009 UTC (15 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.51: +2 -2 lines
Diff to previous 1.51 (colored)

Fixed a bug in create_order_spec().

Revision 1.51 / (download) - annotate - [select for diffs], Mon Jan 5 01:47:30 2009 UTC (15 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.50: +6 -6 lines
Diff to previous 1.50 (colored)

istop -> ispot (TOP (Term over Position) is default.)

Revision 1.50 / (download) - annotate - [select for diffs], Sun Jan 4 10:02:00 2009 UTC (15 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.49: +30 -7 lines
Diff to previous 1.49 (colored)

nd_gr_trace also accepts module inputs.

Revision 1.49 / (download) - annotate - [select for diffs], Sun Jan 4 05:44:51 2009 UTC (15 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.48: +11 -2 lines
Diff to previous 1.48 (colored)

The first version of GB computation for module by nd_gr.

Revision 1.48 / (download) - annotate - [select for diffs], Sun Oct 21 07:47:59 2007 UTC (17 years, 2 months ago) by noro
Branch: MAIN
Changes since 1.47: +90 -1 lines
Diff to previous 1.47 (colored)

Added dp_compute_last_t() for normal groebner walk.

Revision 1.47 / (download) - annotate - [select for diffs], Sun Oct 14 02:32:21 2007 UTC (17 years, 2 months ago) by noro
Branch: MAIN
Changes since 1.46: +60 -3 lines
Diff to previous 1.46 (colored)

Added a function dp_true_nf_and_quotient_marked().

Revision 1.46 / (download) - annotate - [select for diffs], Wed Sep 19 05:42:59 2007 UTC (17 years, 3 months ago) by noro
Branch: MAIN
Changes since 1.45: +28 -1 lines
Diff to previous 1.45 (colored)

Add a function dp_get_denomlist() to get the list of removed denominators
during an execution of dp_gr_main().

Revision 1.45 / (download) - annotate - [select for diffs], Sun Sep 16 09:08:25 2007 UTC (17 years, 3 months ago) by noro
Branch: MAIN
Changes since 1.44: +54 -73 lines
Diff to previous 1.44 (colored)

Modified dp_compute_essential_df().

Revision 1.44 / (download) - annotate - [select for diffs], Sat Sep 15 10:17:08 2007 UTC (17 years, 3 months ago) by noro
Branch: MAIN
Changes since 1.43: +165 -1 lines
Diff to previous 1.43 (colored)

Modified assembly language codes for Darwin.

Revision 1.43 / (download) - annotate - [select for diffs], Fri Sep 7 00:45:50 2007 UTC (17 years, 3 months ago) by noro
Branch: MAIN
Changes since 1.42: +77 -13 lines
Diff to previous 1.42 (colored)

Modified dp_compute_last_w so that it also returns in_w(G).

Revision 1.42 / (download) - annotate - [select for diffs], Thu Sep 6 02:23:40 2007 UTC (17 years, 3 months ago) by noro
Branch: MAIN
Changes since 1.41: +117 -1 lines
Diff to previous 1.41 (colored)

Added an experimental function dp_compute_last_w() for generic Groebner walk.

Revision 1.41 / (download) - annotate - [select for diffs], Tue Aug 21 23:53:00 2007 UTC (17 years, 4 months ago) by noro
Branch: MAIN
Changes since 1.40: +101 -1 lines
Diff to previous 1.40 (colored)

Added a function dp_true_nf_marked for computing a normal form
with respect to a marked GB.

Revision 1.40 / (download) - annotate - [select for diffs], Tue Dec 12 11:50:37 2006 UTC (18 years ago) by noro
Branch: MAIN
CVS Tags: DEB_REL_1_2_3-9
Changes since 1.39: +6 -2 lines
Diff to previous 1.39 (colored)

Added a heuristic content reduction when the ground field is a rational
function field.

Revision 1.39 / (download) - annotate - [select for diffs], Thu Aug 25 18:59:11 2005 UTC (19 years, 4 months ago) by ohara
Branch: MAIN
CVS Tags: KNOPPIX_2006
Changes since 1.38: +27 -1 lines
Diff to previous 1.38 (colored)

A builtin function `dp_ptozp' allows an option factor. (cf. ptozp)

Example:
[1] P=(x+1/2)*<<1>>+3;
(x+1/2)*<<1>>+(3)*<<0>>
[2] dp_ptozp(P);
(2*x+1)*<<1>>+(6)*<<0>>
[3] dp_ptozp(P|factor=1);
[(2*x+1)*<<1>>+(6)*<<0>>,1/2]

Revision 1.38 / (download) - annotate - [select for diffs], Mon Dec 6 09:29:34 2004 UTC (20 years ago) by noro
Branch: MAIN
CVS Tags: RELEASE_1_2_3
Changes since 1.37: +83 -1 lines
Diff to previous 1.37 (colored)

nd_gr and nd_gr_trace now accept polynomials over algebraic number fields
(still incomplete).

Revision 1.37 / (download) - annotate - [select for diffs], Wed Sep 15 06:06:42 2004 UTC (20 years, 3 months ago) by noro
Branch: MAIN
Changes since 1.36: +21 -4 lines
Diff to previous 1.36 (colored)

Removed unnecessary arguments.
Added a ctrl switch 'show_orderspec'.

Revision 1.36 / (download) - annotate - [select for diffs], Fri May 14 09:20:56 2004 UTC (20 years, 7 months ago) by noro
Branch: MAIN
Changes since 1.35: +1 -2 lines
Diff to previous 1.35 (colored)

Modified the treatment of option.
It is set in a variable 'current_option'.
dp_ptod accepts options.

Revision 1.35 / (download) - annotate - [select for diffs], Fri May 14 06:02:54 2004 UTC (20 years, 7 months ago) by noro
Branch: MAIN
Changes since 1.34: +69 -1 lines
Diff to previous 1.34 (colored)

Added a new datatype DPV (=an element of free module).
Converter : dp_ltod([p1,p2,...]) -> modvect(dp1,dp2,...)
Ordering : dpv_ord(id) or dpv_ord(id,w)
       id : 0 or 1 or 2. w : a degree shift vector.
  id=0  => compare weight (with w) then compare pos
		  (the one with the largest pos is taken)
  id=1  => compare weight (with w) then compare pos
		  (the one with the smallest pos is taken)
  id=2  => the one with the smallest pos is taken
Functions : dpv_ht, dpv_hm, dpv_hc
  [pos,monomial or number] is returned.

Revision 1.34 / (download) - annotate - [select for diffs], Thu Apr 22 07:52:38 2004 UTC (20 years, 8 months ago) by noro
Branch: MAIN
Changes since 1.33: +10 -7 lines
Diff to previous 1.33 (colored)

Fixed bugs in dp_inital_term and dp_order.

Revision 1.33 / (download) - annotate - [select for diffs], Thu Apr 15 08:44:15 2004 UTC (20 years, 8 months ago) by noro
Branch: MAIN
Changes since 1.32: +3 -1 lines
Diff to previous 1.32 (colored)

Fixed bugs in dp_inital_term and dp_order.

Revision 1.32 / (download) - annotate - [select for diffs], Thu Apr 15 08:14:13 2004 UTC (20 years, 8 months ago) by noro
Branch: MAIN
Changes since 1.31: +158 -1 lines
Diff to previous 1.31 (colored)

Added the following functions (only work for DP input; not sorted
according to the specified orderings) :
dp_initial_term(DPorDPlist|order=...)
dp_order(DPorDPlist|order=...)

dp_weyl_gr_main() now realizes options (I hope...).

Revision 1.31 / (download) - annotate - [select for diffs], Tue Mar 9 09:40:46 2004 UTC (20 years, 9 months ago) by noro
Branch: MAIN
CVS Tags: RELEASE_1_2_2_KNOPPIX_b
Changes since 1.30: +43 -1 lines
Diff to previous 1.30 (colored)

homo=1 is now available for composite order specification.

Revision 1.30 / (download) - annotate - [select for diffs], Fri Mar 5 02:26:52 2004 UTC (20 years, 9 months ago) by noro
Branch: MAIN
CVS Tags: RELEASE_1_2_2_KNOPPIX
Changes since 1.29: +18 -5 lines
Diff to previous 1.29 (colored)

Added error checks in create_composite_orderspec.

Revision 1.29 / (download) - annotate - [select for diffs], Mon Feb 9 08:23:29 2004 UTC (20 years, 10 months ago) by noro
Branch: MAIN
Changes since 1.28: +77 -14 lines
Diff to previous 1.28 (colored)

Added a function range(x,y), which generates a RANGE object.

Revision 1.28 / (download) - annotate - [select for diffs], Thu Feb 5 08:28:53 2004 UTC (20 years, 10 months ago) by noro
Branch: MAIN
Changes since 1.27: +80 -10 lines
Diff to previous 1.27 (colored)

Added a new order type (composite order).

Revision 1.27 / (download) - annotate - [select for diffs], Tue Feb 3 23:31:57 2004 UTC (20 years, 10 months ago) by noro
Branch: MAIN
Changes since 1.26: +73 -3 lines
Diff to previous 1.26 (colored)

EXPERIMENTAL: adding new feature in specifying various options to
dp_***.

Revision 1.26 / (download) - annotate - [select for diffs], Thu Nov 27 07:53:53 2003 UTC (21 years, 1 month ago) by noro
Branch: MAIN
Changes since 1.25: +36 -1 lines
Diff to previous 1.25 (colored)

Added dp_sort(P).

Revision 1.25 / (download) - annotate - [select for diffs], Sat Jan 18 02:38:56 2003 UTC (21 years, 11 months ago) by noro
Branch: MAIN
CVS Tags: RELEASE_1_2_2
Changes since 1.24: +27 -4 lines
Diff to previous 1.24 (colored)

Output of GB over SF is normalized. (leading coeff of head coeff is 1.)

Revision 1.24 / (download) - annotate - [select for diffs], Wed Jan 15 04:53:03 2003 UTC (21 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.23: +22 -1 lines
Diff to previous 1.23 (colored)

Added a function dp_nf_tab_f().

Revision 1.23 / (download) - annotate - [select for diffs], Sat Jan 4 09:06:15 2003 UTC (21 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.22: +25 -22 lines
Diff to previous 1.22 (colored)

Modified groebner basis related functions for implementing prime decomposition
over finite fields.

Revision 1.22 / (download) - annotate - [select for diffs], Fri Dec 27 07:37:57 2002 UTC (22 years ago) by noro
Branch: MAIN
Changes since 1.21: +43 -3 lines
Diff to previous 1.21 (colored)

Added content reduction in dp_gr_f_main() (experimental).

Revision 1.21 / (download) - annotate - [select for diffs], Mon Jan 28 00:54:41 2002 UTC (22 years, 11 months ago) by noro
Branch: MAIN
CVS Tags: RELEASE_1_2_1
Changes since 1.20: +14 -11 lines
Diff to previous 1.20 (colored)

Added setting of weight in Groebner basis computation.
dp_set_weight(Vector) sets a weight vector.
dp_set_weight(0) clears the current setting.

Revision 1.20 / (download) - annotate - [select for diffs], Tue Oct 9 01:36:05 2001 UTC (23 years, 2 months ago) by noro
Branch: MAIN
Changes since 1.19: +58 -194 lines
Diff to previous 1.19 (colored)

Conversion to ANSI style (not completed yet).

Revision 1.19 / (download) - annotate - [select for diffs], Wed Sep 19 09:10:34 2001 UTC (23 years, 3 months ago) by noro
Branch: MAIN
Changes since 1.18: +3 -2 lines
Diff to previous 1.18 (colored)

Fixed a bug in _dp_red_mod_destructive().

Revision 1.18 / (download) - annotate - [select for diffs], Mon Sep 17 10:32:40 2001 UTC (23 years, 3 months ago) by noro
Branch: MAIN
Changes since 1.17: +3 -3 lines
Diff to previous 1.17 (colored)

Suppressed the ugly warning message about MAX and MIN.

Revision 1.17 / (download) - annotate - [select for diffs], Mon Sep 17 02:58:27 2001 UTC (23 years, 3 months ago) by noro
Branch: MAIN
Changes since 1.16: +2 -3 lines
Diff to previous 1.16 (colored)

Removed broken codes.

Revision 1.16 / (download) - annotate - [select for diffs], Mon Sep 17 01:18:34 2001 UTC (23 years, 3 months ago) by noro
Branch: MAIN
Changes since 1.15: +37 -4 lines
Diff to previous 1.15 (colored)

Implemented lazy simplification in F4 Gaussian elimination.

Revision 1.15 / (download) - annotate - [select for diffs], Tue Sep 11 08:56:47 2001 UTC (23 years, 3 months ago) by noro
Branch: MAIN
Changes since 1.14: +20 -1 lines
Diff to previous 1.14 (colored)

Still trying to improve F4...

Revision 1.14 / (download) - annotate - [select for diffs], Tue Sep 11 03:13:42 2001 UTC (23 years, 3 months ago) by noro
Branch: MAIN
Changes since 1.13: +56 -1 lines
Diff to previous 1.13 (colored)

Added destructive routines for distributed polynomial computation.
(Not used yet.)

Revision 1.13 / (download) - annotate - [select for diffs], Tue Sep 4 08:48:18 2001 UTC (23 years, 3 months ago) by noro
Branch: MAIN
Changes since 1.12: +131 -17 lines
Diff to previous 1.12 (colored)

Restructured dp_* functions.

1. Use of dp_gr_main, dp_nf is restricted to integral coefficient cases.
2. New generic functions dp_gr_f_main, dp_gr_f is added, which use field
   operations.
3. dp_lnf_f, reduction by linear base over a field is added.

Revision 1.12 / (download) - annotate - [select for diffs], Wed Feb 21 07:10:17 2001 UTC (23 years, 10 months ago) by noro
Branch: MAIN
Changes since 1.11: +18 -4 lines
Diff to previous 1.11 (colored)

Added and several functions to handle polynomials over GF(p^n) correctly.

Revision 1.11 / (download) - annotate - [select for diffs], Wed Dec 13 05:37:29 2000 UTC (24 years ago) by noro
Branch: MAIN
Changes since 1.10: +2 -2 lines
Diff to previous 1.10 (colored)

Fixed several bugs around normal form computation in Weyl algebra.
Improved b-function computation (there may be bugs.)

Revision 1.10 / (download) - annotate - [select for diffs], Mon Dec 11 02:00:40 2000 UTC (24 years ago) by noro
Branch: MAIN
Changes since 1.9: +6 -1 lines
Diff to previous 1.9 (colored)

Defined a new monomial ordering. (ord=10 : 'reverse elimination order')
Modified 'lib/bfct' as follows.

1. bfct() now uses the trace lifting.
2. The Groebner basis check is replaced by another Groebner basis computation.
   (See Algorithm 11.25 in the text book in OpenXM/doc/compalg.)

Revision 1.9 / (download) - annotate - [select for diffs], Fri Dec 8 08:26:08 2000 UTC (24 years ago) by noro
Branch: MAIN
Changes since 1.8: +2 -2 lines
Diff to previous 1.8 (colored)

Added several functions for Weyl algebra computation.

dp_weyl_gr_main() dp_weyl_gr_mod_main()
dp_weyl_f4_main() dp_weyl_f4_mod_main()
dp_weyl_sp()
dp_weyl_red()
dp_weyl_nf()

The usages are the same as function without 'weyl'.
'do_weyl' flag for ctrl() has been removed.

Revision 1.8 / (download) - annotate - [select for diffs], Fri Dec 8 06:43:09 2000 UTC (24 years ago) by noro
Branch: MAIN
Changes since 1.7: +21 -8 lines
Diff to previous 1.7 (colored)

Restored _dp_nf(), which is still necessary for computation over Q(X).

Revision 1.7 / (download) - annotate - [select for diffs], Fri Dec 8 02:39:04 2000 UTC (24 years ago) by noro
Branch: MAIN
Changes since 1.6: +728 -806 lines
Diff to previous 1.6 (colored)

Several fucntions related to normal form computation have been merged.

Revision 1.6 / (download) - annotate - [select for diffs], Tue Dec 5 08:29:43 2000 UTC (24 years ago) by noro
Branch: MAIN
Changes since 1.5: +30 -1 lines
Diff to previous 1.5 (colored)

Private memory management was dangerous in F4.

Revision 1.5 / (download) - annotate - [select for diffs], Tue Dec 5 06:59:15 2000 UTC (24 years ago) by noro
Branch: MAIN
Changes since 1.4: +1095 -329 lines
Diff to previous 1.4 (colored)

Files related to distributed polynomial computation are now being
restructured.

Revision 1.4 / (download) - annotate - [select for diffs], Tue Dec 5 01:24:49 2000 UTC (24 years ago) by noro
Branch: MAIN
Changes since 1.3: +1 -192 lines
Diff to previous 1.3 (colored)

Removed ugly '#if defined(THINK_C)'.

Revision 1.3 / (download) - annotate - [select for diffs], Tue Aug 22 05:03:57 2000 UTC (24 years, 4 months ago) by noro
Branch: MAIN
CVS Tags: maekawa-ipv6, STABLE_1_1_3, RELEASE_1_1_3
Changes since 1.2: +2 -2 lines
Diff to previous 1.2 (colored)

Sorry, the email address in the license agreement was incorrect.

Revision 1.2 / (download) - annotate - [select for diffs], Mon Aug 21 08:31:19 2000 UTC (24 years, 4 months ago) by noro
Branch: MAIN
Changes since 1.1: +49 -1 lines
Diff to previous 1.1 (colored)

Added copyright notice and license agreement. It is mandatory to distribute
Risa/Asir source codes freely.

Revision 1.1.1.1 / (download) - annotate - [select for diffs] (vendor branch), Fri Dec 3 07:39:07 1999 UTC (25 years, 1 month ago) by noro
Branch: NORO
CVS Tags: RELEASE_20000124, RELEASE_1_1_2, ASIR2000
Changes since 1.1: +0 -0 lines
Diff to previous 1.1 (colored)

Imported asir2000 as OpenXM_contrib2/asir2000.

Revision 1.1 / (download) - annotate - [select for diffs], Fri Dec 3 07:39:07 1999 UTC (25 years, 1 month ago) by noro
Branch: MAIN

Initial revision

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.