Up to [local] / OpenXM / src / k097 / lib / minimal
Request diff between arbitrary revisions
Default branch: MAIN
Current tag: MAIN
Revision 1.12 / (download) - annotate - [select for diffs], Wed Aug 9 03:45:27 2000 UTC (24 years ago) by takayama
Branch: MAIN
CVS Tags: maekawa-ipv6,
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,
RELEASE_1_2_2,
RELEASE_1_2_1,
RELEASE_1_1_3,
KNOPPIX_2006,
HEAD,
DEB_REL_1_2_3-9
Changes since 1.11: +433 -1
lines
Diff to previous 1.11 (unified) to selected 1.9 (unified)
Update of the documentation for minimal.k (written at At.Andrews).
Revision 1.11 / (download) - annotate - [select for diffs], Wed Aug 2 05:14:30 2000 UTC (24 years ago) by takayama
Branch: MAIN
Changes since 1.10: +21 -1
lines
Diff to previous 1.10 (unified) to selected 1.9 (unified)
Added more examples of resolutions.
Revision 1.10 / (download) - annotate - [select for diffs], Tue Aug 1 08:51:02 2000 UTC (24 years ago) by takayama
Branch: MAIN
Changes since 1.9: +27 -2
lines
Diff to previous 1.9 (unified)
Modifications due to the bug fix of complex.sm1.
Revision 1.9 / (download) - annotate - [selected], Sun Jul 30 02:26:25 2000 UTC (24 years ago) by takayama
Branch: MAIN
Changes since 1.8: +8 -1
lines
Diff to previous 1.8 (unified)
Removed unnecessary codes from minimal.k I'm cleaning and trimming minimal.k.
Revision 1.8 / (download) - annotate - [select for diffs], Wed Jul 26 02:21:31 2000 UTC (24 years, 1 month ago) by takayama
Branch: MAIN
Changes since 1.7: +30 -4
lines
Diff to previous 1.7 (unified) to selected 1.9 (unified)
The construction algorithm of the schreyer frame in resol.c has contained a bug. It has not constructed the minimal schreyer frame. The bug is now fixed. See minimal-note-ja.txt for details and test data.
Revision 1.7 / (download) - annotate - [select for diffs], Mon Jun 26 11:14:00 2000 UTC (24 years, 2 months ago) by takayama
Branch: MAIN
Changes since 1.6: +20 -1
lines
Diff to previous 1.6 (unified) to selected 1.9 (unified)
Several comments on the current bug of V-minimal resolution program.
Revision 1.6 / (download) - annotate - [select for diffs], Thu Jun 15 07:38:35 2000 UTC (24 years, 2 months ago) by takayama
Branch: MAIN
Changes since 1.5: +44 -5
lines
Diff to previous 1.5 (unified) to selected 1.9 (unified)
ScheckIfSchreyer(): it checks if grade (grading function) is module1v (grading without vector component). Note that ring_of_differential_operators switches grade to module1. Found a reason why the strategy fails. It is because the schreyer skelton contains an element of the form [1,f]. This bug will be fixed soon. A list of todo (e.g., init<m> ) Succeeded to construct the V-minimal resolution for 1/(x^3+y^3+z^3). The betti numbers are 4,5,2.
Revision 1.5 / (download) - annotate - [select for diffs], Wed Jun 14 07:44:04 2000 UTC (24 years, 2 months ago) by takayama
Branch: MAIN
Changes since 1.4: +63 -4
lines
Diff to previous 1.4 (unified) to selected 1.9 (unified)
Sminimal(V, opt) : opt can be "homogenized" Several test codes are added. test14, test15, test16 : minimal resolution of GKZ systems. We still have a trouble in the strategy for non-term orders.
Revision 1.4 / (download) - annotate - [select for diffs], Fri Jun 9 08:04:54 2000 UTC (24 years, 2 months ago) by takayama
Branch: MAIN
Changes since 1.3: +449 -2
lines
Diff to previous 1.3 (unified) to selected 1.9 (unified)
Bug fix of Sminimal(). test_ann3(f) computes the V-minimal free resolution for the laplace transform of the annihilating ideal 1/f. It also checks if the obtained one is exact or not by using IsExact_h(). Sminimal() still contains troubles. For example, it does not work for [x^2+y^2, x*y] with (-1,-1,1,1) weight vector.
Revision 1.3 / (download) - annotate - [select for diffs], Thu Jun 8 08:37:53 2000 UTC (24 years, 2 months ago) by takayama
Branch: MAIN
Changes since 1.2: +26 -1
lines
Diff to previous 1.2 (unified) to selected 1.9 (unified)
New command: SisExact_h : it calls sm1 macro isExact_h Function for debugging: test10() in minimal-test.k, which is used to check if the Schreyer resolution constructed Sschreyer (LaScala-Stillman's algorithm) is exact or not (bug).
Revision 1.2 / (download) - annotate - [select for diffs], Wed May 24 15:24:54 2000 UTC (24 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.1: +17 -1
lines
Diff to previous 1.1 (unified) to selected 1.9 (unified)
Test codoes are removed from minimal.k
Revision 1.1 / (download) - annotate - [select for diffs], Fri May 19 11:16:51 2000 UTC (24 years, 3 months ago) by takayama
Branch: MAIN
Diff to selected 1.9 (unified)
I added some codes to check if the output is minimal or not.