CVS log for OpenXM/src/k097/lib/minimal/minimal-note-ja.txt

Up to [local] / OpenXM / src / k097 / lib / minimal

Request diff between arbitrary revisions

Default branch: MAIN

Revision 1.12 / (download) - annotate - [select for diffs], Wed Aug 9 03:45:27 2000 UTC (24 years, 4 months 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, 5 months 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, 5 months 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, 5 months 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, 5 months 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, 6 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, 6 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, 6 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, 6 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, 6 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, 7 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, 7 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.

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.