|Bill Allombert on Fri, 12 Nov 1999 12:13:12 +0100 (MET)|
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
|Re: nfgaloisconj() remark|
Hello, you snip the bad part of the manual: nfgaloisconj(x^4-x^3-5*x^2+2*x+4,0) *** Warning: conjugates list may be incomplete in nfgaloisconj. %7 = [x, 1/2*x^3 - 1/2*x^2 - 5/2*x + 1]~ [snip] nf can be simply a polynomial with flag 0,2 and 4, meaning: 0: use combination of flag 4 and 2, not always complete (but a warning is issued when the list is not proven complete); 2 & 4: same meaning and restrictions. Note that only flag 4 can be applied to fields of large degrees (approx. >= 20). ? nfgaloisconj(nfinit(x^4-x^3-5*x^2+2*x+4),0) %2 = [x, 1/2*x^3 - 1/2*x^2 - 5/2*x + 1]~ So there are no bugs, and the result is indeed complete. The warning is issued because the Van der Waerden-Cebotarev test fails, because bounds used are much too small. This will be corrected when fast simplefactmod function will be implemented. You can patch with nbmax = n + (n >> 1) + 1; + if (nbmax < 12) nbmax=13; in galconj.c:numberofconjugates() , but it is rather a bad fix. Bill.