===================================================================
RCS file: /home/cvs/OpenXM/src/k097/lib/minimal/minimal-test.k,v
retrieving revision 1.10
retrieving revision 1.12
diff -u -p -r1.10 -r1.12
--- OpenXM/src/k097/lib/minimal/minimal-test.k	2000/08/01 05:16:02	1.10
+++ OpenXM/src/k097/lib/minimal/minimal-test.k	2000/08/01 08:51:02	1.12
@@ -1,4 +1,4 @@
-/* $OpenXM: OpenXM/src/k097/lib/minimal/minimal-test.k,v 1.9 2000/08/01 03:42:35 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 ");
@@ -254,7 +254,7 @@ def test17() {
 }          
 
 def test_if_v_strict(resmat,w,v) {
-   local b,c;
+   local b,c,g;
    Sweyl(v,[w]); b = Reparse(resmat);
    c=Sinit_w(b,w); 
    Println("Resolution (b)----");
@@ -267,13 +267,15 @@ def test_if_v_strict(resmat,w,v) {
    Println(IsExact_h(c,v));
    g = Sinvolutive(b[0],w);
    /* Println("Involutive basis ---");
-     sm1_pmat(g); */
+      sm1_pmat(g); 
+      Println(Sinvolutive(c[0],w));
+      sm1(" /gb.verbose 1 def "); */
    Println("Is same ideal?");
-   Println(IsSameIdeal_h(g,c[0],"x,y"));
+   Println(IsSameIdeal_h(g,c[0],v));
 }
 def test17b() {
    a=Sannfs3("x^3-y^2*z^2");
-   b=a[0]; w = ["x",-1,"y",-1,"z",-5,"Dx",1,"Dy",1,"Dz",5];
+   b=a[0]; w = ["x",-1,"y",-1,"z",-1,"Dx",1,"Dy",1,"Dz",1];
    test_if_v_strict(b,w,"x,y,z");
    return(a);
 }