Re: rekursive Definition

["Udo und Susanne Krause" <su.krause@XXXXXXX.ch>]

Hoi Andreas,

> Siehe Beilage!

In der Beilage heisst es:

> 26 \[CircleTimes] {1, 2} sollte {1, 21} resultieren.{\[Infinity],  
> \[Infinity]} sollte es erst geben, wennFirst[n \[CircleTimes] {x, y}] ==  
> First[(n - 1) \[CircleTimes] {x, y}]
> gilt. Dies ist erst bei
> 27 \[CircleTimes] {1, 2} = {1,21} \[CirclePlus] {1, 2}der Fall.

Wenn das so ist, dann hat die Implementation schon eher ein Problem:

In[17]:= Table[k\[CircleTimes]{1, 2}, {k, 1, 27}]

Out[17]= {{1, 2}, {2, 19}, {10, 6}, {21, 7}, {14, 12},
        {9, 6}, {19, 12}, {7, 10}, {4, 17}, {20, 18},
        {18, 20}, {13, 11}, {11, 2}, {11, 21}, {13, 12},
        {18, 3}, {20, 5}, {4, 6}, {7, 13}, {19, 11},
        {9, 17}, {14, 11}, {21, 16}, {10, 17}, {2, 4},
        {\[Infinity], \[Infinity]}, {\[Infinity], \[Infinity]}}

mit

First[14 \[CircleTimes]{1, 2}] == First[13 \[CircleTimes]{1, 2}],

d.h. nicht erst 27 und 26 haben denselben Eintrag auf Stelle 1, sondern
schon 14 und 13 und es wurde anschliessend für 15 munter weitergerechnet.

> Wie kriege ich dies in die rekursive Definition von n\[CircleTimes]{x,  
> y} > hinein?

Mal weiter sehen ...

Mit den besten Grüssen
Udo.