| version 1.8, 2009/10/27 02:53:31 |
version 1.9, 2009/11/12 01:39:54 |
| Line 1450 def bf_strat_stage3(L) |
|
| Line 1450 def bf_strat_stage3(L) |
|
| } |
} |
| dp_set_weight(0); |
dp_set_weight(0); |
| if ( K < J ) { |
if ( K < J ) { |
| for ( L = 0, T = []; L < NDI; L++ ) |
for ( L = 0, T = []; L < NDI; L++ ) { |
| |
#if 0 |
| |
NewId = DK[L][1]; |
| |
#else |
| |
NewId = ideal_intersection(DK[L][1],DI[L][1],V0,0); |
| |
#endif |
| T = cons([[DK[L][0][0]*DI[L][0][0],DK[L][0][1]], |
T = cons([[DK[L][0][0]*DI[L][0][0],DK[L][0][1]], |
| DK[L][1],DK[L][2]],T); |
NewId,DK[L][2]],T); |
| |
} |
| Data[K] = reverse(T); |
Data[K] = reverse(T); |
| } else |
} else |
| Data[J++] = DI; |
Data[J++] = DI; |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to ndbf.rr CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / src / asir-contrib / testing / noro