version 1.13, 2000/08/02 03:23:36 |
version 1.14, 2000/08/02 04:26:36 |
|
|
/* $OpenXM: OpenXM/src/k097/lib/minimal/minimal-test.k,v 1.12 2000/08/01 08:51:02 takayama Exp $ */ |
/* $OpenXM: OpenXM/src/k097/lib/minimal/minimal-test.k,v 1.13 2000/08/02 03:23:36 takayama Exp $ */ |
load["minimal.k"]; |
load["minimal.k"]; |
def sm1_resol1(p) { |
def sm1_resol1(p) { |
sm1(" p resol1 /FunctionValue set "); |
sm1(" p resol1 /FunctionValue set "); |
|
|
} |
} |
def test22() { |
def test22() { |
a=Sannfs3("x^3+y^3+z^3"); |
a=Sannfs3("x^3+y^3+z^3"); |
b=a[0]; w = ["x",-1,"y",-1,"z",-1,"Dx",1,"Dy",1,"Dz",1]; |
b=a[0]; w = ["x",-1,"y",-2,"z",-3,"Dx",1,"Dy",2,"Dz",3]; |
test_if_v_strict(b,w,"x,y,z"); |
test_if_v_strict(b,w,"x,y,z"); |
return(a); |
return(a); |
} |
} |