1That is, an algorithm producing a vector v = Tu for a given vector u.