Up to [local] / OpenXM_contrib2 / asir2000 / lib
Request diff between arbitrary revisions
Default branch: MAIN
Revision 1.27 / (download) - annotate - [select for diffs], Fri Dec 12 03:08:29 2003 UTC (20 years, 10 months ago) by takayama
Branch: MAIN
CVS Tags: R_1_3_1-2,
RELEASE_1_3_1_13b,
RELEASE_1_2_3_12,
RELEASE_1_2_3,
RELEASE_1_2_2_KNOPPIX_b,
RELEASE_1_2_2_KNOPPIX,
KNOPPIX_2006,
HEAD,
DEB_REL_1_2_3-9
Changes since 1.26: +3 -3
lines
Diff to previous 1.26 (colored) to selected 1.18 (colored)
Avoiding the warning "wasted token".
Revision 1.26 / (download) - annotate - [select for diffs], Mon Oct 20 00:58:47 2003 UTC (21 years ago) by takayama
Branch: MAIN
Changes since 1.25: +6 -6
lines
Diff to previous 1.25 (colored) to selected 1.18 (colored)
Added demand loading codes; for example, if primdec_mod requires the libraries gr and fff, write as follows if (!module_definedp("gr")) load("gr") $ if (!module_definedp("fff")) load("fff") $
Revision 1.25 / (download) - annotate - [select for diffs], Mon Apr 28 03:02:52 2003 UTC (21 years, 6 months ago) by noro
Branch: MAIN
CVS Tags: RELEASE_1_2_2
Changes since 1.24: +5 -42
lines
Diff to previous 1.24 (colored) to selected 1.18 (colored)
Improved ann0(), which now calls bfcunction() for computation of b(s).
Revision 1.24 / (download) - annotate - [select for diffs], Mon Apr 28 02:15:30 2003 UTC (21 years, 6 months ago) by noro
Branch: MAIN
Changes since 1.23: +65 -84
lines
Diff to previous 1.23 (colored) to selected 1.18 (colored)
Refined functions in bfct (use of intermediate variables etc.).
Revision 1.23 / (download) - annotate - [select for diffs], Sun Apr 20 11:59:57 2003 UTC (21 years, 6 months ago) by noro
Branch: MAIN
Changes since 1.22: +60 -1
lines
Diff to previous 1.22 (colored) to selected 1.18 (colored)
Made b-function related functions more robust with respect to selection of variables. (not yet complete) Updated help files.
Revision 1.22 / (download) - annotate - [select for diffs], Sun Apr 20 08:54:28 2003 UTC (21 years, 6 months ago) by noro
Branch: MAIN
Changes since 1.21: +23 -1
lines
Diff to previous 1.21 (colored) to selected 1.18 (colored)
Added toplevel function bfunction(F) which calls generic_bfct_weight().
Revision 1.21 / (download) - annotate - [select for diffs], Wed Jan 30 02:12:58 2002 UTC (22 years, 9 months ago) by noro
Branch: MAIN
CVS Tags: RELEASE_1_2_1
Changes since 1.20: +5 -5
lines
Diff to previous 1.20 (colored) to selected 1.18 (colored)
Fixed some bugs in bfct.
Revision 1.20 / (download) - annotate - [select for diffs], Tue Jan 29 05:37:12 2002 UTC (22 years, 9 months ago) by noro
Branch: MAIN
Changes since 1.19: +32 -9
lines
Diff to previous 1.19 (colored) to selected 1.18 (colored)
Improved the performance of weyl_minipoly().
Revision 1.19 / (download) - annotate - [select for diffs], Tue Jan 29 02:03:41 2002 UTC (22 years, 9 months ago) by noro
Branch: MAIN
Changes since 1.18: +91 -1
lines
Diff to previous 1.18 (colored)
Added an experimental function bfct_via_gbfct_weight_2().
Revision 1.18 / (download) - annotate - [selected], Mon Jan 28 02:42:27 2002 UTC (22 years, 9 months ago) by noro
Branch: MAIN
Changes since 1.17: +97 -28
lines
Diff to previous 1.17 (colored)
Fixed a bug in bfct_via_gbfct_weight_1().
Revision 1.17 / (download) - annotate - [select for diffs], Mon Jan 28 01:02:03 2002 UTC (22 years, 9 months ago) by noro
Branch: MAIN
Changes since 1.16: +82 -1
lines
Diff to previous 1.16 (colored) to selected 1.18 (colored)
Added new functions to compute b-function. bfct_via_gbfct_weight() bfct_via_gbfct_weight_1(). (Experimental)
Revision 1.16 / (download) - annotate - [select for diffs], Thu Jan 18 00:52:32 2001 UTC (23 years, 9 months ago) by noro
Branch: MAIN
Changes since 1.15: +4 -1
lines
Diff to previous 1.15 (colored) to selected 1.18 (colored)
Fixed a bug in generic_bfct(). Now both list and vector are accepted as a weight.
Revision 1.15 / (download) - annotate - [select for diffs], Thu Jan 11 08:43:23 2001 UTC (23 years, 9 months ago) by noro
Branch: MAIN
Changes since 1.14: +6 -2
lines
Diff to previous 1.14 (colored) to selected 1.18 (colored)
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], Wed Jan 10 04:30:35 2001 UTC (23 years, 9 months ago) by noro
Branch: MAIN
Changes since 1.13: +43 -6
lines
Diff to previous 1.13 (colored) to selected 1.18 (colored)
Added bfct_via_gbfct(F) which computes the global b-function of F by using generic_bfct(). (SST Definition 5.3.10. + modular minimal polynomial computation.)
Revision 1.13 / (download) - annotate - [select for diffs], Wed Dec 27 07:17:39 2000 UTC (23 years, 10 months ago) by noro
Branch: MAIN
Changes since 1.12: +132 -116
lines
Diff to previous 1.12 (colored) to selected 1.18 (colored)
Added 'generic_bfct(Id,V,DV,W)', which computes the b-function of an ideal Id with respect to a weight (-W,W). V: variable list DV: corresponding D-variable list W: weight (list)
Revision 1.12 / (download) - annotate - [select for diffs], Fri Dec 15 07:15:18 2000 UTC (23 years, 10 months ago) by noro
Branch: MAIN
Changes since 1.11: +10 -13
lines
Diff to previous 1.11 (colored) to selected 1.18 (colored)
Corrected the computation of J_f.
Revision 1.11 / (download) - annotate - [select for diffs], Fri Dec 15 01:52:36 2000 UTC (23 years, 10 months ago) by noro
Branch: MAIN
Changes since 1.10: +4 -1
lines
Diff to previous 1.10 (colored) to selected 1.18 (colored)
Added the permissibility check of a selected prime in weyl_minipoly().
Revision 1.10 / (download) - annotate - [select for diffs], Fri Dec 15 01:34:31 2000 UTC (23 years, 10 months ago) by noro
Branch: MAIN
Changes since 1.9: +67 -5
lines
Diff to previous 1.9 (colored) to selected 1.18 (colored)
Added a function ann0(F) which computes J_f|s=r, where J_f is the annihilating ideal of f^s and r is the minimal integral root of global b_f(s). (I don't know whether the implementation is correct or not. Please check it.)
Revision 1.9 / (download) - annotate - [select for diffs], Thu Dec 14 09:36:17 2000 UTC (23 years, 10 months ago) by noro
Branch: MAIN
Changes since 1.8: +2 -2
lines
Diff to previous 1.8 (colored) to selected 1.18 (colored)
Removed unnecessary print("").
Revision 1.8 / (download) - annotate - [select for diffs], Thu Dec 14 09:13:37 2000 UTC (23 years, 10 months ago) by noro
Branch: MAIN
Changes since 1.7: +13 -4
lines
Diff to previous 1.7 (colored) to selected 1.18 (colored)
The bug in weyl_minipoly may be fixed.
Revision 1.7 / (download) - annotate - [select for diffs], Thu Dec 14 01:38:37 2000 UTC (23 years, 10 months ago) by noro
Branch: MAIN
Changes since 1.6: +9 -8
lines
Diff to previous 1.6 (colored) to selected 1.18 (colored)
Bugfix in linear equation solver and heuristic improvement in b-function computation.
Revision 1.6 / (download) - annotate - [select for diffs], Wed Dec 13 05:37:31 2000 UTC (23 years, 10 months ago) by noro
Branch: MAIN
Changes since 1.5: +273 -51
lines
Diff to previous 1.5 (colored) to selected 1.18 (colored)
Fixed several bugs around normal form computation in Weyl algebra. Improved b-function computation (there may be bugs.)
Revision 1.5 / (download) - annotate - [select for diffs], Mon Dec 11 02:00:42 2000 UTC (23 years, 10 months ago) by noro
Branch: MAIN
Changes since 1.4: +14 -2
lines
Diff to previous 1.4 (colored) to selected 1.18 (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.4 / (download) - annotate - [select for diffs], Fri Dec 8 08:26:09 2000 UTC (23 years, 10 months ago) by noro
Branch: MAIN
Changes since 1.3: +3 -7
lines
Diff to previous 1.3 (colored) to selected 1.18 (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.3 / (download) - annotate - [select for diffs], Tue Aug 22 05:04:20 2000 UTC (24 years, 2 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) to selected 1.18 (colored)
Sorry, the email address in the license agreement was incorrect.
Revision 1.2 / (download) - annotate - [select for diffs], Mon Aug 21 08:31:40 2000 UTC (24 years, 2 months ago) by noro
Branch: MAIN
Changes since 1.1: +49 -1
lines
Diff to previous 1.1 (colored) to selected 1.18 (colored)
Added copyright notice and license agreement. It is mandatory to distribute Risa/Asir source codes freely.
Revision 1.1 / (download) - annotate - [select for diffs], Mon Jun 5 04:59:34 2000 UTC (24 years, 5 months ago) by noro
Branch: MAIN
Diff to selected 1.18 (colored)
An asir program to compute annihilating ideal and b-function. (Experimental)