Quelle chap1_mj.html Sprache: HTML

products/sources/formale Sprachen/GAP/pkg/fining/doc/chap1_mj.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>
<script type="text/javascript"
  src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML">
</script>
<title>GAP (FinInG) - 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_mj.html">Top</a>  <a href="chap1_mj.html">1</a>  <a href="chap2_mj.html">2</a>  <a href="chap3_mj.html">3</a>  <a href="chap4_mj.html">4</a>  <a href="chap5_mj.html">5</a>  <a href="chap6_mj.html">6</a>  <a href="chap7_mj.html">7</a>  <a href="chap8_mj.html">8</a>  <a href="chap9_mj.html">9</a>  <a href="chap10_mj.html">10</a>  <a href="chap11_mj.html">11</a>  <a href="chap12_mj.html">12</a>  <a href="chap13_mj.html">13</a>  <a href="chap14_mj.html">14</a>  <a href="chapA_mj.html">A</a>  <a href="chapB_mj.html">B</a>  <a href="chapC_mj.html">C</a>  <a href="chapBib_mj.html">Bib</a>  <a href="chapInd_mj.html">Ind</a>  </div>

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

<p id="mathjaxlink" class="pcenter"><a href="chap1.html">[MathJax off]</a></p>
<p><a id="X7DFB63A97E67C0A1" name="X7DFB63A97E67C0A1"></a></p>
<div class="ChapSects"><a href="chap1_mj.html#X7DFB63A97E67C0A1">1 <span class="Heading">Introduction</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1_mj.html#X873C99678745ABAF">1.1 <span class="Heading">Philosophy</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1_mj.html#X837E428E80B6049C">1.2 <span class="Heading">How to cite <strong class="pkg">FinInG</strong></span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1_mj.html#X87B5A1377BCABBD6">1.3 <span class="Heading">Overview of this manual</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1_mj.html#X7EEBA9577BA68BA6">1.4 <span class="Heading">Getting and installing <strong class="pkg">FinInG</strong></span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7F499E8A79509971">1.4-1 <span class="Heading">Installation procedure under UNIX like systems</span></a>
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X83A6C48E806EC0E9">1.4-2 <span class="Heading">Compiling packages</span></a>
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X78F15DAE873084A5">1.4-3 <span class="Heading">Updating <strong class="pkg">FinInG</strong></span></a>
</span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1_mj.html#X83BC24CC831A2542">1.5 <span class="Heading">The Development Team</span></a>
</span>
</div>
</div>

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

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

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

<p><strong class="pkg">FinInG</strong> (pronunciation: [fɪnɪŋ]) is a package for computation in Finite Incidence Geometry. It provides users with the basic tools to work in various areas of finite geometry from the realms of projective spaces to the flat lands of generalised polygons. The algebraic power of GAP is employed, particularly in its facility with matrix and permutation groups.</p>

<p>A sample making FinInG's pronunciation crystal clear can be found here.

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

<h4>1.2 <span class="Heading">How to cite <strong class="pkg">FinInG</strong></span></h4>

<p>The development group of <strong class="pkg">FinInG</strong> welcomes contact with users. In case you have obtained the package as a deposited package part of archive during the installation of GAP, we call on your beneficence to register at <span class="URL"><a href="http://www.fining.org">http://www.fining.org</a></span> when you use <strong class="pkg">FinInG</strong> or to tell us by sending a message to <span class="URL"><a href="mailto:council@fining.org">council@fining.org</a></span>.</p>

<p>Please tell us about the use of <strong class="pkg">FinInG</strong> in your research or teaching. We are very interested in results obtained using <strong class="pkg">FinInG</strong> and we might refer to your work in the future. If your work is published, we ask you to cite <strong class="pkg">FinInG</strong> like a journal article or book.</p>

<p>If you are using BibTeX, you can use the following BibTeX entry for the current <strong class="pkg">FinInG</strong> version:</p>

