| version 1.14, 2005/08/18 23:35:20 |
version 1.15, 2006/06/23 08:57:47 |
|
|
| * 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.13 2004/04/13 07:43:20 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/lib/sp,v 1.14 2005/08/18 23:35:20 noro Exp $ |
| */ |
*/ |
| /* |
/* |
| sp : functions related to algebraic number fields |
sp : functions related to algebraic number fields |
| Line 659 def ufctrhint2(P,HINT,PP,AL) |
|
| Line 659 def ufctrhint2(P,HINT,PP,AL) |
|
| return [[P,1]]; |
return [[P,1]]; |
| if ( AL == [] ) |
if ( AL == [] ) |
| return ufctrhint(P,HINT); |
return ufctrhint(P,HINT); |
| |
|
| |
/* if P != norm(PP) then call the generic ufctrhint() */ |
| |
for ( T = AL, E = 1; T != []; T = cdr(T) ) { |
| |
D = defpoly(car(T)); E *= deg(D,var(D)); |
| |
} |
| |
if ( E*deg(PP,var(PP)) != deg(P,var(P)) ) |
| |
return ufctrhint(P,HINT); |
| |
|
| |
/* P = norm(PP) */ |
| L = resfctr(algptorat(PP),map(defpoly,AL),map(algtorat,AL),P); |
L = resfctr(algptorat(PP),map(defpoly,AL),map(algtorat,AL),P); |
| for ( T = reverse(L[1]), DL = []; T != []; T = cdr(T) ) |
for ( T = reverse(L[1]), DL = []; T != []; T = cdr(T) ) |
| DL = cons(deg(car(car(T)),a_),DL); |
DL = cons(deg(car(car(T)),a_),DL); |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to sp CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM_contrib2 / asir2000 / lib