This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.
%I A225798 #50 Jun 02 2016 03:29:10 %S A225798 1,2,5,12,36,96,311,886,3000,8944,31192,96138,342562,1083028,3923351, %T A225798 12656024,46455770,152325850,565212506,1878551444,7033866580, %U A225798 23645970022,89222991344,302879546290,1150480017950,3938480377496,15047312553918,51892071842570,199274492098480,691680497233180 %N A225798 The number of idempotents in the Jones (or Temperley-Lieb) monoid on the set [1..n]. %C A225798 The Jones monoid is the set of partitions on [1..2n] with classes of size 2, which can be drawn as a planar graph, and multiplication inherited from the Brauer monoid, which contains the Jones monoid as a subsemigroup. The multiplication is defined in Halverson and Ram. %C A225798 These numbers were produced using the Semigroups (2.0) package for GAP 4.7. %C A225798 No general formula is known for the number of idempotents in the Jones monoid. %H A225798 Attila Egri-Nagy, Nick Loughlin, and James Mitchell <a href="/A225798/b225798.txt">Table of n, a(n) for n = 1..30</a> (a(1) to a(21) from Attila Egri-Nagy, a(22)-a(24) from Nick Loughlin, a(25)-a(30) from James Mitchell) %H A225798 I. Dolinka, J. East, A. Evangelou, D. FitzGerald, N. Ham, et al., <a href="http://arxiv.org/abs/1408.2021">Enumeration of idempotents in diagram semigroups and algebras</a>, arXiv preprint arXiv:1408.2021 [math.GR], 2014. %H A225798 I. Dolinka, J. East et al, <a href="http://arxiv.org/abs/1507.04838">Idempotent Statistics of the Motzkin and Jones Monoids</a>, arXiv:1507.04838 [math.CO], 2015. Table 4 and 5. %H A225798 T. Halverson, A. Ram, <a href="http://dx.doi.org/10.1016/j.ejc.2004.06.005">Partition algebras</a>, European J. Combin. 26 (6) (2005) 869-921. %H A225798 J. D. Mitchell et al., <a href="https://gap-packages.github.io/Semigroups/">Semigroups</a> package for GAP. %o A225798 (GAP) for i in [1..18] do %o A225798 Print(NrIdempotents(JonesMonoid(i)), "\n"); %o A225798 od; %Y A225798 Cf. A000108, A227545, A225797. %K A225798 nonn %O A225798 1,2 %A A225798 _James Mitchell_, Jul 27 2013 %E A225798 a(20)-a(21) from _Attila Egri-Nagy_, Sep 12 2014 %E A225798 a(22)-a(24) from _Nick Loughlin_, Jan 23 2015 %E A225798 a(25)-a(30) from _James Mitchell_, May 21 2016