<!-- ------------------------------------------------------------------- --> <!-- --> <!-- manual.xml Gpd documentation Chris Wensley --> <!-- & Emma Moore --> <!-- --> <!-- $Id: manual.xml,v 1.05 2008/11/21 gap Exp $ --> <!-- --> <!-- ------------------------------------------------------------------- --> <?xml version="1.0" encoding="ISO-8859-1"?> <!-- $Id: manual.xml,v 1.05 Exp $ --> <!DOCTYPE Book SYSTEM "gapdoc.dtd" [<!ENTITY gpd "<Package>Gpd</Package>">] > <Book Name="Gpd"> <TitlePage> <Title>&gpd;</Title> <Subtitle>Groupoids, graphs of groups, and graphs of groupoids</Subtitle> <Version>Version 1.05</Version> <Author> Emma Moore <Email>emmajmoore@yahoo.co.uk</Email> </Author> <Author> Chris Wensley <Email>c.d.wensley@bangor.ac.uk</Email> <Homepage>http://www.bangor.ac.uk/~mas023/</Homepage> <Address> School of Computer Science, Bangor University,<Br/> Dean Street, Bangor, Gwynedd, LL57 1UT, U.K. </Address> </Author> <Date>November 2008</Date> <Abstract> The &gpd; package for &GAP;4 provides functions for the computation with groupoids (categories with every arrow invertible) and their morphisms; for graphs of groups, and graphs of groupoids. <P/> It provides normal forms for Free Products with Amalgamation and for HNN-extensions when the initial groups have rewrite systems and the subgroups have finite index. <P/> The &gpd; package was originally implemented in 2000 (as <Package>GraphGpd</Package>) when the first author was studying for a Ph.D. in Bangor. <P/> The current version is 1.05, released on 21st November 2008, and now includes the more basic structure of <E>magma with objects</E>. It had to be released hurriedly, due to the change of website, so some of the function are no longer available. A new version will be released as soon as possible. <P/> Bug reports, suggestions and comments are, of course, welcome. Please contact the second author at <Email>c.d.wensley@bangor.ac.uk</Email>. </Abstract> <Copyright> ©right; 2000-2008 Emma Moore and Chris Wensley <P/> </Copyright> <Acknowledgements> This <Package>gpd</Package> package is released under the GNU General Public License (GPL). This file is part of <Package>gpd</Package>, though as documentation it is released under the GNU Free Documentation License (see <URL>http://www.gnu.org/licenses/licenses.html#FDL</URL>). <P/> <Package>gpd</Package> is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. <P/> <Package>gpd</Package> is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. <P/> You should have received a copy of the GNU General Public License along with <Package>gpd</Package>; if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA. <P/> For more details, see <URL>http://www.fsf.org/licenses/gpl.html</URL>. <P/> This documentation was prepared with the <Package>GAPDoc</Package> package of Frank L\"ubeck and Max Neunh\"offer. </Acknowledgements> </TitlePage> <TableOfContents/> <Body> <#Include SYSTEM "intro.xml"> <#Include SYSTEM "mwo.xml"> <#Include SYSTEM "mwohom.xml"> <#Include SYSTEM "gpd.xml"> <#Include SYSTEM "gpdhom.xml"> <#Include SYSTEM "ggraph.xml"> <#Include SYSTEM "history.xml"> </Body> <Bibliography Databases="manual"/> <TheIndex/> </Book>