![[BACK]](/icons/cvsweb/back.gif){kind=icon}
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, 1 month ago) by noro
Branch: MAIN
CVS Tags: HEAD
Changes since 1.66: +2853 -2853
lines
Diff to previous 1.66 (unified)
Changed a tab to two space charaters.
Revision 1.66 / (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.65: +409 -50
lines
Diff to previous 1.65 (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.65 / (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.64: +20 -4
lines
Diff to previous 1.64 (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.64 / (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.63: +1 -56
lines
Diff to previous 1.63 (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.63 / (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.62: +56 -1
lines
Diff to previous 1.62 (unified)
Corrected traditional style argument declaration.
Revision 1.62 / (download) - annotate - [select for diffs], Thu Mar 31 01:40:10 2016 UTC (8 years, 1 month ago) by noro
Branch: MAIN
Changes since 1.61: +65 -28
lines
Diff to previous 1.61 (unified)
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 (8 years, 8 months ago) by fujimoto
Branch: MAIN
Changes since 1.60: +1 -7
lines
Diff to previous 1.60 (unified)
Removed unneeded 'defined(__MINGW64__)'.
Revision 1.60 / (download) - annotate - [select for diffs], Sat Aug 8 14:19:41 2015 UTC (8 years, 8 months ago) by fujimoto
Branch: MAIN
Changes since 1.59: +7 -1
lines
Diff to previous 1.59 (unified)
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 (10 years, 5 months ago) by noro
Branch: MAIN
CVS Tags: RELEASE_1_3_1_13b
Changes since 1.58: +3 -3
lines
Diff to previous 1.58 (unified)
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 (12 years, 10 months ago) by noro
Branch: MAIN
Changes since 1.57: +5 -5
lines
Diff to previous 1.57 (unified)
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 ago) by noro
Branch: MAIN
Changes since 1.56: +85 -1
lines
Diff to previous 1.56 (unified)
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 (14 years, 6 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 (unified)
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 (14 years, 6 months ago) by noro
Branch: MAIN
Changes since 1.54: +65 -8
lines
Diff to previous 1.54 (unified)
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 (14 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.53: +8 -1
lines
Diff to previous 1.53 (unified)
*** empty log message ***
Revision 1.53 / (download) - annotate - [select for diffs], Wed Jan 7 05:33:18 2009 UTC (15 years, 3 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 (unified)
Fixed bugs related to homogenization.
Revision 1.52 / (download) - annotate - [select for diffs], Mon Jan 5 02:14:00 2009 UTC (15 years, 4 months ago) by noro
Branch: MAIN
Changes since 1.51: +2 -2
lines
Diff to previous 1.51 (unified)
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, 4 months ago) by noro
Branch: MAIN
Changes since 1.50: +6 -6
lines
Diff to previous 1.50 (unified)
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, 4 months ago) by noro
Branch: MAIN
Changes since 1.49: +30 -7
lines
Diff to previous 1.49 (unified)
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, 4 months ago) by noro
Branch: MAIN
Changes since 1.48: +11 -2
lines
Diff to previous 1.48 (unified)
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 (16 years, 6 months ago) by noro
Branch: MAIN
Changes since 1.47: +90 -1
lines
Diff to previous 1.47 (unified)
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 (16 years, 6 months ago) by noro
Branch: MAIN
Changes since 1.46: +60 -3
lines
Diff to previous 1.46 (unified)
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 (16 years, 7 months ago) by noro
Branch: MAIN
Changes since 1.45: +28 -1
lines
Diff to previous 1.45 (unified)
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 (16 years, 7 months ago) by noro
Branch: MAIN
Changes since 1.44: +54 -73
lines
Diff to previous 1.44 (unified)
Modified dp_compute_essential_df().
Revision 1.44 / (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.43: +165 -1
lines
Diff to previous 1.43 (unified)
Modified assembly language codes for Darwin.
Revision 1.43 / (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.42: +77 -13
lines
Diff to previous 1.42 (unified)
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 (16 years, 8 months ago) by noro
Branch: MAIN
Changes since 1.41: +117 -1
lines
Diff to previous 1.41 (unified)
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 (16 years, 8 months ago) by noro
Branch: MAIN
Changes since 1.40: +101 -1
lines
Diff to previous 1.40 (unified)
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 (17 years, 4 months 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 (unified)
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 (18 years, 8 months ago) by ohara
Branch: MAIN
CVS Tags: KNOPPIX_2006
Changes since 1.38: +27 -1
lines
Diff to previous 1.38 (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.38 / (download) - annotate - [select for diffs], Mon Dec 6 09:29:34 2004 UTC (19 years, 5 months ago) by noro
Branch: MAIN
CVS Tags: RELEASE_1_2_3
Changes since 1.37: +83 -1
lines
Diff to previous 1.37 (unified)
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 (19 years, 7 months ago) by noro
Branch: MAIN
Changes since 1.36: +21 -4
lines
Diff to previous 1.36 (unified)
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 (19 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.35: +1 -2
lines
Diff to previous 1.35 (unified)
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 (19 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.34: +69 -1
lines
Diff to previous 1.34 (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.34 / (download) - annotate - [select for diffs], Thu Apr 22 07:52:38 2004 UTC (20 years ago) by noro
Branch: MAIN
Changes since 1.33: +10 -7
lines
Diff to previous 1.33 (unified)
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 ago) by noro
Branch: MAIN
Changes since 1.32: +3 -1
lines
Diff to previous 1.32 (unified)
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 ago) by noro
Branch: MAIN
Changes since 1.31: +158 -1
lines
Diff to previous 1.31 (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.31 / (download) - annotate - [select for diffs], Tue Mar 9 09:40:46 2004 UTC (20 years, 1 month 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 (unified)
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, 2 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 (unified)
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, 2 months ago) by noro
Branch: MAIN
Changes since 1.28: +77 -14
lines
Diff to previous 1.28 (unified)
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, 3 months ago) by noro
Branch: MAIN
Changes since 1.27: +80 -10
lines
Diff to previous 1.27 (unified)
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, 3 months ago) by noro
Branch: MAIN
Changes since 1.26: +73 -3
lines
Diff to previous 1.26 (unified)
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 (20 years, 5 months ago) by noro
Branch: MAIN
Changes since 1.25: +36 -1
lines
Diff to previous 1.25 (unified)
Added dp_sort(P).
Revision 1.25 / (download) - annotate - [select for diffs], Sat Jan 18 02:38:56 2003 UTC (21 years, 3 months ago) by noro
Branch: MAIN
CVS Tags: RELEASE_1_2_2
Changes since 1.24: +27 -4
lines
Diff to previous 1.24 (unified)
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, 3 months ago) by noro
Branch: MAIN
Changes since 1.23: +22 -1
lines
Diff to previous 1.23 (unified)
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, 4 months ago) by noro
Branch: MAIN
Changes since 1.22: +25 -22
lines
Diff to previous 1.22 (unified)
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 (21 years, 4 months ago) by noro
Branch: MAIN
Changes since 1.21: +43 -3
lines
Diff to previous 1.21 (unified)
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, 3 months ago) by noro
Branch: MAIN
CVS Tags: RELEASE_1_2_1
Changes since 1.20: +14 -11
lines
Diff to previous 1.20 (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.20 / (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.19: +58 -194
lines
Diff to previous 1.19 (unified)
Conversion to ANSI style (not completed yet).
Revision 1.19 / (download) - annotate - [select for diffs], Wed Sep 19 09:10:34 2001 UTC (22 years, 7 months ago) by noro
Branch: MAIN
Changes since 1.18: +3 -2
lines
Diff to previous 1.18 (unified)
Fixed a bug in _dp_red_mod_destructive().
Revision 1.18 / (download) - annotate - [select for diffs], Mon Sep 17 10:32:40 2001 UTC (22 years, 7 months ago) by noro
Branch: MAIN
Changes since 1.17: +3 -3
lines
Diff to previous 1.17 (unified)
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 (22 years, 7 months ago) by noro
Branch: MAIN
Changes since 1.16: +2 -3
lines
Diff to previous 1.16 (unified)
Removed broken codes.
Revision 1.16 / (download) - annotate - [select for diffs], Mon Sep 17 01:18:34 2001 UTC (22 years, 7 months ago) by noro
Branch: MAIN
Changes since 1.15: +37 -4
lines
Diff to previous 1.15 (unified)
Implemented lazy simplification in F4 Gaussian elimination.
Revision 1.15 / (download) - annotate - [select for diffs], Tue Sep 11 08:56:47 2001 UTC (22 years, 7 months ago) by noro
Branch: MAIN
Changes since 1.14: +20 -1
lines
Diff to previous 1.14 (unified)
Still trying to improve F4...
Revision 1.14 / (download) - annotate - [select for diffs], Tue Sep 11 03:13:42 2001 UTC (22 years, 7 months ago) by noro
Branch: MAIN
Changes since 1.13: +56 -1
lines
Diff to previous 1.13 (unified)
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 (22 years, 8 months ago) by noro
Branch: MAIN
Changes since 1.12: +131 -17
lines
Diff to previous 1.12 (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.12 / (download) - annotate - [select for diffs], Wed Feb 21 07:10:17 2001 UTC (23 years, 2 months ago) by noro
Branch: MAIN
Changes since 1.11: +18 -4
lines
Diff to previous 1.11 (unified)
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 (23 years, 4 months ago) by noro
Branch: MAIN
Changes since 1.10: +2 -2
lines
Diff to previous 1.10 (unified)
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 (23 years, 4 months ago) by noro
Branch: MAIN
Changes since 1.9: +6 -1
lines
Diff to previous 1.9 (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.9 / (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.8: +2 -2
lines
Diff to previous 1.8 (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.8 / (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.7: +21 -8
lines
Diff to previous 1.7 (unified)
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 (23 years, 5 months ago) by noro
Branch: MAIN
Changes since 1.6: +728 -806
lines
Diff to previous 1.6 (unified)
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 (23 years, 5 months ago) by noro
Branch: MAIN
Changes since 1.5: +30 -1
lines
Diff to previous 1.5 (unified)
Private memory management was dangerous in F4.
Revision 1.5 / (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.4: +1095 -329
lines
Diff to previous 1.4 (unified)
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 (23 years, 5 months ago) by noro
Branch: MAIN
Changes since 1.3: +1 -192
lines
Diff to previous 1.3 (unified)
Removed ugly '#if defined(THINK_C)'.
Revision 1.3 / (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.2: +2 -2
lines
Diff to previous 1.2 (unified)
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 (23 years, 8 months ago) by noro
Branch: MAIN
Changes since 1.1: +49 -1
lines
Diff to previous 1.1 (unified)
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 (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