version 1.11, 2003/02/07 09:25:58 |
version 1.14, 2005/08/18 23:35:20 |
|
|
* DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE, |
* DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE, |
* PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE. |
* PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE. |
* |
* |
* $OpenXM: OpenXM_contrib2/asir2000/lib/sp,v 1.10 2002/06/21 00:34:21 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/lib/sp,v 1.13 2004/04/13 07:43:20 noro Exp $ |
*/ |
*/ |
/* |
/* |
sp : functions related to algebraic number fields |
sp : functions related to algebraic number fields |
Line 803 def norm_ch_lag(V,VM,P,P0) { |
|
Line 803 def norm_ch_lag(V,VM,P,P0) { |
|
|
|
def cr_gcda(P1,P2) |
def cr_gcda(P1,P2) |
{ |
{ |
if ( !(V = var(P1)) || !var(P2) ) |
if ( !P1 ) |
|
return P2; |
|
if ( !P2 ) |
|
return P1; |
|
if ( !var(P1) || !var(P2) ) |
return 1; |
return 1; |
|
V = var(P1); |
EXT = union_sort(getalgtreep(P1),getalgtreep(P2)); |
EXT = union_sort(getalgtreep(P1),getalgtreep(P2)); |
if ( EXT == [] ) |
if ( EXT == [] ) |
return gcd(P1,P2); |
return gcd(P1,P2); |
Line 1370 def resfctr_mod(F,L,M) |
|
Line 1375 def resfctr_mod(F,L,M) |
|
C = res(var(MP),B,MP) % M; |
C = res(var(MP),B,MP) % M; |
R = cons(flatten(cdr(modfctr(C,M))),R); |
R = cons(flatten(cdr(modfctr(C,M))),R); |
} |
} |
return R; |
return reverse(R); |
} |
} |
|
|
def flatten(L) |
def flatten(L) |