Revision history for PenroseKiteDart

version v1.5 2025-8-9

Changes to composing.

(When a Tgraph is not known to be forced, composing now involves calculating the forced version to get accurate information about boundary dart wings. Previously only local information was used to classify which could result in a dart wing being classified as unknown when non-local information suggests otherwise).

This affects: compose, partCompose, tryPartCompose (new), tryPartComposeFaces (new), tryGetDartWingInfo (new)

This does not affect: composeF, partComposeF, getDartWingInfoForced, partComposeFacesFrom (new)

removed: partComposeFaces, partComposeFacesF, composedFaceGroups, getDartWingInfo (renamed as oldGetDartWingInfo)

The previous version of partCompose is renamed as oldPartCompose (for comparisons)

version 1.4.5 -- 2025-8-3

added: class P3_DrawableLabelled (instances VPatch, Tgraph) with labelColourSizeP3, labelSizeP3, labelledP3

drawjP3 (renamed from dashjP3)
fillOnlyPieceDK
drawjPiece (renamed from dashjPiece)
drawnEdges (renamed from pieceEdges)

decomposeFaces

exposed: P3_Patch, bothDir, missingRevs, extractLowestJoin

generalised: phiVMap

deprecated: dashjP3, dashjPiece, pieceEdges (all renamed)

version 1.4.4 -- 2025-7-9

Fixed bug in remainder faces for new partComposeF

Added new module TileLibP3 for drawing P3 tilings. This is now included in PKD export list with example testRhombus in module TgraphExamples.

version 1.4.3 -- 2025-7-1

Fixed bug in partComposing. (partCompFacesFrom was assuming forced to get remainders.) This is now incorporated in partComposeFaces and partComposeFacesF and partCompFacesFrom is now removed.

version 1.4.2 -- 2025-7-1

DartWingInfo has an extra field (unMapped)

Improved composing performance (now a Strict module) New: partCompFacesFrom (used instead of composeFaceGroups in composing)

version 1.4.1 -- 2025-6-26

Force module is now Strict (significantly improves space usage) (HalfTile, Decompose, Relabelling also made Strict and Prelude StrictData)

ForceState now an instance of class HasFaces

New: boundaryEdgeFilter (used instead of boundaryFilter to simplify UFinders)

version 1.4 -- 2025-6-12

Changed module Tgraphs to module Tgraph.Extras

New HasFaces class

Introduced to define common functions for [TileFace], Tgraph, VPatch, BoundaryState, Forced

Breaking Name Changes for nullGraph -> nullFaces graphBoundary -> boundary facesBoundary -> boundary graphDedges -> dedges facesDedges -> dedges facesVSet -> vertexSet facesMaxV -> maxV graphBoundaryVs -> boundaryVs boundaryVertexSet -> vertexSet facesEdges -> completeEdges graphEdges -> completeEdges boundaryLoopsG -> boundaryLoops graphEFMap -> buildEFMap

Also changed selector in BoundaryState to boundaryDedges (but note boundary generalised)

Generalised (to use HasFaces) boundary faces maxV vertexSet boundaryVs internalEdges phiEdges nonPhiEdges vertexFacesMap dedgesFacesMap buildEFMap extractLowestJoin lowestJoin locateVertices locateVerticesGen touchingVertices boundaryEdgeSet commonBdry boundaryVertexSet internalVertexSet boundaryLoops evalFaces ldarts,rdarts,lkites,rkites, kites, darts crossingBVs crossingBoundaries connected defaultAlignment findEdgeLoops hasEdgeLoops conflictingDedges

Breaking: No longer exported: findLoops, axisJoin, drawEdge (use drawLocatedEdge), drawEdges (use drawLocatedEdges), crossingVertices, tryFindThirdV, makeGenerator (use newUpdateGenerator)

Try changed

Changed the type for Try to use ShowS instead of String (ShowS = String -> String)

New: failReport, failReports, tryAtLeastOne

Breaking: Occurrences of Left s :: Try a need to be replaced by failReport s or Left (s<>)

An instance of Show(ShowS) is provided in order to show Try results

Changes to Forced

Forced is no longer a Functor.

Instead, 4 specific safe cases for changing a Forced Forcible (New) recoverGraphF,boundaryStateF,makeBoundaryStateF,initFSF

Data constructor Forced is no longer exported but (New) labelAsForced :: a -> Forced a (for use only when the argument is known to be forced)

(New) tryDartAndKiteF - version of tryDartAndKiteForced with explicitly forced results. tryCheckCasesDKF, checkCasesDKF - special case to report any counter example found when trying to add a dart and kite to a boundary edge of an explicitly Forced forcible.

Removed warning pragma for makeUncheckedTgraph

version 1.3 -- 2025-5-19

(New) Introduced newtype operator Forced to enable restricting functions which require a forced argument. Forced a is an explicitly forced version of a.

Breaking changes:

Removed: uncheckedCompose (use new composeF with explicitly Forced Tgraph) uncheckedPartCompose (use new partComposeF with explicitly Forced Tgraph)

Changed types (to make use of Forced) for: compForce allCompForce maxCompForce boundaryVCovering boundaryECovering singleChoiceEdges

Removed deprecated: noFails (use runTry . concatFails) colourMaybeDKG (use colourDKG with transparent) fillMaybeDK (use fillDK with transparent) fillMaybePieceDK (use fillPieceDK with transparent)

Renamed: tryOneStepF is now tryOneStepForce

Other changes:

(New) forgetF :: Forced a -> a (to unwrap explicitly Forced) tryForceF (to create explicitly Forced) forceF (to create explicitly Forced) composeF :: Forced Tgraph -> Forced Tgraph partComposeF :: Forced Tgraph -> ([TileFace], Forced Tgraph)

