version 1.5, 2009/10/16 02:57:26 |
version 1.6, 2009/10/16 07:39:33 |
Line 1412 def bf_strat_stage3(L) |
|
Line 1412 def bf_strat_stage3(L) |
|
|
|
def bf_local(F,P) |
def bf_local(F,P) |
{ |
{ |
|
/* F -> F/Fcont */ |
|
F1 = ptozp(F); Fcont = sdiv(F,F1); F = F1; |
if ( type(Heu=getopt(heuristic)) == -1 ) Heu = 0; |
if ( type(Heu=getopt(heuristic)) == -1 ) Heu = 0; |
if ( type(Vord=getopt(vord)) == -1 || type(Vord) != 4 ) Vord = 0; |
if ( type(Vord=getopt(vord)) == -1 || type(Vord) != 4 ) Vord = 0; |
if ( type(Wt=getopt(weight)) == -1 ) Wt = 0; |
if ( type(Wt=getopt(weight)) == -1 ) Wt = 0; |
Line 1476 def bf_local(F,P) |
|
Line 1478 def bf_local(F,P) |
|
CR = conv_tdt(R,F,V0,DV0,T,DT); |
CR = conv_tdt(R,F,V0,DV0,T,DT); |
|
|
dp_set_weight(0); |
dp_set_weight(0); |
Cont = cont(CR); |
Cont = cont(CR); CR /= Cont; |
|
Cont *= dn(Fcont); Den *= nm(Fcont); |
Gcd = igcd(Den,Cont); |
Gcd = igcd(Den,Cont); |
return [LB,(Den/Gcd)*Ax,CR/Gcd]; |
return [LB,(Den/Gcd)*Ax,(Cont/Gcd)*CR]; |
} |
} |
|
|
/* t^(l+k)*dt^l (k>l) -> (s-k)(s-k-1)...(s-(k+l-1))t^k */ |
/* t^(l+k)*dt^l (k>l) -> (s-k)(s-k-1)...(s-(k+l-1))t^k */ |