===================================================================
RCS file: /home/cvs/OpenXM/src/k097/lib/minimal/minimal.k,v
retrieving revision 1.34
retrieving revision 1.36
diff -u -p -r1.34 -r1.36
--- OpenXM/src/k097/lib/minimal/minimal.k	2001/01/05 11:14:28	1.34
+++ OpenXM/src/k097/lib/minimal/minimal.k	2007/07/03 22:28:11	1.36
@@ -1,4 +1,4 @@
-/* $OpenXM: OpenXM/src/k097/lib/minimal/minimal.k,v 1.33 2000/12/29 07:19:40 takayama Exp $ */
+/* $OpenXM: OpenXM/src/k097/lib/minimal/minimal.k,v 1.35 2007/07/03 22:05:46 takayama Exp $ */
 #define DEBUG 1 
 Sordinary = false;
 /* If you run this program on openxm version 1.1.2 (FreeBSD),
@@ -246,9 +246,9 @@ def StoTower() {
 }
 
 def SsetTower(tower) {
-sm1(" [(AvoidTheSameRing)] pushEnv 
-      [ [(AvoidTheSameRing) 0] system_variable 
-        [(gbListTower) tower (list) dc] system_variable
+sm1(" [(AvoidTheSameRing)] pushEnv \
+      [ [(AvoidTheSameRing) 0] system_variable \
+        [(gbListTower) tower (list) dc] system_variable \
       ] pop popEnv ");
       /* sm1("(hoge) message show_ring "); */
 }
@@ -358,13 +358,13 @@ def NewPolynomialVector(size) {
 }
 
 def  SturnOffHomogenization() {
-  sm1("
-    [(Homogenize)] system_variable 1 eq
-    { Sverbose {
-      (Warning: Homogenization and ReduceLowerTerms options are automatically turned off.) message } { } ifelse
-      [(Homogenize) 0] system_variable
-      [(ReduceLowerTerms) 0] system_variable
-    } {  } ifelse
+  sm1(" \
+    [(Homogenize)] system_variable 1 eq \
+    { Sverbose { \
+      (Warning: Homogenization and ReduceLowerTerms options are automatically turned off.) message } { } ifelse \
+      [(Homogenize) 0] system_variable \
+      [(ReduceLowerTerms) 0] system_variable \
+    } {  } ifelse \
   ");
 }
 /* NOTE!!!  Be careful these changes of global environmental variables.
@@ -372,13 +372,13 @@ def  SturnOffHomogenization() {
    after computation and interruption.  August 15, 2000.
 */
 def  SturnOnHomogenization() {
-  sm1("
-    [(Homogenize)] system_variable 0 eq
-    { Sverbose {
-        (Warning: Homogenization and ReduceLowerTerms options are automatically turned ON.) message } {  } ifelse
-      [(Homogenize) 1] system_variable
-      [(ReduceLowerTerms) 1] system_variable
-    } {  } ifelse
+  sm1(" \
+    [(Homogenize)] system_variable 0 eq \
+    { Sverbose { \
+        (Warning: Homogenization and ReduceLowerTerms options are automatically turned ON.) message } {  } ifelse \
+      [(Homogenize) 1] system_variable \
+      [(ReduceLowerTerms) 1] system_variable \
+    } {  } ifelse \
   ");
 }
 
@@ -1009,7 +1009,10 @@ HelpAdd(["Sminimal",
  "         Sweyl(\"x,y\",[[\"x\",-1,\"y\",-1,\"Dx\",1,\"Dy\",1]]);", 
  "         b = ReParse(a[0]); sm1_pmat(b); ",
  "         IsExact_h(b,[x,y]):",
- "Note:  a[0] is the V-minimal resolution. a[3] is the Schreyer resolution."]]);
+ "Note:  a[0] is the V-minimal resolution. a[3] is the Schreyer resolution.",
+ " ---> D^{m_3} --b[2]--> D^{m_2} --b[1]--> D^{m_1} --b[0]--> D^{m_0} ",
+ "  Here D^{m_i} are the set of row vectors. "
+ ]]);
 
 def Sminimal(g,opt) {
   local r, freeRes, redundantTable, reducer, maxLevel,