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

In[1]:= 


             SALEM 20


		Salem number 1.2326135485931210040 of degree 20

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

		Primes and Twists

Feasible Primes: {11}
                              2      4    5      6      7      8    9
Prime 11^9  <-  (6 + 6 x + 2 x  + 3 x  + x  + 6 x  + 7 x  + 8 x  + x
 
>   ), splits in K
Prime 11^1  <-  (2 + x), splits in K
All twists:  those with dim'n small enough: 0
All twists:  those with period small enough: 0
All twists:  those with right signature: 0
Twists found: 0
NOT REALIZABLE
Obstruction to untwisted f:  {-1, 0, 1, -1, 1, 0, 1, -1, 1, 0, 0, -1, 1, -1, 
 
>    0, -1, 1, -1, 0, 1}
Verified... {-1.06077, True}
Glue group {11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 
 
>    11, 11, 11}, Signature {7, 13}, lambda = 1.23261
                    5    6    9    10    11    14    15    19    20
Char poly  1 - x - x  + x  - x  + x   - x   + x   - x   - x   + x
                                          2      3      4      5      6
Localization at 11: (1 + x) (6 + 5 x + 7 x  + 8 x  + 8 x  + 8 x  + 5 x  + 
 
          8    9                 3      4      5      6      7       8    9
>      9 x  + x ) (2 + 7 x + 10 x  + 5 x  + 5 x  + 5 x  + 3 x  + 10 x  + x )
At prime 11 : Glue group {11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 
 
>    11, 11, 11, 11, 11, 11}, Period 10000, Char poly 
 
                          2      3      4      5      6      8    9
>   (1 + x) (6 + 5 x + 7 x  + 8 x  + 8 x  + 8 x  + 5 x  + 9 x  + x ) 
 
                    3      4      5      6      7       8    9
>    (2 + 7 x + 10 x  + 5 x  + 5 x  + 5 x  + 3 x  + 10 x  + x )
                            2    10   0    8    2    2    0    7    0    2
                             
                 q = 1/11 * >       5    7    7    1    5    10   8    7    4

                            10   2    0    2    7    10   3    3    8    8
                             
                            >       9    8    1    5    8    5    3    0    4

                            0    0    0    10   2    0    8    1    1    1
                             
                            >       0    7    2    4    8    9    0    1    2

                            8    2    10   4    7    1    10   2    0    0
                             
                            >       6    5    10   2    9    10   0    5    7

                            2    7    2    7    6    9    1    6    2    2
                             
                            >       5    2    1    0    7    8    7    7    9

                            2    10   0    1    9    0    2    1    10   7
                             
                            >       1    5    10   7    10   4    4    7    7

                            0    3    8    10   1    2    9    0    10   3
                             
                            >       10   10   10   2    10   0    10   2    9

                            7    3    1    2    6    1    0    4    9    10
                             
                            >       7    5    1    0    6    2    1    5    7

                            0    8    1    0    2    10   10   9    2    2
                             
                            >       2    5    10   4    3    7    8    10   7

                            2    8    1    0    2    7    3    10   2    7
                             
                            >       1    2    2    5    3    0    3    8    10

                            5    9    0    6    5    1    10   7    2    1
                             
                            >       4    5    1    0    2    10   0    7    4

                            7    8    7    5    2    5    10   5    5    2
                             
                            >       5    10   7    2    4    5    0    6    1

                            7    1    2    10   1    10   10   1    10   2
                             
                            >       1    7    0    3    1    9    7    2    4

                            1    5    4    2    0    7    2    0    4    5
                             
                            >       0    2    3    7    1    10   4    8    1

                            5    8    8    9    7    10   10   6    3    3
                             
                            >       2    4    1    1    4    8    10   8    4

                            10   5    9    10   8    4    0    2    7    0
                             
                            >       10   5    9    10   8    4    1    2    5

                            8    3    0    0    7    4    10   1    8    3
                             
                            >       0    0    7    4    10   1    7    2    1

                            7    0    1    5    7    7    2    5    10   8
                             
                            >       7    6    2    8    8    2    2    2    7

                            4    4    2    7    9    7    9    7    7    10
                             
                            >       4    1    4    1    4    5    1    7    8
 
            1    10   1    10   1    10   1    10   1    10   1    10   1
             
>       f = >       10   1    10   1    10   2

            1    0    0    0    0    0    0    0    0    0    0    0    0
             
            >       0    0    0    0    0    0

            0    1    0    0    0    0    0    0    0    0    0    0    0
             
            >       0    0    0    0    0    0

            0    0    1    0    0    0    0    0    0    0    0    0    0
             
            >       0    0    0    0    0    0

            0    0    0    1    0    0    0    0    0    0    0    0    0
             
            >       0    0    0    0    0    1

            0    0    0    0    1    0    0    0    0    0    0    0    0
             
            >       0    0    0    0    0    10

            0    0    0    0    0    1    0    0    0    0    0    0    0
             
            >       0    0    0    0    0    0

            0    0    0    0    0    0    1    0    0    0    0    0    0
             
            >       0    0    0    0    0    0

            0    0    0    0    0    0    0    1    0    0    0    0    0
             
            >       0    0    0    0    0    1

            0    0    0    0    0    0    0    0    1    0    0    0    0
             
            >       0    0    0    0    0    10

            0    0    0    0    0    0    0    0    0    1    0    0    0
             
            >       0    0    0    0    0    1

            0    0    0    0    0    0    0    0    0    0    1    0    0
             
            >       0    0    0    0    0    0

            0    0    0    0    0    0    0    0    0    0    0    1    0
             
            >       0    0    0    0    0    0

            0    0    0    0    0    0    0    0    0    0    0    0    1
             
            >       0    0    0    0    0    10

            0    0    0    0    0    0    0    0    0    0    0    0    0
             
            >       1    0    0    0    0    1

            0    0    0    0    0    0    0    0    0    0    0    0    0
             
            >       0    1    0    0    0    0

            0    0    0    0    0    0    0    0    0    0    0    0    0
             
            >       0    0    1    0    0    0

            0    0    0    0    0    0    0    0    0    0    0    0    0
             
            >       0    0    0    1    0    0

            0    0    0    0    0    0    0    0    0    0    0    0    0
             
            >       0    0    0    0    1    1
Glue group {11, 121}, Signature {13, 7}, lambda = 1.23261
                    5    6    9    10    11    14    15    19    20
Char poly  1 - x - x  + x  - x  + x   - x   + x   - x   - x   + x
                           2
Localization at 11: (1 + x)
                                                                2
At prime 11 : Glue group {11, 121}, Period 22, Char poly (1 + x)
                 q = 1/121 * 99    44    f = 10    7

                             44    113       11    120

In[2]:= 