%I
%S 1,1,0,0,3,0,5,0,0,10,15,0,0,17,0,0,71,0,213,0,0,0,184,0,549,845,0,0,
%T 1850,0,0,0,0,6700,9787,0,30475,0,0,0,52184,0,0,0,0,182043,401377,0,0,
%U 604809,0,0,0,0,4318067,0,0,0,7158120,0
%N Number of shapes of gridfilling curves (on the triangular grid) with turns by 0, +120, or 120 degrees that are generated by Lindenmayersystems with just one symbol apart from the turns.
%C Shapes are considered modulo reflections and rotations.
%C The curves considered are not selfintersecting, not edgecontacting (i.e., have double edges), but (necessarily) vertexcontacting (i.e., a point in the grid is visited more than once).
%C The Lsystems are interpreted as follows: 'F' is a unitstroke in the current direction, '+' is a turn left by 120 degrees, '' a turn right by 120 degrees, and '0' means "no turn".
%C The images in the links section use rounded corners to make the curves visually better apparent.
%C Three copies of each curve (connected by three turns '+' or three turns '') give two tiles (that tile the triangular grid), but symmetric curves (any symmetry) give just one tile(shape). The tiles are 3symmetric, and sometimes (only for n of the form 6*k+1) 6symmetric. There could in general be more tileshapes than curveshapes, for n=7 both cardinalities coincide, see links section. It turns out that for large n there are actually fewer tileshapes than curveshapes.
%C Terms a(n) are nonzero for n>=3 if and only if n is a term of A003136.
%C The equivalent sequence for the square grid has nonzero terms for n>=5 that are terms of A057653.
%C If more symbols are allowed for the Lsystems, more curves are found, also if strokes of lengths other than one unit are allowed, see the Ventrella reference.
%C For n = 49 there are two pairs (x, y) such that x^2 + x*y + y^2 = n, (7, 0) and (5, 3), respectively giving 132271 and 269106 shapes (a(49) = 401377 = 132271 + 269106). The next n with two such pairs (x, y) is n = 91, with pairs (6, 5) and (9, 1)  _Joerg Arndt_, Apr 07 2019
%H Joerg Arndt, <a href="http://www.jjj.de/fxt/#fxtbook">Matters Computational (The Fxtbook)</a>, see section 1.31.5 "Dragon curves based on radixR counting", pp. 95101, images of the R7dragons are given on p. 97 and p. 98
%H Joerg Arndt, <a href="/A234434/a234434.pdf">all 3 shapes of curves of order 7</a>, rendered after 4 generations of the Lsystems.
%H Joerg Arndt, <a href="/A234434/a234434_1.pdf">all 3 shapes of tiles of order 7</a>, rendered after 4 generations of the Lsystems, curves colored to make them apparent.
%H Joerg Arndt, <a href="/A234434/a234434_2.pdf">all 15 shapes of curves of order 13</a>, rendered after 3 generations of the Lsystems (file size about 500 kB).
%H Joerg Arndt, <a href="/A234434/a234434_3.pdf">all shapes of tiles of order 13</a>, rendered after 3 generations of the Lsystems (file size about 500 kB). Note: not all symmetries are accounted for, so some tiles appear more than once (e.g., in flipped over form).
%H Joerg Arndt, <a href="/A234434/a234434_4.pdf">decompositions of order13 curves into selfsimilar parts</a> (file size about 1.3 MB)
%H Joerg Arndt, <a href="https://arxiv.org/abs/1607.02433">Planefilling curves on all uniform grids</a>, arXiv preprint arXiv:1607.02433 [math.CO], 2016.
%H Jeffrey J. Ventrella, <a href="http://archive.org/details/BrainfillingCurvesAFractalBestiary">BrainFilling Curves: A Fractal Bestiary</a>, 2012.
%e The a(3)=1 shape of order 3 is generated by F > F+FF, the curve generated by F > FF+F has the same shape (after reflection). The curve is called the "terdragon", see A080846.
%e There are 5 Lsystems that generate a curve of order 7 with first turn '0' or '+':
%e F > F0F+F0FFF+F # R71
%e F > F0F+F+FFF0F # R72
%e F > F+F0F+FF0FF # R73
%e F > F+FFF0F+F0F # R74 # same shape as R71
%e F > F+FFF+F+FF # R75 # same shape as R72
%e As shown, these give just 3 shapes (and the Lsystems with first turn '' give no new shapes), so a(7)=3.
%e The curve R71 appears on page 107 in the Ventrella reference.
%e The symmetric curves R72 and R75 appear in the Arndt reference (there named "R7dragon" and "second R7dragon", see A176405 and A176416).
%Y Cf. A265685 (shapes on the square grid), A265686 (trihexagonal grid).
%K nonn,hard,more,nice
%O 3,5
%A _Joerg Arndt_, Dec 26 2013
%E Terms a(21), a(27), a(28), and a(31) corrected by _Joerg Arndt_, Jun 20 2018
%E Terms a(32)  a(47) from _Joerg Arndt_, Jun 22 2018
%E Terms a(48)  a(51) from _Joerg Arndt_, Nov 18 2018
%E Terms a(52)  a(56) added and a(48)  a(49) corrected, _Joerg Arndt_, Apr 07 2019
%E Terms a(57)  a(62) from _Joerg Arndt_, Apr 10 2019
