<?xml version="1.0" encoding="UTF-8" ?>

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0//EN"
"http://www.w3.org/TR/MathML2/dtd/xhtml-math11-f.dtd" [
<!ENTITY mathml "http://www.w3.org/1998/Math/MathML">
]>

<html xmlns="http://www.w3.org/1999/xhtml"
      xmlns:xlink="http://www.w3.org/1999/xlink" >


  <head>
    <title>Section9.48</title>
    <link rel="stylesheet" type="text/css" href="graphicstyle.css" />
    <script type="text/javascript" src="bookax1.js" />
  </head>

  <body>
<a href="book-contents.xhtml" style="margin-right: 10px;">Book Contents</a><a href="section-9.47.xhtml" style="margin-right: 10px;">Previous Section 9.47 List</a><a href="section-9.49.xhtml" style="margin-right: 10px;">Next Section 9.49 Magma</a>
<a href="book-index.xhtml">Book Index</a><div class="section"  id="sec-9.48">
<h2 class="sectiontitle">9.48  LyndonWord</h2>


<a name="LyndonWordXmpPage" class="label"/>


<p>Initialisations
</p>




<div id="spadComm9-80" class="spadComm" >
<form id="formComm9-80" action="javascript:makeRequest('9-80');" >
<input id="comm9-80" type="text" class="command" style="width: 10em;" value="a:Symbol :='a " />
</form>
<span id="commSav9-80" class="commSav" >a:Symbol :='a </span>
<div id="mathAns9-80" ></div>
</div>


<div class="math">
<table>
<tr><td>
<math xmlns="&mathml;" mathsize="big" display="block"><mstyle><mi>a</mi></mstyle></math>
</td></tr>
</table>
</div>




<div class="returnType">
Type: Symbol
</div>





<div id="spadComm9-81" class="spadComm" >
<form id="formComm9-81" action="javascript:makeRequest('9-81');" >
<input id="comm9-81" type="text" class="command" style="width: 10em;" value="b:Symbol :='b " />
</form>
<span id="commSav9-81" class="commSav" >b:Symbol :='b </span>
<div id="mathAns9-81" ></div>
</div>


<div class="math">
<table>
<tr><td>
<math xmlns="&mathml;" mathsize="big" display="block"><mstyle><mi>b</mi></mstyle></math>
</td></tr>
</table>
</div>




<div class="returnType">
Type: Symbol
</div>





<div id="spadComm9-82" class="spadComm" >
<form id="formComm9-82" action="javascript:makeRequest('9-82');" >
<input id="comm9-82" type="text" class="command" style="width: 10em;" value="c:Symbol :='c " />
</form>
<span id="commSav9-82" class="commSav" >c:Symbol :='c </span>
<div id="mathAns9-82" ></div>
</div>


<div class="math">
<table>
<tr><td>
<math xmlns="&mathml;" mathsize="big" display="block"><mstyle><mi>c</mi></mstyle></math>
</td></tr>
</table>
</div>




<div class="returnType">
Type: Symbol
</div>





<div id="spadComm9-83" class="spadComm" >
<form id="formComm9-83" action="javascript:makeRequest('9-83');" >
<input id="comm9-83" type="text" class="command" style="width: 18em;" value="lword:= LyndonWord(Symbol) " />
</form>
<span id="commSav9-83" class="commSav" >lword:= LyndonWord(Symbol) </span>
<div id="mathAns9-83" ></div>
</div>


<div class="math">
<table>
<tr><td>
<math xmlns="&mathml;" mathsize="big" display="block"><mstyle><mrow><mtext><mrow><mtext>LyndonWordSymbol</mtext></mrow></mtext></mrow></mstyle></math>
</td></tr>
</table>
</div>




<div class="returnType">
Type: Domain
</div>





<div id="spadComm9-84" class="spadComm" >
<form id="formComm9-84" action="javascript:makeRequest('9-84');" >
<input id="comm9-84" type="text" class="command" style="width: 16em;" value="magma := Magma(Symbol) " />
</form>
<span id="commSav9-84" class="commSav" >magma := Magma(Symbol) </span>
<div id="mathAns9-84" ></div>
</div>


