We are interested in algorithms to compute rigorous enclosures of eigenvalues.

We implement Ref. [3]; the idea is to approach the problem in two steps, the interested reader may refer to the treatment in Eigenvalues in Arb for a deeper discussion on the topic.