OpenXM/src/k097/lib/minimal/minimal-test.k - diff

Return to minimal-test.k CVS log

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

version 1.11, 2000/08/01 06:26:10

version 1.12, 2000/08/01 08:51:02

Line 1

/* $OpenXM: OpenXM/src/k097/lib/minimal/minimal-test.k,v 1.10 2000/08/01 05:16:02 takayama Exp $ */

/* $OpenXM: OpenXM/src/k097/lib/minimal/minimal-test.k,v 1.11 2000/08/01 06:26:10 takayama Exp $ */

load["minimal.k"];

def sm1_resol1(p) {

sm1(" p resol1 /FunctionValue set ");

Line 254 def test17() {

}

def test_if_v_strict(resmat,w,v) {

local b,c,g,cc;

local b,c,g;

Sweyl(v,[w]); b = Reparse(resmat);

c=Sinit_w(b,w);

Println("Resolution (b)----");

sm1_pmat(b);

Println("Initial (c)----");

sm1_pmat(c); cc=c;

sm1_pmat(c);

Println("Exactness of the resolution ---");

Println(IsExact_h(b,v)); /* IsExact_h breaks the variable c.

Println(IsExact_h(b,v));

THIS BUG SHOULD BE FIXED. */

Println("Why is the initial c rewritten by b? (buggy) ");sm1_pmat(c[0]);

Println("Exactness of the initial complex.---");

Println(IsExact_h(cc,v));

Println(IsExact_h(c,v));

g = Sinvolutive(b[0],w);

/* Println("Involutive basis ---");

sm1_pmat(g);

Println(Sinvolutive(cc[0],w));

Println(Sinvolutive(c[0],w));

sm1(" /gb.verbose 1 def "); */

Println("Is same ideal?");

Println(IsSameIdeal_h(g,cc[0],v));

Println(IsSameIdeal_h(g,c[0],v));

}

def test17b() {

a=Sannfs3("x^3-y^2*z^2");