Powered by Apache

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

[BACK] Up to [local] / OpenXM_contrib2 / asir2000 / builtin

Request diff between arbitrary revisions

Default branch: MAIN

Revision 1.111 / (download) - annotate - [select for diffs], Wed Mar 24 18:28:07 2021 UTC (3 years, 1 month ago) by ohara
Branch: MAIN
CVS Tags: HEAD
Changes since 1.110: +2 -2 lines
Diff to previous 1.110 (unified) 

Fixed multiple definition for some variables.

Revision 1.110 / (download) - annotate - [select for diffs], Sun Oct 4 03:14:07 2020 UTC (3 years, 6 months ago) by noro
Branch: MAIN
Changes since 1.109: +11 -1 lines
Diff to previous 1.109 (unified) 

Added function prototypes.

Revision 1.109 / (download) - annotate - [select for diffs], Sat Jul 28 00:45:54 2018 UTC (5 years, 9 months ago) by noro
Branch: MAIN
Changes since 1.108: +11 -2 lines
Diff to previous 1.108 (unified) 

nd_btog() accepts any prime as a characteristic.

Revision 1.108 / (download) - annotate - [select for diffs], Thu Mar 29 01:32:50 2018 UTC (6 years, 1 month ago) by noro
Branch: MAIN
Changes since 1.107: +2371 -2371 lines
Diff to previous 1.107 (unified) 

Changed a tab to two space charaters.

Revision 1.107 / (download) - annotate - [select for diffs], Thu Sep 14 01:34:53 2017 UTC (6 years, 7 months ago) by noro
Branch: MAIN
Changes since 1.106: +2 -2 lines
Diff to previous 1.106 (unified) 

Improved the efficiency of triangularization in nd_f4 when the modulus p
is large (p < 2^31).

Revision 1.106 / (download) - annotate - [select for diffs], Wed Sep 6 06:25:26 2017 UTC (6 years, 7 months ago) by noro
Branch: MAIN
Changes since 1.105: +3 -2 lines
Diff to previous 1.105 (unified) 

Improved arithmetic functions for MQ (small finite field).
ptomp(P) now uses current_mod set by setmod().

Revision 1.105 / (download) - annotate - [select for diffs], Thu Aug 31 02:36:20 2017 UTC (6 years, 8 months ago) by noro
Branch: MAIN
Changes since 1.104: +260 -18 lines
Diff to previous 1.104 (unified) 

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.104 / (download) - annotate - [select for diffs], Mon Mar 27 09:35:13 2017 UTC (7 years, 1 month ago) by noro
Branch: MAIN
Changes since 1.103: +3 -1 lines
Diff to previous 1.103 (unified) 

nd_gr and nd_f4 accept an option dp=1 correctly.

Revision 1.103 / (download) - annotate - [select for diffs], Mon Mar 27 09:05:46 2017 UTC (7 years, 1 month ago) by noro
Branch: MAIN
Changes since 1.102: +158 -103 lines
Diff to previous 1.102 (unified) 

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.102 / (download) - annotate - [select for diffs], Tue Feb 28 07:06:28 2017 UTC (7 years, 2 months ago) by noro
Branch: MAIN
Changes since 1.101: +13 -4 lines
Diff to previous 1.101 (unified) 

Fixed bugs related to computation over large finite fields.
Asir now does not call alloca().

Revision 1.101 / (download) - annotate - [select for diffs], Mon Feb 27 05:21:19 2017 UTC (7 years, 2 months ago) by noro
Branch: MAIN
Changes since 1.100: +5 -3 lines
Diff to previous 1.100 (unified) 

Fixed a bug in Pnd_gr and Pnd_f4.

Revision 1.100 / (download) - annotate - [select for diffs], Mon Feb 27 05:14:53 2017 UTC (7 years, 2 months ago) by noro
Branch: MAIN
Changes since 1.99: +17 -3 lines
Diff to previous 1.99 (unified) 

nd_{gr,f4}(B,V,P,O) accepts large prime P:
If P>=2^30 then the computation is done over a large finite field GF(P) (slow).
If P<2^30 then it is done over a small finite field GF(P) (fast).
Fixed a performance bug in modfctr().

Revision 1.99 / (download) - annotate - [select for diffs], Fri Dec 2 02:12:00 2016 UTC (7 years, 5 months ago) by noro
Branch: MAIN
Changes since 1.98: +9 -1 lines
Diff to previous 1.98 (unified) 

nd_gr, nd_f4 partially support computation with a (sugar) weight with
negative components.

