Computing $H$-equations with 2-by-2 integral matrices

Gemma Bastardas, Enric Ventura

We study the transference through finite index extensions of the notion of equational coherence, as well as its effective counterpart. We deduce an explicit algorithm for solving t…