Start from the (usual for HH-dragon) L-system L |--> L+R R |--> L-R with axiom L Both L and R denote a unit stroke in the current direction and + and - denote turns by +-90 degree. To get the blue curve in the image, round off the corners "completely", so that nothing of the original edges remain. This recipe (for obtaining point-covering curves) works for all edge-covering curves on the square grid. Things get more interesting already with the triangle grid (one may land on the (3.6.3.6)-grid, for example). Using sin(?n) and cos(?n) for (-1)^n or somesuch is IMO evil. Best regards, jj Note to myself: zrender -d=4 -a=L -m='L L+R R L-R' -i=7 -e=0.5 (here -e=0.5 is for the rounding). * Bill Gosper <billgosper@gmail.com> [Jul 24. 2020 12:45]:
A couple of months ago, Julian found the first half of this identity for the (self avoiding) "median curve" <http://gosper.org/dragmed.png> of the usual dyadic rational sweep over 2^k+1 points.
1/2 (dragun[2^-k n] + dragun[2^-k (1 + n)]) == dragun[2^-k (1/2 - 1/4 (-1)^(1 + n) + n)] == dragun[2^(-3 - k) (-4 + 8 (1 + n) + Sqrt[2] Cos[1/4 (1 + n) π] - 2 Cos[1/2 (1 + n) π] - Sqrt[2] Cos[3/4 (1 + n)π] - (2 + Sqrt[2]) Sin[1/4 (1 + n) π] + 2 Sin[1/2 (1 + n) π] - (-2 + Sqrt[2]) Sin[3/4 (1 + n) π])]
I just "conjectured" this 2nd half. The Heighway function never sees the trigs and radicals, which are artifacts of a period 8 perturbation of the sweep parameter.
Mandelbrot seemed slightly embarrassed by his kludgy averaging|smoothing recipe for self avoidance. I'll bet he would have been pleased to see it fall out of these simple formulas. Though not nearly as pleased as just being able to exactly evaluate continuous fractal curves anywhere on the continuum.
It turns out that the (self-avoidng) median curve of the Terdragon <http://gosper.org/Terdmed.png> is identical to merely phase shifting it by half a step. It's possible that this is a new theorem, since it's not obvious how to take half a step on a triadic fractal. But it's hard to find a nice sampling pattern for the median <http://gosper.org/Terdshftmed.png> curve of the median curve <http://gosper.org/Terdshftmed.png>, because all its points are double! Leaving you with an exponential search (over the two-valued inverses) for a simple pattern. —rwg _______________________________________________ math-fun mailing list math-fun@mailman.xmission.com https://mailman.xmission.com/cgi-bin/mailman/listinfo/math-fun