Se desarrolla el cálculo de Imagen3 a partir de sus muestras digitales. Todas las imágenes del conjunto son sintéticas. La escena representada no interviene como una etiqueta verbal en el cálculo.
Anchura: 1254; altura: 1254. Píxeles: 1254 × 1254 = 1572516. Cada píxel aporta cuatro componentes de ocho bits: rojo, verde, azul y opacidad. Se leen las filas de arriba abajo y cada fila de izquierda a derecha.
Componentes: 1572516 × 4 = 6290064. Se añaden 16 octetos de perfil y dimensiones: 6290064 + 16 = 6290080. Por tanto, m = 6290080 × 8 = 50320640; N = m + 2 = 50320642.
Los dos primeros píxeles aportan estas ocho componentes decimales, leídas del original:
77, 99, 61, 255, 71, 88, 65, 255
La terminación de perfil y dimensiones es:
83, 86, 73, 77, 71, 48, 50, 0, 0, 0, 4, 230, 0, 0, 4, 230
Si x₁,…,xL son los 6290080 octetos, C = Σ xⱼ·256L−j. Equivalentemente, C₀=0 y Cⱼ=256·Cⱼ₋₁+xⱼ, hasta j=6290080. El comienzo se calcula así:
C₁ = 256 × 0 + 77 = 77 C₂ = 256 × 77 + 99 = 19811 C₃ = 256 × 19811 + 61 = 5071677 C₄ = 256 × 5071677 + 255 = 1298349567 Primeros ocho octetos: A = 5576368930237727231
Se continúa la misma recurrencia con todas las componentes y los 16 octetos finales. Los primeros píxeles permiten comprobar la cifra abreviada; el valor exacto conserva también los restantes.
μ = 3·250320640 + C
λ = 250320640 − 1 − C
P = μ − λ = 250320641 + 2C + 1
I = μ + λ = 250320642 − 1.
Estas expresiones son exactas. El fichero entero completo en texto, base 16 contiene todos los dígitos de P y se abre como texto ordinario. La base 16 expresa el mismo número que la base decimal; no es una huella ni una cifra sustitutiva.
q = P/250320642. Para comprobar su aproximación sin escribir millones de dígitos, se usan los ocho primeros octetos:
q₀ = 1/2 + A/2^65 = 24023113003947278847/36893488147419103232 = 0.65114778271861030453713896359868584795549395494163036346435546875
La división anterior es exacta para q₀. La contribución omitida satisface 0 < q−q₀ < 2−65, aproximadamente 2,71·10−20. Esta cota sólo se usa para la lectura abreviada; P y q se conservan completos.
El convenio visual fija η=1/10 y escala 64. Con q ≈ 0.65114778271861029:
1 + 10q ≈ 7.51147782718610291 ln(1 + 10q) ≈ 2.01643222766696661 ln(11) ≈ 2.39789527279837067 δ = 64 × ln(1 + 10q) / ln(11) ≈ 53.818723459128
La derivada de esta transformación es menor que 45 en el intervalo utilizado. Por tanto, la diferencia debida a sustituir q por q₀ es menor que 45·2−65, aproximadamente 1,22·10−18. Los decimales impresos incorporan además el redondeo de su evaluación numérica; no se emplean para recuperar la imagen.
μAtlas = 64 + δ/2 ≈ 90.909361729564 λAtlas = 64 − δ/2 ≈ 37.090638270436 PAtlas = μAtlas − λAtlas = δ ≈ 53.818723459128 IAtlas = μAtlas + λAtlas = 128
Las sumas y diferencias se refieren a las expresiones sin redondear. Para el retorno exacto, N se obtiene de la longitud binaria de P; m=N−2 y C=(P−2m+1−1)/2. Se restituyen los m bits, las dimensiones y las muestras. En este recurso se ha contrastado la igualdad de todas las muestras con el original.
Desarrollo en texto sin compresión · Definición, demostración y fuentes