| version 1.16, 2000/06/15 07:38:36 |
version 1.17, 2000/07/26 12:56:36 |
|
|
| /* $OpenXM: OpenXM/src/k097/lib/minimal/minimal.k,v 1.15 2000/06/14 07:44:05 takayama Exp $ */ |
/* $OpenXM: OpenXM/src/k097/lib/minimal/minimal.k,v 1.16 2000/06/15 07:38:36 takayama Exp $ */ |
| #define DEBUG 1 |
#define DEBUG 1 |
| /* #define ORDINARY 1 */ |
/* #define ORDINARY 1 */ |
| /* 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 567 def SlaScala(g,opt) { |
|
| Line 567 def SlaScala(g,opt) { |
|
| bases = Sbases_to_vec(bases,bettiTable[i]); |
bases = Sbases_to_vec(bases,bettiTable[i]); |
| freeResV[i] = bases; |
freeResV[i] = bases; |
| } |
} |
| return([freeResV, redundantTable,reducer,bettiTable,redundantTable_ordinary]); |
return([freeResV, redundantTable,reducer,bettiTable,redundantTable_ordinary,rf]); |
| } |
} |
| |
|
| def SthereIs(reductionTable_tmp,strategy) { |
def SthereIs(reductionTable_tmp,strategy) { |
| Line 969 def Sminimal(g,opt) { |
|
| Line 969 def Sminimal(g,opt) { |
|
| } |
} |
| tminRes = Stetris(minRes,redundantTable); |
tminRes = Stetris(minRes,redundantTable); |
| return([SpruneZeroRow(tminRes), tminRes, |
return([SpruneZeroRow(tminRes), tminRes, |
| [ minRes, redundantTable, reducer,r[3],r[4]],r[0]]); |
[ minRes, redundantTable, reducer,r[3],r[4]],r[0],r[5]]); |
| /* r[4] is the redundantTable_ordinary */ |
/* r[4] is the redundantTable_ordinary */ |
| /* r[0] is the freeResolution */ |
/* r[0] is the freeResolution */ |
| |
/* r[5] is the skelton */ |
| } |
} |
| |
|
| |
|
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to minimal.k CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / src / k097 / lib / minimal