<div class="math">
<table>
<tr><td>
<math xmlns="&mathml;" mathsize="big" display="block"><mstyle><mrow><mtext><mrow><mtext>MagmaSymbol</mtext></mrow></mtext></mrow></mstyle></math>
</td></tr>
</table>
</div>




<div class="returnType">
Type: Domain
</div>





<div id="spadComm9-85" class="spadComm" >
<form id="formComm9-85" action="javascript:makeRequest('9-85');" >
<input id="comm9-85" type="text" class="command" style="width: 24em;" value="word   := OrderedFreeMonoid(Symbol) " />
</form>
<span id="commSav9-85" class="commSav" >word   := OrderedFreeMonoid(Symbol) </span>
<div id="mathAns9-85" ></div>
</div>


<div class="math">
<table>
<tr><td>
<math xmlns="&mathml;" mathsize="big" display="block"><mstyle><mrow><mtext><mrow><mtext>OrderedFreeMonoidSymbol</mtext></mrow></mtext></mrow></mstyle></math>
</td></tr>
</table>
</div>




<div class="returnType">
Type: Domain
</div>



<p>All Lyndon words  with a, b, c to order 3
</p>




<div id="spadComm9-86" class="spadComm" >
<form id="formComm9-86" action="javascript:makeRequest('9-86');" >
<input id="comm9-86" type="text" class="command" style="width: 26em;" value="LyndonWordsList1([a,b,c],3)$lword     " />
</form>
<span id="commSav9-86" class="commSav" >LyndonWordsList1([a,b,c],3)$lword     </span>
<div id="mathAns9-86" ></div>
</div>


<div class="math">
<table>
<tr><td>
<math xmlns="&mathml;" mathsize="big" display="block"><mstyle><mrow><mtable><mtr><mtd><mo>[</mo><mrow><mo>[</mo><mrow><mo>[</mo><mi>a</mi><mo>]</mo></mrow><mo>,</mo><mrow><mo>[</mo><mi>b</mi><mo>]</mo></mrow><mo>,</mo><mrow><mo>[</mo><mi>c</mi><mo>]</mo></mrow><mo>]</mo></mrow><mo>,</mo><mrow><mo>[</mo><mrow><mo>[</mo><mi>a</mi><mspace width="0.5 em" /><mi>b</mi><mo>]</mo></mrow><mo>,</mo><mrow><mo>[</mo><mi>a</mi><mspace width="0.5 em" /><mi>c</mi><mo>]</mo></mrow><mo>,</mo><mrow><mo>[</mo><mi>b</mi><mspace width="0.5 em" /><mi>c</mi><mo>]</mo></mrow><mo>]</mo></mrow><mo>,</mo></mtd></mtr><mtr><mtd></mtd></mtr><mtr><mtd><mrow><mo>[</mo><mrow><mo>[</mo><mrow><msup><mi>a</mi><mn>2</mn></msup></mrow><mspace width="0.5 em" /><mi>b</mi><mo>]</mo></mrow><mo>,</mo><mrow><mo>[</mo><mrow><msup><mi>a</mi><mn>2</mn></msup></mrow><mspace width="0.5 em" /><mi>c</mi><mo>]</mo></mrow><mo>,</mo><mrow><mo>[</mo><mi>a</mi><mspace width="0.5 em" /><mrow><msup><mi>b</mi><mn>2</mn></msup></mrow><mo>]</mo></mrow><mo>,</mo><mrow><mo>[</mo><mi>a</mi><mspace width="0.5 em" /><mi>b</mi><mspace width="0.5 em" /><mi>c</mi><mo>]</mo></mrow><mo>,</mo><mrow><mo>[</mo><mi>a</mi><mspace width="0.5 em" /><mi>c</mi><mspace width="0.5 em" /><mi>b</mi><mo>]</mo></mrow><mo>,</mo><mrow><mo>[</mo><mi>a</mi><mspace width="0.5 em" /><mrow><msup><mi>c</mi><mn>2</mn></msup></mrow><mo>]</mo></mrow><mo>,</mo><mrow><mo>[</mo><mrow><msup><mi>b</mi><mn>2</mn></msup></mrow><mspace width="0.5 em" /><mi>c</mi><mo>]</mo></mrow><mo>,</mo><mrow><mo>[</mo><mi>b</mi><mspace width="0.5 em" /><mrow><msup><mi>c</mi><mn>2</mn></msup></mrow><mo>]</mo></mrow><mo>]</mo></mrow><mo>]</mo></mtd></mtr></mtable></mrow></mstyle></math>
</td></tr>
</table>
</div>




