Powered by Apache

CVS log for OpenXM_contrib2/asir2000/lib/bfct

[BACK] 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.8 (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.8 (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.8 (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.8 (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.8 (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.8 (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.8 (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.8 (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) to selected 1.8 (colored)

Added an experimental function bfct_via_gbfct_weight_2().

Revision 1.18 / (download) - annotate - [select for diffs], 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) to selected 1.8 (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.8 (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.8 (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.8 (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.8 (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.8 (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.8 (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.8 (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.8 (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)

Removed unnecessary print("").

Revision 1.8 / (download) - annotate - [selected], 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)

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.8 (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.8 (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.8 (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.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.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.8 (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.8 (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.8 (colored)

An asir program to compute annihilating ideal and b-function. (Experimental)

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>