![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Up to [local] / OpenXM / src / k097 / lib / minimal
Request diff between arbitrary revisions
Default branch: MAIN
Revision 1.23 / (download) - annotate - [select for diffs], Sun Dec 10 03:12:20 2000 UTC (24 years 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,
RELEASE_1_2_2,
RELEASE_1_2_1,
KNOPPIX_2006,
HEAD,
DEB_REL_1_2_3-9
Changes since 1.22: +2 -2
lines
Diff to previous 1.22 (colored) to selected 1.21 (colored)
Boundp(s) checks if the symbol s is bounded to a value or not. GetPathName(s) checks if the file s exists in the current direcotry or in LOAD_K_PATH. If there exists, it returns the path name. Loading method for minimal.k is rewritten with these functions.
Revision 1.22 / (download) - annotate - [select for diffs], Wed Aug 30 04:07:56 2000 UTC (24 years, 4 months ago) by takayama
Branch: MAIN
CVS Tags: maekawa-ipv6,
RELEASE_1_1_3
Changes since 1.21: +2 -1
lines
Diff to previous 1.21 (colored)
Added test_if_v_strict to check if a single complex is exact.
Revision 1.21 / (download) - annotate - [selected], Thu Aug 24 00:48:58 2000 UTC (24 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.20: +16 -1
lines
Diff to previous 1.20 (colored)
test25b(); a test code to construct minimal free resolution of toric ideals.
Revision 1.20 / (download) - annotate - [select for diffs], Tue Aug 22 05:34:06 2000 UTC (24 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.19: +3 -3
lines
Diff to previous 1.19 (colored) to selected 1.21 (colored)
Added a new function BfRoots1, which finds the integral root of b-functions for the weight vector (1,1,1,...1).
Revision 1.19 / (download) - annotate - [select for diffs], Tue Aug 22 02:13:51 2000 UTC (24 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.18: +5 -5
lines
Diff to previous 1.18 (colored) to selected 1.21 (colored)
Bug fix of computing the dimension of linear spaces.
Revision 1.18 / (download) - annotate - [select for diffs], Mon Aug 21 07:45:22 2000 UTC (24 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.17: +43 -10
lines
Diff to previous 1.17 (colored) to selected 1.21 (colored)
Bug fix of SgetShifts(): I forgot to evaluate the shift vector at the top. test25(): Resolution for GKZ associated to the prism (F1).
Revision 1.17 / (download) - annotate - [select for diffs], Thu Aug 10 02:59:08 2000 UTC (24 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.16: +30 -1
lines
Diff to previous 1.16 (colored) to selected 1.21 (colored)
An example of (u,v)-minimal <> minimal is added.
Revision 1.16 / (download) - annotate - [select for diffs], Wed Aug 9 03:45:27 2000 UTC (24 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.15: +65 -1
lines
Diff to previous 1.15 (colored) to selected 1.21 (colored)
Update of the documentation for minimal.k (written at At.Andrews).
Revision 1.15 / (download) - annotate - [select for diffs], Wed Aug 2 05:14:31 2000 UTC (24 years, 5 months ago) by takayama
Branch: MAIN
Changes since 1.14: +27 -1
lines
Diff to previous 1.14 (colored) to selected 1.21 (colored)
Added more examples of resolutions.
Revision 1.14 / (download) - annotate - [select for diffs], Wed Aug 2 04:26:36 2000 UTC (24 years, 5 months ago) by takayama
Branch: MAIN
Changes since 1.13: +2 -2
lines
Diff to previous 1.13 (colored) to selected 1.21 (colored)
Modified the weight for the example x^3+y^3+z^3. (-1,1) generates a huge Schreyer frame, but (-1,-2,-3,1,2,3) is smaller.
Revision 1.13 / (download) - annotate - [select for diffs], Wed Aug 2 03:23:36 2000 UTC (24 years, 5 months ago) by takayama
Branch: MAIN
Changes since 1.12: +22 -1
lines
Diff to previous 1.12 (colored) to selected 1.21 (colored)
New test problems and explanations are added.
Revision 1.12 / (download) - annotate - [select for diffs], Tue Aug 1 08:51:02 2000 UTC (24 years, 5 months ago) by takayama
Branch: MAIN
Changes since 1.11: +7 -9
lines
Diff to previous 1.11 (colored) to selected 1.21 (colored)
Modifications due to the bug fix of complex.sm1.
Revision 1.11 / (download) - annotate - [select for diffs], Tue Aug 1 06:26:10 2000 UTC (24 years, 5 months ago) by takayama
Branch: MAIN
Changes since 1.10: +12 -8
lines
Diff to previous 1.10 (colored) to selected 1.21 (colored)
A bug appeared in test_if_v_strict and IsExact_h. It has not yet fixed.
Revision 1.10 / (download) - annotate - [select for diffs], Tue Aug 1 05:16:02 2000 UTC (24 years, 5 months ago) by takayama
Branch: MAIN
Changes since 1.9: +55 -20
lines
Diff to previous 1.9 (colored) to selected 1.21 (colored)
Added a function test_if_v_strict(resmat,w,v).
Revision 1.9 / (download) - annotate - [select for diffs], Tue Aug 1 03:42:35 2000 UTC (24 years, 5 months ago) by takayama
Branch: MAIN
Changes since 1.8: +47 -3
lines
Diff to previous 1.8 (colored) to selected 1.21 (colored)
New functions are added to for (u,v)-strict resolutions. Ord_w_m(f,w,m) (ord_w<m>) returns the order of f with respect to w for the shift vector m. Init_w_m(f,w,m) returns the initial of f with respect to w for the shift vector m. Sinit_w(resmat,w) returns the initial of the complex resmat. test17() and test18() check the (-w,w)-strictness of our minimal resolution.
Revision 1.8 / (download) - annotate - [select for diffs], Mon Jul 31 01:21:41 2000 UTC (24 years, 5 months ago) by takayama
Branch: MAIN
Changes since 1.7: +3 -93
lines
Diff to previous 1.7 (colored) to selected 1.21 (colored)
Trimmed unnecessary codes.
Revision 1.7 / (download) - annotate - [select for diffs], Sun Jul 30 02:26:25 2000 UTC (24 years, 5 months ago) by takayama
Branch: MAIN
Changes since 1.6: +25 -82
lines
Diff to previous 1.6 (colored) to selected 1.21 (colored)
Removed unnecessary codes from minimal.k I'm cleaning and trimming minimal.k.
Revision 1.6 / (download) - annotate - [select for diffs], Wed Jul 26 02:21:31 2000 UTC (24 years, 5 months ago) by takayama
Branch: MAIN
Changes since 1.5: +4 -2
lines
Diff to previous 1.5 (colored) to selected 1.21 (colored)
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.5 / (download) - annotate - [select for diffs], Thu Jun 15 07:38:35 2000 UTC (24 years, 6 months ago) by takayama
Branch: MAIN
Changes since 1.4: +27 -3
lines
Diff to previous 1.4 (colored) to selected 1.21 (colored)
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.4 / (download) - annotate - [select for diffs], Wed Jun 14 07:44:05 2000 UTC (24 years, 6 months ago) by takayama
Branch: MAIN
Changes since 1.3: +80 -3
lines
Diff to previous 1.3 (colored) to selected 1.21 (colored)
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.3 / (download) - annotate - [select for diffs], Fri Jun 9 08:04:54 2000 UTC (24 years, 6 months ago) by takayama
Branch: MAIN
Changes since 1.2: +89 -4
lines
Diff to previous 1.2 (colored) to selected 1.21 (colored)
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.2 / (download) - annotate - [select for diffs], Thu Jun 8 08:37:53 2000 UTC (24 years, 6 months ago) by takayama
Branch: MAIN
Changes since 1.1: +28 -1
lines
Diff to previous 1.1 (colored) to selected 1.21 (colored)
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.1 / (download) - annotate - [select for diffs], Wed May 24 15:31:28 2000 UTC (24 years, 7 months ago) by takayama
Branch: MAIN
Diff to selected 1.21 (colored)
Buenas Tardes! resol.c gets an option for debugging to build a schreyer skelton. NOTE: The following method of ssh-forwarding works to commit to kerberos. ssh -L 8000:kerberos.math.kobe-u.ac.jp:22 unkei.math.kobe-u.ac.jp ssh-takayama (shell file) : ssh -v -p 8000 -l takayama $* .bashrc : alias rcvs='cvs -d localhost:/usr/cvs'