Return to pd.rr CVS log | Up to [local] / OpenXM / src / asir-contrib / testing / noro |
version 1.3, 2010/05/10 05:30:18 | version 1.4, 2010/05/12 07:55:44 | ||
---|---|---|---|
|
|
||
{ | { | ||
F = p_nf(F,G,V,0); | F = p_nf(F,G,V,0); | ||
if ( !F ) return [1]; | if ( !F ) return [1]; | ||
NV = ttttt; | T = ideal_intersection(G,[F],V,0); | ||
V1 = cons(NV,V); | |||
T = nd_gr_trace(append(vtol(NV*ltov(G)),[(1-NV)*F]),V1,1,GBCheck, | |||
[[0,1],[0,length(V)]]|gbblock=[[0,length(G)]],nora=1); | |||
T = elimination(T,V); | |||
return map(ptozp,map(sdiv,T,F)); | return map(ptozp,map(sdiv,T,F)); | ||
} | } | ||