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

In[1]:= 

             CANDIDATE FOR BEDFORD-KIM EXAMPLE

Note that glue form represents 1
Glue group {9, 27}, Signature {7, 1}, lambda 1.28064

Positivity verified.  Crossing: 4 Cyclic: Infinity Fixed: Infinity
                3    4    5    8
Char poly  1 - x  - x  - x  + x
                          2
Localization at 3: (1 + x)
                                                             2
At prime 3 : Glue group {9, 27}, Period 18, Char poly (1 + x)
                 q = 1/27 * 15   12   f = 5    7

                            12   1        3    26

		Picard group 
Glue group {3, 9, 27}, Signature {17, 1}, lambda 1.28064

Positivity verified.  Proj: 2 Salem: 4 Cyclic: 4 Fixed: 2
                   2        2       3    6        3    4    5    8
Char poly  (-1 + x)  (1 + x)  (1 - x  + x ) (1 - x  - x  - x  + x )
                          3
Localization at 3: (1 + x)

		Transcendental cycles
Glue group {3, 9, 27}, Signature {2, 2}, lambda = 1.
                     2 2
Char poly  (1 - x + x )   Period 1
                          3
Localization at 3: (1 + x)
Rotation of T(X): 1/6

		Periodic factor of Pic
Glue group {3, 3, 3, 3, 27}, Signature {10, 0}

Positivity verified.  Cyclic: 4 Fixed: 2
                   2        2       3    6
Char poly  (-1 + x)  (1 + x)  (1 - x  + x )  Period 1
                          5
Localization at 3: (1 + x)

		Salem factor of Pic
Glue group {9, 27}, Signature {7, 1}, lambda 1.28064

Positivity verified.  Crossing: 4 Cyclic: Infinity Fixed: Infinity
                3    4    5    8
Char poly  1 - x  - x  - x  + x
                          2
Localization at 3: (1 + x)

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

		Gluing pattern

Glue Salem / periodic: {3, 9}
Glue Salem / transc  : {3, 3}
Glue trans / periodic: {3, 9}

		Ideal Theory
Groebner Basis for {salem8, (x+1)^5}  :
                         2
{27, 9 + 9 x, 1 - 4 x + x }
Groebner Basis for {u^9-1,2u^4-u^2+2}: 
                          2
{27, -9 + 9 u, 1 + 4 u + u }
Groebner Basis for {t^2-3,t^5}: 
                2
{27, 9 t, -3 + t }

In[2]:= 