« Concepts » : différence entre les versions
Aller à la navigation
Aller à la recherche
Aucun résumé des modifications |
Aucun résumé des modifications |
||
| (Une version intermédiaire par le même utilisateur non affichée) | |||
| Ligne 1 : | Ligne 1 : | ||
* Noyau arithmétique : |
* '''Noyau arithmétique''' : |
||
** Entiers (template) =>real: int, long int,... |
** Entiers (template) =>real: int, long int,... |
||
** Réels (représentables) => real : double, ... |
** Réels (représentables) => real : double, ... |
||
* Point Entier : élément de Z^n |
* '''Point Entier''' : élément de Z^n |
||
** possède une dimension (n: entier) |
** possède une dimension (n: entier) |
||
** possède n coordonnées dans Z^n |
** possède n coordonnées dans Z^n |
||
* Domaine : tout sous-ensemble fini de Z^n |
* '''Domaine''' : tout sous-ensemble fini de Z^n |
||
** fabrique d'itérateurs (sur Point) |
** fabrique d'itérateurs (sur Point) |
||
** fabrique de domaine parallélépipédique (boite englobante) |
** fabrique de domaine parallélépipédique (boite englobante) |
||
** ex: une région est un domaine |
** ex: une région est un domaine |
||
* Domaine connexe (topo inside) |
|||
* Domaine |
* '''Domaine connexe''' (topo inside) |
||
* '''Domaine Parallélépipédique''' : |
|||
** domaine connexe parallélépipédique de Z^n |
** domaine connexe parallélépipédique de Z^n |
||
* Image : fonction d'un espace d'adressage dans un ensemble de valeurs D_z -> V |
* '''Image''' : fonction d'un espace d'adressage dans un ensemble de valeurs D_z -> V |
||
** possède un domaine d'un certaine dimension |
** possède un domaine d'un certaine dimension |
||
** valeurs : types du noyau |
** valeurs : types du noyau |
||
| Ligne 22 : | Ligne 27 : | ||
* Plongement continu |
* '''Plongement continu''' |
||
** fonction f D_R -> D_z |
** fonction f D_R -> D_z |
||
** fonction g D_Z -> D_R |
** fonction g D_Z -> D_R |
||
| Ligne 29 : | Ligne 34 : | ||
*** ex: floor + Id |
*** ex: floor + Id |
||
* Image Plongée |
* '''Image Plongée''' |
||
** Couple Image x Plongement continu |
** Couple Image x Plongement continu |
||
** ex: une Image anisotrope est une image plongée |
** ex: une Image anisotrope est une image plongée |
||
Dernière version du 5 novembre 2009 à 10:46
- 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