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

Quelle  chap1.html   Sprache: HTML

 
 products/Sources/formale Sprachen/GAP/pkg/intpic/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 (IntPic) - Chapter 1: 
    The IntPic package
  </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="chap6.html">6</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="X79BA16537ECA4E8C" name="X79BA16537ECA4E8C"></a></p>
<div class="ChapSects"><a href="chap1.html#X79BA16537ECA4E8C">1 <span class="Heading">
    The <strong class="pkg">IntPic</strong> package
  </span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1.html#X87F9EA0A83C0DC65">1.1 <span class="Heading">Overview and Introduction</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1.html#X7E6FBD357AC754D6">1.2 <span class="Heading">
      Installing <strong class="pkg">IntPic</strong>
    </span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1.html#X838AC2C87F7E21C2">1.3 <span class="Heading">
      Loading <strong class="pkg">IntPic</strong>
    </span></a>
</span>
</div>
</div>

<h3>1 <span class="Heading">
    The <strong class="pkg">IntPic</strong> package
  </span></h3>

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

<h4>1.1 <span class="Heading">Overview and Introduction</span></h4>

<p>The <span class="URL"><a href="https://gap-packages.github.io/intpic/">IntPic</a></span> package has as its main goal producing <code class="code">Tikz</codecode for arrays of integers to be included in a LaTeX file, which can then be processed. Some of the integers are emphasized, by using different colors for the cells.</p>

<p><span class="URL"><a href="https://gap-packages.github.io/intpic/">IntPic</a></span> grew up from my will to have a pictorial view of some sets of integers. I wanted, in particular, get a pictorial view of the results produced by the <span class="URL"><a href="http://www.fc.up.pt/cmup/mdelgado/numericalsgps">NumericalSgps</a></span> package <a href="chapBib.html#biBDelgadoGarcia-SanchezMorais:numericalsgps">[DGM15]</a>. Effort has then been made to serve a slightly more general purpose. For instance, if the user wants to have a pictorial idea of how many primes there are between 800 and 1000, or show it to his students and, perhaps, which among these primes are twin primes, he will probably be happy by producing a picture like the following</p>

<p><br><center><img src="../images/primesandtwins.jpg"></center><br> It has clearly too much information, given through the different colors. The twin primes in the given range are in red-blue, while the remaining primes in the same range are in red.</p>

<p>This package contains relatively few lines of code. The heavier part is the documentation, where many examples are presented.</p>

<p>The design of this greatly benefits from my long experience on producing visualization tools for <strong class="pkg">GAP</strong> objects. The package <strong class="pkg">sgpviz</strong> <a href="chapBib.html#biBDelgadoMorais:sgpviz">[DM08]</a> is the visible part. More recently, I got involved in a more general project, the <strong class="pkg">Viz</strong> package <a href="chapBib.html#biBDelgadoEgri-NagyMitchellPfeiffer2012-Viz">[DEMP12]</a>. The experience gained there, especially through long and fruitful discussions with J. Mitchell, influenced me a lot. This package will probably be part of that more general project. For the moment it is independent, but its use in conjunction with the <strong class="pkg">Viz</strong> package is recommended since in this case an immediate visualization is provided.</p>

<p>The package produces <code class="code">tikz</codecode that the user may then use at his wish. In particular, he can use it in publications. But prior to obtaining results that lead to a publication, the user may benefit of viewing thousands of images. There is a (almost platform independent) function in <strong class="pkg">Viz</strong> that is intended to make this task easy. It benefits from the <strong class="pkg">GAP</strong> stuff on creating a temporary directory where the computations occur. The cleaning task is also left to <strong class="pkg">GAP</strong>, which leaves the user free of the need of collecting the garbage. In order to produce the drawings, LaTeX, as well as some LaTeX packages, in particular <code class="code">tikz</code> and <code class="code">pgf</code>, must be installed and working. I will assume that this is the case. All the images in <a href="chapBib.html#biBfengraoab">[DFGL14]</a> have been produced by using the <span class="URL"><a href="https://gap-packages.github.io/intpic/">IntPic</a></span> package.</p>

<p>This package consists basically of a function with many options associated. The purpose of the manual is to illustrate the use of the options. Many examples are presented. A file, named <code class="file">examples.g</code> contains the <strong class="pkg">GAP</strongcode, including the one to save the <code class="code">tikz</codecode, to produce the examples in the manual.</p>

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

<h4>1.2 <span class="Heading">
      Installing <strong class="pkg">IntPic</strong>
    </span></h4>

