############################################################################# ## #W PackageInfo.g GAP 4 Package `kan' Chris Wensley #W Anne Heyworth SetPackageInfo( rec( PackageName := "kan", Subtitle := "including double coset rewriting systems", Version := "1.38", Date := "12/10/2026", License := "GPL-2.0-or-later", Persons := [ rec( LastName := "Heyworth", FirstNames := "Anne", IsAuthor := true, IsMaintainer := false, ), rec( LastName := "Wensley", FirstNames := "Chris", IsAuthor := true, IsMaintainer := true, Email := "cdwensley.maths@btinternet.com", WWWHome := "https://github.com/cdwensley", Place := "Llanfairfechan", ) ], Status := "accepted", CommunicatedBy := "Leonard Soicher (QMUL)", AcceptDate := "05/2015", SourceRepository := rec( Type := "git", URL := "https://github.com/gap-packages/kan" ), IssueTrackerURL := Concatenation( ~.SourceRepository.URL, "/issues" ), PackageWWWHome := "https://gap-packages.github.io/kan/", README_URL := Concatenation( ~.PackageWWWHome, "README.md" ), PackageInfoURL := Concatenation( ~.PackageWWWHome, "PackageInfo.g" ), ArchiveURL := Concatenation( ~.SourceRepository.URL, "/releases/download/v", ~.Version, "/", ~.PackageName, "-", ~.Version ), SupportEmail := "cdwensley1234@btinternet.com", ArchiveFormats := ".tar.gz", AbstractHTML := "The Kan package provides functions for the computation of normal forms \ of representatives of double cosets of finitely presented groups.", PackageDoc := rec( BookName := "Kan", ArchiveURLSubset := ["doc"], HTMLStart := "doc/chap0_mj.html", PDFFile := "doc/manual.pdf", SixFile := "doc/manual.six", LongTitle := "Computing with Kan extensions" ), Dependencies := rec( GAP := ">=4.11.0", NeededOtherPackages := [ [ "automata", ">= 1.14" ], [ "kbmag", ">= 1.5.9" ] ], SuggestedOtherPackages := [ ], ExternalConditions := [ ] ), AvailabilityTest := ReturnTrue, TestFile := "tst/testall.g", Keywords := [ "Kan extension", "double coset rewriting system", "induced action" ], BannerString := Concatenation( "Loading Kan ", String( ~.Version ), " (computing with Kan extensions)\n", "by Anne Heyworth and ", "Chris Wensley (https://github.com/cdwensley)\n", "-----------------------------------------------------------------------\n" ), AutoDoc := rec( TitlePage := rec( Copyright := Concatenation( "© 1996-2025 Anne Heyworth and Chris Wensley

\n", "The &Kan; 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.\n" ), Abstract := Concatenation( "&Kan; is a ⪆ package originally implemented in 1996 ", "using the ⪆ 3 language, to compute induced actions ", "of categories, when the first author was studying ", "for a Ph.D. in Bangor.\n", "

\n", "This reduced version only provides functions for ", "the computation of normal forms of representatives ", "of double cosets of finitely presented groups.\n", "

\n", "&Kan; became an accepted ⪆ package in May 2015.\n", "

\n", "Bug reports, suggestions and comments are, of course, welcome.\n", "Please contact the last author at ", "cdwensley.maths@btinternet.com ", "or submit an issue at the GitHub repository ", "https://github.com/gap-packages/kan/issues/.\n" ), Acknowledgements := Concatenation( "This documentation was prepared using the ", "&GAPDoc; ", "and &AutoDoc; packages.

\n", "The procedure used to produce new releases uses the package ", "GitHubPagesForGAP ", " ", "and the package ReleaseTools.

" ), ) ), ));