| version 1.24, 2000/08/02 03:23:36 |
version 1.26, 2000/08/10 02:59:08 |
|
|
| /* $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.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 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 "); |
| |
Sordinary = false; |
| |
|
| return(ansSminimal); |
return(ansSminimal); |
| /* r[4] is the redundantTable_ordinary */ |
/* r[4] is the redundantTable_ordinary */ |