Mathematica 8.0 for Mac OS X x86 (64-bit)
Copyright 1988-2011 Wolfram Research, Inc.

In[1]:= 

             SALEM 16


		Salem number 1.2363179318032304899 of degree 16

A/Z[x], h(K), B/Z[y], h(k), Ramif: {1, 1, 1, 1, -3}

		Primes and Twists

Feasible Primes: {3, 29}
                       3    4
Prime 3^4  <-  (2 + 2 x  + x ), inert in K
                           2    3
Prime 3^3  <-  (1 + 2 x + x  + x ), splits in K
Prime 3^1  <-  (2 + x), splits in K
                                2       3    4       5      6    7
Prime 29^7  <-  (19 + 4 x + 26 x  + 23 x  + x  + 27 x  + 2 x  + x
 
>   ), inert in K
Prime 29^1  <-  (26 + x), splits in K
All twists:  those with dim'n small enough: 3
All twists:  those with period small enough: 1
All twists:  those with right signature: 1
Twists found: 1
Obstruction found after 630506 trials
Ideal 3          Periods {2, 6}         Min 2  OBSTRUCTED
Number of primes: 1
Obstruction found after 690104 trials
Obstruction found after 199821 trials
All twists at this prime are obstructed: True

In[2]:= 