Revision 1.98 / (download) - annotate - [select for diffs], Thu Mar 31 08:43:25 2016 UTC (8 years, 1 month ago) by noro
Branch: MAIN
Changes since 1.97: +108 -35 lines
Diff to previous 1.97 (unified) 

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.97 / (download) - annotate - [select for diffs], Thu Mar 31 07:33:32 2016 UTC (8 years, 1 month ago) by noro
Branch: MAIN
Changes since 1.96: +140 -306 lines
Diff to previous 1.96 (unified) 

Corrected traditional style argument declaration.

Revision 1.96 / (download) - annotate - [select for diffs], Thu Sep 24 04:43:12 2015 UTC (8 years, 7 months ago) by noro
Branch: MAIN
Changes since 1.95: +15 -2 lines
Diff to previous 1.95 (unified) 

Added dp_weyl_act(): dp_weyl_act(a<<1,2>>+...,<<3,4>>)=36<<2,2>>+... etc.
substr2np accepts substr2np(P,[v1,...],[a1,...]).

Revision 1.95 / (download) - annotate - [select for diffs], Mon Jan 26 13:48:31 2015 UTC (9 years, 3 months ago) by noro
Branch: MAIN
Changes since 1.94: +247 -2 lines
Diff to previous 1.94 (unified) 

Added several functions sumi_... related to a master thesis project.

Revision 1.94 / (download) - annotate - [select for diffs], Tue Jan 13 00:54:54 2015 UTC (9 years, 3 months ago) by noro
Branch: MAIN
Changes since 1.93: +115 -1 lines
Diff to previous 1.93 (unified) 

1. Added dp_symb_add(A,B) which execute the symbolic addition of two distributed
   polynomials necessary for symbolic preprocessing in F4.
2. nd_f4(B,V,2,Ord|rref2=1) computes rref over GF(2) by bit operations.

Revision 1.93 / (download) - annotate - [select for diffs], Fri Oct 10 09:02:24 2014 UTC (9 years, 6 months ago) by noro
Branch: MAIN
Changes since 1.92: +3 -4 lines
Diff to previous 1.92 (unified) 

Fixed a bug related to dp_set_top_weight().

Revision 1.92 / (download) - annotate - [select for diffs], Tue Aug 19 06:35:01 2014 UTC (9 years, 8 months ago) by noro
Branch: MAIN
CVS Tags: RELEASE_1_3_1_13b
Changes since 1.91: +32 -25 lines
Diff to previous 1.91 (unified) 

dp_set_top_weight() now accepts a matrix with non-negative integer elements.
(experimental)

Revision 1.91 / (download) - annotate - [select for diffs], Thu Sep 12 06:46:16 2013 UTC (10 years, 7 months ago) by noro
Branch: MAIN
Changes since 1.90: +1 -5 lines
Diff to previous 1.90 (unified) 

Recovered nd_gr_recompute_trace().

Revision 1.90 / (download) - annotate - [select for diffs], Mon Sep 9 09:47:09 2013 UTC (10 years, 7 months ago) by noro
Branch: MAIN
Changes since 1.89: +15 -5 lines
Diff to previous 1.89 (unified) 

Improved the performace of nd_btog().

Revision 1.89 / (download) - annotate - [select for diffs], Mon Sep 9 07:29:25 2013 UTC (10 years, 7 months ago) by noro
Branch: MAIN
Changes since 1.88: +26 -2 lines
Diff to previous 1.88 (unified) 

Added experimental functions for a lifting generating relation for
an element of an ideal.

Revision 1.88 / (download) - annotate - [select for diffs], Fri Jun 14 04:47:17 2013 UTC (10 years, 10 months ago) by ohara
Branch: MAIN
Changes since 1.87: +2 -1 lines
Diff to previous 1.87 (unified) 

Add some declarations.

Revision 1.87 / (download) - annotate - [select for diffs], Mon Aug 27 05:38:00 2012 UTC (11 years, 8 months ago) by noro
Branch: MAIN
Changes since 1.86: +19 -13 lines
Diff to previous 1.86 (unified) 

Added option "dp=1" to nd_gr and nd_f4.

Revision 1.86 / (download) - annotate - [select for diffs], Tue Apr 10 07:15:07 2012 UTC (12 years ago) by noro
Branch: MAIN
Changes since 1.85: +22 -1 lines
Diff to previous 1.85 (unified) 

Added a function nd_gr_recompute_trace for computing
GB candidates by using a trace.

Revision 1.85 / (download) - annotate - [select for diffs], Wed Mar 30 02:43:18 2011 UTC (13 years, 1 month ago) by noro
Branch: MAIN
Changes since 1.84: +13 -3 lines
Diff to previous 1.84 (unified) 

