User blog comment:Hyp cos/R function II/@comment-5529393-20150407174733

Hyp Cos, do you think you could make a section giving motivation for how you defined the notation the way you do? In particular, for case A3. For example, what motivates the particular reduction when level A_s(k) < level B(k+1), and what motivates the reduction when A_s(k) >= level B(k+1)?

I'm also looking forward to an analysis of your notation.