| version 1.14, 2001/11/19 01:40:05 |
version 1.15, 2002/06/12 08:19:04 |
|
|
| * 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/gr,v 1.13 2001/11/19 00:57:13 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/lib/gr,v 1.14 2001/11/19 01:40:05 noro Exp $ |
| */ |
*/ |
| extern INIT_COUNT,ITOR_FAIL$ |
extern INIT_COUNT,ITOR_FAIL$ |
| extern REMOTE_MATRIX,REMOTE_NF,REMOTE_VARS$ |
extern REMOTE_MATRIX,REMOTE_NF,REMOTE_VARS$ |
| Line 352 def minipoly(G0,V,O,P,V0) |
|
| Line 352 def minipoly(G0,V,O,P,V0) |
|
| if ( !zero_dim(hmlist(G0,V,O),V,O) ) |
if ( !zero_dim(hmlist(G0,V,O),V,O) ) |
| error("tolex : ideal is not zero-dimensional!"); |
error("tolex : ideal is not zero-dimensional!"); |
| |
|
| |
Pin = P; |
| |
P = ptozp(P); |
| |
CP = sdiv(P,Pin); |
| G1 = cons(V0-P,G0); |
G1 = cons(V0-P,G0); |
| O1 = [[0,1],[O,length(V)]]; |
O1 = [[0,1],[O,length(V)]]; |
| V1 = cons(V0,V); |
V1 = cons(V0,V); |
| Line 372 def minipoly(G0,V,O,P,V0) |
|
| Line 375 def minipoly(G0,V,O,P,V0) |
|
| TL = cons(V0^J,TL); |
TL = cons(V0^J,TL); |
| NF = gennf(G1,TL,V1,O1,V0,1)[0]; |
NF = gennf(G1,TL,V1,O1,V0,1)[0]; |
| R = tolex_main(V1,O1,NF,[MP],M,MB); |
R = tolex_main(V1,O1,NF,[MP],M,MB); |
| return R[0]; |
return ptozp(subst(R[0],V0,CP*V0)); |
| } |
} |
| } |
} |
| |
|
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to gr CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM_contrib2 / asir2000 / lib