Echelons of power series and Gabrielov's counterexample to nested linear Artin Approximation

Gabrielov’s famous example for the failure of analytic Artin approximation in the presence of nested subring conditions is shown to be due to a growth phenomenon in standard basis computations for echelons, a generalization of the concept of ideals in power series rings.