Concepts

• Noyau arithmétique :
  • Entiers (template) =>real: int, long int,...
  • Réels (représentables) => real : double, ...
• Point Entier : élément de Z^n
  • possède une dimension (n: entier)
  • possède n coordonnées dans Z^n
• Domaine : tout sous-ensemble fini de Z^n
  • fabrique d'itérateurs (sur Point)
  • fabrique de domaine parallélépipédique (boite englobante)
  • ex: une région est un domaine
• Domaine connexe (topo inside)
• Domaine Parallélépipédique :
  • domaine connexe parallélépipédique de Z^n
• Image : fonction d'un espace d'adressage dans un ensemble de valeurs D_z -> V
  • possède un domaine d'un certaine dimension
  • valeurs : types du noyau
  • doit fournir
    • fabrique d'accesseurs
  • ex de réalisation : [0..n]^2 -> {0,1}
  • ex une sous-image d'une image est une image
  • ex une région n'est pas une image

• Plongement continu
  • fonction f D_R -> D_z
  • fonction g D_Z -> D_R
  • f ° g = Id
  • il existe plongement canonique Z dans R
    • ex: floor + Id

• Image Plongée
  • Couple Image x Plongement continu
  • ex: une Image anisotrope est une image plongée