Georgi Guninski on Wed, 18 Nov 2020 13:23:01 +0100


[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

bnfisintnorm(bnfinit(x^2+3),7^5) misses integral solution


bnfisintnorm() appears to miss integral solutions, is this
expected?

? bnfisintnorm(bnfinit(x^2+3),7^5)
%25 = [-149/2*x - 25/2, 133/2*x + 119/2, -147/2*x + 49/2, 147/2*x +
49/2, -133/2*x + 119/2, 149/2*x - 25/2]
? norm(Mod(2+x,x^2+3)^5)-7^5
%26 = 0
? Mod(2+x,x^2+3)^5
%27 = Mod(-31*x - 118, x^2 + 3)
?