%I #6 Mar 31 2012 13:21:14
%S 0,1,2,3,4,6,5,7,8,9,14,10,16,19,11,15,12,17,18,13,20,21,22,23,24,37,
%T 42,51,25,38,26,44,47,27,53,56,60,28,39,29,43,52,30,40,31,45,46,32,48,
%U 49,50,33,41,34,54,55,35,57,58,59,36,61,62,63,64,65,66,67,68,69,107
%N Signature-permutation of a Catalan automorphism, row 3613 of A089840.
%C This involution effects the following transformation on the binary trees (labels A,B,C,D refer to arbitrary subtrees located on those nodes and () stands for a terminal node.)
%C .....C...D.........B...D
%C ......\./...........\./
%C ...B...X2........A...Y2......B..().......A..()
%C ....\./...........\./.........\./.........\./
%C .A...X1....-->.C...Y1......A...X1..-->.B...Y1
%C ..\./...........\./.........\./.........\./
%C ...X0............Y0..........X0..........Y0
%C Note that automorphism *A072796 = ENIPS(*A129606). See the definition given in A122204.
%H A. Karttunen, <a href="/A129606/b129606.txt">Table of n, a(n) for n = 0..2055</a>
%H A. Karttunen, <a href="/A089840/a089840p.txt">Prolog-program which illustrates the construction of this and similar nonrecursive Catalan automorphisms.</a>
%H <a href="/index/Per#IntegerPermutationCatAuto">Index entries for signature-permutations of Catalan automorphisms</a>
%o (Constructive and destructive Scheme implementation of this automorphism. These act on S-expressions, i.e. list-structures:)
%o (define (*A129606 s) (cond ((> (length s) 2) (cons (caddr s) (cons (car s) (cons (cadr s) (cdddr s))))) (else (*A072796 s))))
%o (define (*A129606! s) (cond ((< (length s) 3) (*A072796! s)) (else (let ((org_car (car s))) (set-car! s (caddr s)) (set-car! (cddr s) (cadr s)) (set-car! (cdr s) org_car) s))))
%Y Inverse: A129605.
%K nonn
%O 0,3
%A _Antti Karttunen_, May 22 2007