<h3>5 <span class="Heading">Methods for testing</span></h3>
<p>By the Chinese Remainder Theorem, it suffices to test irreps of prime power level, so those are the irreps handled by the functions in this section.</p>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ SL2WithConjClasses</code>( <var class="Arg">p</var>, <var class="Arg">lambda</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Returns: the group <span class="Math">\mathrm{SL}_2(\mathbb{Z}/p^\lambda\mathbb{Z})</span> with conjugacy classes set to the format we use.</p>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ SL2ChiST</code>( <var class="Arg">S</var>, <var class="Arg">T</var>, <var class="Arg">p</var>, <var class="Arg">lambda</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Returns: a list representing a character of <span class="Math">\mathrm{SL}_2(\mathbb{Z}/p^\lambda\mathbb{Z})</span>.</p>
<p>Converts the modular data <span class="Math">(S,T)</span>, which must have level dividing <spanclass="Math">p^\lambda</span>, into a character of <span class="Math">\mathrm{SL}_2(\mathbb{Z}/p^\lambda\mathbb{Z})</span>, presented in a form matching the conjugacy classes used in <code class="code">SL2WithConjClasses</code>.</p>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ SL2TestPositions</code>( <var class="Arg">p</var>, <var class="Arg">lambda</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Returns: a boolean.</p>
<p>Constructs and tests all non-trivial irreps of level dividing <span class="Math">p^\lambda</span> by checking their positions in <code class="code">Irr(G)</code> (see <span class="URL"><a href="https://www.gap-system.org/Manuals/doc/ref/chap71.html#X873B3CC57E9A5492">Section 71.8-2 of the GAP Manual</a></span>). Note that this function will print information on the irreps involved if <code class="code">InfoSL2Reps</code> is set to level 1 or higher; see Section <a href="chap1.html#X86A9B6F87E619FFF"><span class="RefLink">1.2</span></a>.</p>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ SL2TestSymmetry</code>( <var class="Arg">p</var>, <var class="Arg">lambda</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Returns: a boolean.</p>
<p>Constructs and tests all irreps of level <span class="Math">p^\lambda</span>, confirming that the <span class="Math">S</span>-matrix is symmetric and unitary and the <span class="Math">T</span> matrix is diagonal. Note that this function will print information on the irreps involved if <code class="code">InfoSL2Reps</code> is set to level 1 or higher; see Section <a href="chap1.html#X86A9B6F87E619FFF"><span class="RefLink">1.2</span></a>.</p>
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
