Quelle  chap10.html   Sprache: 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 (groupoids) - Chapter 10: Development History</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="chap10"  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="chap7.html">7</a>  <a href="chap8.html">8</a>  <a href="chap9.html">9</a>  <a href="chap10.html">10</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="chap9.html">[Previous Chapter]</a>    <a href="chapBib.html">[Next Chapter]</a>   </div>

<p id="mathjaxlink" class="pcenter"><a href="chap10_mj.html">[MathJax on]</a></p>
<p><a id="X810C43BC7F63C4B4" name="X810C43BC7F63C4B4"></a></p>
<div class="ChapSects"><a href="chap10.html#X810C43BC7F63C4B4">10 <span class="Heading">Development History</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap10.html#X8192EA4C7B7CC5CD">10.1 <span class="Heading">Versions of the Package</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap10.html#X82148FB77CC3CCC0">10.2 <span class="Heading">What needs to be done next?</span></a>
</span>
</div>
</div>

<h3>10 <span class="Heading">Development History</span></h3>

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

<h4>10.1 <span class="Heading">Versions of the Package</span></h4>

<p>The first version, <strong class="pkg">GraphGpd</strong> 1.001, formed part of Emma Moore's thesis <a href="chapBib.html#biBemma-thesis">[Moo01]</a> in December 2000, but was not made generally available.</p>

<p>Version 1.002 of <strong class="pkg">GraphGpd</strong> was prepared to run under <strong class="pkg">GAP</strong> 4.4 in January 2004; was submitted to the <strong class="pkg">GAP</strong> council to be considered as an accepted package; but suggestions from the referee were not followed up.</p>

<p>In April 2006 the manual was converted to <strong class="pkg">GAPDoc</strong> format. Variables <code class="code">Star</code>, <code class="code">Costar</code> and <code class="code">CoveringGroup</code> were found to conflict with usage in other packages, and were renamed <code class="code">VertexStar</code>, <code class="code">VertexCostar</code> and <code class="code">CoveringGroupOfGroupoid</code> respectively. Similarly, the <code class="code">Vertices</code> and <code class="code">Arcs</code> of an <code class="code">FpWeightedDigraph</code> were changed from attributes to record components.</p>

<p>In the spring of 2006 the package was extensively rewritten and renamed <strong class="pkg">Gpd</strong>. Version 1.01 was submitted as a deposited package in June 2006. Version 1.03, of October 2007, fixed some file protections, and introduced the test file <code class="file">gpd_manual.tst</code>.</p>

<p>Version 1.05, of November 2008, was released when the website at Bangor changed.</p>

<p>Since then, the package has been rewritten again, introducing magmas with objects and their mappings. Functions to implement constructions contained in <a href="chapBib.html#biBAlWe">[AW10]</a> have been added, but this is ongoing work.</p>

<p>Versions 1.09 to 1.15 were prepared for the anticipated release of <strong class="pkg">GAP</strong> 4.5 in June 2012.</p>

<p><strong class="pkg">Gpd</strong> became an accepted <strong class="pkg">GAP</strong> package in May 2015.</p>

<p>In April 2017 the package was renamed again, as <strong class="pkg">groupoids</strong>.</p>

<p>In August 2017 the implementation of groupoid homomorphisms was completely revised with the emphasis now on a mapping from a set of generating arrows to their images.</p>

<p>In September 2017 various functions were revised so that, at last, the operation <code class="code">DiscreteNormalPreXModWithObjects</code> in <strong class="pkg">XMod</strong> works again. This constructs a crossed module of groupoids with a connected range and a homogeneous, discrete source.</p>

<p>In recent versions there have been a number of changes of function name, such as <code class="code">IsDigraph</code> becoming <code class="code">IsGroupoidDigraph</code>. This is in order to avoid conflicts with the <strong class="pkg">Digraphs</strong> package.</p>

<p>In version 1.62 of October 2018 there were significant changes to the operations constructing free products with amalgamation and HNN extensions. There was a plan to move this material to a new package <strong class="pkg">Rewriting</strong>, but that has not happened.</p>

<p>Version 1.71 of August 2022 contains a complete revision of right, left and double cosets of groupoids. (The initial declaration of LeftCoset was moved to the <strong class="pkg">Utils</strong> package.)</p>

<p>Version 1.73 of February 2023 contained a first attempt at an implementation of double groupoids, as described in Chapter <a href="chap8.html#X83B7E8A287C9284A"><span class="RefLink">8</span></a>. This was then extensively revised in version 1.77 of July 2025. This experimental material is liable to be changed and extended. A more general version of double groupoids has been introduced in the <strong class="pkg">XMod</strong> package.</p>

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

<h4>10.2 <span class="Heading">What needs to be done next?</span></h4>


<ul>
<li><p>more work on automorphism groups of groupoids;</p>

</li>
<li><p>normal subgroupoids and quotient groupoids;</p>

</li>
<li><p>more methods for morphisms of groupoids, particularly when the range is not connected;</p>

</li>
<li><p><code class="code">ImageElm</code> and <code class="code">ImagesSource</code> for the cases of groupoid morphisms not yet covered;</p>

</li>
<li><p><code class="code">Enumerator</code> for <code class="code">IsHomsetCosetsRep</code>;</p>

</li>
<li><p>free groupoid on a graph;</p>

</li>
<li><p>convert <code class="code">GraphOfGroupsRewritingSystem</code> to the category <code class="code">IsRewritingSystem</code>;</p>

</li>
<li><p>in <strong class="pkg">XMod</strong>, continue to work on crossed modules over groupoids;</p>

</li>
</ul>

<div class="chlinkprevnextbot"> <a href="chap0.html">[Top of Book]</a>   <a href="chap0.html#contents">[Contents]</a>    <a href="chap9.html">[Previous Chapter]</a>    <a href="chapBib.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="chap7.html">7</a>  <a href="chap8.html">8</a>  <a href="chap9.html">9</a>  <a href="chap10.html">10</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>