another struggle towards A * y = b. For now I have all the tiles. Now they have to be aggregated
I'm not sure where I am
defbufferop, uff
I understood how to use the defbufferop. Now I should properly implement the reduction