Verifying an algorithm computing Discrete Vector Fields for digital imaging