version 1.24, 2000/08/02 03:23:36 |
version 1.25, 2000/08/02 05:14:31 |
|
|
/* $OpenXM: OpenXM/src/k097/lib/minimal/minimal.k,v 1.23 2000/08/01 08:51:03 takayama Exp $ */ |
/* $OpenXM: OpenXM/src/k097/lib/minimal/minimal.k,v 1.24 2000/08/02 03:23:36 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 1046 def Sminimal(g,opt) { |
|
Line 1046 def Sminimal(g,opt) { |
|
Print("Betti numbers of the Schreyer frame: "); |
Print("Betti numbers of the Schreyer frame: "); |
Println(Map(ansSminimal[3],"Length")); |
Println(Map(ansSminimal[3],"Length")); |
Println("-----------------------------------------------"); |
Println("-----------------------------------------------"); |
|
|
|
sm1(" restoreEnvAfterResolution "); |
|
|
return(ansSminimal); |
return(ansSminimal); |
/* r[4] is the redundantTable_ordinary */ |
/* r[4] is the redundantTable_ordinary */ |