User blog comment:Hyp cos/Fundamental Sequences in Taranovsky's Notation/@comment-35470197-20190918031607

Could you give me an explanation why the algorith right after "Here's a thought for the computing of FS..." gives a way to compute the fundamental sequence right after "So we need this definition:"? Is it an obvious fact for specialists? Or is it your own non-trivial result?