version 1.2, 2009/12/02 04:38:48 |
version 1.3, 2014/09/05 11:55:19 |
Line 137 def sort_lex_dec(B,V) |
|
Line 137 def sort_lex_dec(B,V) |
|
{ |
{ |
dp_ord(2); |
dp_ord(2); |
B = map(dp_ptod,B,V); |
B = map(dp_ptod,B,V); |
B = vtol(qsort(ltov(B),comp_by_ht)); |
B = vtol(qsort(ltov(B),de.comp_by_ht)); |
B = map(dp_dtop,B,V); |
B = map(dp_dtop,B,V); |
return reverse(B); |
return reverse(B); |
} |
} |
Line 146 def sort_lex_inc(B,V) |
|
Line 146 def sort_lex_inc(B,V) |
|
{ |
{ |
dp_ord(2); |
dp_ord(2); |
B = map(dp_ptod,B,V); |
B = map(dp_ptod,B,V); |
B = vtol(qsort(ltov(B),comp_by_ht)); |
B = vtol(qsort(ltov(B),de.comp_by_ht)); |
B = map(dp_dtop,B,V); |
B = map(dp_dtop,B,V); |
return B; |
return B; |
} |
} |
Line 221 def intdpltoratdpl(G,Mod,M) |
|
Line 221 def intdpltoratdpl(G,Mod,M) |
|
R = cons(T,R); |
R = cons(T,R); |
} |
} |
R = reverse(R); |
R = reverse(R); |
return vtol(qsort(newvect(length(R),R),comp_by_ht)); |
return vtol(qsort(newvect(length(R),R),de.comp_by_ht)); |
} |
} |
|
|
def intdptoratdp(F,Mod,M) |
def intdptoratdp(F,Mod,M) |
Line 262 def monic_gb(G,V,O,P) |
|
Line 262 def monic_gb(G,V,O,P) |
|
dp_ord(O); setmod(P); |
dp_ord(O); setmod(P); |
D = map(dp_ptod,G,V); |
D = map(dp_ptod,G,V); |
D = map(dp_monic_mod,D,P); |
D = map(dp_monic_mod,D,P); |
D = vtol(qsort(newvect(length(D),D),comp_by_ht)); |
D = vtol(qsort(newvect(length(D),D),de.comp_by_ht)); |
return [D,map(dp_ht,D)]; |
return [D,map(dp_ht,D)]; |
} |
} |
|
|