| version 1.10, 2000/12/15 01:34:31 |
version 1.11, 2000/12/15 01:52:36 |
|
|
| * 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: OpenXM_contrib2/asir2000/lib/bfct,v 1.10 2000/12/15 01:34:31 noro Exp $ |
| */ |
*/ |
| /* requires 'primdec' */ |
/* requires 'primdec' */ |
| |
|
| Line 269 def weyl_minipolym(G,V,O,M,V0) |
|
| Line 269 def weyl_minipolym(G,V,O,M,V0) |
|
| |
|
| def weyl_minipoly(G0,V0,O0,V) |
def weyl_minipoly(G0,V0,O0,V) |
| { |
{ |
| |
HM = hmlist(G0,V0,O0); |
| for ( I = 0; ; I++ ) { |
for ( I = 0; ; I++ ) { |
| Prime = lprime(I); |
Prime = lprime(I); |
| |
if ( !valid_modulus(HM,Prime) ) |
| |
continue; |
| MP = weyl_minipolym(G0,V0,O0,Prime,V); |
MP = weyl_minipolym(G0,V0,O0,Prime,V); |
| for ( D = deg(MP,V), TL = [], J = 0; J <= D; J++ ) |
for ( D = deg(MP,V), TL = [], J = 0; J <= D; J++ ) |
| TL = cons(V^J,TL); |
TL = cons(V^J,TL); |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to bfct CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM_contrib2 / asir2000 / lib