Up to [local] / OpenXM / src / k097 / lib / minimal
Request diff between arbitrary revisions
Default branch: MAIN
Current tag: MAIN
Revision 1.36 / (download) - annotate - [selected], Tue Jul 3 22:28:11 2007 UTC (17 years, 2 months ago) by takayama
Branch: MAIN
CVS Tags: R_1_3_1-2,
RELEASE_1_3_1_13b,
RELEASE_1_2_3_12,
HEAD,
DEB_REL_1_2_3-9
Changes since 1.35: +5 -2
lines
Diff to previous 1.35 (colored)
Added a help message for Sminimal. All free modules in the complex are sets of the row vectors.
Revision 1.35 / (download) - annotate - [select for diffs], Tue Jul 3 22:05:46 2007 UTC (17 years, 2 months ago) by takayama
Branch: MAIN
Changes since 1.34: +18 -18
lines
Diff to previous 1.34 (colored) to selected 1.36 (colored)
Fixed an error missing terminating char " for cpp.
Revision 1.34 / (download) - annotate - [select for diffs], Fri Jan 5 11:14:28 2001 UTC (23 years, 7 months ago) by takayama
Branch: MAIN
CVS Tags: 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
Changes since 1.33: +5 -18
lines
Diff to previous 1.33 (colored) to selected 1.36 (colored)
Bug fix of the new manual system of kan/k0. Moved some functions with the name *Indexed* to debug/indexed.k
Revision 1.33 / (download) - annotate - [select for diffs], Fri Dec 29 07:19:40 2000 UTC (23 years, 8 months ago) by takayama
Branch: MAIN
Changes since 1.32: +10 -3
lines
Diff to previous 1.32 (colored) to selected 1.36 (colored)
syz and res-solv accept a ring definition as an optional argument. Other commands should be rewritten so that these accept a ring definition.
Revision 1.32 / (download) - annotate - [select for diffs], Sun Dec 10 09:34:28 2000 UTC (23 years, 8 months ago) by takayama
Branch: MAIN
Changes since 1.31: +4 -22
lines
Diff to previous 1.31 (colored) to selected 1.36 (colored)
New function: Load_sm1(fnames, flag) loads a sm1 file from a list of path fnames.
Revision 1.31 / (download) - annotate - [select for diffs], Sun Dec 10 03:12:20 2000 UTC (23 years, 8 months ago) by takayama
Branch: MAIN
Changes since 1.30: +16 -4
lines
Diff to previous 1.30 (colored) to selected 1.36 (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.30 / (download) - annotate - [select for diffs], Sun Nov 19 05:50:30 2000 UTC (23 years, 9 months ago) by takayama
Branch: MAIN
Changes since 1.29: +23 -2
lines
Diff to previous 1.29 (colored) to selected 1.36 (colored)
Added interfaces Kernel, Syz and Gb to kan/k0. Added help messages for Weyl, Kernel, Gb.
Revision 1.29 / (download) - annotate - [select for diffs], Tue Aug 22 05:34:06 2000 UTC (24 years ago) by takayama
Branch: MAIN
CVS Tags: maekawa-ipv6,
RELEASE_1_1_3
Changes since 1.28: +30 -2
lines
Diff to previous 1.28 (colored) to selected 1.36 (colored)
Added a new function BfRoots1, which finds the integral root of b-functions for the weight vector (1,1,1,...1).
Revision 1.28 / (download) - annotate - [select for diffs], Mon Aug 21 07:45:22 2000 UTC (24 years ago) by takayama
Branch: MAIN
Changes since 1.27: +6 -6
lines
Diff to previous 1.27 (colored) to selected 1.36 (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.27 / (download) - annotate - [select for diffs], Wed Aug 16 22:38:52 2000 UTC (24 years ago) by takayama
Branch: MAIN
Changes since 1.26: +85 -55
lines
Diff to previous 1.26 (colored) to selected 1.36 (colored)
Cleaning debugging messages.
Revision 1.26 / (download) - annotate - [select for diffs], Thu Aug 10 02:59:08 2000 UTC (24 years ago) by takayama
Branch: MAIN
Changes since 1.25: +2 -1
lines
Diff to previous 1.25 (colored) to selected 1.36 (colored)
An example of (u,v)-minimal <> minimal is added.
Revision 1.25 / (download) - annotate - [select for diffs], Wed Aug 2 05:14:31 2000 UTC (24 years, 1 month ago) by takayama
Branch: MAIN
Changes since 1.24: +3 -1
lines
Diff to previous 1.24 (colored) to selected 1.36 (colored)
Added more examples of resolutions.
Revision 1.24 / (download) - annotate - [select for diffs], Wed Aug 2 03:23:36 2000 UTC (24 years, 1 month ago) by takayama
Branch: MAIN
Changes since 1.23: +16 -4
lines
Diff to previous 1.23 (colored) to selected 1.36 (colored)
New test problems and explanations are added.
Revision 1.23 / (download) - annotate - [select for diffs], Tue Aug 1 08:51:03 2000 UTC (24 years, 1 month ago) by takayama
Branch: MAIN
Changes since 1.22: +19 -2
lines
Diff to previous 1.22 (colored) to selected 1.36 (colored)
Modifications due to the bug fix of complex.sm1.
Revision 1.22 / (download) - annotate - [select for diffs], Tue Aug 1 06:26:11 2000 UTC (24 years, 1 month ago) by takayama
Branch: MAIN
Changes since 1.21: +5 -2
lines
Diff to previous 1.21 (colored) to selected 1.36 (colored)
A bug appeared in test_if_v_strict and IsExact_h. It has not yet fixed.
Revision 1.21 / (download) - annotate - [select for diffs], Tue Aug 1 03:42:35 2000 UTC (24 years, 1 month ago) by takayama
Branch: MAIN
Changes since 1.20: +117 -2
lines
Diff to previous 1.20 (colored) to selected 1.36 (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.20 / (download) - annotate - [select for diffs], Mon Jul 31 02:25:34 2000 UTC (24 years, 1 month ago) by takayama
Branch: MAIN
Changes since 1.19: +4 -1
lines
Diff to previous 1.19 (colored) to selected 1.36 (colored)
Added a help message for Sord_w(f,w).
Revision 1.19 / (download) - annotate - [select for diffs], Mon Jul 31 01:21:41 2000 UTC (24 years, 1 month ago) by takayama
Branch: MAIN
Changes since 1.18: +65 -46
lines
Diff to previous 1.18 (colored) to selected 1.36 (colored)
Trimmed unnecessary codes.
Revision 1.18 / (download) - annotate - [select for diffs], Sun Jul 30 02:26:25 2000 UTC (24 years, 1 month ago) by takayama
Branch: MAIN
Changes since 1.17: +12 -440
lines
Diff to previous 1.17 (colored) to selected 1.36 (colored)
Removed unnecessary codes from minimal.k I'm cleaning and trimming minimal.k.
Revision 1.17 / (download) - annotate - [select for diffs], Wed Jul 26 12:56:36 2000 UTC (24 years, 1 month ago) by takayama
Branch: MAIN
Changes since 1.16: +4 -3
lines
Diff to previous 1.16 (colored) to selected 1.36 (colored)
Sminimal returns the schreyer frame and towers. a=Sminimal(v); a[4] --> frame and towers.
Revision 1.16 / (download) - annotate - [select for diffs], Thu Jun 15 07:38:36 2000 UTC (24 years, 2 months ago) by takayama
Branch: MAIN
Changes since 1.15: +44 -2
lines
Diff to previous 1.15 (colored) to selected 1.36 (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.15 / (download) - annotate - [select for diffs], Wed Jun 14 07:44:05 2000 UTC (24 years, 2 months ago) by takayama
Branch: MAIN
Changes since 1.14: +27 -9
lines
Diff to previous 1.14 (colored) to selected 1.36 (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.14 / (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.13: +77 -15
lines
Diff to previous 1.13 (colored) to selected 1.36 (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.13 / (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.12: +8 -1
lines
Diff to previous 1.12 (colored) to selected 1.36 (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.12 / (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.11: +21 -46
lines
Diff to previous 1.11 (colored) to selected 1.36 (colored)
Test codoes are removed from minimal.k
Revision 1.11 / (download) - annotate - [select for diffs], Fri May 19 11:16:51 2000 UTC (24 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.10: +139 -2
lines
Diff to previous 1.10 (colored) to selected 1.36 (colored)
I added some codes to check if the output is minimal or not.
Revision 1.10 / (download) - annotate - [select for diffs], Sun May 7 02:10:44 2000 UTC (24 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.9: +146 -3
lines
Diff to previous 1.9 (colored) to selected 1.36 (colored)
SpruneZeroRow(m) deletes 0-row vector.
Revision 1.9 / (download) - annotate - [select for diffs], Sat May 6 13:41:12 2000 UTC (24 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.8: +28 -9
lines
Diff to previous 1.8 (colored) to selected 1.36 (colored)
Sminimal_v() works for examples v, Sannfs2("x*y*(x-y)*(x+y)"); Sannfs3("x^3-y^2*z^2"); I have to test more examples.
Revision 1.8 / (download) - annotate - [select for diffs], Sat May 6 10:45:43 2000 UTC (24 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.7: +2 -2
lines
Diff to previous 1.7 (colored) to selected 1.36 (colored)
A bug fix of Schreyer order. The problem used for debugging a=Sannfs2("x*y*(x-y)*(x+y)"); There still remains bug to translate to V-minimal resolution.
Revision 1.7 / (download) - annotate - [select for diffs], Sat May 6 10:35:33 2000 UTC (24 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.6: +14 -3
lines
Diff to previous 1.6 (colored) to selected 1.36 (colored)
Temporary change of repository to work on a different computer.
Revision 1.6 / (download) - annotate - [select for diffs], Sat May 6 07:58:37 2000 UTC (24 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.5: +164 -18
lines
Diff to previous 1.5 (colored) to selected 1.36 (colored)
Sminimal_v() is still bugy. I could not fix it today. See also debug-note.txt.
Revision 1.5 / (download) - annotate - [select for diffs], Fri May 5 08:13:49 2000 UTC (24 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.4: +189 -2
lines
Diff to previous 1.4 (colored) to selected 1.36 (colored)
Sschreyer() constructs v-minimal free resolution without LaScala-Stillman's algorithm. I'm still debugging it.
Revision 1.4 / (download) - annotate - [select for diffs], Thu May 4 11:05:20 2000 UTC (24 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.3: +65 -3
lines
Diff to previous 1.3 (colored) to selected 1.36 (colored)
Made a bug fix of selection strategy. But, there still remain bugs for a class of problems.
Revision 1.3 / (download) - annotate - [select for diffs], Thu May 4 06:55:28 2000 UTC (24 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.2: +16 -3
lines
Diff to previous 1.2 (colored) to selected 1.36 (colored)
An explanation on "what is OpenXM?" A new function Sannfs3() is added to get a V-minimal resolution of the annihilating ideal for a polynomial in three variables.
Revision 1.2 / (download) - annotate - [select for diffs], Wed May 3 07:50:38 2000 UTC (24 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.1: +27 -1
lines
Diff to previous 1.1 (colored) to selected 1.36 (colored)
Sannfs2(f) returns the V-minimal resolution of the annihilating ideal of the polynomial f in x,y.
Revision 1.1 / (download) - annotate - [select for diffs], Wed May 3 06:42:07 2000 UTC (24 years, 4 months ago) by takayama
Branch: MAIN
Diff to selected 1.36 (colored)
I've been quiet and developed a code to construct minimal free resolution in D. This is a first working version for the minimal free resolution. It is written in the language kan/k0 and can be compiled into sm1 code. The language kan/k0 is similar to asir with extension of "class". Sample: k0 load["minimal.k"]; a = Sminimal(v);