===================================================================
RCS file: /home/cvs/OpenXM/src/k097/lib/minimal/minimal-test.k,v
retrieving revision 1.11
retrieving revision 1.12
diff -u -p -r1.11 -r1.12
--- OpenXM/src/k097/lib/minimal/minimal-test.k	2000/08/01 06:26:10	1.11
+++ 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.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 ");
@@ -254,26 +254,24 @@ 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.
-                                THIS BUG SHOULD BE FIXED. */
-   Println("Why is the initial c rewritten by b? (buggy) ");sm1_pmat(c[0]);
+   Println(IsExact_h(b,v));
    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");