Here the dimension of the space is denoted by "9" for the index, whereas it is denoted by "dim" for the regular number. type-a index may run from 1 to 8, although it is not used explicitly, but only assumes type-a index cannot be 9.