<div class="returnType">
Type: OneDimensionalArray List LyndonWord Symbol
</div>



<p>All Lyndon words of with a, b, c to order 3 in flat list
</p>




<div id="spadComm9-87" class="spadComm" >
<form id="formComm9-87" action="javascript:makeRequest('9-87');" >
<input id="comm9-87" type="text" class="command" style="width: 22em;" value="LyndonWordsList([a,b,c],3)$lword" />
</form>
<span id="commSav9-87" class="commSav" >LyndonWordsList([a,b,c],3)$lword</span>
<div id="mathAns9-87" ></div>
</div>


<div class="math">
<table>
<tr><td>
<math xmlns="&mathml;" mathsize="big" display="block"><mstyle><mrow><mtable><mtr><mtd><mo>[</mo><mrow><mo>[</mo><mi>a</mi><mo>]</mo></mrow><mo>,</mo><mrow><mo>[</mo><mi>b</mi><mo>]</mo></mrow><mo>,</mo><mrow><mo>[</mo><mi>c</mi><mo>]</mo></mrow><mo>,</mo><mrow><mo>[</mo><mi>a</mi><mspace width="0.5 em" /><mi>b</mi><mo>]</mo></mrow><mo>,</mo><mrow><mo>[</mo><mi>a</mi><mspace width="0.5 em" /><mi>c</mi><mo>]</mo></mrow><mo>,</mo><mrow><mo>[</mo><mi>b</mi><mspace width="0.5 em" /><mi>c</mi><mo>]</mo></mrow><mo>,</mo><mrow><mo>[</mo><mrow><msup><mi>a</mi><mn>2</mn></msup></mrow><mspace width="0.5 em" /><mi>b</mi><mo>]</mo></mrow><mo>,</mo><mrow><mo>[</mo><mrow><msup><mi>a</mi><mn>2</mn></msup></mrow><mspace width="0.5 em" /><mi>c</mi><mo>]</mo></mrow><mo>,</mo><mrow><mo>[</mo><mi>a</mi><mspace width="0.5 em" /><mrow><msup><mi>b</mi><mn>2</mn></msup></mrow><mo>]</mo></mrow><mo>,</mo></mtd></mtr><mtr><mtd></mtd></mtr><mtr><mtd><mrow><mo>[</mo><mi>a</mi><mspace width="0.5 em" /><mi>b</mi><mspace width="0.5 em" /><mi>c</mi><mo>]</mo></mrow><mo>,</mo><mrow><mo>[</mo><mi>a</mi><mspace width="0.5 em" /><mi>c</mi><mspace width="0.5 em" /><mi>b</mi><mo>]</mo></mrow><mo>,</mo><mrow><mo>[</mo><mi>a</mi><mspace width="0.5 em" /><mrow><msup><mi>c</mi><mn>2</mn></msup></mrow><mo>]</mo></mrow><mo>,</mo><mrow><mo>[</mo><mrow><msup><mi>b</mi><mn>2</mn></msup></mrow><mspace width="0.5 em" /><mi>c</mi><mo>]</mo></mrow><mo>,</mo><mrow><mo>[</mo><mi>b</mi><mspace width="0.5 em" /><mrow><msup><mi>c</mi><mn>2</mn></msup></mrow><mo>]</mo></mrow><mo>]</mo></mtd></mtr></mtable></mrow></mstyle></math>
</td></tr>
</table>
</div>




