Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/congruence/doc/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 29.7.2024 mit Größe 10 kB image not shown  

Quelle  chap3.html   Sprache: HTML

 
 products/Sources/formale Sprachen/GAP/pkg/congruence/doc/chap3.html


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

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
         "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">

<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
<head>
<title>GAP (Congruence) - Chapter 3: Farey symbols and their properties</title>
<meta http-equiv="content-type" content="text/html; charset=UTF-8" />
<meta name="generator" content="GAPDoc2HTML" />
<link rel="stylesheet" type="text/css" href="manual.css" />
<script src="manual.js" type="text/javascript"></script>
<script type="text/javascript">overwriteStyle();</script>
</head>
<body class="chap3"  onload="jscontent()">


<div class="chlinktop"><span class="chlink1">Goto Chapter: </span><a href="chap0.html">Top</a>  <a href="chap1.html">1</a>  <a href="chap2.html">2</a>  <a href="chap3.html">3</a>  <a href="chap4.html">4</a>  <a href="chap5.html">5</a>  <a href="chapBib.html">Bib</a>  <a href="chapInd.html">Ind</a>  </div>

<div class="chlinkprevnexttop"> <a href="chap0.html">[Top of Book]</a>   <a href="chap0.html#contents">[Contents]</a>    <a href="chap2.html">[Previous Chapter]</a>    <a href="chap4.html">[Next Chapter]</a>   </div>

<p id="mathjaxlink" class="pcenter"><a href="chap3_mj.html">[MathJax on]</a></p>
<p><a id="X85CABB30818CD99C" name="X85CABB30818CD99C"></a></p>
<div class="ChapSects"><a href="chap3.html#X85CABB30818CD99C">3 <span class="Heading">Farey symbols and their properties</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3.html#X7B7B81E584CCA30C">3.1 <span class="Heading">Construction of Farey symbols</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X7F8F5919870A46FE">3.1-1 FareySymbolByData</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X845F9BA182F4E73B">3.1-2 IsValidFareySymbol</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3.html#X8016C45082AEC784">3.2 <span class="Heading">Properties of Farey symbols</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X8245766978F02751">3.2-1 GeneralizedFareySequence</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X80BB58E58492D103">3.2-2 NumeratorOfGFSElement</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X87477604878BCD42">3.2-3 DenominatorOfGFSElement</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X83C941047D486000">3.2-4 LabelsOfFareySymbol</a></span>
</div></div>
</div>

<h3>3 <span class="Heading">Farey symbols and their properties</span></h3>

<p>A Farey symbol is a compact and useful way to represent a subgroup of finite index in <span class="SimpleMath">SL_2(ℤ)</span> from which one can deduce independent generators for this subgroup. It consists of two components, namely a so-called generalised Farey sequence (<var class="Arg">gfs</var>) and an ordered list of labels, giving additional structure to the <var class="Arg">gfs</var>.</p>

<p>A generalised Farey sequence (g.F.S.) is an ordered list of the form <span class="SimpleMath">-infinity, x_0, x_1, ... , x_n, infinity</span>, where</p>

<p>1. the <span class="SimpleMath">x_i = a_i/b_i</span> are rational numbers in reduced form arranged in increasing order for <span class="SimpleMath">i = 0, ... , n</span>;</p>

<p>2. <span class="SimpleMath">x_0, ... , x_n ∈ Z</span>, and some <span class="SimpleMath">x_i = 0</span>;</p>

<p>3. we define <span class="SimpleMath">x_-1=-infinity=-1/0</span> and <span class="SimpleMath">x_n+1=infinity=1/0</span>;</p>

<p>4. <span class="SimpleMath">a_i+1b_i-a_ib_i+1=1</span> for <span class="SimpleMath">i=-1, ... ,n</span>.</p>

<p>The ordered list of labels of a Farey symbol gives an additional structure to the <var class="Arg">gfs</var>. The labels correspond to each consecutive pair of <span class="SimpleMath">x_i</span>'s and are of the following types:



<p>1. even,</p>

<p>2. odd,</p>

<p>3. a natural number, which occurs in the list of labels exactly twice or not at all.</p>

<p>Note that the actual values of numerical labels are not important; it is the pairing of two intervals that matters.</p>

<p>The package <strong class="pkg">Congruence</strong> provides functions to construct Farey symbols by the given generalised Farey sequence and corresponding list of labels. The returned Farey symbol will belong to the category <code class="code">IsFareySymbol</code> and will have the representation <code class="code">IsFareySymbolDefaultRep</code>.</p>

<p><a id="X7B7B81E584CCA30C" name="X7B7B81E584CCA30C"></a></p>

<h4>3.1 <span class="Heading">Construction of Farey symbols</span></h4>

<p><a id="X7F8F5919870A46FE" name="X7F8F5919870A46FE"></a></p>

