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

Return to minimal.k CVS log

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

version 1.30, 2000/11/19 05:50:30

version 1.32, 2000/12/10 09:34:28

Line 1

/* $OpenXM: OpenXM/src/k097/lib/minimal/minimal.k,v 1.29 2000/08/22 05:34:06 takayama Exp $ */

/* $OpenXM: OpenXM/src/k097/lib/minimal/minimal.k,v 1.31 2000/12/10 03:12:20 takayama Exp $ */

#define DEBUG 1

Sordinary = false;

/* If you run this program on openxm version 1.1.2 (FreeBSD),

Line 44 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 ");

load("cohom.k");

def load_tower() {

if (Boundp("k0-tower.sm1.loaded")) {

}else{

sm1(" [(parse) (k0-tower.sm1) pushfile ] extension ");

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");