Up to [local] / OpenXM / src / k097 / lib / minimal
Request diff between arbitrary revisions
Default branch: MAIN
Revision 1.2 / (download) - annotate - [select for diffs], Tue Aug 1 03:42:35 2000 UTC (24 years, 5 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.1: +116 -1
lines
Diff to previous 1.1 (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.1 / (download) - annotate - [selected], Wed Jun 14 07:44:05 2000 UTC (24 years, 6 months ago) by takayama
Branch: MAIN
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.