<div class="returnType">
Type: List LyndonWord Symbol
</div>



<p>All Lyndon words of with a, b to order 5
</p>




<div id="spadComm9-88" class="spadComm" >
<form id="formComm9-88" action="javascript:makeRequest('9-88');" >
<input id="comm9-88" type="text" class="command" style="width: 27em;" value="lw := LyndonWordsList([a,b],5)$lword    " />
</form>
<span id="commSav9-88" class="commSav" >lw := LyndonWordsList([a,b],5)$lword    </span>
<div id="mathAns9-88" ></div>
</div>


<div class="math">
<table>
<tr><td>
<math xmlns="&mathml;" mathsize="big" display="block"><mstyle><mrow><mtable><mtr><mtd><mo>[</mo><mrow><mo>[</mo><mi>a</mi><mo>]</mo></mrow><mo>,</mo><mrow><mo>[</mo><mi>b</mi><mo>]</mo></mrow><mo>,</mo><mrow><mo>[</mo><mi>a</mi><mspace width="0.5 em" /><mi>b</mi><mo>]</mo></mrow><mo>,</mo><mrow><mo>[</mo><mrow><msup><mi>a</mi><mn>2</mn></msup></mrow><mspace width="0.5 em" /><mi>b</mi><mo>]</mo></mrow><mo>,</mo><mrow><mo>[</mo><mi>a</mi><mspace width="0.5 em" /><mrow><msup><mi>b</mi><mn>2</mn></msup></mrow><mo>]</mo></mrow><mo>,</mo><mrow><mo>[</mo><mrow><msup><mi>a</mi><mn>3</mn></msup></mrow><mspace width="0.5 em" /><mi>b</mi><mo>]</mo></mrow><mo>,</mo><mrow><mo>[</mo><mrow><msup><mi>a</mi><mn>2</mn></msup></mrow><mspace width="0.5 em" /><mrow><msup><mi>b</mi><mn>2</mn></msup></mrow><mo>]</mo></mrow><mo>,</mo><mrow><mo>[</mo><mi>a</mi><mspace width="0.5 em" /><mrow><msup><mi>b</mi><mn>3</mn></msup></mrow><mo>]</mo></mrow><mo>,</mo><mrow><mo>[</mo><mrow><msup><mi>a</mi><mn>4</mn></msup></mrow><mspace width="0.5 em" /><mi>b</mi><mo>]</mo></mrow><mo>,</mo></mtd></mtr><mtr><mtd></mtd></mtr><mtr><mtd><mrow><mo>[</mo><mrow><msup><mi>a</mi><mn>3</mn></msup></mrow><mspace width="0.5 em" /><mrow><msup><mi>b</mi><mn>2</mn></msup></mrow><mo>]</mo></mrow><mo>,</mo><mrow><mo>[</mo><mrow><msup><mi>a</mi><mn>2</mn></msup></mrow><mspace width="0.5 em" /><mi>b</mi><mspace width="0.5 em" /><mi>a</mi><mspace width="0.5 em" /><mi>b</mi><mo>]</mo></mrow><mo>,</mo><mrow><mo>[</mo><mrow><msup><mi>a</mi><mn>2</mn></msup></mrow><mspace width="0.5 em" /><mrow><msup><mi>b</mi><mn>3</mn></msup></mrow><mo>]</mo></mrow><mo>,</mo><mrow><mo>[</mo><mi>a</mi><mspace width="0.5 em" /><mi>b</mi><mspace width="0.5 em" /><mi>a</mi><mspace width="0.5 em" /><mrow><msup><mi>b</mi><mn>2</mn></msup></mrow><mo>]</mo></mrow><mo>,</mo><mrow><mo>[</mo><mi>a</mi><mspace width="0.5 em" /><mrow><msup><mi>b</mi><mn>4</mn></msup></mrow><mo>]</mo></mrow><mo>]</mo></mtd></mtr></mtable></mrow></mstyle></math>
</td></tr>
</table>
</div>




