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

In[1]:= 

             SALEM, DEGREE 18 


		Picard group 
Glue group {13, 13}, Signature {17, 1}, lambda 1.18837

Positivity verified.  Crossing: 4 Cyclic: Infinity Fixed: Infinity
                    2    3    6    7    8    9    10    11    12    15
Char poly  1 - x + x  - x  - x  + x  - x  + x  - x   + x   - x   - x   + 
 
      16    17    18
>    x   - x   + x
Localization at 13: (6 + x) (11 + x)

		Transcendental cycles
Glue group {13, 13}, Signature {2, 2}, lambda = 1.
                2    4
Char poly  1 - x  + x   Period 1
Localization at 13: (6 + x) (11 + x)
Rotation of T(X): 5/12

		Salem factor of Pic
Glue group {13, 13}, Signature {17, 1}, lambda 1.18837

Positivity verified.  Crossing: 4 Cyclic: Infinity Fixed: Infinity
                    2    3    6    7    8    9    10    11    12    15
Char poly  1 - x + x  - x  - x  + x  - x  + x  - x   + x   - x   - x   + 
 
      16    17    18
>    x   - x   + x
Localization at 13: (6 + x) (11 + x)

		Field Information
A/Z[x], h(K), B/Z[y], h(k), Ramif: {1, 1, 1, 1, 1}
                   3          2    4              2    4
Twisted by (3 x - x ) (2 - 4 x  + x ) (2 - x - 4 x  + x )
Prime 13^1  <-  (4 + x), splits in K

		Primes and Twists

Feasible Primes: {7, 13}
                           2      3      4      5    6
Prime 7^6  <-  (3 + 2 x + x  + 2 x  + 5 x  + 4 x  + x ), splits in K
                           2
Prime 7^2  <-  (3 + 6 x + x ), inert in K
Prime 7^1  <-  (3 + x), inert in K
                               2      3      4       5       6      7    8
Prime 13^8  <-  (3 + 10 x + 6 x  + 4 x  + 2 x  + 11 x  + 12 x  + 8 x  + x
 
>   ), splits in K
Prime 13^1  <-  (4 + x), splits in K
All twists:  those with dim'n small enough: 2
All twists:  those with period small enough: 2
All twists:  those with right signature: 1
Twists found: 1
Ideal 13         Periods {12}           Min 4  

In[2]:= 