Implémentation de CIEDE2000 en Racket

Cette page présente une implémentation de référence de la formule de différence de couleur CIEDE2000, écrite en langage de programmation Racket. Si vous souhaitez assurer une compatibilité parfaite (à la dixième décimale) avec certaines implémentations tierces, vous devrez peut-être modifier les commentaires dans le code source. Pour vous faciliter la tâche, le lien suivant automatise cette opération.

La fonction ΔE2000 en Racket

Considérons la plus courante et académique (Sharma, 2005) des deux formulations.

; Cette fonction écrite en Racket est placée dans le domaine public et
; n’est pas affiliée à la CIE (Commission Internationale de l’Éclairage).

#lang racket

; L’implémentation CIEDE2000 classique qui accepte deux couleurs L*a*b* et renvoie leur différence.
; La composante "L" varie de 0 à 100. "a" et "b", non bornées, sont souvent projetées entre -128 et 127.
(define ciede_2000(lambda (l_1 a_1 b_1 l_2 a_2 b_2)
	; Traite la formule de différence de couleurs CIEDE2000 en Racket.
	; k_l, k_c et k_h sont des facteurs paramétriques qu’on ajuste
	; selon des recommandations propres au secteur industriel.
	(define pi 3.14159265358979323846264338328)
	(define k_l 1.0)
	(define k_c 1.0)
	(define k_h 1.0)
	(define n (* 0.5 (+ (sqrt (+ (* a_1 a_1) (* b_1 b_1))) (sqrt (+ (* a_2 a_2) (* b_2 b_2))))))
	(set! n (* n n n n n n n))
	; Un facteur impliquant la chroma moyenne à la puissance 7,
	; conçu pour modéliser plus précisément son influence.
	(set! n (+ 1.0 (* 0.5 (- 1.0 (sqrt (/ n (+ n 6103515625.0)))))))
	; Application du facteur de correction de la chroma pour compenser sa non-linéarité.
	(define c_1 (sqrt (+ (* a_1 a_1 n n) (* b_1 b_1))))
	(define c_2 (sqrt (+ (* a_2 a_2 n n) (* b_2 b_2))))
	; La fonction atan2 est préférée à atan car elle calcule l’angle d’un
	; point (x, y) dans tous les quadrants, en tenant compte du signe de x et y.
	(define h_1 (if (and (= b_1 0) (= a_1 0)) 0 (atan b_1 (* a_1 n))))
	(define h_2 (if (and (= b_2 0) (= a_2 0)) 0 (atan b_2 (* a_2 n))))
	(if (< h_1 0.0) (set! h_1 (+ h_1 pi pi)) empty)
	(if (< h_2 0.0) (set! h_2 (+ h_2 pi pi)) empty)
	(set! n (abs (- h_2 h_1)))
	; Prévient le branchement de dépendre du RoundingMode du langage de programmation.
	(if (and (< (- pi 1E-14) n) (< n (+ pi 1E-14))) (set! n pi) empty)
	; Lorsque les angles de teinte sont dans différents quadrants,
	; la moyenne arithmétique simple peut donner un angle incorrect,
	; les lignes suivantes prennent en compte cette correction angulaire.
	(define h_m (* 0.5 (+ h_1 h_2)))
	(define h_d (* 0.5 (- h_2 h_1)))
	(if (< pi n)
		(begin (set! h_d (+ h_d pi))
		; 📜 La formulation de Sharma n’utilise pas la ligne suivante, mais plutôt celle d’après.
		; Note : ces deux variantes ne diffèrent que de ±0,0003 sur la différence de couleur finale.
		(set! h_m (+ h_m pi)))
		; (if (< h_m pi) (set! h_m (+ h_m pi)) (set! h_m (- h_m pi))))
			empty
	)
	(define p (- (* 36.0 h_m) (* 55.0 pi)))
	(set! n (* 0.5 (+ c_1 c_2)))
	(set! n (* n n n n n n n))
	; Le terme de correction de la rotation de teinte ajuste le comportement
	; de l’algorithme, d’autant plus si la comparaison porte sur des teintes bleues.
	(define r_t (* -2.0 (sqrt (/ n (+ n 6103515625.0)))
			(sin (* (/ pi 3.0) (exp (/ (* p p) (* -25.0 pi pi)))))))
	(set! n (* 0.5 (+ l_1 l_2)))
	(set! n (* (- n 50.0) (- n 50.0)))
	; Luminosité.
	(define l (/ (- l_2 l_1) (* k_l (+ 1.0 (/ (* 0.015 n) (sqrt (+ 20.0 n)))))))
	; Ces coefficients modulent l’influence des composantes
	; harmoniques dans le calcul de la différence de teinte.
	(define t (+ 1.0	(* 0.24 (sin (+ (* 2.0 h_m) (/ pi 2.0))))
				(* 0.32 (sin (+ (* 3.0 h_m) (/ (* 8.0 pi) 15.0))))
				(- (* 0.17 (sin (+ h_m (/ pi 3.0)))))
				(- (* 0.20 (sin (+ (* 4.0 h_m) (/ (* 3.0 pi) 20.0)))))))
	(set! n (+ c_1 c_2))
	; Teinte.
	(define h (/ (* 2.0 (sqrt (* c_1 c_2)) (sin h_d)) (* k_h (+ 1.0 (* 0.0075 n t)))))
	; Chroma.
	(define c (/ (- c_2 c_1) (* k_c (+ 1.0 (* 0.0225 n)))))
	; Retourner la racine carrée assure que dE00 représente une distance
	; géométrique (comprise entre 0 et environ 185) dans l’espace CIELAB.
	(sqrt (+ (* l l) (* h h) (* c c) (* c h r_t)))
))

