OpenXM/src/k097/lib/minimal/minimal.k - diff

Return to minimal.k CVS log

Up to [local] / OpenXM / src / k097 / lib / minimal

Diff for /OpenXM/src/k097/lib/minimal/minimal.k between version 1.31 and 1.33

-version 1.31, 2000/12/10 03:12:20
+version 1.33, 2000/12/29 07:19:40
 Line 1
 Line 1
 Line 1
- /* $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),
 Line 46  def Sprint2(s) {
 Line 46  def Sprint2(s) {
 Line 46  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");
-Line 157  def Max(v) {
+Line 139  def Max(v) {
 Line 157  def Max(v) {
 Line 139  def Max(v) {
  HelpAdd(["Max",
  ["Max(v) returns the maximal element in v."]]);
- def Kernel(f) {
+ def Kernel(f,v) {
-   sm1(" [f] syz /FunctionValue set ");
+   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 ");

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>