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

Quelle  chap10_mj.html   Sprache: HTML

 
 products/Sources/formale Sprachen/GAP/pkg/groupoids/doc/chap10_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://cdn.jsdelivr.net/npm/mathjax@2/MathJax.js?config=TeX-AMS-MML_HTMLorMML">
</script>
<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_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="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="chap9_mj.html">[Previous Chapter]</a>    <a href="chapBib_mj.html">[Next Chapter]</a>   </div>

<p id="mathjaxlink" class="pcenter"><a href="chap10.html">[MathJax off]</a></p>
<p><a id="X810C43BC7F63C4B4" name="X810C43BC7F63C4B4"></a></p>
<div class="ChapSects"><a href="chap10_mj.html#X810C43BC7F63C4B4">10 <span class="Heading">Development History</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap10_mj.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_mj.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 [Moo01] in December 2000, but was not made generally available.



<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_mj.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_mj.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_mj.html">[Top of Book]</a>   <a href="chap0_mj.html#contents">[Contents]</a>    <a href="chap9_mj.html">[Previous Chapter]</a>    <a href="chapBib_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="chapBib_mj.html">Bib</a>  <a href="chapInd_mj.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>

89%


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