| version 1.4, 2005/08/04 06:28:54 |
version 1.5, 2005/08/09 05:34:10 |
| Line 77 def inverse_or_split(V,Id,F) |
|
| Line 77 def inverse_or_split(V,Id,F) |
|
| |
|
| def construct_sqfrbasis(F,X,B,V) |
def construct_sqfrbasis(F,X,B,V) |
| { |
{ |
| |
if ( type(F) == 1 ) |
| |
return []; |
| B = sort_lex_dec(B,V); |
B = sort_lex_dec(B,V); |
| V1 = cons(X,V); |
V1 = cons(X,V); |
| F = nd_nf(F,reverse(B),cons(X,V),2,0); |
F = nd_nf(F,reverse(B),cons(X,V),2,0); |
| D = deg(F,X); |
D = deg(F,X); |
| H = coef(F,D,X); |
H = coef(F,D,X); |
| if ( type(H) == 1 ) |
if ( type(H) == 2 ) { |
| return []; |
|
| else if ( type(H) == 2 ) { |
|
| Ret = inverse_or_split(V,B,H); |
Ret = inverse_or_split(V,B,H); |
| if ( type(Ret) == 4 ) { |
if ( type(Ret) == 4 ) { |
| /* H != 0 on Id_nz, H = 0 on Id_z */ |
/* H != 0 on Id_nz, H = 0 on Id_z */ |
| Line 103 def construct_sqfrbasis(F,X,B,V) |
|
| Line 103 def construct_sqfrbasis(F,X,B,V) |
|
| else { |
else { |
| R = []; |
R = []; |
| for ( T = S; T != []; T = cdr(T) ) { |
for ( T = S; T != []; T = cdr(T) ) { |
| G = nd_gr_trace(cons(car(T),B1),V1,1,1,2); |
G = nd_gr_trace(cons(subst(car(T)[0],zzz,X),B1),V1,1,1,2); |
| R1 = split_lexgb(G,V1); |
R1 = split_lexgb(G,V1); |
| R = append(R1,R); |
R = append(R1,R); |
| } |
} |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to de CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM_contrib2 / asir2000 / lib