/ Reduce r←(F/)y

r is the result of reducing the major cells of y using F, left-to-right.