Re: [sage-support] Two possible bugs in number fields

2015-05-04 Thread John Cremona
On 4 May 2015 at 13:48, Jeroen Demeyer wrote: > On 2015-05-04 14:39, Bruno Grenet wrote: >> >> Dear all, >> >> 1. In number fields, some elements are considered as prime, which is >> not mathematically correct: >> | >> sage:S.=NumberField(x^2+5) >> sage:S(11).is_prime() >> Tru

Re: [sage-support] Two possible bugs in number fields

2015-05-04 Thread Jeroen Demeyer
On 2015-05-04 14:39, Bruno Grenet wrote: Dear all, 1. In number fields, some elements are considered as prime, which is not mathematically correct: | sage:S.=NumberField(x^2+5) sage:S(11).is_prime() True This is really due to S.ideal(11) returning a *fractional* ideal. I

[sage-support] Two possible bugs in number fields

2015-05-04 Thread Bruno Grenet
Dear all, 1. In number fields, some elements are considered as prime, which is not mathematically correct: | sage:S.=NumberField(x^2+5) sage:S(11).is_prime() True | | In the field of rational number, the answer is correct: | sage:QQ(11).is_prime() False |