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

x x x x x x x x x x x x x yq

s

x x x x x x yq

s

OB ê@ AllLyndonWords@8, 8"x", "y"<D

:x x x x x x x yq

s

, x x x x x x yq

y

s

, x x x x x yq

s

x yq

, x x x x x yq

y

s

y, x x x x yq

s

x x yq

s

, x x x x yq

x yq

y

s

,

x x x x yq

y

s

x yq

, x x x x yq

y

s

y y, x x x yq

s

x x yq

y

s

, x x x yq

s

x yq

x yq

, x x x yq

x yq

y

s

y, x x x yq

y

s

x x yq

s

,

x x x yq

y

s

x yq

y

s

, x x x yq

y

s

y x yq

, x x x yq

y

s

y y y, x x yq

s

x x yq

s

x yq

, x x yq

s

x x yq

y

s

y, x x yq

x yq

x yq

y

s

,

x x yq

x yq

y

s

x yq

, x x yq

x yq

y

s

y y, x x yq

y

s

x yq

x yq

, x x yq

y

s

x yq

y

s

y, x x yq

y

s

y x yq

y

s

, x x yq

y

s

y y x yq

,

x x yq

y

s

y y y y, x yq

x yq

x yq

y

s

y, x yq

x yq

y

s

x yq

y

s

, x yq

x yq

y

s

y y y, x yq

y

s

x yq

y

s

y y, x yq

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 → CenterD,

p

D;

OB@X"xxxxxxxxxxxxxyxxxxxxy"\D

xxxxxxxxxxx xxy

q

s xxxx xxy

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

OB ê@ AllLyndonWords@8, 8"x", "y"<D

:x x x x x x x y

q

s , x x x x xx y

q

y

s , x x x x x y

q

s

x y

q , x x x xx y

q

y

s

y, x x x x y

q

s

x x y

q

s

,

x x xx y

q

x y

q

y

s , x x xx y

q

y

s

x y

q , x x xx y

q

y

s

y y, x x x y

q

s

xx y

q

y

s

, xx x y

q

s

x y

q

x y

q

,

x xx y

q

x y

q

y

s

y, x x

x y

q

y

s

x x y

q

s

, x xx y

q

y

s

x y

q

y

s

, x xx y

q

y

s

y x y

q

, x x

x y

q

y

s

y y y,

x x y

q

s

x x y

q

s

x y

q

, x x y

q

s

xx y

q

y

s

y, x

x y

q

x y

q

x y

q

y

s

, xx y

q

x y

q

y

s

x y

q

, xx y

q

x y

q

y

s

y y,

xx y

q

y

s

x y

q

x y

q

, xx y

q

y

s

x y

q

y

s

y, x

x y

q

y

s

y x y

q

y

s

, xx y

q

y

s

y y x y

q

, x

x y

q

y

s

y y y y ,

x y

q

x y

q

x y

q

y

s

y,

x y

q

x y

q

y

s

x y

q

y

s

,x y

q

x y

q

y

s

y y y ,x y

q

y

s

x y

q

y

s

y y,

x y

q

y

s

y y y y y>

Dror Bar-Natan: Academic Pensieve: 2012-12: TopBracketForm_Games.nb 2012-12-11 14:05:50

http://drorbn.net/AcademicPensieve/2012-12/#MathematicaNotebooks