2011-07-06-reu - primes up to 100

323 days ago by WilliamStein

y^2 + x*y + y = x^3 + (a-1)*x^2 + (3*a-6)*x + (-3*a+10)
K.<a> = NumberField(x^2 - x - 1) 
       
K.primes_above(11) 
        
[Fractional ideal (3*a - 2), Fractional ideal (3*a - 1)]
[Fractional ideal (3*a - 2), Fractional ideal (3*a - 1)]
import psage.modform.hilbert.sqrt5.tables as t 
       
[I for I in t.ideals_of_bounded_norm(100) if I.is_prime()] 
        
[Fractional ideal (2), Fractional ideal (2*a - 1), Fractional ideal (3),
Fractional ideal (3*a - 1), Fractional ideal (3*a - 2), Fractional ideal
(-4*a + 1), Fractional ideal (-4*a + 3), Fractional ideal (-a + 6),
Fractional ideal (a + 5), Fractional ideal (5*a - 3), Fractional ideal
(5*a - 2), Fractional ideal (a - 7), Fractional ideal (a + 6),
Fractional ideal (7), Fractional ideal (7*a - 5), Fractional ideal (7*a
- 2), Fractional ideal (7*a - 4), Fractional ideal (7*a - 3), Fractional
ideal (a - 9), Fractional ideal (a + 8), Fractional ideal (-8*a + 3),
Fractional ideal (-8*a + 5), Fractional ideal (a - 10), Fractional ideal
(a + 9)]
[Fractional ideal (2), Fractional ideal (2*a - 1), Fractional ideal (3), Fractional ideal (3*a - 1), Fractional ideal (3*a - 2), Fractional ideal (-4*a + 1), Fractional ideal (-4*a + 3), Fractional ideal (-a + 6), Fractional ideal (a + 5), Fractional ideal (5*a - 3), Fractional ideal (5*a - 2), Fractional ideal (a - 7), Fractional ideal (a + 6), Fractional ideal (7), Fractional ideal (7*a - 5), Fractional ideal (7*a - 2), Fractional ideal (7*a - 4), Fractional ideal (7*a - 3), Fractional ideal (a - 9), Fractional ideal (a + 8), Fractional ideal (-8*a + 3), Fractional ideal (-8*a + 5), Fractional ideal (a - 10), Fractional ideal (a + 9)]