ddrorbn.net/mathblog/2012-12/nb/topbracketform_games.pdfob ’ž alllyndonwords@8, 8"x",...
TRANSCRIPT
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