Algorithm 1 FoCal, redundancy correction

procedure Correction(coeffs C, correlations Q)

N ← ∅                                     ⊳ Corrected coefficients

repeat

m ← max(C)                   ⊳ Obtain maximum from C

M ← M∪m                           ⊳ Add maximum to M

C ← C \ m                      ⊳ Remove maximum from C

for all c ∈ C do                    ⊳ Adjust all remaining c

if Q(m, c) ≠ 0 then      ⊳ Adjust only spatially near                                                         coefficients

c ← c − m × Q(m, c)

end if

end for

until C = ∅

return M

end procedure