The Hensel–Shafarevich canonical basis in Honda formal modules

In this paper, we construct Hensel–Shafarevich generating set in Honda formal modules over a higher dimensional field. Later, that should allow us to compute Hilbert symbol in this case.