===================================================================
RCS file: /home/cvs/OpenXM/src/k097/lib/minimal/minimal.k,v
retrieving revision 1.31
retrieving revision 1.33
diff -u -p -r1.31 -r1.33
--- OpenXM/src/k097/lib/minimal/minimal.k	2000/12/10 03:12:20	1.31
+++ OpenXM/src/k097/lib/minimal/minimal.k	2000/12/29 07:19:40	1.33
@@ -1,4 +1,4 @@
-/* $OpenXM: OpenXM/src/k097/lib/minimal/minimal.k,v 1.30 2000/11/19 05:50:30 takayama Exp $ */
+/* $OpenXM: OpenXM/src/k097/lib/minimal/minimal.k,v 1.32 2000/12/10 09:34:28 takayama Exp $ */
 #define DEBUG 1 
 Sordinary = false;
 /* If you run this program on openxm version 1.1.2 (FreeBSD),
@@ -46,28 +46,10 @@ def Sprint2(s) {
 
 /* We cannot use load command in the if statement. */
 load("lib/minimal/cohom.k");
+Load_sm1(["k0-tower.sm1","lib/minimal/k0-tower.sm1"],"k0-tower.sm1.loaded");
+Load_sm1(["new.sm1","lib/minimal/new.sm1"],"new.sm1.loaded");
+sm1(" oxNoX ");
 
-def load_tower() {
-  local ppp;
-  if (Boundp("k0-tower.sm1.loaded")) {
-  }else{
-    if (Tag(GetPathName("k0-tower.sm1")) == 0) {
-      ppp = GetPathName("lib/minimal/k0-tower.sm1");
-      sm1(" [(parse) ppp pushfile ] extension ");
-    }else{
-      sm1(" [(parse) (k0-tower.sm1) pushfile ] extension ");
-    }
-    if (Tag(GetPathName("new.sm1")) == 0) {
-      ppp = GetPathName("lib/minimal/new.sm1");
-      sm1(" [(parse) ppp pushfile ] extension ");
-    }else{
-      sm1(" [(parse) (new.sm1) pushfile ] extension ");
-    }
-    sm1(" /k0-tower.sm1.loaded 1 def ");
-  }
-  sm1(" oxNoX ");
-}
-load_tower();
 SonAutoReduce = true;
 def Factor(f) {
    sm1(f, " fctr /FunctionValue set");
@@ -157,8 +139,15 @@ def Max(v) {
 HelpAdd(["Max",
 ["Max(v) returns the maximal element in v."]]);
 
-def Kernel(f) {
-  sm1(" [f] syz /FunctionValue set ");
+def Kernel(f,v) {
+  local ans;
+  /* v :  string or ring */
+  if (Length(Arglist) < 2) {
+    sm1(" [f] syz /ans set ");
+  }else{
+    sm1(" [f v] syz /ans set ");
+  }
+  return(ans);
 }
 def Syz(f) {
   sm1(" [f] syz /FunctionValue set ");