Reduce Back r←(F⍅)y

r is the result of reducing the major cells of y using F, right-to-left. This is the reduction implemented in most APLs.