<div class="returnType">
Type: List LyndonWord Symbol
</div>





<div id="spadComm9-89" class="spadComm" >
<form id="formComm9-89" action="javascript:makeRequest('9-89');" >
<input id="comm9-89" type="text" class="command" style="width: 19em;" value="w1 : word := lw.4 :: word   " />
</form>
<span id="commSav9-89" class="commSav" >w1 : word := lw.4 :: word   </span>
<div id="mathAns9-89" ></div>
</div>


<div class="math">
<table>
<tr><td>
<math xmlns="&mathml;" mathsize="big" display="block"><mstyle><mrow><mrow><msup><mi>a</mi><mn>2</mn></msup></mrow><mspace width="0.5 em" /><mi>b</mi></mrow></mstyle></math>
</td></tr>
</table>
</div>




<div class="returnType">
Type: OrderedFreeMonoid Symbol
</div>





<div id="spadComm9-90" class="spadComm" >
<form id="formComm9-90" action="javascript:makeRequest('9-90');" >
<input id="comm9-90" type="text" class="command" style="width: 19em;" value="w2 : word := lw.5 :: word   " />
</form>
<span id="commSav9-90" class="commSav" >w2 : word := lw.5 :: word   </span>
<div id="mathAns9-90" ></div>
</div>


<div class="math">
<table>
<tr><td>
<math xmlns="&mathml;" mathsize="big" display="block"><mstyle><mrow><mi>a</mi><mspace width="0.5 em" /><mrow><msup><mi>b</mi><mn>2</mn></msup></mrow></mrow></mstyle></math>
</td></tr>
</table>
</div>




<div class="returnType">
Type: OrderedFreeMonoid Symbol
</div>



<p>Let's try factoring
</p>




<div id="spadComm9-91" class="spadComm" >
<form id="formComm9-91" action="javascript:makeRequest('9-91');" >
<input id="comm9-91" type="text" class="command" style="width: 15em;" value="factor(a::word)$lword " />
</form>
<span id="commSav9-91" class="commSav" >factor(a::word)$lword </span>
<div id="mathAns9-91" ></div>
</div>


<div class="math">
<table>
<tr><td>
<math xmlns="&mathml;" mathsize="big" display="block"><mstyle><mrow><mo>[</mo><mrow><mo>[</mo><mi>a</mi><mo>]</mo></mrow><mo>]</mo></mrow></mstyle></math>
</td></tr>
</table>
</div>




<div class="returnType">
Type: List LyndonWord Symbol
</div>





<div id="spadComm9-92" class="spadComm" >
<form id="formComm9-92" action="javascript:makeRequest('9-92');" >
<input id="comm9-92" type="text" class="command" style="width: 14em;" value="factor(w1*w2)$lword " />
</form>
<span id="commSav9-92" class="commSav" >factor(w1*w2)$lword </span>
<div id="mathAns9-92" ></div>
</div>


<div class="math">
<table>
<tr><td>
<math xmlns="&mathml;" mathsize="big" display="block"><mstyle><mrow><mo>[</mo><mrow><mo>[</mo><mrow><msup><mi>a</mi><mn>2</mn></msup></mrow><mspace width="0.5 em" /><mi>b</mi><mspace width="0.5 em" /><mi>a</mi><mspace width="0.5 em" /><mrow><msup><mi>b</mi><mn>2</mn></msup></mrow><mo>]</mo></mrow><mo>]</mo></mrow></mstyle></math>
</td></tr>
</table>
</div>




<div class="returnType">
Type: List LyndonWord Symbol
</div>





<div id="spadComm9-93" class="spadComm" >
<form id="formComm9-93" action="javascript:makeRequest('9-93');" >
<input id="comm9-93" type="text" class="command" style="width: 14em;" value="factor(w2*w2)$lword " />
</form>
<span id="commSav9-93" class="commSav" >factor(w2*w2)$lword </span>
<div id="mathAns9-93" ></div>
</div>