;    Projet GitHub : https://github.com/michel-leonard/ciede2000-color-matching
;   Tests en ligne : https://michel-leonard.github.io/ciede2000-color-matching

; L1 = 93.4   a1 = 18.3   b1 = 5.4
; L2 = 92.2   a2 = 13.1   b2 = -3.3
; CIE ΔE00 = 7.0238296967 (Bruce Lindbloom, Netflix’s VMAF, ...)
; CIE ΔE00 = 7.0238434958 (Gaurav Sharma, OpenJDK, ...)
; Écart entre les implémentations ≈ 1.4e-5

; Voir les commentaires du code source pour passer d’une de ces variantes d’implémentation de ΔE*00 à l’autre.

Paramètres k_l, k_c et k_h

Les paramètres k_l, k_c et k_h de la formule CIEDE2000 sont des facteurs de pondération appliqués respectivement aux composantes de luminosité (ΔL*), de chroma (ΔC*) et de teinte (ΔH*). Dans le code source, ils sont définis comme des constantes dont la valeur par défaut est 1, ce qui correspond aux conditions d’observation standard prévues par la Commission internationale de l’éclairage (CIE). En pratique, il peut être nécessaire d’ajuster ces coefficients en fonction de conditions spécifiques : par exemple, k_l = 2 est parfois utilisé pour donner plus de poids aux différences de luminosité (cas fréquent dans l’industrie textile), tandis que k_c ou k_h peuvent être réduits pour augmenter la tolérance aux variations de saturation ou de teinte. En résumé, ces coefficients varient généralement entre 0,5 et 2, la valeur la plus courante étant 1.

Précision et fiabilité du code source

La différence entre la formulation académique de Sharma et la formulation simplifiée de Lindbloom ne dépasse pas ±0,0003 sur le ΔE2000 final. L’implémentation présentée ici est en 64 bits et garantit de plus de 10 décimales correctes ; le choix d’une formulation plutôt qu’une autre relève donc d’un détail technique. En haut de la page, vous pouvez choisir entre les deux formulations ; celle qui s’affiche actuellement est la formulation simplifiée.

Comment déterminer si une implémentation donnée de CIEDE2000 est de type académique ou simplifié ?

• Évaluez ciede_2000(56.6, 43.6, 41.1, 68.4, 9.4, -8.6)
• Si le résultat est 30.0001, il s’agit du type académique (comme Sharma, OpenJDK, etc.)
• Si le résultat est 29.9999, il s’agit du type simplifié (comme Lindbloom, Netflix VMAF, etc.)

Comment convertir les couleurs RGB en L*a*b* ?

Rendez-vous sur la page AWK, C, Dart, Java, JavaScript, Kotlin, Lua, PHP, Python, Ruby ou Rust où un tel convertisseur (utilisant l’illuminant D65) est déjà implémenté en plus de la fonction de comparaison de couleurs.

Plages de valeurs dans CIELAB et interprétation du ΔE2000

Dans l’espace colorimétrique CIELAB, la composante L* représente la luminosité et varie de 0 (noir) à 100 (blanc). Les composantes a* et b* décrivent les axes de couleur : a* s’étend du vert au rouge, tandis que b* va du bleu au jaune. Dans la pratique, les valeurs de a* et b* sont presque toujours comprises entre -128 et +127, bien que la norme ne fixe pas de limite officielle pour ces deux composantes.

Le ΔE2000 (CIEDE2000) quantifie la différence perceptuelle entre deux couleurs : 0 signifie deux couleurs identiques, et des valeurs plus élevées (jusqu’à 185 et plus) indiquent une différence plus marquée. Par exemple, une valeur ΔE2000 autour de 5 correspond à des couleurs proches, tandis qu’une valeur autour de 15 correspond à des couleurs clairement distinctes. Lorsque la valeur ΔE2000 dépasse 40, les couleurs comparées n’ont pratiquement plus rien en commun, et nous ne pouvons plus en tirer d’informations précises.

Exemple d’utilisation en Racket

; Compute the Delta E (CIEDE2000) color difference between two L*a*b* colors in Racket

; Color 1: l1 = 11.0   a1 = 17.2   b1 = 3.4
; Color 2: l2 = 12.3   a2 = 22.6   b2 = -4.2

(define delta-e (ciede_2000 l1 a1 b1 l2 a2 b2))
(displayln delta-e)

; .................................................. This shows a ΔE2000 of 6.0137922953
; As explained in the comments, compliance with Gaurav Sharma would display 6.0137736278

Résultats des tests

Notre programme de tests, écrit en C99, comprend 250 tests statiques précis. Ces tests assurent que vos calculs s’effectueront sans erreur, même dans des cas limites critiques, par exemple lorsque la fonction arc tangente renvoie une valeur mathématiquement indéfinie. Les résultats montrent que cette fonction CIEDE2000 en Racket est interopérable avec les 41 autres langages de programmation que nous proposons.

CIEDE2000 Verification Summary :
  First Verified Line : 1.99,-114.02,110,27.7,-121,-112.8,67.9143482347745
             Duration : 80.52 s
            Successes : 10000000
               Errors : 0
      Average Delta E : 62.9563
    Average Deviation : 5.2646248055454593e-15
    Maximum Deviation : 2.5579538487363607e-13

Fichiers à télécharger

Utilisez librement ces fichiers mis à disposition par Michel, même à des fins commerciales.

Communauté

Que pensez-vous de ce code source ou de CIEDE2000 ? Votre avis nous intéresse ! Ce site web spécialisé comporte un livre d’or qui inclut déjà 9 messages dont 1 en français. Faites-y un tour et partagez votre avis.