On the convergence of some algorithms of binary or ternary machine arithmetic for calculations in imaginary quadratic fields

The paper proves a number of statements that significantly reduce the complexity of proofs of the classification theorems for quasicanonical number systems in imaginary quadratic fields. Theorems on convergence of algorithms that implement the addition of algebraic integers in quasicanonical number systems are proved.