<div class="math">
<table>
<tr><td>
<math xmlns="&mathml;" mathsize="big" display="block"><mstyle><mrow><mo>[</mo><mrow><mo>[</mo><mi>a</mi><mspace width="0.5 em" /><mrow><msup><mi>b</mi><mn>2</mn></msup></mrow><mo>]</mo></mrow><mo>,</mo><mrow><mo>[</mo><mi>a</mi><mspace width="0.5 em" /><mrow><msup><mi>b</mi><mn>2</mn></msup></mrow><mo>]</mo></mrow><mo>]</mo></mrow></mstyle></math>
</td></tr>
</table>
</div>




<div class="returnType">
Type: List LyndonWord Symbol
</div>





<div id="spadComm9-94" class="spadComm" >
<form id="formComm9-94" action="javascript:makeRequest('9-94');" >
<input id="comm9-94" type="text" class="command" style="width: 14em;" value="factor(w2*w1)$lword " />
</form>
<span id="commSav9-94" class="commSav" >factor(w2*w1)$lword </span>
<div id="mathAns9-94" ></div>
</div>


<div class="math">
<table>
<tr><td>
<math xmlns="&mathml;" mathsize="big" display="block"><mstyle><mrow><mo>[</mo><mrow><mo>[</mo><mi>a</mi><mspace width="0.5 em" /><mrow><msup><mi>b</mi><mn>2</mn></msup></mrow><mo>]</mo></mrow><mo>,</mo><mrow><mo>[</mo><mrow><msup><mi>a</mi><mn>2</mn></msup></mrow><mspace width="0.5 em" /><mi>b</mi><mo>]</mo></mrow><mo>]</mo></mrow></mstyle></math>
</td></tr>
</table>
</div>




<div class="returnType">
Type: List LyndonWord Symbol
</div>



<p>Checks and coercions
</p>




<div id="spadComm9-95" class="spadComm" >
<form id="formComm9-95" action="javascript:makeRequest('9-95');" >
<input id="comm9-95" type="text" class="command" style="width: 12em;" value="lyndon?(w1)$lword " />
</form>
<span id="commSav9-95" class="commSav" >lyndon?(w1)$lword </span>
<div id="mathAns9-95" ></div>
</div>


<div class="math">
<table>
<tr><td>
<math xmlns="&mathml;" mathsize="big" display="block"><mstyle><mrow><mtext mathvariant='monospace'>true</mtext></mrow></mstyle></math>
</td></tr>
</table>
</div>




<div class="returnType">
Type: Boolean
</div>





<div id="spadComm9-96" class="spadComm" >
<form id="formComm9-96" action="javascript:makeRequest('9-96');" >
<input id="comm9-96" type="text" class="command" style="width: 14em;" value="lyndon?(w1*w2)$lword " />
</form>
<span id="commSav9-96" class="commSav" >lyndon?(w1*w2)$lword </span>
<div id="mathAns9-96" ></div>
</div>


<div class="math">
<table>
<tr><td>
<math xmlns="&mathml;" mathsize="big" display="block"><mstyle><mrow><mtext mathvariant='monospace'>true</mtext></mrow></mstyle></math>
</td></tr>
</table>
</div>




<div class="returnType">
Type: Boolean
</div>





<div id="spadComm9-97" class="spadComm" >
<form id="formComm9-97" action="javascript:makeRequest('9-97');" >
<input id="comm9-97" type="text" class="command" style="width: 14em;" value="lyndon?(w2*w1)$lword " />
</form>
<span id="commSav9-97" class="commSav" >lyndon?(w2*w1)$lword </span>
<div id="mathAns9-97" ></div>
</div>


<div class="math">
<table>
<tr><td>
<math xmlns="&mathml;" mathsize="big" display="block"><mstyle><mrow><mtext mathvariant='monospace'>false</mtext></mrow></mstyle></math>
</td></tr>
</table>
</div>




