  
  [1X7 [33X[0;0YDevelopment History[133X[101X
  
  
  [1X7.1 [33X[0;0YVersions of the Package[133X[101X
  
  [33X[0;0YThe  first  version,  [5XGraphGpd[105X  1.001,  formed  part  of Emma Moore's thesis
  [Moo01] in December 2000, but was not made generally available.[133X
  
  [33X[0;0YVersion 1.002 of [5XGraphGpd[105X was prepared to run under [5XGAP[105X 4.4 in January 2004;
  was  submitted  to  the [5XGAP[105X council to be considered as an accepted package;
  but suggestions from the referee were not followed up.[133X
  
  [33X[0;0YIn  April  2006  the  manual was converted to [5XGAPDoc[105X format. Variables [10XStar[110X,
  [10XCostar[110X  and  [10XCoveringGroup[110X  were  found  to  conflict  with  usage  in other
  packages,     and     were     renamed    [10XVertexStar[110X,    [10XVertexCostar[110X    and
  [10XCoveringGroupOfGroupoid[110X respectively. Similarly, the [10XVertices[110X and [10XArcs[110X of an
  [10XFpWeightedDigraph[110X were changed from attributes to record components.[133X
  
  [33X[0;0YIn the spring of 2006 the package was extensively rewritten and renamed [5XGpd[105X.
  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[111X.[133X
  
  [33X[0;0YVersion  1.05,  of  November  2008,  was released when the website at Bangor
  changed.[133X
  
  [33X[0;0YSince  then,  the  package has been rewritten again, introducing magmas with
  objects  and  their mappings. Functions to implement constructions contained
  in [AW10] have been added, but this is ongoing work.[133X
  
  [33X[0;0YVersions  1.09  to 1.15 were prepared for the anticipated release of [5XGAP[105X 4.5
  in June 2012.[133X
  
  [33X[0;0Y[5XGpd[105X became an accepted [5XGAP[105X package in May 2015.[133X
  
  [33X[0;0YThe latest version is 1.34 of 5th June 2015, for [5XGAP[105X 4.7.[133X
  
  
  [1X7.2 [33X[0;0YWhat needs to be done next?[133X[101X
  
  [33X[0;0YComputationally, there are three types of connected groupoid:[133X
  
  [30X    [33X[0;6Ythose with identical object groups,[133X
  
  [30X    [33X[0;6Ythose with object groups conjugate in some supergroup,[133X
  
  [30X    [33X[0;6Ythose with object groups which are simply isomorphic.[133X
  
  [33X[0;0Y[5XGraphGpd[105X  attempted  to  implement  the second case, while [5XGpd[105X 1.01 and 1.03
  considered  only  the  first  case, and [5XGpd[105X 1.05 extended 1.03 to the second
  case.[133X
  
  [33X[0;0YThe  third  case  has  not yet been considered for implementation, and there
  does not appear to be much need to do so.[133X
  
  [33X[0;0YHere are some other immediate requirements:[133X
  
  [30X    [33X[0;6Ymore work on automorphism groups of groupoids;[133X
  
  [30X    [33X[0;6Ynormal subgroupoids and quotient groupoids;[133X
  
  [30X    [33X[0;6Ymore  methods  for morphisms of groupoids, particularly when the range
        is not connected;[133X
  
  [30X    [33X[0;6Y[10XImageElm[110X  and [10XImagesSource[110X for the cases of groupoid morphisms not yet
        covered;[133X
  
  [30X    [33X[0;6Y[10XEnumerator[110X for [10XIsHomsetCosetsRep[110X;[133X
  
  [30X    [33X[0;6Yfree groupoid on a graph;[133X
  
  [30X    [33X[0;6Ymethods   for   [10XFreeProductWithAmalgamation[110X   and   [10XHnnEntension[110X   for
        pc-groups;[133X
  
  [30X    [33X[0;6Yconvert      [10XGraphOfGroupsRewritingSystem[110X      to     the     category
        [10XIsRewritingSystem[110X;[133X
  
  [30X    [33X[0;6Yin  [5XXMod[105X,  implement  crossed modules over groupoids (a start has been
        made).[133X
  