1. get_function_name() now returns the function name.
2. Added a function remove_vars() for removing indeterminates from
   the global indeterminate list.
3. Modified adddl() so that it can handle monomials of non-positive weights
   correctly.

Revision 1.84 / (download) - annotate - [select for diffs], Fri Feb 18 02:54:48 2011 UTC (13 years, 2 months ago) by noro
Branch: MAIN
Changes since 1.83: +26 -1 lines
Diff to previous 1.83 (unified) 

Added an option intersect to nd_gr for computing a generating set of
the intersection of two ideals, which is not necessarily a GB.

Added a function dp_mono_reduce, which is a sub-routine for computing
the radical decomposition of a monomial ideal.

Revision 1.83 / (download) - annotate - [select for diffs], Mon Sep 27 05:05:58 2010 UTC (13 years, 7 months ago) by noro
Branch: MAIN
Changes since 1.82: +26 -8 lines
Diff to previous 1.82 (unified) 

nd_nf(F,GB,V,Ord,Char) and nd_weyl_nf(F,GB,V,Ord,Char) compute
a const times (the remainder modulo GB) for ideals and sumbodules.

Revision 1.82 / (download) - annotate - [select for diffs], Sat May 1 02:17:49 2010 UTC (14 years ago) by noro
Branch: MAIN
Changes since 1.81: +44 -1 lines
Diff to previous 1.81 (unified) 

Added dp_mono_raddec for computing radical decomposition of a monomial ideal.

Revision 1.81 / (download) - annotate - [select for diffs], Fri Apr 16 07:13:42 2010 UTC (14 years ago) by noro
Branch: MAIN
Changes since 1.80: +32 -7 lines
Diff to previous 1.80 (unified) 

*** empty log message ***

Revision 1.80 / (download) - annotate - [select for diffs], Tue Jan 19 06:17:22 2010 UTC (14 years, 3 months ago) by noro
Branch: MAIN
CVS Tags: R_1_3_1-2
Changes since 1.79: +33 -4 lines
Diff to previous 1.79 (unified) 

Fixed a bug concerned with the do_weyl flag.

Revision 1.79 / (download) - annotate - [select for diffs], Fri Oct 9 04:02:11 2009 UTC (14 years, 6 months ago) by noro
Branch: MAIN
Changes since 1.78: +37 -2 lines
Diff to previous 1.78 (unified) 

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

Revision 1.78 / (download) - annotate - [select for diffs], Wed Sep 9 08:13:24 2009 UTC (14 years, 7 months ago) by noro
Branch: MAIN
Changes since 1.77: +6 -2 lines
Diff to previous 1.77 (unified) 

*** empty log message ***

Revision 1.77 / (download) - annotate - [select for diffs], Mon Jan 5 02:08:17 2009 UTC (15 years, 4 months ago) by noro
Branch: MAIN
CVS Tags: RELEASE_1_2_3_12
Changes since 1.76: +41 -2 lines
Diff to previous 1.76 (unified) 

Added dp_set_module_weight().

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

The first version of GB computation for module by nd_gr.

Revision 1.75 / (download) - annotate - [select for diffs], Sun Jan 6 00:36:32 2008 UTC (16 years, 4 months ago) by noro
Branch: MAIN
Changes since 1.74: +26 -2 lines
Diff to previous 1.74 (unified) 

Added nd_weyl_gr_postproc().

Revision 1.74 / (download) - annotate - [select for diffs], Sun Oct 21 07:47:59 2007 UTC (16 years, 6 months ago) by noro
Branch: MAIN
Changes since 1.73: +24 -3 lines
Diff to previous 1.73 (unified) 

Added dp_compute_last_t() for normal groebner walk.

Revision 1.73 / (download) - annotate - [select for diffs], Sun Oct 14 02:32:21 2007 UTC (16 years, 6 months ago) by noro
Branch: MAIN
Changes since 1.72: +35 -1 lines
Diff to previous 1.72 (unified) 

Added a function dp_true_nf_and_quotient_marked().

Revision 1.72 / (download) - annotate - [select for diffs], Wed Sep 19 05:42:59 2007 UTC (16 years, 7 months ago) by noro
Branch: MAIN
Changes since 1.71: +11 -1 lines
Diff to previous 1.71 (unified) 

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

Revision 1.71 / (download) - annotate - [select for diffs], Mon Sep 17 12:47:45 2007 UTC (16 years, 7 months ago) by noro
Branch: MAIN
Changes since 1.70: +44 -2 lines
Diff to previous 1.70 (unified) 

Added an experimental order specification with arbitrary weight vector.
The ordering is set by calling dp_set_top_weight() followed by dp_ord().

