Quote:
Originally Posted by R.D. Silverman
One way of doing it for x^2 + 1 is to factor it as (x+i) (xi), then search for x such that the norms
(over Q) of the factors are both prime.

I'm an idiot. This won't work. The norm of each factor is the product of all its conjugates......
Now ask: what are the conjugates of each factor???
Still, it seems that something similar might work.... I will consider it.