Added warning in PKD for makeUncheckedTgraph

version 1.2.1 -- 2025-4-2

Added: drawBoundaryJoins, joinDashing

Renamed: drawEdge, drawEdges as drawLocatedEdge, drawLocatedEdges Depracating: drawEdge, drawEdges

Generalised: colourDKG, fillDK, fillKD, fillPieceDK, fillOnlyPiece to work with AlphaColours as well as Colours

Deprecating: colourMaybeDKG, fillMaybeDK, fillMaybePieceDK

Added (strict) makeRD, makeLD, makeRK, makeLK to Tgraph.Prelude

version 1.2 -- 2024-12-1

Release candidate: Introduced getDartInfoForced and improved performance of uncheckedPartCompose and uncheckedCompose removed: composedFaces = snd . partComposeFaces (all in Tgraph.Compose)

Significant improvement on space usage (fixing leaks) adding StrictData to modules Tgraph.HalfTile, Tgraph.Compose, Tgraph.Force. makeUncheckedTgraph now strictly evaluates its argument list of faces.

Made UpdateGenerator a newtype in Tgraph.Force

1.1.1 -- 2024-11-15

Exposed combineUpdateGenerators in Tgraph.Force

Reordered lists of faces in some basic example Tgraphs (to ensure tails of the list are also valid as Tgraphs)

1.1.0 -- 2024-09-28

Release candidate:

Added module CheckBackend with class OKBackend. This is really a class synonym for the constraints on a suitable Backend for drawing tilings. Most types involving a backend b now have a constraint OKBackend b => ...

Removed type synonym: type Diagram2D b = QDiagram b V2 Double Any (no longer needed with the above constraint).

No longer exporting: differing, changeVFMap, forcedDecomp (= force . decompose).

Moved makeTgraph to Tgraph.Prelude. Moved emplaceChoices to TgraphExamples and added example. Moved module Tgraph.Try out of Tgraph (so now module Try).

tryStepForceWith now raises an error for negative number of steps.

Added graphBoundaryVs to Tgraph.Prelude. Added tryBoundaryFaceGraph to Tgraphs

Made ForceState an instance of Show.

Improved haddock comments in Tgraph.Force.

Changed dash sizes for join edges (in dashjOnly).

1.0.0 -- 2024-04-08

Release candidate:

Added upper bounds on dependencies

Added new drawEmpire and changed drawEmpire1, drawEmpire2 to showEmpire1, showEmpire2

0.10.0.0 -- 2024-04-1

Removed some examples in TgraphExamples and export of some auxiliary functions in Tgraph.Relabelling

0.9.1.0 -- 2024-03-12

Tgraph.Try as a separate module (instead of part of Tgraph.Prelude) Added labelColourSize in DrawableLabelled with labelSize as special case Changes to labelSize and line widths in some diagrams and drawing functions. Removed labelSmall, labelLarge. Added drawTrackedTgraphAligned. Both restrictVP and relevantVP now check for missing locations.

0.8.0.2 -- 2024-02-25

Documentation changes only.

0.8.0.1 -- 2024-02-24

Fewer exported functions (Tgraph.Prelude, Tgraph.Relabelling), some renaming

0.7.0.0 -- 2024-02-18

Export of modules specified and changed (with more hiding)

0.6.0.0 -- 2024-02-17

Now as a standalone library

0.5.2.0 -- 2024-02-14

Added PKD (overall wrapper module).

0.5.1.0 -- 2024-02-13

Removed Tgraph.Convert (Conversions now included in Tgraph.Prelude)

0.5.0.0 -- 2024-01-26

(Removed ChosenBackEnd) Only Main now imports a Backend (in preparation for creating library only). Types have been generalised in modules that were previously using Backend B e.g.

pCompFig :: Diagram B

has become

pCompFig :: Renderable (Path V2 Double) b => Diagram2D b

0.4.0.0 -- 2023-10-27

Tgraphs now defined as newType

0.3.0.0 -- 2023-10-19

Modules: src/ HalfTile.hs -- (Half)Tile constructors - used by TileLib and Tgraph.Prelude ChosenBackend.hs -- switch between e.g. SVG or PostScript TileLib.hs -- Drawing of Pieces (and Patches) Tgraphs.hs -- Main Graph Ops (imports and reexports all modules in Tgraph and adds extra ops) Tgraph/ Tgraph.Prelude.hs -- (imports and reexports HalfTile) Tgraph.Decompose.hs Tgraph.Compose.hs Tgraph.Force.hs Tgraph.Convert.hs -- Converting Tgraphs to VPatches (and drawing both) TgraphExamples.hs

0.2.0.0 -- 2022-03-31

Restructured modules

Graphs and Graph ops are collected in Tgraphs.hs Converting functions (and VPatch definition) are in Tgraph.Convert.hs Graph example figures are in TgraphExamples.hs

Original underlying Tile ops and tile drawing are in TileLib.hs

0.2.0.0 -- 2021-06-18

New Graph representations and operations on graphs (decomposeG, composeG, force, and more) Tools to convert to Patches for drawing etc and also intermediate VPatches, to display Vertex information.

Key changes to original TileLib.hs :

1. New versions of tile halves using polymorphic versions of constructors in HalfTile.hs
2. Pieces (replaces Components)
3. Redefining Patches as a list of Located Pieces (Pieces with point position rather than an offset vector)
4. Making Patches transformable (so that scale, rotate, translate can be used instead of specialised versions)

also fillDK became fillDK' with new version of fillDK

0.1.0.0 -- 2021-03-16

First version. Vector representations and drawing tools for tile components and patches plus decompose and inflate operations. Described in https://readerunner.wordpress.com/2021/03/20/diagrams-for-penrose-tiles/