Revision 1.70 / (download) - annotate - [select for diffs], Sat Sep 15 10:17:08 2007 UTC (16 years, 7 months ago) by noro
Branch: MAIN
Changes since 1.69: +48 -2 lines
Diff to previous 1.69 (unified) 

Modified assembly language codes for Darwin.

Revision 1.69 / (download) - annotate - [select for diffs], Fri Sep 7 00:45:50 2007 UTC (16 years, 8 months ago) by noro
Branch: MAIN
Changes since 1.68: +5 -5 lines
Diff to previous 1.68 (unified) 

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

Revision 1.68 / (download) - annotate - [select for diffs], Thu Sep 6 02:23:40 2007 UTC (16 years, 8 months ago) by noro
Branch: MAIN
Changes since 1.67: +48 -3 lines
Diff to previous 1.67 (unified) 

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

Revision 1.67 / (download) - annotate - [select for diffs], Tue Aug 21 23:53:00 2007 UTC (16 years, 8 months ago) by noro
Branch: MAIN
Changes since 1.66: +32 -2 lines
Diff to previous 1.66 (unified) 

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

Revision 1.66 / (download) - annotate - [select for diffs], Thu Oct 26 10:49:16 2006 UTC (17 years, 6 months ago) by noro
Branch: MAIN
CVS Tags: DEB_REL_1_2_3-9
Changes since 1.65: +29 -1 lines
Diff to previous 1.65 (unified) 

Added dp_inv_or_split(GB,F,Ord), which computes inverse of F if F is
invertible, or additinal GB elements for GB(I:F). GB and F should be
represented by DP.

Revision 1.65 / (download) - annotate - [select for diffs], Thu Oct 12 08:20:37 2006 UTC (17 years, 6 months ago) by noro
Branch: MAIN
Changes since 1.64: +2 -2 lines
Diff to previous 1.64 (unified) 

Fixed a bug in Pnd_weyl_gr_trace().

Revision 1.64 / (download) - annotate - [select for diffs], Tue Jun 13 04:13:26 2006 UTC (17 years, 10 months ago) by noro
Branch: MAIN
Changes since 1.63: +40 -2 lines
Diff to previous 1.63 (unified) 

Added homogenize(Poly,Vars,Hvar) which homogenizes Poly with the
homogenizing variable Hvar.

Revision 1.63 / (download) - annotate - [select for diffs], Fri Jun 9 09:59:12 2006 UTC (17 years, 10 months ago) by noro
Branch: MAIN
Changes since 1.62: +27 -1 lines
Diff to previous 1.62 (unified) 

Added dp_interreduce(Poly,Vars,Ord), which inter-reduces the input.

