version 1.25, 2000/08/02 05:14:31 |
version 1.26, 2000/08/10 02:59:08 |
|
|
/* $OpenXM: OpenXM/src/k097/lib/minimal/minimal.k,v 1.24 2000/08/02 03:23:36 takayama Exp $ */ |
/* $OpenXM: OpenXM/src/k097/lib/minimal/minimal.k,v 1.25 2000/08/02 05:14:31 takayama Exp $ */ |
#define DEBUG 1 |
#define DEBUG 1 |
Sordinary = false; |
Sordinary = false; |
/* If you run this program on openxm version 1.1.2 (FreeBSD), |
/* If you run this program on openxm version 1.1.2 (FreeBSD), |
Line 1048 def Sminimal(g,opt) { |
|
Line 1048 def Sminimal(g,opt) { |
|
Println("-----------------------------------------------"); |
Println("-----------------------------------------------"); |
|
|
sm1(" restoreEnvAfterResolution "); |
sm1(" restoreEnvAfterResolution "); |
|
Sordinary = false; |
|
|
return(ansSminimal); |
return(ansSminimal); |
/* r[4] is the redundantTable_ordinary */ |
/* r[4] is the redundantTable_ordinary */ |