<h5>3.1-1 FareySymbolByData</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ FareySymbolByData</code>( <var class="Arg">gfs</var>, <var class="Arg">labels</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>This constructor creates the Farey symbol with the given generalized Farey sequence and list of labels. It also checks conditions from the definition of Farey symbol and returns an error if they are not satisfied. The data used to create the Farey symbol are stored as its attributes <code class="func">GeneralizedFareySequence</code> (<a href="chap3.html#X8245766978F02751"><span class="RefLink">3.2-1</span></a>) and <code class="func">LabelsOfFareySymbol</code> (<a href="chap3.html#X83C941047D486000"><span class="RefLink">3.2-4</span></a>).</p>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">fs:=FareySymbolByData([infinity,0,1,2,infinity],[1,2,2,1]);                         </span>
[ infinity, 0, 1, 2, infinity ]
[ 1, 2, 2, 1 ]
</pre></div>

<p><a id="X845F9BA182F4E73B" name="X845F9BA182F4E73B"></a></p>

<h5>3.1-2 IsValidFareySymbol</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IsValidFareySymbol</code>( <var class="Arg">fs</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>This function is used in <code class="func">FareySymbolByData</code> (<a href="chap3.html#X7F8F5919870A46FE"><span class="RefLink">3.1-1</span></a>) to validate its output.</p>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">IsValidFareySymbol(fs);</span>
true
</pre></div>

<p><a id="X8016C45082AEC784" name="X8016C45082AEC784"></a></p>

<h4>3.2 <span class="Heading">Properties of Farey symbols</span></h4>

<p><a id="X8245766978F02751" name="X8245766978F02751"></a></p>

<h5>3.2-1 GeneralizedFareySequence</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ GeneralizedFareySequence</code>( <var class="Arg">fs</var> )</td><td class="tdright">( attribute )</td></tr></table></div>
<p>Returns the generalized Farey sequence <var class="Arg">gfs</var> of the Farey symbol.</p>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">GeneralizedFareySequence(fs);</span>
[ infinity, 0, 1, 2, infinity ]
</pre></div>

<p><a id="X80BB58E58492D103" name="X80BB58E58492D103"></a></p>

<h5>3.2-2 NumeratorOfGFSElement</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ NumeratorOfGFSElement</code>( <var class="Arg">gfs</var>, <var class="Arg">i</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Returns: integer</p>

<p>Returns the numerator of the i-th term of the generalised Farey sequence <var class="Arg">gfs</var>: for the 1st infinite entry returns -1, for the last one returns 1, for all other entries returns the usual numerator.</p>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">List([1..5], i -> NumeratorOfGFSElement(GeneralizedFareySequence(fs),i));</span>
[ -1, 0, 1, 2, 1 ]
</pre></div>

<p><a id="X87477604878BCD42" name="X87477604878BCD42"></a></p>

<h5>3.2-3 DenominatorOfGFSElement</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ DenominatorOfGFSElement</code>( <var class="Arg">gfs</var>, <var class="Arg">i</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Returns: integer</p>

<p>Returns the denominator of the i-th term of the generalised Farey sequence <var class="Arg">gfs</var>: for both infinite entries returns 0, for the other ones returns the usual denominator.</p>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">List([1..5], i -> DenominatorOfGFSElement(GeneralizedFareySequence(fs),i));         </span>
[ 0, 1, 1, 1, 0 ]
</pre></div>

<p><a id="X83C941047D486000" name="X83C941047D486000"></a></p>

<h5>3.2-4 LabelsOfFareySymbol</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ LabelsOfFareySymbol</code>( <var class="Arg">fs</var> )</td><td class="tdright">( attribute )</td></tr></table></div>
<p>Returns the list of labels of the Farey symbol. This list has "odd", "even" and paired integers as entries.</p>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">LabelsOfFareySymbol(fs);</span>
[ 1, 2, 2, 1 ]
</pre></div>


<div class="chlinkprevnextbot"> <a href="chap0.html">[Top of Book]</a>   <a href="chap0.html#contents">[Contents]</a>    <a href="chap2.html">[Previous Chapter]</a>    <a href="chap4.html">[Next Chapter]</a>   </div>


<div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0.html">Top</a>  <a href="chap1.html">1</a>  <a href="chap2.html">2</a>  <a href="chap3.html">3</a>  <a href="chap4.html">4</a>  <a href="chap5.html">5</a>  <a href="chapBib.html">Bib</a>  <a href="chapInd.html">Ind</a>  </div>

<hr />
<p class="foot">generated by <a href="https://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>
</body>
</html>

100%


¤ Dauer der Verarbeitung: 0.1 Sekunden  (vorverarbeitet)  ¤

*© Formatika GbR, Deutschland




Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

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.