version 1.2, 2010/05/10 02:15:17 |
version 1.4, 2010/05/12 07:55:44 |
|
|
def gbcheck(A) |
def gbcheck(A) |
{ |
{ |
if ( A ) GBCheck = 1; |
if ( A ) GBCheck = 1; |
else GBcheck = -1; |
else GBCheck = -1; |
} |
} |
|
|
def f4(A) |
def f4(A) |
Line 1169 def colon(G,F,V) |
|
Line 1169 def colon(G,F,V) |
|
{ |
{ |
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)); |
} |
} |
|
|