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.
|