- this_row = W.coordinates((b_left*b_right).to_vector())
- b_right_rows.append(this_row)
- b_right_matrix = matrix(field, b_right_rows)
+ this_col = W.coordinates((b_left*b_right).to_vector())
+ b_right_cols.append(this_col)
+ b_right_matrix = matrix.column(field, b_right_cols)