Wolfram Cloud Page

From Joerg Endrullis

orig=

;

In[]:=

maintable=#1[Application]#2#3&@@@ImportString[StringReplace[orig,{"ap(""",")""","->"","}],"CSV"]

In[]:=

Out[]=

all7=Groupings[Table[s,7],Application2]

In[]:=

Out[]=

#//.maintable&/@(all7/.s4)

In[]:=

{2,7,21,18,33,26,36,28,36,28,36,28,37,28,37,28,38,28,37,28,37,28,37,28,37,28,37,28,37,28,36,28,2,7,21,18,33,26,36,28,38,28,37,28,2,7,21,18,37,28,37,28,27,23,30,18,36,28,2,7,34,28,20,18,37,28,27,23,37,28,25,15,36,28,2,7,37,28,37,28,36,28,37,28,33,2,30,10,37,20,37,18,37,27,36,26,37,25,31,16,33,2,30,10,37,27,33,2,35,24,33,9,34,36,36,32,34,37,36,33,37,37,37,33,36,37,36,33,34,36,36,32}

Out[]=

Position[%,38]

In[]:=

{{17},{41}}

Out[]=

First[(FunctionToApplication/@Import["/Users/sw/Dropbox/Physics/Data/Combinators/S-NT1e4-8.wxf"])]

In[]:=

s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s

Out[]=

#/.s4//.maintable&/@%

In[]:=

{38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38}

Out[]=

Length[%221]

In[]:=

Out[]=

Groupings[Table[s,8],Application2];

In[]:=

Select[Groupings[Table[s,8],Application2],(#/.s4//.maintable)38&]

In[]:=

Out[]=

Need ordering for nodes.....

[Singleway growth]

39 types of subtree; once one reaches the 39th type, infinite growth is inevitable.......

From Joerg Endrullis

[Singleway growth]

Size 13 and beyond

Size 10

Size 11

Size 12

Size 13

Size 14

Size 15

Champions

Size 16 [[[ Needs prep ]]]

BEFORE:

From Joerg Endrullis

[Singleway growth]

Size 13 and beyond

Size 10

Size 11

Size 12

Size 13

Size 14

Size 15

Champions

​

Size 16 [[[ Needs prep ]]]

​

BEFORE: