Clear@OBD; OB@w_LWD; Deg@wD 1:= w@@1DD; OB@w_LWD := OB@wD = Overscript@ Row@Riffle@OB LyndonFactorization@wD, ""DD, p D; OB@X"xxxxxxxxxxxxxyxxxxxxy"\D xxxxxxxxxxxxxy q s xxxxxxy q s OB AllLyndonWords@8, 8"x", "y"<D :xxxxxxxy q s ,xxxxxxy q y s ,xxxxxy q s xy q ,xxxxxy q y s y ,xxxxy q s xxy q s ,xxxxy q xy q y s , xxxxy q y s xy q ,xxxxy q y s y y ,xxxy q s xxy q y s ,xxxy q s xy q xy q ,xxxy q xy q y s y ,xxxy q y s xxy q s , xxxy q y s xy q y s ,xxxy q y s y xy q ,xxxy q y s y y y ,xxy q s xxy q s xy q ,xxy q s xxy q y s y ,xxy q xy q xy q y s , xxy q xy q y s xy q ,xxy q xy q y s y y ,xxy q y s xy q xy q ,xxy q y s xy q y s y ,xxy q y s y xy q y s ,xxy q y s y y xy q , xxy q y s y y y y ,xy q xy q xy q y s y ,xy q xy q y s xy q y s ,xy q xy q y s y y y ,xy q y s xy q y s y y ,xy q y s y y y y y > Clear@OBD; OB@w_LWD; Deg@wD 1:= w@@1DD; OB@w_LWD := OB@wD = Overscript@ Row@Riffle@OB LyndonFactorization@wD, ""D, BaselinePosition fi CenterD, p D; OB@X"xxxxxxxxxxxxxyxxxxxxy"\D x x x x x x x x x x x x xy q s x x x x x xy q s Dror Bar-Natan: Academic Pensieve: 2012-12: TopBracketForm_Games.nb 2012-12-11 14:05:50 http://drorbn.net/AcademicPensieve/2012-12/#MathematicaNotebooks