version 1.5, 2020/01/27 02:16:02 |
version 1.6, 2020/02/05 04:56:10 |
Line 83 def module_syz(F,V,H,Ord) |
|
Line 83 def module_syz(F,V,H,Ord) |
|
else Ind++; |
else Ind++; |
} |
} |
} else |
} else |
G = nd_gr(B,V,0,[1,Ord]|dp=1,homo=H); |
G = nd_gr_trace(B,V,H,1,[1,Ord]|dp=1); |
} |
} |
G0 = []; S0 = []; Gen0 = []; |
G0 = []; S0 = []; Gen0 = []; |
for ( T = G; T != []; T = cdr(T) ) { |
for ( T = G; T != []; T = cdr(T) ) { |
Line 222 def sres(F,V,H,Ord) |
|
Line 222 def sres(F,V,H,Ord) |
|
if ( I == K ) return [[],[],[]]; |
if ( I == K ) return [[],[],[]]; |
L = todpmlist(F,V); |
L = todpmlist(F,V); |
F = L[0]; N = L[1]; |
F = L[0]; N = L[1]; |
|
#if 0 |
G = nd_gr(F,V,H,[0,Ord]|dp=1); |
G = nd_gr(F,V,H,[0,Ord]|dp=1); |
|
#else |
|
G = nd_gr_trace(F,V,H,1,[0,Ord]|dp=1); |
|
#endif |
G = reverse(G); |
G = reverse(G); |
R = [G]; |
R = [G]; |
dp_ord([0,Ord]); |
dp_ord([0,Ord]); |
Line 421 def lres_setup(F,V,H,Ord) |
|
Line 425 def lres_setup(F,V,H,Ord) |
|
} else { |
} else { |
error("lres_setup: arugument type is invalid."); |
error("lres_setup: arugument type is invalid."); |
} |
} |
|
dp_ord([0,Ord]); |
|
F = map(dpm_sort,F); |
|
#if 0 |
G = nd_gr(F,V,H,[0,Ord]|dp=1); |
G = nd_gr(F,V,H,[0,Ord]|dp=1); |
|
#else |
|
G = nd_gr_trace(F,V,H,1,[0,Ord]|dp=1); |
|
#endif |
G = reverse(G); |
G = reverse(G); |
dp_ord([0,Ord]); |
dp_ord([0,Ord]); |
One = dp_ptod(1,V); |
One = dp_ptod(1,V); |
|
|
R = 0; |
R = 0; |
for ( T = F; T; T = dpm_rest(T) ) { |
for ( T = F; T; T = dpm_rest(T) ) { |
Coef = dpm_hc(T); Pos = dpm_hp(T); |
Coef = dpm_hc(T); Pos = dpm_hp(T); |
R += Coef*C[Pos]; |
R += Coef*C[Pos-1]; |
} |
} |
return R; |
return R; |
} |
} |