Revision 1.62 / (download) - annotate - [select for diffs], Mon Jun 5 08:11:10 2006 UTC (17 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.61: +28 -3 lines
Diff to previous 1.61 (unified) 

Added a new function nd_f4_trace().

Revision 1.61 / (download) - annotate - [select for diffs], Sat Nov 12 09:43:01 2005 UTC (18 years, 5 months ago) by noro
Branch: MAIN
CVS Tags: KNOPPIX_2006
Changes since 1.60: +4 -3 lines
Diff to previous 1.60 (unified) 

Fixed a bug in Pdp_nf().

Revision 1.60 / (download) - annotate - [select for diffs], Thu Aug 25 18:59:11 2005 UTC (18 years, 8 months ago) by ohara
Branch: MAIN
Changes since 1.59: +35 -3 lines
Diff to previous 1.59 (unified) 

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.59 / (download) - annotate - [select for diffs], Wed Aug 24 06:28:39 2005 UTC (18 years, 8 months ago) by noro
Branch: MAIN
Changes since 1.58: +2 -2 lines
Diff to previous 1.58 (unified) 

Fixed a bug in substitution for Laurent poly.
Added a ctrl switch "terse" for avoiding some messages.

Revision 1.58 / (download) - annotate - [select for diffs], Wed Aug 3 05:01:00 2005 UTC (18 years, 9 months ago) by noro
Branch: MAIN
Changes since 1.57: +26 -1 lines
Diff to previous 1.57 (unified) 

Added a function nd_gr_postproc(Plist,Vlist,Mod,Ord,DoCheck).
The output is the reduced GB. If DoCheck=1, the Buchberger test
is executed.

Revision 1.57 / (download) - annotate - [select for diffs], Thu Dec 9 08:56:43 2004 UTC (19 years, 4 months ago) by noro
Branch: MAIN
CVS Tags: RELEASE_1_2_3
Changes since 1.56: +2 -2 lines
Diff to previous 1.56 (unified) 

(Almost) completed the modification of nd_gr and nd_gr_trace for
dealing algebraic number coefficient cases.

Revision 1.56 / (download) - annotate - [select for diffs], Mon Dec 6 09:29:34 2004 UTC (19 years, 5 months ago) by noro
Branch: MAIN
Changes since 1.55: +1 -9 lines
Diff to previous 1.55 (unified) 

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

Revision 1.55 / (download) - annotate - [select for diffs], Sat Dec 4 09:39:27 2004 UTC (19 years, 5 months ago) by noro
Branch: MAIN
Changes since 1.54: +9 -1 lines
Diff to previous 1.54 (unified) 

Added an experimental extension to nd_gb and nd_gb_trace for dealing with
algebraic number coefficient cases.

Revision 1.54 / (download) - annotate - [select for diffs], Mon May 31 00:38:44 2004 UTC (19 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.53: +9 -7 lines
Diff to previous 1.53 (unified) 

Fixed bugs in dp.c.
(initd(ord) should be called after parsing order options.)

Revision 1.53 / (download) - annotate - [select for diffs], Fri May 14 09:20:56 2004 UTC (19 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.52: +56 -22 lines
Diff to previous 1.52 (unified) 

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

Revision 1.52 / (download) - annotate - [select for diffs], Fri May 14 06:02:54 2004 UTC (19 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.51: +164 -8 lines
Diff to previous 1.51 (unified) 

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.51 / (download) - annotate - [select for diffs], Fri Apr 30 08:25:38 2004 UTC (20 years ago) by noro
Branch: MAIN
Changes since 1.50: +15 -5 lines
Diff to previous 1.50 (unified) 

"\r" is handled as 0xd.

Revision 1.50 / (download) - annotate - [select for diffs], Thu Apr 15 08:27:42 2004 UTC (20 years ago) by noro
Branch: MAIN
Changes since 1.49: +2 -2 lines
Diff to previous 1.49 (unified) 

Fixed a bug in function table.

Revision 1.49 / (download) - annotate - [select for diffs], Thu Apr 15 08:14:13 2004 UTC (20 years ago) by noro
Branch: MAIN
Changes since 1.48: +89 -15 lines
Diff to previous 1.48 (unified) 

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.48 / (download) - annotate - [select for diffs], Fri Mar 12 05:18:40 2004 UTC (20 years, 1 month ago) by noro
Branch: MAIN
CVS Tags: RELEASE_1_2_2_KNOPPIX_b
Changes since 1.47: +29 -27 lines
Diff to previous 1.47 (unified) 

Fixed a bug.

Revision 1.47 / (download) - annotate - [select for diffs], Tue Mar 9 08:31:47 2004 UTC (20 years, 1 month ago) by noro
Branch: MAIN
Changes since 1.46: +31 -3 lines
Diff to previous 1.46 (unified) 

Correcting the behavior of dp_gr_main.

Revision 1.46 / (download) - annotate - [select for diffs], Tue Feb 3 23:31:57 2004 UTC (20 years, 3 months ago) by noro
Branch: MAIN
CVS Tags: RELEASE_1_2_2_KNOPPIX
Changes since 1.45: +147 -68 lines
Diff to previous 1.45 (unified) 

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

Revision 1.45 / (download) - annotate - [select for diffs], Thu Dec 25 08:46:19 2003 UTC (20 years, 4 months ago) by noro
Branch: MAIN
Changes since 1.44: +13 -3 lines
Diff to previous 1.44 (unified) 

dp_gr_main(DP,..), dp_f4_main(DP,..) => returns DP list.
(dp_gr_mod_main and dp_f4_mod_main : not completed yet.)

Revision 1.44 / (download) - annotate - [select for diffs], Thu Nov 27 07:53:53 2003 UTC (20 years, 5 months ago) by noro
Branch: MAIN
Changes since 1.43: +10 -1 lines
Diff to previous 1.43 (unified) 

Added dp_sort(P).

Revision 1.43 / (download) - annotate - [select for diffs], Thu Nov 27 02:20:51 2003 UTC (20 years, 5 months ago) by noro
Branch: MAIN
Changes since 1.42: +2 -1 lines
Diff to previous 1.42 (unified) 

Fixed qsort (xxx.xxx can be used for comarison function).

Revision 1.42 / (download) - annotate - [select for diffs], Fri Oct 17 05:16:49 2003 UTC (20 years, 6 months ago) by noro
Branch: MAIN
Changes since 1.41: +2 -2 lines
Diff to previous 1.41 (unified) 

Fixed a bug in Pnd_weyl_gr().

Revision 1.41 / (download) - annotate - [select for diffs], Wed Oct 8 09:38:06 2003 UTC (20 years, 7 months ago) by noro
Branch: MAIN
Changes since 1.40: +4 -2 lines
Diff to previous 1.40 (unified) 

Modified dp_gr_print() so that DP_Print can have arbitrary values.

Revision 1.40 / (download) - annotate - [select for diffs], Thu Sep 11 09:03:52 2003 UTC (20 years, 7 months ago) by noro
Branch: MAIN
Changes since 1.39: +26 -3 lines
Diff to previous 1.39 (unified) 

Implemented F4 in nd.c. (not optimized yet.)

Revision 1.39 / (download) - annotate - [select for diffs], Fri Sep 5 13:20:13 2003 UTC (20 years, 8 months ago) by noro
Branch: MAIN
Changes since 1.38: +27 -1 lines
Diff to previous 1.38 (unified) 

Added nd_nf.

Revision 1.38 / (download) - annotate - [select for diffs], Thu Sep 4 08:35:08 2003 UTC (20 years, 8 months ago) by noro
Branch: MAIN
Changes since 1.37: +49 -1 lines
Diff to previous 1.37 (unified) 

Added nd_weyl_gr and nd_weyl_gr_trace (they partially work).

Revision 1.37 / (download) - annotate - [select for diffs], Fri Aug 22 07:12:48 2003 UTC (20 years, 8 months ago) by noro
Branch: MAIN
Changes since 1.36: +1 -3 lines
Diff to previous 1.36 (unified) 

Implemented block orderings in nd.c (incomplete).

Revision 1.36 / (download) - annotate - [select for diffs], Tue Aug 5 05:01:17 2003 UTC (20 years, 9 months ago) by noro
Branch: MAIN
Changes since 1.35: +31 -7 lines
Diff to previous 1.35 (unified) 

Added homogenization, dehomogenization and interreduction to nd_**.

Revision 1.35 / (download) - annotate - [select for diffs], Fri Aug 1 08:38:05 2003 UTC (20 years, 9 months ago) by noro
Branch: MAIN
Changes since 1.34: +5 -2 lines
Diff to previous 1.34 (unified) 

*** empty log message ***

Revision 1.34 / (download) - annotate - [select for diffs], Thu Jul 31 02:56:13 2003 UTC (20 years, 9 months ago) by noro
Branch: MAIN
Changes since 1.33: +1 -3 lines
Diff to previous 1.33 (unified) 

Implemented nd_gr for char=0.

Revision 1.33 / (download) - annotate - [select for diffs], Fri Jul 18 10:13:11 2003 UTC (20 years, 9 months ago) by noro
Branch: MAIN
Changes since 1.32: +27 -1 lines
Diff to previous 1.32 (unified) 

Added a very^2 experimental function "nd_gr".

Revision 1.32 / (download) - annotate - [select for diffs], Thu Jun 19 07:08:18 2003 UTC (20 years, 10 months ago) by noro
Branch: MAIN
Changes since 1.31: +32 -2 lines
Diff to previous 1.31 (unified) 

Implementing improved det.

Revision 1.31 / (download) - annotate - [select for diffs], Fri Apr 25 04:25:08 2003 UTC (21 years ago) by ohara
Branch: MAIN
CVS Tags: RELEASE_1_2_2
Changes since 1.30: +1 -1 lines
Diff to previous 1.30 (unified) 

(null comment)
Add a function dp_set_sugar(DPoly, Sugar).

Revision 1.30 / (download) - annotate - [select for diffs], Fri Apr 25 01:31:11 2003 UTC (21 years ago) by ohara
Branch: MAIN
Changes since 1.29: +24 -1 lines
Diff to previous 1.29 (unified) 

Add an interface for setting sugar to destributed polynomials.

Revision 1.29 / (download) - annotate - [select for diffs], Mon Apr 21 02:49:40 2003 UTC (21 years ago) by noro
Branch: MAIN
Changes since 1.28: +24 -5 lines
Diff to previous 1.28 (unified) 

Added dp_gr_print(2) for printing short information.

Revision 1.28 / (download) - annotate - [select for diffs], Wed Jan 15 04:53:03 2003 UTC (21 years, 3 months ago) by noro
Branch: MAIN
Changes since 1.27: +12 -2 lines
Diff to previous 1.27 (unified) 

Added a function dp_nf_tab_f().

Revision 1.27 / (download) - annotate - [select for diffs], Mon Jan 6 01:16:37 2003 UTC (21 years, 4 months ago) by noro
Branch: MAIN
Changes since 1.26: +8 -3 lines
Diff to previous 1.26 (unified) 

Added functions to compute minipolys over rational function fields.

Revision 1.26 / (download) - annotate - [select for diffs], Sat Jan 4 09:06:15 2003 UTC (21 years, 4 months ago) by noro
Branch: MAIN
Changes since 1.25: +48 -5 lines
Diff to previous 1.25 (unified) 

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

Revision 1.25 / (download) - annotate - [select for diffs], Thu Jun 6 01:18:05 2002 UTC (21 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.24: +61 -1 lines
Diff to previous 1.24 (unified) 

Added a function remove_zero_from_list for removing zeros from inputs.

Revision 1.24 / (download) - annotate - [select for diffs], Mon Jan 28 00:54:41 2002 UTC (22 years, 3 months ago) by noro
Branch: MAIN
CVS Tags: RELEASE_1_2_1
Changes since 1.23: +39 -9 lines
Diff to previous 1.23 (unified) 

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.23 / (download) - annotate - [select for diffs], Mon Nov 19 01:40:04 2001 UTC (22 years, 5 months ago) by noro
Branch: MAIN
Changes since 1.22: +6 -3 lines
Diff to previous 1.22 (unified) 

Fixed a bug in gbcheck_list().

Revision 1.22 / (download) - annotate - [select for diffs], Mon Nov 19 00:57:10 2001 UTC (22 years, 5 months ago) by noro
Branch: MAIN
Changes since 1.21: +20 -1 lines
Diff to previous 1.21 (unified) 

Added a builtin function dp_gr_check_list(DP).
   --- Outputs [DParray, ListOfPairsOfIndeces].
Added a function gbcheck(B,V,O) in lib/gr, which is a wrapper of
dp_gr_check_list(). If proc option is supplied, the computation is
done by distributed computation.

Revision 1.21 / (download) - annotate - [select for diffs], Tue Oct 9 01:36:05 2001 UTC (22 years, 6 months ago) by noro
Branch: MAIN
Changes since 1.20: +1 -3 lines
Diff to previous 1.20 (unified) 

Conversion to ANSI style (not completed yet).

Revision 1.20 / (download) - annotate - [select for diffs], Fri Oct 5 10:23:06 2001 UTC (22 years, 7 months ago) by noro
Branch: MAIN
Changes since 1.19: +9 -1 lines
Diff to previous 1.19 (unified) 

Updates for linking libpari-2.2 in Windows version.

Revision 1.19 / (download) - annotate - [select for diffs], Mon Oct 1 01:58:02 2001 UTC (22 years, 7 months ago) by noro
Branch: MAIN
Changes since 1.18: +2 -2 lines
Diff to previous 1.18 (unified) 

dp_weyl_f4_mod_main is now available again.
Added invmat(A) (experimental version).
invmat(A) returns [B,D], where B is a matrix and A*B = B*A = D*Identity.

Revision 1.18 / (download) - annotate - [select for diffs], Wed Sep 19 09:28:16 2001 UTC (22 years, 7 months ago) by noro
Branch: MAIN
Changes since 1.17: +2 -2 lines
Diff to previous 1.17 (unified) 

dp_weyl_f4_mod_main() is now broken, so it cannot be called from the top level.

Revision 1.17 / (download) - annotate - [select for diffs], Wed Sep 5 01:57:32 2001 UTC (22 years, 8 months ago) by noro
Branch: MAIN
Changes since 1.16: +6 -39 lines
Diff to previous 1.16 (unified) 

Deleted dp_f4_f_main(), dp_weyl_f4_f_main().
(Currently they do not make sense.)

Revision 1.16 / (download) - annotate - [select for diffs], Tue Sep 4 08:48:18 2001 UTC (22 years, 8 months ago) by noro
Branch: MAIN
Changes since 1.15: +154 -11 lines
Diff to previous 1.15 (unified) 

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.15 / (download) - annotate - [select for diffs], Thu Jan 11 08:43:21 2001 UTC (23 years, 3 months ago) by noro
Branch: MAIN
Changes since 1.14: +27 -1 lines
Diff to previous 1.14 (unified) 

Added a builtin ordering for homogenized (-w,w)+ DRL, which is specified
by the ordering number 11. (experimental)
Added a builtin function dp_weyl_set_weight(Vect).
Modified generic_bfct() so that the groebner basis is computed under
'Top=1' (only the head term is reduced) and 'NoRA=1' (mutual reduction
is not done). (experimental)

Revision 1.14 / (download) - annotate - [select for diffs], Thu Dec 14 08:43:47 2000 UTC (23 years, 4 months ago) by noro
Branch: MAIN
Changes since 1.13: +12 -13 lines
Diff to previous 1.13 (unified) 

Fixed a bug in Pdp_nf_mod(). (It had called a function for Weyl Algebra!!!)

Revision 1.13 / (download) - annotate - [select for diffs], Wed Dec 13 05:37:30 2000 UTC (23 years, 4 months ago) by noro
Branch: MAIN
Changes since 1.12: +60 -6 lines
Diff to previous 1.12 (unified) 

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

Revision 1.12 / (download) - annotate - [select for diffs], Mon Dec 11 02:00:40 2000 UTC (23 years, 4 months ago) by noro
Branch: MAIN
Changes since 1.11: +32 -8 lines
Diff to previous 1.11 (unified) 

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.11 / (download) - annotate - [select for diffs], Fri Dec 8 08:26:08 2000 UTC (23 years, 4 months ago) by noro
Branch: MAIN
Changes since 1.10: +171 -1 lines
Diff to previous 1.10 (unified) 

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.10 / (download) - annotate - [select for diffs], Fri Dec 8 06:43:09 2000 UTC (23 years, 5 months ago) by noro
Branch: MAIN
Changes since 1.9: +3 -9 lines
Diff to previous 1.9 (unified) 

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

Revision 1.9 / (download) - annotate - [select for diffs], Fri Dec 8 02:39:05 2000 UTC (23 years, 5 months ago) by noro
Branch: MAIN
Changes since 1.8: +14 -102 lines
Diff to previous 1.8 (unified) 

Several fucntions related to normal form computation have been merged.

Revision 1.8 / (download) - annotate - [select for diffs], Tue Dec 5 06:59:15 2000 UTC (23 years, 5 months ago) by noro
Branch: MAIN
Changes since 1.7: +432 -1100 lines
Diff to previous 1.7 (unified) 

Files related to distributed polynomial computation are now being
restructured.

Revision 1.7 / (download) - annotate - [select for diffs], Tue Dec 5 01:24:50 2000 UTC (23 years, 5 months ago) by noro
Branch: MAIN
Changes since 1.6: +1 -5 lines
Diff to previous 1.6 (unified) 

Removed ugly '#if defined(THINK_C)'.

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

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

Revision 1.5 / (download) - annotate - [select for diffs], Mon Aug 21 08:31:19 2000 UTC (23 years, 8 months ago) by noro
Branch: MAIN
Changes since 1.4: +49 -1 lines
Diff to previous 1.4 (unified) 

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

Revision 1.4 / (download) - annotate - [select for diffs], Fri Jul 14 08:26:39 2000 UTC (23 years, 9 months ago) by noro
Branch: MAIN
Changes since 1.3: +33 -15 lines
Diff to previous 1.3 (unified) 

Added a function for verification of Groebner basis computation.
Details will be soon informed.

Revision 1.3 / (download) - annotate - [select for diffs], Mon May 29 08:54:45 2000 UTC (23 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.2: +4 -14 lines
Diff to previous 1.2 (unified) 

1. F4

	array.c, gr.c (still experimental)

2. Weyl algebra

	dist.c, distm.c : product of monomials (weyl_mul*)
	Q.c : coefficients of the expansion of D^k*x^l (mkwc, mkwcm)

    Note that the current implementation and specification are too ad hoc.

	If ctrl("do_weyl",1) is executed, then all monomial operations are
	done in Weyl algebra. If the length of the exponent of a monomial
	is n=2m, then it is regarded as an element of Q<x1,...,xm,Dx1,...,Dxm>.
	If the length is n=2m+1, then it is a regarded as an element of
	Q[h]<x1,...,xm,Dx1,...,Dxm>, where h is the homogenization variable.
	The order specification is the same as in the commutative case, so
	one should use matrix order to realize natural orderings in Weyl
	algebra. Negative waits have not yet been supported.

Revision 1.2 / (download) - annotate - [select for diffs], Thu Apr 13 06:01:01 2000 UTC (24 years ago) by noro
Branch: MAIN
Changes since 1.1: +16 -2 lines
Diff to previous 1.1 (unified) 

Modified functions related to F4 symbolic preprocessing
Removed unnecessary (and time consuming) measurement of timings.

Revision 1.1.1.1 / (download) - annotate - [select for diffs] (vendor branch), Fri Dec 3 07:39:07 1999 UTC (24 years, 5 months 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 (unified) 

Imported asir2000 as OpenXM_contrib2/asir2000.

Revision 1.1 / (download) - annotate - [select for diffs], Fri Dec 3 07:39:07 1999 UTC (24 years, 5 months 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.


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