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