| 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 */ |
![[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