IsApprox.jl uniform interface for approximate and exact equality

Sometimes I see an algorithm for a predicate duplicated because the notion of closeness varies. Eg. exact equality, (maximum over) elementwise distance, closeness in norm.

This package is a quick initial attempt at addressing the problem. The idea is to decouple the meaning and implementation of the predicate (eg ishermitian) from the meaning and implementation of closeness. (eq, exact or approximate equality)

https://github.com/jlapeyre/IsApprox.jl

2 Likes

I think that this is a great idea. Packages that need some customizable notion of (approxiate) equality can just use this framework for modular, customizable application.