  
  [1X7 Development History[0X
  
  
  [1X7.1 Versions of the Package[0X
  
  The  first  version,  [5XGraphGpd[0m  1.001,  formed  part  of Emma Moore's thesis
  [Moo01] in December 2000, but was not made generally available.
  
  Version 1.002 of [5XGraphGpd[0m was prepared to run under [5XGAP[0m 4.4 in January 2004;
  was  submitted  to  the [5XGAP[0m council to be considered as an accepted package;
  but suggestions from the referee were not followed up.
  
  In  April  2006  the  manual was converted to [5XGAPDoc[0m format. Variables [10XStar[0m,
  [10XCostar[0m  and  [10XCoveringGroup[0m  were  found  to  conflict  with  usage  in other
  packages,     and     were     renamed    [10XVertexStar[0m,    [10XVertexCostar[0m    and
  [10XCoveringGroupOfGroupoid[0m respectively. Similarly, the [10XVertices[0m and [10XArcs[0m of an
  [10XFpWeightedDigraph[0m were changed from attributes to record components.
  
  In the spring of 2006 the package was extensively rewritten and renamed [5XGpd[0m.
  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 [11Xgpd_manual.tst[0m.
  
  Version  1.05,  of November 2008, was released because the website at Bangor
  changed.
  
  [13XA  further extensive rewrite is in progress, introducing magmas with objects
  and  their  mappings, but many of the functions fail to work at present, and
  this manual is far from correct.[0m
  
  
  [1X7.2 What needs to be done next?[0X
  
  Computationally, there are three types of connected groupoid:
  
  --    those with identical object groups,
  
  --    those with object groups conjugate in some supergroup,
  
  --    those with object groups which are simply isomorphic.
  
  [5XGraphGpd[0m  attempted  to  implement  the second case, while [5XGpd[0m 1.01 and 1.03
  considered  only  the  first  case, and [5XGpd[0m 1.05 extended 1.03 to the second
  case. Here are some other immediate requirements:
  
  --    Automorphism group of a groupoid.
  
  --    normal subgroupoids and quotient groupoids;
  
  --    more  methods  for morphisms of groupoids, particularly when the range
        is not connected;
  
  --    [10XImageElm[0m  and [10XImagesSource[0m for the cases of groupoid morphisms not yet
        covered;
  
  --    [10XEnumerator[0m for [10XIsHomsetCosetsRep[0m;
  
  --    free groupoid on a graph;
  
  --    methods   for   [10XFreeProductWithAmalgamation[0m   and   [10XHnnEntension[0m   for
        pc-groups;
  
  --    convert      [10XGraphOfGroupsRewritingSystem[0m      to     the     category
        [10XIsRewritingSystem[0m;
  
  --    in [5XXMod[0m, implement crossed modules over groupoids.
  
