Btw with regards to index notation: in general I prefer a[i] over a_i to denote the i’th slot of some indexable data structure a. The a[i] notation allows the index to be a general expression. The choice of a_i notation was simply due to the fact, that I could implement it without changing the reader.