<div class="returnType">
Type: Boolean
</div>





<div id="spadComm9-98" class="spadComm" >
<form id="formComm9-98" action="javascript:makeRequest('9-98');" >
<input id="comm9-98" type="text" class="command" style="width: 15em;" value="lyndonIfCan(w1)$lword " />
</form>
<span id="commSav9-98" class="commSav" >lyndonIfCan(w1)$lword </span>
<div id="mathAns9-98" ></div>
</div>


<div class="math">
<table>
<tr><td>
<math xmlns="&mathml;" mathsize="big" display="block"><mstyle><mrow><mo>[</mo><mrow><msup><mi>a</mi><mn>2</mn></msup></mrow><mspace width="0.5 em" /><mi>b</mi><mo>]</mo></mrow></mstyle></math>
</td></tr>
</table>
</div>




<div class="returnType">
Type: Union(LyndonWord Symbol,...)
</div>





<div id="spadComm9-99" class="spadComm" >
<form id="formComm9-99" action="javascript:makeRequest('9-99');" >
<input id="comm9-99" type="text" class="command" style="width: 17em;" value="lyndonIfCan(w2*w1)$lword " />
</form>
<span id="commSav9-99" class="commSav" >lyndonIfCan(w2*w1)$lword </span>
<div id="mathAns9-99" ></div>
</div>


<div class="math">
<table>
<tr><td>
<math xmlns="&mathml;" mathsize="big" display="block"><mstyle><mrow><mtext><mrow><mtext mathvariant='monospace'>"failed"</mtext></mrow></mtext></mrow></mstyle></math>
</td></tr>
</table>
</div>




<div class="returnType">
Type: Union("failed",...)
</div>





<div id="spadComm9-100" class="spadComm" >
<form id="formComm9-100" action="javascript:makeRequest('9-100');" >
<input id="comm9-100" type="text" class="command" style="width: 12em;" value="lyndon(w1)$lword " />
</form>
<span id="commSav9-100" class="commSav" >lyndon(w1)$lword </span>
<div id="mathAns9-100" ></div>
</div>


<div class="math">
<table>
<tr><td>
<math xmlns="&mathml;" mathsize="big" display="block"><mstyle><mrow><mo>[</mo><mrow><msup><mi>a</mi><mn>2</mn></msup></mrow><mspace width="0.5 em" /><mi>b</mi><mo>]</mo></mrow></mstyle></math>
</td></tr>
</table>
</div>




<div class="returnType">
Type: LyndonWord Symbol
</div>





<div id="spadComm9-101" class="spadComm" >
<form id="formComm9-101" action="javascript:makeRequest('9-101');" >
<input id="comm9-101" type="text" class="command" style="width: 14em;" value="lyndon(w1*w2)$lword " />
</form>
<span id="commSav9-101" class="commSav" >lyndon(w1*w2)$lword </span>
<div id="mathAns9-101" ></div>
</div>


<div class="math">
<table>
<tr><td>
<math xmlns="&mathml;" mathsize="big" display="block"><mstyle><mrow><mo>[</mo><mrow><msup><mi>a</mi><mn>2</mn></msup></mrow><mspace width="0.5 em" /><mi>b</mi><mspace width="0.5 em" /><mi>a</mi><mspace width="0.5 em" /><mrow><msup><mi>b</mi><mn>2</mn></msup></mrow><mo>]</mo></mrow></mstyle></math>
</td></tr>
</table>
</div>




<div class="returnType">
Type: LyndonWord Symbol
</div>





</div><a href="book-contents.xhtml" style="margin-right: 10px;">Book Contents</a>
<a href="section-9.47.xhtml" style="margin-right: 10px;">Previous Section 9.47 List</a><a href="section-9.49.xhtml" style="margin-right: 10px;">Next Section 9.49 Magma</a>
<a href="book-index.xhtml">Book Index</a></body>
</html>