Functions and mappings tFrom Wikipedia, the free encyclopediaContents1 Tak (function) 11.1 tak() vs. tarai() . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.2 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.3 External links . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 Tapering (mathematics) 32.1 See also . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32.2 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32.3 External links . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 Tetraview 53.1 External links . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54 Three-dimensional graph 64.1 Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74.2 Collapsing the information in a three-dimensional graph into a two-dimensional graph . . . . . . . . 84.3 See also . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85 Transcendental function 105.1 Denition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105.2 History . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105.3 Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105.4 Algebraic and transcendental functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115.5 Transcendentally transcendental functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115.6 Exceptional set . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115.7 Dimensional analysis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125.8 See also . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125.9 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125.10External links . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 136 Transformation (function) 146.1 Translation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 146.2 Reection . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 146.3 Glide reection . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15iii CONTENTS6.4 Rotation. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 166.5 Scaling . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 166.6 Shear . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 166.7 More generally . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 166.7.1 Partial transformations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 176.8 Algebraic structures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 176.9 Combinatorics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 176.10See also . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 176.11References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 176.12Text and image sources, contributors, and licenses . . . . . . . . . . . . . . . . . . . . . . . . . . 186.12.1 Text . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 186.12.2 Images . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 186.12.3 Content license . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18Chapter 1Tak (function)In computer science, the Tak function is a recursive function, named after Ikuo Takeuchi (). It is dened asfollows:(x, y, z) ={((x 1, y, z), (y 1, z, x), (z 1, x, y)) ify< xz otherwisedef tak( x, y, z) if y < x tak( tak(x-1, y, z), tak(y-1, z, x), tak(z-1, x, y) ) else z end endThis function is often used as a benchmark for languages with optimization for recursion.[1][2]1.1 tak() vs. tarai()The original denition by Takeuchi was as follows:def tarai( x, y, z) if y < x tarai( tarai(x-1, y, z), tarai(y-1, z, x), tarai(z-1, x, y) ) else y # not z! end endtarai is short for tarai mawashi, to pass around in Japanese.John McCarthy named this function tak() after Takeuchi.[3]However, in certain later references, the y somehow got turned into the z. This is a small, but signicant dierencebecause the original version benets signicantly by lazy evaluation. Though written in exactly the same manner asothers, the Haskell code below runs much faster.tarai :: Int -> Int -> Int -> Int tarai x y z | x y) { int oldx = x, oldy = y; x = tarai(x - 1, y, z); y = tarai(y - 1, z, oldx); if (x