import BTO; GEMVER in A : column matrix, u1 : vector, u2 : vector, v1 : vector, v2 : vector, a : scalar, b : scalar, y : vector, z : vector out B : column matrix, x : vector, z : vector { B = A + u1 * v1' + u2 * v2' x = b * (B' * y) + z w = a * (B * x) }