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

Quelle  chap1.html   Sprache: HTML

 
 products/Sources/formale Sprachen/GAP/pkg/sl2reps/doc/chap1.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 (SL2Reps) - Chapter 1: Introduction</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="chap1"  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="chap0.html">[Previous Chapter]</a>    <a href="chap2.html">[Next Chapter]</a>   </div>

<p id="mathjaxlink" class="pcenter"><a href="chap1_mj.html">[MathJax on]</a></p>
<p><a id="X7DFB63A97E67C0A1" name="X7DFB63A97E67C0A1"></a></p>
<div class="ChapSects"><a href="chap1.html#X7DFB63A97E67C0A1">1 <span class="Heading">Introduction</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1.html#X8360C04082558A12">1.1 <span class="Heading">Installation</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1.html#X86A9B6F87E619FFF">1.2 <span class="Heading">Usage</span></a>
</span>
</div>
</div>

<h3>1 <span class="Heading">Introduction</span></h3>

<p>This package, <code class="code">SL2Reps</code>, provides methods for constructing and testing matrix presentations of the representations of <span class="Math">\mathrm{SL}_2(\mathbb{Z})</span> whose kernels are congruence subgroups of <span class="Math">\mathrm{SL}_2(\mathbb{Z})</span>.</p>

<p>Irreducible representations of prime-power level are constructed individually by using the Weil representations of quadratic modules, and from these a list of all representations of a given degree or level can be produced. Each representation is represented by a pair <span class="Math">(S,T)</span>, where <span class="Math">S</span> is a symmetric, unitary matrix and <span class="Math">T</span> is a diagonal matrix of finite order; this format is designed for the study of modular tensor categories in particular.</p>

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

<h4>1.1 <span class="Heading">Installation</span></h4>

<p>To install <code class="code">SL2Reps</code>, first download it from <span class="URL"><a href="https://snw-0.github.io/sl2-reps/">https://snw-0.github.io/sl2-reps/</a></span>, then place it in the <code class="code">pkg</code> subdirectory of your GAP installation (or in the <code class="code">pkg</code> subdirectory of any other GAP root directory, for example one added with the <code class="code">-l</code> argument).</p>

<p><code class="code">SL2Reps</code> is then loaded with the GAP command</p>

<p><code class="code">gap> LoadPackage( "SL2Reps" );</code></p>

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

<h4>1.2 <span class="Heading">Usage</span></h4>

<p>Specific irreducible representations may be constructed via the methods in Chapter <a href="chap3.html#X7C4165447B8AB223"><span class="RefLink">3</span></a>, while lists of irreducible representations with a given degree or level may be constructed with those in Chapter <a href="chap4.html#X8168FF017B2C0BB2"><span class="RefLink">4</span></a>.</p>

<p>This package uses an <code class="code">InfoClass</code>, <code class="code">InfoSL2Reps</code>. It may be set to <code class="code">0</code> (silent), <code class="code">1</code> (info), or <code class="code">2</code> (verbose). To change it, use</p>

<p><code class="code">gap> SetInfoLevel( InfoSL2Reps, k );</code></p>


<div class="chlinkprevnextbot"> <a href="chap0.html">[Top of Book]</a>   <a href="chap0.html#contents">[Contents]</a>    <a href="chap0.html">[Previous Chapter]</a>    <a href="chap2.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="http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>
</body>
</html>

96%


¤ Dauer der Verarbeitung: 0.17 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.