version 1.4, 2003/04/20 08:54:29 |
version 1.5, 2003/04/21 01:44:31 |
Line 342 def coefficientfrobeniuskernel_main(Poly) |
|
Line 342 def coefficientfrobeniuskernel_main(Poly) |
|
Vars=vars(Poly); |
Vars=vars(Poly); |
QP=dp_ptod(Poly,Vars); |
QP=dp_ptod(Poly,Vars); |
ANS=0; |
ANS=0; |
FOrd=deg(setmod_ff()[1],x); |
FOrd=deg(setmod_ff()[1],var(setmod_ff()[1])); |
Char=setmod_ff()[0]; |
Char=setmod_ff()[0]; |
Pow=Char^(FOrd-1); |
Pow=Char^(FOrd-1); |
|
|
Line 2083 def convertsmallfield(PP,VSet,Ord) |
|
Line 2083 def convertsmallfield(PP,VSet,Ord) |
|
dp_ord(Ord); |
dp_ord(Ord); |
NVSet=length(VSet); |
NVSet=length(VSet); |
Char=setmod_ff()[0]; |
Char=setmod_ff()[0]; |
ExtDeg=deg(setmod_ff()[1],x); |
ExtDeg=deg(setmod_ff()[1],var(setmod_ff()[1])); |
|
|
NewV=pg; |
NewV=pgpgpgpgpgpgpg; |
MPP=map(monic_hc,PP,VSet); |
MPP=map(monic_hc,PP,VSet); |
MPP=map(sfptopsfp,MPP,NewV); |
MPP=map(sfptopsfp,MPP,NewV); |
|
|
MinPoly=subst(setmod_ff()[1],x,NewV); |
MinPoly=subst(setmod_ff()[1],var(setmod_ff()[1]),NewV); |
XSet=cons(NewV,VSet); |
XSet=cons(NewV,VSet); |
|
|
Ord1=[[0,1],[Ord,NVSet]]; |
Ord1=[[0,1],[Ord,NVSet]]; |
Line 2109 def checkgaloisorbit(PP,VSet,Ord,Flag) |
|
Line 2109 def checkgaloisorbit(PP,VSet,Ord,Flag) |
|
{ |
{ |
NPP=length(PP); |
NPP=length(PP); |
TmpPP=PP; |
TmpPP=PP; |
ExtDeg=deg(setmod_ff()[1],x); |
ExtDeg=deg(setmod_ff()[1],var(setmod_ff()[1])); |
|
|
ANS=[]; |
ANS=[]; |
BNS=[]; |
BNS=[]; |