![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to pd.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|
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)); | ||
| } | } | ||