simon-git: tilings (main): Simon Tatham

[Commits to Tartarus hosted VCS]

TL;DR:
  7efbe05 Add a diagram_scale parameter in .tl files.
  e2420ca Revised Ammann-Beenker tiling.
  74a4097 Add more versions of the Ammann-Beenker tiling.

Repository:     https://git.tartarus.org/simon/tilings.git
On the web:     https://git.tartarus.org/?p=simon/tilings.git
Branch updated: main
Committer:      Simon Tatham <anakin at pobox.com>
Date:           2025-12-19 09:34:32

commit 7efbe052eea09919b134297a740917dfc33ea939
web diff https://git.tartarus.org/?p=simon/tilings.git;a=commitdiff;h=7efbe052eea09919b134297a740917dfc33ea939;hp=0dc331755e3c089f1d6a39f56b273b145d6536ed
Author: Simon Tatham <anakin at pobox.com>
Date:   Thu Nov 6 08:25:59 2025 +0000

    Add a diagram_scale parameter in .tl files.
    
    The tiling diagrams in Ammann-Beenker are too small to read: edge
    indices in single-tile diagrams end up written on top of each other so
    that you can't see which edge refers to which, and expansion diagrams
    are even worse. The relative sizes of a length-1 edge and the font
    make sense in a hat tile which has a lot of small edges, but not in a
    tiling like this which has a few large ones.

 ammann-beenker.tl | 2 ++
 tilingdef.sage    | 4 ++++
 toplevel.sage     | 3 +++
 3 files changed, 9 insertions(+)

commit e2420ca91bdeb8be2d2455c49e9adcc6ef34d7ba
web diff https://git.tartarus.org/?p=simon/tilings.git;a=commitdiff;h=e2420ca91bdeb8be2d2455c49e9adcc6ef34d7ba;hp=7efbe052eea09919b134297a740917dfc33ea939
Author: Simon Tatham <anakin at pobox.com>
Date:   Mon Nov 3 20:48:12 2025 +0000

    Revised Ammann-Beenker tiling.
    
    My previous description of it had not taken into account the
    constraints around vertices of the tiling, separate from the
    constraints around edges. The code here can't directly express or
    check those constraints, but they should be automatically satisfied by
    generating tilings from the revised .tl file.
    
    This change causes the tiling to become ambiguous, which I think is
    correct, because in the 8-way symmetric pattern, all octants are not
    equal due to the vertex constraint at the centre, so you must have a
    way of saying which octant you mean. In fact the tiling now requires
    two refinements before it can be transduced!

 ammann-beenker.tl | 72 ++++++++++++++++++++++++++++++++++++-------------------
 toplevel.sage     |  2 +-
 2 files changed, 48 insertions(+), 26 deletions(-)

commit 74a409732e4254167a47286c44821081639435e6
web diff https://git.tartarus.org/?p=simon/tilings.git;a=commitdiff;h=74a409732e4254167a47286c44821081639435e6;hp=e2420ca91bdeb8be2d2455c49e9adcc6ef34d7ba
Author: Simon Tatham <anakin at pobox.com>
Date:   Fri Dec 12 18:11:52 2025 +0000

    Add more versions of the Ammann-Beenker tiling.
    
    ammann-beenker-whole.tl is a version without the square bisected. Both
    are ambiguous (and both require two refinement passes, for the same
    reason). So I've also added a pre-cooked refined version of each one,
    obtained by first running 'tilings --refine' twice, and then
    hand-editing to rename the tiles into something resembling a logical
    numbering. In particular, I've arranged that the 8 rhombuses around a
    vertex go through the rhombus types in sensible numerical order, and
    the two refined tiling files agree with each other.

 ammann-beenker-triangles-refined.tl              | 302 +++++++++++++++++++++++
 ammann-beenker.tl => ammann-beenker-triangles.tl |   0
 ammann-beenker-whole-refined.tl                  | 296 ++++++++++++++++++++++
 ammann-beenker-whole.tl                          |  60 +++++
 toplevel.sage                                    |   5 +-
 5 files changed, 662 insertions(+), 1 deletion(-)