<p>In this section we give a brief description of how to start using <span class="URL"><a href="https://gap-packages.github.io/intpic/">IntPic</a></span>. If you have any problems getting <span class="URL"><a href="https://gap-packages.github.io/intpic/">IntPic</a></span> working, then you could try emailing me at <span class="URL"><a href="mailto:mdelgado@fc.up.pt">mdelgado@fc.up.pt</a></span>.</p>

<p>It is assumed that you have a working copy of <strong class="pkg">GAP</strong> with version number 4.5 or higher. The most up-to-date version of <strong class="pkg">GAP</strong> and instructions on how to install it can be obtained from the main <strong class="pkg">GAP</strong> web page <span class="URL"><a href="https://www.gap-system.org">https://www.gap-system.org</a></span>.</p>

<p>If the <span class="URL"><a href="https://gap-packages.github.io/intpic/">IntPic</a></spanpackage was obtained as a part of the <strong class="pkg">GAP</strong> distribution from the <q>Download</q> section of the <strong class="pkg">GAP</strong> website, you may proceed to Section <a href="chap1.html#X838AC2C87F7E21C2"><span class="RefLink">1.3</span></a>. Alternatively, the <span class="URL"><a href="https://gap-packages.github.io/intpic/">IntPic</a></span> package may be installed using a separate archive, for example, for an update or an installation in a non-default location (see <a href="../../../doc/ref/chap9.html#X7A4973627A5DB27D"><span class="RefLink">Reference: GAP Root Directories</span></a>).</p>

<p>Below we describe the installation procedure for the <code class="file">.tar.gz</code> archive format, which can be obtained from <span class="URL"><a href="http://cmup.fc.up.pt/cmup/mdelgado/intpic/">http://cmup.fc.up.pt/cmup/mdelgado/intpic/</a></span>. Installation using other archive formats or non UNIX-like systems is performed in a similar way.</p>

<p>To install the <span class="URL"><a href="https://gap-packages.github.io/intpic/">IntPic</a></span> package, unpack the archive file, which should have a name of the form <code class="code"intpic-<var class="Arg">XXX</var>.tar.gz </code> for some version number <var class="Arg">XXX</var>, by typing</p>

<p>   <code class="code"> gzip -dc intpic-<var class="Arg">XXX</var>.tar.gz | tar xpv </code></p>

<p>It may be unpacked in one of the following locations:</p>


<ul>
<li><p>in the <code class="file">pkg</code> directory of your <strong class="pkg">GAP</strong> installation;</p>

</li>
<li><p>or in a directory named <code class="file">.gap/pkg</code> in your home directory (to be added to the <strong class="pkg">GAP</strong> root directory unless <strong class="pkg">GAP</strong> is started with <code class="code">-r</codeoption);</p>

</li>
<li><p>or in a directory named <code class="file">pkg</code> in another directory of your choice (e.g. in the directory <code class="file">mygap</code> in your home directory).</p>

</li>
</ul>
<p>In the latter case one must start <strong class="pkg">GAP</strong> with the <code class="code">-l</codeoption, e.g. if your private <code class="file">pkg</code> directory is a subdirectory of <code class="file">mygap</code> in your home directory you might type:</p>

<p>   <code class="code"> gap -l ";myhomedir/mygap" </code></p>

<p>where <var class="Arg">myhomedir</var> is the path to your home directory, which may be replaced by a tilde (the empty path before the semicolon is filled in by the default path of the <strong class="pkg">GAP</strong> home directory).</p>

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

<h4>1.3 <span class="Heading">
      Loading <strong class="pkg">IntPic</strong>
    </span></h4>

<p>To use the <span class="URL"><a href="https://gap-packages.github.io/intpic/">IntPic</a></span> Package you have to request it explicitly. This is done by calling <code class="func">LoadPackage</code> (<a href="../../../doc/ref/chap76.html#X79B373A77B29D1F5"><span class="RefLink">Reference: LoadPackage</span></a>):</p>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">LoadPackage("intpic");</span>
</pre></div>

<p>The package banner, followed by <code class="code">true</code>, will be shown, if the load has been successful.</p>

<p>If you want to load the <span class="URL"><a href="https://gap-packages.github.io/intpic/">IntPic</a></span> package by default, you can put the <code class="code">LoadPackage</codecommand into your <code class="file">gaprc</code> file (see Section <a href="../../../doc/ref/chap3.html#X7FD66F977A3B02DF"><span class="RefLink">Reference: The gap.ini and gaprc files</span></a>).</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="chap6.html">6</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>

95%


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