<div class="example"><pre>
@manual{fining,
        Author = {Bamberg, John and Betten, Anton and Cara, Philippe and
            De Beule, Jan and Lavrauw, Michel and Neunh\"offer, Max },
        Key = {fining},
        Title = {{FinInG -- Finite Incidence Geometry, Version 1.5.6}},
        Url = {\verb+(http://www.fining.org)+},
        Year = 2023}
</pre></div>

<p>Here is the bibliography entry produced by BibTeX (in bibliography style `alpha'), to be pasted directly inside the bibliography environment of your LaTeX document:

<div class="example"><pre>
\bibitem[FinInG]{fining}
J.~Bamberg, A.~Betten, {Ph}. Cara, J.~De~Beule, M.~Lavrauw, and
  M.~Neunh\"offer.
\newblock {\em Finite Incidence Geometry}.
\newblock FInInG -- a {GAP} package, version 1.5.6, 2023.
</pre></div>

<p>When linking to FinInG from a web page you can use the link</p>

<div class="example"><pre>
<a href="http://www.fining.org">FinInG</a>.
</pre></div>

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

<h4>1.3 <span class="Heading">Overview of this manual</span></h4>

<p>This chapter (section <a href="chap1_mj.html#X7EEBA9577BA68BA6"><span class="RefLink">1.4</span></a>) describes the installation of the package. Chapter <a href="chap2_mj.html#X7A489A5D79DA9E5C"><span class="RefLink">2</span></a> contains some extended examples to introduce the user to the basic functionality and philosophy to get started. Chapter <a href="chap3_mj.html#X838ACF8A7F100A2B"><span class="RefLink">3</span></a> contains a rigorous description of the basic structures. This chapter can be omitted at first reading, since the set of consequent chapters is also self contained. Chapters <a href="chap4_mj.html#X83BBAA668672A76D"><span class="RefLink">4</span></a>, <a href="chap5_mj.html#X816FCFB683915E8A"><span class="RefLink">5</span></a> and <a href="chap6_mj.html#X87BA55CB86B110EC"><span class="RefLink">6</span></a> deal with projective spaces, projective semilinear groups and polarities of projective spaces, respectively. In Chapter <a href="chap7_mj.html#X7F96B1327C022A28"><span class="RefLink">7</span></a> the functionality for classical polar spaces is treated and in Chapter <a href="chap9_mj.html#X7A63E8817A819046"><span class="RefLink">9</span></a> affine spaces and their groups are considered. <em>Geometry morphisms</em> between various geometries that are available in the package, are introduced and discussed in Chapter <a href="chap10_mj.html#X876240A479A5717C"><span class="RefLink">10</span></a>. The final three chapters, <a href="chap11_mj.html#X87EC44BF7F24486E"><span class="RefLink">11</span></a>, <a href="chap12_mj.html#X7E1F10767D2A4D6A"><span class="RefLink">12</span></a>, and <a href="chap13_mj.html#X8328AFAC7CF1EB1B"><span class="RefLink">13</span></a> explain the basic functionality which is provided for algebraic varieties (in projective or affine spaces), generalised polygons, of which several models can be constructed, and finally coset geometries and diagrams.</p>

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

<h4>1.4 <span class="Heading">Getting and installing <strong class="pkg">FinInG</strong></span></h4>

<p>Since version 4.7.8, the official <strong class="pkg">GAP</strong> distribution includes the <strong class="pkg">FinInG</strong> package. The <strong class="pkg">FinInG</strong> package requires the GAP packages <strong class="pkg">GAPDoc</strong>, version 1.6 or higher, <strong class="pkg">Forms</strong>, version 1.2.3 or higher, <strong class="pkg">Orb</strong>, version 4.7.6 or higher, <strong class="pkg">GenSS</strong>, version 1.6.4 or higher, and <strong class="pkg">GRAPE</strong>, version 4.7 or higher, and <strong class="pkg">cvec</strong>, version 2.5.7 or higher. These required packages are all part of the standard <strong class="pkg">GAP</strong> distribution. However, the packages <strong class="pkg">cvec</strong>, <strong class="pkg">GRAPE</strong>, <strong class="pkg">IO</strong>, and <strong class="pkg">Orb</strong> may require additional compilation (cfr. infra for detailed instructions). Note that the <strong class="pkg">IO</strong> is a package required by <strong class="pkg">cvec</strong> and <strong class="pkg">Orb</strong>, and is also part of the standard <strong class="pkg">GAP</strong> distribution. Shortly summarized, to get <strong class="pkg">FinInG</strong> working, download and install <strong class="pkg">GAP</strong> as explained in its installation instructions, and, under UNIX like systems (including MacOS), make sure that the compilation of the packages <strong class="pkg">cvec</strong>, <strong class="pkg">GRAPE</strong>, <strong class="pkg">IO</strong>, and <strong class="pkg">Orb</strong> is done. Note that the windows distribution of <strong class="pkg">GAP</strong> contains precompiled binaries of these packages, so under Windows, no further steps are required after installing <strong class="pkg">GAP</strong> according to its installation instructions. In the next section we summarize the installation procedure under UNIX like systems.</p>

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

<h5>1.4-1 <span class="Heading">Installation procedure under UNIX like systems</span></h5>

<p>The installation of <strong class="pkg">GAP</strong> itself is generic for each UNIX like system, including the different flavours of Mac OS. You only need a terminal application, and you need access to the standard unix tools gunzip and tar, and the make tools. Detailed information on how to install <strong class="pkg">GAP</strong>, can be found in the documentation of <strong class="pkg">GAP</strong>. The installation procedure for <strong class="pkg">FinInG</strong>, a standard GAP package, does <em>not</em> require compilation, however the packages <strong class="pkg">cvec</strong>, <strong class="pkg">GRAPE</strong>, <strong class="pkg">IO</strong>, and <strong class="pkg">Orb</strong> do. First install <strong class="pkg">GAP</strong> according to the installation instructions. If you start <strong class="pkg">GAP</strong> the output might look like in the example below. Note that <strong class="pkg">IO</strong> is not listed as loaded package (see line starting with 'Packages' in the example output). This means that <strong class="pkg">IO</strong> has not been compiled. Trying to load the <strong class="pkg">IO</strong> will result in an error message.</p>

<div class="example"><pre>
jdebeule ~  $ gap4r8
+-------+   GAP 4.8.8, 20-Aug-2017, build of 2017-09-04 15:17:33 (CEST)
|  GAP  |   https://www.gap-system.org
+-------+   Architecture: x86_64-apple-darwin16.7.0-gcc-default64
Libs used:  gmp
Loading the library and packages ...
Components: trans 1.0, prim 2.1, small* 1.0, id* 1.0
Packages:   AClib 1.2, Alnuth 3.0.0, AtlasRep 1.5.1, AutPGrp 1.8,
             CRISP 1.4.4, Cryst 4.1.12, CrystCat 1.1.6, CTblLib 1.2.2,
             FactInt 1.5.4, FGA 1.3.1, GAPDoc 1.6, IRREDSOL 1.4, LAGUNA 3.7.0,
             Polenta 1.3.7, Polycyclic 2.11, RadiRoot 2.7, ResClasses 4.6.0,
             Sophus 1.23, SpinSym 1.5, TomLib 1.2.6, Utils 0.46
Try '??help' for help. See also '?copyright', '?cite' and '?authors'
<span class="GAPprompt">gap></span> <span class="GAPinput">LoadPackage("io");</span>
#I  IO package is not available. To see further details, enter
#I  SetInfoLevel(InfoPackageLoading,4); and try to load the package again.
fail
</pre></div>

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

<h5>1.4-2 <span class="Heading">Compiling packages</span></h5>

<p>In this subsection it is explained how to compile the necessary packages in case this is not yet done for your <strong class="pkg">GAP</strong> installation. We assume that you have write access to the <strong class="pkg">GAP</strong> installation on your computer. If this is not the case, you should ask your system administrator to do this for you. Locate your <strong class="pkg">GAP</strong> installation. The examples below are generated using a GAP4.8.8 installation residing in "/opt/gap4r8". Clearly, subsequent versions of gap will reside in a differently named directory, e.g. "/opt/gap4r9". Another commonly used directory under UNIX like systems to install software is "/usr/local", so gap might reside in "/usr/local/gap4r8" too. In all examples in this section, we assume your <strong class="pkg">GAP</strong> installation resides in "/opt/gap4r8". Therefore, replace any occurrence of "/opt/gap4r8" with the actual directory of your <strong class="pkg">GAP</strong> installation when executing the installation steps. Three steps will be necessary to compile the <strong class="pkg">IO</strong> package: go into the correct directory, and issue the 'configure' command and then issue the 'make' command. Note that the directory name of the package is dependent on its version number. The correct name can be found as follows:</p>

<div class="example"><pre>
jdebeule ~  $ ls /opt/gap4r8/pkg/ |grep io-
io-4.4.6
</pre></div>

<p>From this output, it can be determined that the <strong class="pkg">IO</strong> resides in "/opt/gap4r8/pkg/io-4.4.6/". The three steps to be taken to compile <strong class="pkg">io</strong> are demonstrated in the example below.</p>

<div class="example"><pre>
root ~  $ cd /opt/gap4r8/pkg/io-4.4.6/
root /opt/gap4r8/pkg/io-4.4.6  $ ./configure
checking for a BSD-compatible install... /usr/bin/install -c
checking whether build environment is sane... yes
checking for a thread-safe mkdir -p... cnf/install-sh -c -d
...
...lots of output
...
config.status: creating Makefile
config.status: creating src/pkgconfig.h
config.status: src/pkgconfig.h is unchanged
config.status: executing depfiles commands
config.status: executing libtool commands
root /opt/gap4r8/pkg/io-4.4.6  $ make
  CC       src/io_la-io.lo
  CCLD     io.la
cnf/install-sh -c -d ./bin/x86_64-apple-darwin16.7.0-gcc-default64
cp .libs/io.so bin/x86_64-apple-darwin16.7.0-gcc-default64/io.so
</pre></div>

<p>Now starting <strong class="pkg">GAP</strong> should produce the following output, notice the presence of "IO 4.4.6" as one of the loaded packages.</p>

<div class="example"><pre>
jdebeule ~  $ gap4r8
+-------+   GAP 4.8.8, 20-Aug-2017, build of 2017-09-04 15:17:33 (CEST)
|  GAP  |   https://www.gap-system.org
+-------+   Architecture: x86_64-apple-darwin16.7.0-gcc-default64
Libs used:  gmp
Loading the library and packages ...
Components: trans 1.0, prim 2.1, small* 1.0, id* 1.0
Packages:   AClib 1.2, Alnuth 3.0.0, AtlasRep 1.5.1, AutPGrp 1.8,
             CRISP 1.4.4, Cryst 4.1.12, CrystCat 1.1.6, CTblLib 1.2.2,
             FactInt 1.5.4, FGA 1.3.1, GAPDoc 1.6, IO 4.4.6, IRREDSOL 1.4,
             LAGUNA 3.7.0, Polenta 1.3.7, Polycyclic 2.11, RadiRoot 2.7,
             ResClasses 4.6.0, Sophus 1.23, SpinSym 1.5, TomLib 1.2.6,
             Utils 0.46
Try '??help' for help. See also '?copyright', '?cite' and '?authors'
gap>
</pre></div>

<p>Similar steps are now necessary to compile the package <strong class="pkg">cvec</strong>, <strong class="pkg">Orb</strong>, and <strong class="pkg">grape</strong>: go into the correct directory, and issue the 'configure' and 'make' command. In the example below, we include the determination of the correct directory names. Note that the directory name of the <strong class="pkg">grape</strong> package is not dependent on its version number, so it resides in "/opt/gap4r8/pkg/grape".</p>

<div class="example"><pre>
root /opt/gap4r8/pkg/cvec-2.5.7  $ cd
root ~  $ ls /opt/gap4r8/pkg/ |grep cvec-
cvec-2.5.7
root ~  $ cd /opt/gap4r8/pkg/cvec-2.5.7/
root /opt/gap4r8/pkg/cvec-2.5.7  $ ./configure
...
...lots of output
...
config.status: executing libtool commands
root /opt/gap4r8/pkg/cvec-2.5.7  $ make
  CC       src/cvec_la-cvec.lo
  CCLD     cvec.la
cnf/install-sh -c -d ./bin/x86_64-apple-darwin16.7.0-gcc-default64
cp .libs/cvec.so bin/x86_64-apple-darwin16.7.0-gcc-default64/cvec.so
root ~  $ ls /opt/gap4r8/pkg/ |grep orb-
orb-4.7.6
root ~  $ cd /opt/gap4r8/pkg/orb-4.7.6/
root /opt/gap4r8/pkg/orb-4.7.6  $ ./configure
...
...lots of output
...
config.status: executing libtool commands
root /opt/gap4r8/pkg/orb-4.7.6  $ make
...some output
cp .libs/orb.so bin/x86_64-apple-darwin16.7.0-gcc-default64/orb.so
root ~  $ cd /opt/gap4r8/pkg/grape
root /opt/gap4r8/pkg/grape  $ ./configure
root /opt/gap4r8/pkg/grape  $ make
...lots of output
root /opt/gap4r8/pkg/grape  $
</pre></div>

<p>Note that warnings may occur during the compilation process, which can all be ignored. If compilation of these packages has been successful, restart <strong class="pkg">GAP</strong> and load <strong class="pkg">FinInG</strong> using "LoadPackage("fining")". The output should look as follows.</p>

<div class="example"><pre>
jdebeule ~  $ gap4r8
+-------+   GAP 4.8.8, 20-Aug-2017, build of 2017-09-04 15:17:33 (CEST)
|  GAP  |   https://www.gap-system.org
+-------+   Architecture: x86_64-apple-darwin16.7.0-gcc-default64
Libs used:  gmp
Loading the library and packages ...
Components: trans 1.0, prim 2.1, small* 1.0, id* 1.0
Packages:   AClib 1.2, Alnuth 3.0.0, AtlasRep 1.5.1, AutPGrp 1.8,
             CRISP 1.4.4, Cryst 4.1.12, CrystCat 1.1.6, CTblLib 1.2.2,
             FactInt 1.5.4, FGA 1.3.1, GAPDoc 1.6, IO 4.4.6, IRREDSOL 1.4,
             LAGUNA 3.7.0, Polenta 1.3.7, Polycyclic 2.11, RadiRoot 2.7,
             ResClasses 4.6.0, Sophus 1.23, SpinSym 1.5, TomLib 1.2.6,
             Utils 0.46
Try '??help' for help. See also '?copyright', '?cite' and '?authors'

<span class="GAPprompt">gap></span> <span class="GAPinput">LoadPackage("fining");</span>
---------------------------------------------------------------------
Loading 'Forms' 1.2.5 (21/09/2017)
by John Bamberg (http://school.maths.uwa.edu.au/~bamberg/)
   Jan De Beule (http://www.debeule.eu)
For help, type: ?Forms
---------------------------------------------------------------------
---------------------------------------------------------------------
Loading  orb 4.7.6 (Methods to enumerate orbits)
by Juergen Mueller (http://www.math.rwth-aachen.de/~Juergen.Mueller),
   Max Neunhöffer (http://www-groups.mcs.st-and.ac.uk/~neunhoef), and
   Felix Noeske (http://www.math.rwth-aachen.de/~Felix.Noeske).
Homepage: https://gap-packages.github.io/orb
---------------------------------------------------------------------
---------------------------------------------------------------------
Loading  cvec 2.5.7 (Compact vectors over finite fields)
by Max Neunhöffer (http://www-groups.mcs.st-and.ac.uk/~neunhoef).
Homepage: https://gap-packages.github.io/cvec
---------------------------------------------------------------------
---------------------------------------------------------------------
Loading  genss 1.6.4 (Generic Schreier-Sims)
by Max Neunhöffer (http://www-groups.mcs.st-and.ac.uk/~neunhoef) and
   Felix Noeske (http://www.math.rwth-aachen.de/~Felix.Noeske).
Homepage: https://gap-packages.github.io/genss
---------------------------------------------------------------------
---------------------------------------------------------------------
Loading  GRAPE 4.7 (GRaph Algorithms using PErmutation groups)
by Leonard H. Soicher (http://www.maths.qmul.ac.uk/~leonard/).
Homepage: http://www.maths.qmul.ac.uk/~leonard/grape/
---------------------------------------------------------------------
-------------------------------------------------------------------------------
         ______________       ________      _________   __________ __
         ___  ____/__(_)__________  _/________  ____/   __<  /_  // /
         __  /_   __  /__  __ __  / __  __   / __     __  /_  // /_
         _  __/   _  / _  / / /_/ /  _  / / / /_/ /     _  /_/__  __/
         /_/      /_/  /_/ /_//___/  /_/ /_/____/      /_/_(_)/_/
-------------------------------------------------------------------------------
Loading  FinInG 1.4.1 (Finite Incidence Geometry)
by John Bamberg (http://school.maths.uwa.edu.au/~bamberg/)
   Anton Betten (http://www.math.colostate.edu/~betten)
   Jan De Beule (http://www.debeule.eu)
   Philippe Cara (http://homepages.vub.ac.be/~pcara)
   Michel Lavrauw (http://people.sabanciuniv.edu/~mlavrauw/)
   Max Neunhoeffer (http://www-groups.mcs.st-and.ac.uk/~neunhoef/)
For help, type: ?FinInG
---------------------------------------------------------------------
true
gap>
</pre></div>

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

<h5>1.4-3 <span class="Heading">Updating <strong class="pkg">FinInG</strong></span></h5>

<p>New releases of <strong class="pkg">FinInG</strong> will be distributed automatically with new releases of <strong class="pkg">GAP</strong>. However, it is possible easily to update <strong class="pkg">FinInG</strong> in an existing installation of <strong class="pkg">GAP</strong>, provided the new version of <strong class="pkg">FinInG</strong> does not require newer versions of existing packages in the installation. It is also possible to have different versions of <strong class="pkg">FinInG</strong> installed on one system. To update <strong class="pkg">FinInG</strong> it is sufficient to download and unpack the archive containing the new release. First find the location of your existing <strong class="pkg">GAP</strong> installation. We assume in the example below that it is</p>

<div class="example"><pre>/opt/gap4r8/</pre></div>

<p>Make sure you have write permission on this location. If this is not the case, you must ask your system administrator to do this. Download the <strong class="pkg">FinInG</strong> archive "fining-....tgz" to this location, and unpack the archive. This can be done by issuing</p>

<div class="example"><pre>gunzip fining-....tgz</pre></div>

<p>which yields a file "fining-....tar", in the pkg directory, after which issuing the command</p>

<div class="example"><pre>tar -xf fining-....tar</pre></div>

<p>Unpack the archive in a subdirectory fining. Starting <strong class="pkg">GAP</strong> and loading <strong class="pkg">FinInG</strong> the usual way should give you the newly installed version. Please notice that you can unpack your archive in your favorite local "./pkg" directory, e.g. "/home/yourself/pkg/", in case you are using <strong class="pkg">GAP</strong> on a server on which you have only a restricted access. In this case, i.e. if you installed <strong class="pkg">FinInG</strong> in your local pkg directory, e.g. "/home/yourself/pkg/", then move to "/home/yourself", and issue the command</p>

<div class="example"><pre>gap -l "/opt/gap4r8;./"</pre></div>

<p>This will cause gap to startup and use as pkg directory both its own central pkg directory, i.e. "/opt/gap4r8/pkg/", as well as your local pkg directory, i.e. "/home/yourself/pkg/". You should see something like the following output.</p>

<div class="example"><pre>
+-------+   GAP 4.8.8, 20-Aug-2017, build of 2017-09-04 15:17:33 (CEST)
|  GAP  |   https://www.gap-system.org
+-------+   Architecture: x86_64-apple-darwin16.7.0-gcc-default64
Libs used:  gmp
Loading the library and packages ...
Components: trans 1.0, prim 2.1, small* 1.0, id* 1.0
Packages:   AClib 1.2, Alnuth 3.0.0, AtlasRep 1.5.0, AutPGrp 1.6,
            Browse 1.8.6, CRISP 1.3.8, Cryst 4.1.12, CrystCat 1.1.6,
            CTblLib 1.2.2, FactInt 1.5.3, FGA 1.2.0, GAPDoc 1.5.1, IO 4.4.4,
            IRREDSOL 1.2.4, LAGUNA 3.7.0, Polenta 1.3.2, Polycyclic 2.11,
            RadiRoot 2.7, ResClasses 3.4.0, Sophus 1.23, SpinSym 1.5,
            TomLib 1.2.5
Try '?help' for help. See also  '?copyright' and  '?authors'
<span class="GAPprompt">gap></span> <span class="GAPinput">LoadPackage("fining");</span>
---------------------------------------------------------------------
Loading 'Forms' 1.2.5 (21/09/2017)
by John Bamberg (http://school.maths.uwa.edu.au/~bamberg/)
   Jan De Beule (http://www.debeule.eu)
For help, type: ?Forms
---------------------------------------------------------------------
---------------------------------------------------------------------
Loading  orb 4.7.6 (Methods to enumerate orbits)
by Juergen Mueller (http://www.math.rwth-aachen.de/~Juergen.Mueller),
   Max Neunhöffer (http://www-groups.mcs.st-and.ac.uk/~neunhoef), and
   Felix Noeske (http://www.math.rwth-aachen.de/~Felix.Noeske).
Homepage: https://gap-packages.github.io/orb
---------------------------------------------------------------------
---------------------------------------------------------------------
Loading  cvec 2.5.7 (Compact vectors over finite fields)
by Max Neunhöffer (http://www-groups.mcs.st-and.ac.uk/~neunhoef).
Homepage: https://gap-packages.github.io/cvec
---------------------------------------------------------------------
---------------------------------------------------------------------
Loading  genss 1.6.4 (Generic Schreier-Sims)
by Max Neunhöffer (http://www-groups.mcs.st-and.ac.uk/~neunhoef) and
   Felix Noeske (http://www.math.rwth-aachen.de/~Felix.Noeske).
Homepage: https://gap-packages.github.io/genss
---------------------------------------------------------------------
---------------------------------------------------------------------
Loading  GRAPE 4.7 (GRaph Algorithms using PErmutation groups)
by Leonard H. Soicher (http://www.maths.qmul.ac.uk/~leonard/).
Homepage: http://www.maths.qmul.ac.uk/~leonard/grape/
---------------------------------------------------------------------
-------------------------------------------------------------------------------
         ______________       ________      _________   __________ __
         ___  ____/__(_)__________  _/________  ____/   __<  /_  // /
         __  /_   __  /__  __ __  / __  __   / __     __  /_  // /_
         _  __/   _  / _  / / /_/ /  _  / / / /_/ /     _  /_/__  __/
         /_/      /_/  /_/ /_//___/  /_/ /_/____/      /_/_(_)/_/
-------------------------------------------------------------------------------
Loading  FinInG 1.4.1 (Finite Incidence Geometry)
by John Bamberg (http://school.maths.uwa.edu.au/~bamberg/)
   Anton Betten (http://www.math.colostate.edu/~betten)
   Jan De Beule (http://www.debeule.eu)
   Philippe Cara (http://homepages.vub.ac.be/~pcara)
   Michel Lavrauw (http://people.sabanciuniv.edu/~mlavrauw/)
   Max Neunhoeffer (http://www-groups.mcs.st-and.ac.uk/~neunhoef/)
For help, type: ?FinInG
---------------------------------------------------------------------
true
</pre></div>

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

<h4>1.5 <span class="Heading">The Development Team</span></h4>

<p>This is the development team (without Anton), meeting in St. Andrews in September 2008, from left to right: Philippe Cara, Michel Lavrauw, Max Neunhöffer, Jan De Beule and John Bamberg.</p>

<p><img src="./graphics/devteamstasep08.jpg"></img></p>

<p>The development team meeting again (without Anton and Max), now in Vicenza in april 2011. from left to right: Michel Lavrauw, John Bamberg, Philippe Cara, Jan De Beule.</p>

<p><img src="./graphics/devteamvicapr11.jpg"></img></p>

<p>Survivors of the first version of <strong class="pkg">FinInG</strong>, enjoying a trip to Chioggia, december 2011.</p>

<p><img src="./graphics/devteamchidec11.jpg"></img></p>

<p>The same survivors, staring at the destiny.</p>

<p><img src="./graphics/devteamdestiny.jpg"></img></p>

<p>Anton Betten, during a milestone meeting at the finite geometries conference in Irsee, september 2014.</p>

<p><img src="./graphics/anton_irsee2014.jpg"></img></p>

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

<div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0_mj.html">Top</a>  <a href="chap1_mj.html">1</a>  <a href="chap2_mj.html">2</a>  <a href="chap3_mj.html">3</a>  <a href="chap4_mj.html">4</a>  <a href="chap5_mj.html">5</a>  <a href="chap6_mj.html">6</a>  <a href="chap7_mj.html">7</a>  <a href="chap8_mj.html">8</a>  <a href="chap9_mj.html">9</a>  <a href="chap10_mj.html">10</a>  <a href="chap11_mj.html">11</a>  <a href="chap12_mj.html">12</a>  <a href="chap13_mj.html">13</a>  <a href="chap14_mj.html">14</a>  <a href="chapA_mj.html">A</a>  <a href="chapB_mj.html">B</a>  <a href="chapC_mj.html">C</a>  <a href="chapBib_mj.html">Bib</a>  <a href="chapInd_mj.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>

quality95%

¤ Dauer der Verarbeitung: 0.21 Sekunden (vorverarbeitet) ¤

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.