Tilings as a programming exercise

  • Authors:
  • Guy Cousineau

  • Affiliations:
  • Univ. Denis Diderot, Paris, France

  • Venue:
  • Theoretical Computer Science
  • Year:
  • 2002

Quantified Score

Hi-index 5.23

Visualization

Abstract

We investigate the problem of producing symmetric tilings by programs in a uniform way. By this, we mean that the construction of a tiling should be parameterized by the geometric model in which the tiling is defined (Euclidean, Hyperbolic, etc.), its formal symmetry group, the interpretation of this symmetry group in the geometric model and a specific tile that fits this interpretation. This parameterization can be obtained at a basic level using higher order functions as described in Cousineau and Mauny (The Functional Approach to Programming, Cambridge University Press, Cambridge, 1997) but this fails to reflect in the program the mathematical structure of tilings in an adequate way. We therefore explore the use of more abstract constructs such as modules and show that they allow to structure the program in a satisfying way. The Objective Caml programming language (Objective Caml, O'Reilly, 2000) allows us to place this study in a convenient setting.