OFFSET
1,2
COMMENTS
An algebraic integer of degree 12: largest real root of x^12 - 4x^8 - 8x^7 - 4x^6 + 2x^4 + 8x^3 + 12x^2 + 8x + 2.
LINKS
Charles R Greathouse IV, Illustration of the (3.12^2) lattice
I. Jensen and A. J. Guttmann, Self-avoiding walks, neighbour-avoiding walks and trails on semiregular lattices, J. Phys. A: Math. Gen. 31 (1998), pp. 8137-8145.
EXAMPLE
1.71104129684484846411708746310445406799321932692481959770080785839492...
MATHEMATICA
(* Illustration of the (3.12^2) lattice. *)
hex312[frac_] := {Re[#], Im[#]} & /@
Flatten[Table[
With[{a = Exp[2 Pi I (n - 1/2)/6], b = Exp[2 Pi I ( n + 1/2)/6],
c = Exp[2 Pi I (n + 3/2)/6]}, {(1 - frac) b +
frac a, (1 - frac) b + frac c}], {n, 6}]]
shiftPoly[shifts_, coords_] :=
Line[Append[#, #[[1]]]] & /@
Outer[#1 + #2 &, shifts*1.001, coords, 1, 1]
tri = 1/5; (* Arbitrary, subject to 0 < tri < 1/2; determines size of triangles compared to hexagons. *)
Graphics[{Gray,
shiftPoly[{{0, 0}, {Sqrt[3], 0}, {2 Sqrt[3], 0}, {3 Sqrt[3],
0}, {Sqrt[3]/2, 3/2}, {3 Sqrt[3]/2, 3/2}, {5 Sqrt[3]/2,
3/2}, {7 Sqrt[3]/2, 3/2}, {0, 3}, {Sqrt[3], 3}, {2 Sqrt[3],
3}, {3 Sqrt[3], 3}, {Sqrt[3]/2, 9/2}, {3 Sqrt[3]/2,
9/2}, {5 Sqrt[3]/2, 9/2}, {7 Sqrt[3]/2, 9/2}}, hex312[tri]]}]
PROG
(PARI) polrootsreal(x^12-4*x^8-8*x^7-4*x^6+2*x^4+8*x^3+12*x^2+8*x+2)[4]
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Charles R Greathouse IV, Nov 05 2014
STATUS
approved