Script 'mail_helper' called by obssrc Hello community, here is the log from the commit of package gap-kan for openSUSE:Factory checked in at 2024-03-25 21:09:33 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/gap-kan (Old) and /work/SRC/openSUSE:Factory/.gap-kan.new.1905 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "gap-kan" Mon Mar 25 21:09:33 2024 rev:2 rq:1161011 version:1.37 Changes: -------- --- /work/SRC/openSUSE:Factory/gap-kan/gap-kan.changes 2023-12-28 22:59:05.885255659 +0100 +++ /work/SRC/openSUSE:Factory/.gap-kan.new.1905/gap-kan.changes 2024-03-25 21:15:18.376842172 +0100 @@ -1,0 +2,7 @@ +Sat Mar 23 21:52:18 UTC 2024 - Jan Engelhardt <[email protected]> + +- Update to release 1.37 + * Fixed varying output from ``DisplayRwsRules`` + * kan is now using ``PreImagesRepresentativeNC`` + +------------------------------------------------------------------- Old: ---- kan-1.34.tar.gz New: ---- kan-1.37.tar.gz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ gap-kan.spec ++++++ --- /var/tmp/diff_new_pack.IwndZG/_old 2024-03-25 21:15:18.856859797 +0100 +++ /var/tmp/diff_new_pack.IwndZG/_new 2024-03-25 21:15:18.856859797 +0100 @@ -1,7 +1,7 @@ # # spec file for package gap-kan # -# Copyright (c) 2022 SUSE LLC +# Copyright (c) 2024 SUSE LLC # # All modifications and additions to the file contributed by third parties # remain the property of their copyright owners, unless otherwise agreed @@ -17,7 +17,7 @@ Name: gap-kan -Version: 1.34 +Version: 1.37 Release: 0 Summary: GAP: double coset rewriting systems License: GPL-2.0-or-later ++++++ kan-1.34.tar.gz -> kan-1.37.tar.gz ++++++ diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/kan-1.34/CHANGES.md new/kan-1.37/CHANGES.md --- old/kan-1.34/CHANGES.md 2022-03-13 10:09:30.000000000 +0100 +++ new/kan-1.37/CHANGES.md 2024-01-23 19:16:30.000000000 +0100 @@ -1,33 +1,34 @@ -# CHANGES to the Kan package +# CHANGES to the Kan package ## ToDo: * long-standing: see the ToDo list in section 3.2 in the manual -## Version 1.34 for GAP 4.11.1 (13/03/22) +## Version 1.37 for GAP 4.12.2 (23/01/24) + * (15/08/23) fixed varying output from DisplayRwsRules + * (16/02/23) now used PreImagesRepresentativeNC + +## Version 1.35 for GAP 4.12.2 (09/02/23) + * (23/12/22) changed email address; deleted location and institution +## Version 1.34 for GAP 4.11.1 (13/03/22) * (13/03/22) adjusted dcrws3.tst because of differences between 4r11 & dev ## Version 1.33 for GAP 4.11.1 (15/11/21) - * (15/11/21) move package homepage to https://github.com/cdwensley * (08/04/21) Switch CI to use GitHub Actions ## Version 1.32 for GAP 4.11.0 (16/07/20) - * (16/07/20) fixed a problem in manual(2.2.1) reported by Daniel Longenecker ## Version 1.31 for GAP 4.10.2 (14/10/19) - * (14/10/19) made kbmag a RequiredPackage rather than a Suggested one * (14/10/19) restructured the tests ## Version 1.29 for GAP 4.10.1 (29/05/19) - * (16/02/19) added License field in PackageInfo.g ## 1.27 -> 1.28 (04/02/2018) - * (11/01/18) now using AutoDoc to build the manual * (15/12/17) removed examples/; added expt/ and xtst/ * (08/08/17) testall.g copied to testing.g; testall now calls TestDirectory @@ -41,12 +42,10 @@ added use of ReducedForm to the examples in the manual ## 1.25 -> 1.27 (20/10/2016) - * (18/10/16) now using bibliography file `bib.xml` of type `bibxmlext.dtd` * (11/10/16) changed package releases to <https://gap-packages.github.io/kan> ## 1.22 -> 1.25 (18/02/2016) - * (18/02/16) removed date/version information from file headers * (16/02/16) attempted to correct new output error when printing accT * (12/01/16) modified ENTITY names in `PackageInfo.g` @@ -54,7 +53,6 @@ * (01/09/15) major edits to `README`, including GitHub issues link ## 1.21 -> 1.22 (24/08/2015) - * (24/08/15) packed up version 1.22 prior to move from Bitbucket to Github * (26/06/15) changed output of WordAcceptorOfReducedRws from nfa to mfa fixing problem with the language langT given on p.5 of the manual @@ -62,55 +60,44 @@ adjusted `test/example` files and added to page 8 of the manual ## 1.11 -> 1.21 (01/06/2015) - * (01/06/15) `PackageInfo.g` : Kan is now an accepted package * (01/06/15) converted the bibliography to BibXMLext format - and added an URL to Anne's thesis (`heyworth.ps.gz`) ## 1.07 -> 1.11 (10/12/2014) - * (10/12/14) moved package home page to <pages.bangor.ac.uk/~mas023/chda/kan/> * (10/12/14) started bitbucket repository for kan ## 1.06 -> 1.07 (16/10/2013) - * (16/10/13) fix test files to reflect new printing of monoids * (05/02/13) rewrite of `testall.g` following Alex K's wedderga example ## 1.05 -> 1.06 (07/01/2013) - * (07/01/13) edited test file output to agree with GAP 4.6 ## 1.04 -> 1.05 (23/04/2012) - * (23/04/12) replaced ReadTest by Test in testall.g * (25/11/11) removed Anne's email address now using package directory in the format `../kan-1.05/` and archive files in the format `kan-1.05.tar` ## 1.03 -> 1.04 (21/11/2011) - * (21/11/11) forgotten why the edited version `kbsemi2.gi` of `kbsemi.gi` was needed: deleted it, since it no longer seems necesssary. ## 1.01 -> 1.03 (21/09/2011) - * (20/09/11) new version of `makedocrel.g` for building the manual * (17/09/11) Shortened the banner. * (16/09/11) Renamed subdirectory `kan/gap` as `kan/lib` ## 0.99 -> 1.01 (25/08/2011) - * (16/08/11) changed directory for archive to `.../chda/gap4r5/kan/` * (10/06/11) started version 1.01; moved Anne's files etc to folder extras. ## 0.98 -> 0.99 (07/06/2011) - * (07/06/11) LoadPackage -> DirectoriesPackagePrograms in `read.g` * (06/06/11) Tidied up file headings and made version 0.99. ## 0.97 -> 0.98 (06/05/2011) - * (06/05/11) the automaton in section 2.4.2 (Example 3) now has 44 states, rather than the previous 40 (don't know why!) * (05/05/11) test files now `fulltest.tst` and `parttest.tst`. @@ -118,13 +105,9 @@ * (18/04/10) moved Kan development to IMac at home. ## 0.96 -> 0.97 (18/11/2008) - * (14/11/08) Automata.1.12 now available, so temporary fixes removed. ## 0.95 -> 0.96 (13/11/2008) - - * (13/11/08) new Bangor website * move the Kan pages to - <http://www.maths.bangor.ac.uk/chda/kan/> * (12/11/08) temporary fix: added edited version of functions from the Automata package in files `automata.gd` and `automata.gi` * added GNU General Public License declaration @@ -132,7 +115,6 @@ following changes in the Automata package. ## 0.94 -> 0.95 (09/10/2007) - * started this `CHANGES` file * new address for Anne * fixed file permissions @@ -141,7 +123,6 @@ to "for i in [1..n] do ... od;" ## 0.91 -> 0.94 (02/06/2006) - * manual now prepared using the GAPDoc package, * test file `kan/tst/kan_manual.tst` sets the AssertionLevel to 0 to avoid recursion in the Automata package, diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/kan-1.34/PackageInfo.g new/kan-1.37/PackageInfo.g --- old/kan-1.34/PackageInfo.g 2022-03-13 10:09:30.000000000 +0100 +++ new/kan-1.37/PackageInfo.g 2024-01-23 19:16:30.000000000 +0100 @@ -7,8 +7,8 @@ PackageName := "kan", Subtitle := "including double coset rewriting systems", -Version := "1.34", -Date := "13/03/2022", +Version := "1.37", +Date := "23/01/2024", License := "GPL-2.0-or-later", Persons := [ @@ -17,26 +17,15 @@ FirstNames := "Anne", IsAuthor := true, IsMaintainer := false, - Place := "Open University" - ## Email := "[email protected]" ), rec( LastName := "Wensley", FirstNames := "Chris", IsAuthor := true, IsMaintainer := true, - Email := "[email protected]", + Email := "[email protected]", WWWHome := "https://github.com/cdwensley";, - PostalAddress := Concatenation( [ - "Dr. C.D. Wensley\n", - "School of Computer Science\n", - "Bangor University\n", - "Dean Street\n", - "Bangor\n", - "Gwynedd LL57 1UT\n", - "UK"] ), - Place := "Bangor", - Institution := "Bangor University" + Place := "Llanfairfechan", ) ], @@ -63,7 +52,7 @@ PackageDoc := rec( BookName := "Kan", ArchiveURLSubset := ["doc"], - HTMLStart := "doc/chap0.html", + HTMLStart := "doc/chap0_mj.html", PDFFile := "doc/manual.pdf", SixFile := "doc/manual.six", LongTitle := "Computing with Kan extensions" @@ -72,7 +61,6 @@ Dependencies := rec( GAP := ">=4.11.0", NeededOtherPackages := [ [ "automata", ">= 1.14" ], - [ "GAPDoc", ">= 1.6.2" ], [ "kbmag", ">= 1.5.9" ] ], SuggestedOtherPackages := [ ], ExternalConditions := [ ] @@ -97,7 +85,7 @@ AutoDoc := rec( TitlePage := rec( Copyright := Concatenation( - "©right; 1996-2022 Anne Heyworth and Chris Wensley<P/>\n", + "©right; 1996-2024 Anne Heyworth and Chris Wensley<P/>\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; ", @@ -118,7 +106,7 @@ "<P/>\n", "Bug reports, suggestions and comments are, of course, welcome.\n", "Please contact the last author at ", - "<Email>[email protected]</Email> ", + "<Email>[email protected]</Email> ", "or submit an issue at the GitHub repository ", "<URL>https://github.com/gap-packages/kan/issues/</URL>.\n" ), diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/kan-1.34/README.md new/kan-1.37/README.md --- old/kan-1.34/README.md 2022-03-13 10:09:30.000000000 +0100 +++ new/kan-1.37/README.md 2024-01-23 19:16:30.000000000 +0100 @@ -27,7 +27,7 @@ ## Copyright The 'Kan' package is Copyright {\copyright} Chris Wensley and Anne Heyworth, -1996--2017. +1996--2024. 'Kan' is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by @@ -53,5 +53,5 @@ ------- If you have a question relating to 'Kan', encounter any problems, or have a suggestion for extending the package in any way, please - - email: [email protected] - - or report an issue at: https://github.com/gap-packages/kan/issues/new \ No newline at end of file + - email: <[email protected]> + - or report an issue at: https://github.com/gap-packages/kan/issues/new diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/kan-1.34/doc/_entities.xml new/kan-1.37/doc/_entities.xml --- old/kan-1.34/doc/_entities.xml 1970-01-01 01:00:00.000000000 +0100 +++ new/kan-1.37/doc/_entities.xml 2024-01-23 19:19:18.000000000 +0100 @@ -0,0 +1,4 @@ +<!ENTITY AutoDoc '<Package>AutoDoc</Package>'> +<!ENTITY kan '<Package>Kan</Package>'> +<!ENTITY Automata '<Package>Automata</Package>'> +<!ENTITY Kan '<Package>Kan</Package>'> diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/kan-1.34/doc/bib.xml new/kan-1.37/doc/bib.xml --- old/kan-1.34/doc/bib.xml 2022-03-13 10:09:30.000000000 +0100 +++ new/kan-1.37/doc/bib.xml 2024-01-23 19:16:30.000000000 +0100 @@ -24,7 +24,9 @@ <year>2017</year> <other type="note"> GAP package, - <URL>http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc/index.html</URL> + <URL> + https://www.math.rwth-aachen.de/~Frank.Luebeck/gap/GAPDoc/index.html + </URL> </other> </manual></entry> @@ -76,7 +78,7 @@ <school>University of Wales, Bangor</school> <year>1999</year> <note> - <URL>http://www.maths.bangor.ac.uk/research/ftp/theses/heyworth.ps.gz</URL> + <URL>https://www.researchgate.net/profile/Anne-Heyworth/research</URL> </note> </phdthesis></entry> diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/kan-1.34/doc/bib.xml.bib new/kan-1.37/doc/bib.xml.bib --- old/kan-1.34/doc/bib.xml.bib 2022-03-13 10:10:26.000000000 +0100 +++ new/kan-1.37/doc/bib.xml.bib 2024-01-23 19:19:18.000000000 +0100 @@ -20,9 +20,10 @@ organization = {RWTH Aachen}, year = {2017}, note = {GAP package, \href - {http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc/index.html} - {\texttt{http://www.math.rwth-aachen.de/}\discretionary + {https://www.math.rwth-aachen.de/~Frank.Luebeck/gap/GAPDoc/index.html} + {\texttt{https://www.math.rwth-aachen.de/}\discretionary {}{}{}\texttt{\texttt{\symbol{126}}Frank.Luebeck/}\discretionary + {}{}{}\texttt{gap/}\discretionary {}{}{}\texttt{GAPDoc/}\discretionary {}{}{}\texttt{index.html}}}, printedkey = {LN17} @@ -66,12 +67,11 @@ school = {University of Wales, Bangor}, year = {1999}, note = {\href - {http://www.maths.bangor.ac.uk/research/ftp/theses/heyworth.ps.gz} - {\texttt{http://www.maths.bangor.ac.uk/}\discretionary - {}{}{}\texttt{research/}\discretionary - {}{}{}\texttt{ftp/}\discretionary - {}{}{}\texttt{theses/}\discretionary - {}{}{}\texttt{heyworth.ps.gz}}}, + {https://www.researchgate.net/profile/Anne-Heyworth/research} + {\texttt{https://www.researchgate.net/}\discretionary + {}{}{}\texttt{profile/}\discretionary + {}{}{}\texttt{Anne-Heyworth/}\discretionary + {}{}{}\texttt{research}}}, printedkey = {Hey99} } @article{ SteveL, diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/kan-1.34/doc/chap0.html new/kan-1.37/doc/chap0.html --- old/kan-1.34/doc/chap0.html 2022-03-13 10:10:30.000000000 +0100 +++ new/kan-1.37/doc/chap0.html 2024-01-23 19:19:20.000000000 +0100 @@ -29,10 +29,10 @@ <h2>including double coset rewriting systems</h2> <p> - 1.34</p> + 1.37</p> <p> - 13 March 2022 + 23 January 2024 </p> </div> @@ -45,11 +45,9 @@ - </b> -<br />Email: <span class="URL"><a href="mailto:[email protected]";>[email protected]</a></span> +<br />Email: <span class="URL"><a href="mailto:[email protected]";>[email protected]</a></span> <br />Homepage: <span class="URL"><a href="https://github.com/cdwensley";>https://github.com/cdwensley</a></span> -<br />Address: <br />Dr. C.D. Wensley<br /> School of Computer Science<br /> Bangor University<br /> Dean Street<br /> Bangor<br /> Gwynedd LL57 1UT<br /> UK<br /> </p> <p><a id="X7AA6C5737B711C89" name="X7AA6C5737B711C89"></a></p> @@ -60,11 +58,11 @@ <p><strong class="pkg">Kan</strong> became an accepted <strong class="pkg">GAP</strong> package in May 2015.</p> -<p>Bug reports, suggestions and comments are, of course, welcome. Please contact the last author at <span class="URL"><a href="mailto:[email protected]";>[email protected]</a></span> or submit an issue at the GitHub repository <span class="URL"><a href="https://github.com/gap-packages/kan/issues/";>https://github.com/gap-packages/kan/issues/</a></span>.</p> +<p>Bug reports, suggestions and comments are, of course, welcome. Please contact the last author at <span class="URL"><a href="mailto:[email protected]";>[email protected]</a></span> or submit an issue at the GitHub repository <span class="URL"><a href="https://github.com/gap-packages/kan/issues/";>https://github.com/gap-packages/kan/issues/</a></span>.</p> <p><a id="X81488B807F2A1CF1" name="X81488B807F2A1CF1"></a></p> <h3>Copyright</h3> -<p>© 1996-2022 Anne Heyworth and Chris Wensley</p> +<p>© 1996-2024 Anne Heyworth and Chris Wensley</p> <p>The <strong class="pkg">Kan</strong> 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> diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/kan-1.34/doc/chap0.txt new/kan-1.37/doc/chap0.txt --- old/kan-1.34/doc/chap0.txt 2022-03-13 10:10:25.000000000 +0100 +++ new/kan-1.37/doc/chap0.txt 2024-01-23 19:19:18.000000000 +0100 @@ -6,10 +6,10 @@ [1X including double coset rewriting systems [101X - 1.34 + 1.37 - 13 March 2022 + 23 January 2024 Anne Heyworth @@ -19,17 +19,8 @@ Chris Wensley - Email: [7Xmailto:[email protected][107X + Email: [7Xmailto:[email protected][107X Homepage: [7Xhttps://github.com/cdwensley[107X - Address: [33X[0;14YDr. C.D. Wensley[133X - [33X[0;14YSchool of Computer Science[133X - [33X[0;14YBangor University[133X - [33X[0;14YDean Street[133X - [33X[0;14YBangor[133X - [33X[0;14YGwynedd LL57 1UT[133X - [33X[0;14YUK[133X - - ------------------------------------------------------- [1XAbstract[101X @@ -43,13 +34,14 @@ [33X[0;0Y[5XKan[105X became an accepted [5XGAP[105X package in May 2015.[133X [33X[0;0YBug reports, suggestions and comments are, of course, welcome. Please - contact the last author at [7Xmailto:[email protected][107X or submit an - issue at the GitHub repository [7Xhttps://github.com/gap-packages/kan/issues/[107X.[133X + contact the last author at [7Xmailto:[email protected][107X or submit + an issue at the GitHub repository + [7Xhttps://github.com/gap-packages/kan/issues/[107X.[133X ------------------------------------------------------- [1XCopyright[101X - [33X[0;0Y© 1996-2022 Anne Heyworth and Chris Wensley[133X + [33X[0;0Y© 1996-2024 Anne Heyworth and Chris Wensley[133X [33X[0;0YThe [5XKan[105X 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 diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/kan-1.34/doc/chap0_mj.html new/kan-1.37/doc/chap0_mj.html --- old/kan-1.34/doc/chap0_mj.html 2022-03-13 10:10:30.000000000 +0100 +++ new/kan-1.37/doc/chap0_mj.html 2024-01-23 19:19:20.000000000 +0100 @@ -32,10 +32,10 @@ <h2>including double coset rewriting systems</h2> <p> - 1.34</p> + 1.37</p> <p> - 13 March 2022 + 23 January 2024 </p> </div> @@ -48,11 +48,9 @@ - </b> -<br />Email: <span class="URL"><a href="mailto:[email protected]";>[email protected]</a></span> +<br />Email: <span class="URL"><a href="mailto:[email protected]";>[email protected]</a></span> <br />Homepage: <span class="URL"><a href="https://github.com/cdwensley";>https://github.com/cdwensley</a></span> -<br />Address: <br />Dr. C.D. Wensley<br /> School of Computer Science<br /> Bangor University<br /> Dean Street<br /> Bangor<br /> Gwynedd LL57 1UT<br /> UK<br /> </p> <p><a id="X7AA6C5737B711C89" name="X7AA6C5737B711C89"></a></p> @@ -63,11 +61,11 @@ <p><strong class="pkg">Kan</strong> became an accepted <strong class="pkg">GAP</strong> package in May 2015.</p> -<p>Bug reports, suggestions and comments are, of course, welcome. Please contact the last author at <span class="URL"><a href="mailto:[email protected]";>[email protected]</a></span> or submit an issue at the GitHub repository <span class="URL"><a href="https://github.com/gap-packages/kan/issues/";>https://github.com/gap-packages/kan/issues/</a></span>.</p> +<p>Bug reports, suggestions and comments are, of course, welcome. Please contact the last author at <span class="URL"><a href="mailto:[email protected]";>[email protected]</a></span> or submit an issue at the GitHub repository <span class="URL"><a href="https://github.com/gap-packages/kan/issues/";>https://github.com/gap-packages/kan/issues/</a></span>.</p> <p><a id="X81488B807F2A1CF1" name="X81488B807F2A1CF1"></a></p> <h3>Copyright</h3> -<p>© 1996-2022 Anne Heyworth and Chris Wensley</p> +<p>© 1996-2024 Anne Heyworth and Chris Wensley</p> <p>The <strong class="pkg">Kan</strong> 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> diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/kan-1.34/doc/chap2.html new/kan-1.37/doc/chap2.html --- old/kan-1.34/doc/chap2.html 2022-03-13 10:10:30.000000000 +0100 +++ new/kan-1.37/doc/chap2.html 2024-01-23 19:19:20.000000000 +0100 @@ -68,7 +68,7 @@ <p>We take as an example the fundamental group of the oriented surface of genus 2. The generators are by default ordered <code class="code">[A,a,B,b,C,c,D,d]</code>, so the list <code class="code">L = [2,1,4,3,6,5,8,7]</code> is used to specify the order <code class="code">[a,A,b,B,c,C,d,D]</code> to be used with the wreath ordering. Specifying a limit <code class="code">0</code> means that no limit is prescribed.</p> -<p>The operation <code class="code">DisplayRwsRules</code> prints out the rules using the letters in the given alphabet <code class="code">alph4</code> rather than using the generators of the monoid.</p> +<p>The operation <code class="code">DisplayRwsRules</code> prints out the rules using the letters in the given alphabet <code class="code">alph4</code> rather than using the generators of the monoid. (As from September 2023 the rules are first converted to a set, so that the output is the same in the latest released version and in the development version.)</p> <p>An additional method for <code class="code">ReducedForm(G,g)</code> is provided for a finitely presented group <code class="code">G</code> with a rewriting system and an element <code class="code">g</code> of <code class="code">G</code>.</p> @@ -83,9 +83,9 @@ <span class="GAPprompt">gap></span> <span class="GAPinput">alph4 := "aAbBcCdD";;</span> <span class="GAPprompt">gap></span> <span class="GAPinput">rws4 := ReducedConfluentRewritingSystem( H4, L, order, 0, alph4 );;</span> <span class="GAPprompt">gap></span> <span class="GAPinput">DisplayRwsRules( rws4 );</span> -[ [ aA, id ], [ Aa, id ], [ bB, id ], [ Bb, id ], [ cC, id ], [ Cc, id ], [ dD\ -, id ], [ Dd, id ], [ cd, dcBAba ], [ cBAbaD, Dc ], [ CD, BAbaDC ], [ Cd, dABa\ -bC ] ] +[ [ aA, id ], [ Aa, id ], [ bB, id ], [ Bb, id ], [ cC, id ], [ cd, dcBAba ], \ +[ Cc, id ], [ Cd, dABabC ], [ CD, BAbaDC ], [ dD, id ], [ Dd, id ], [ cBAbaD, \ +Dc ] ] true <span class="GAPprompt">gap></span> <span class="GAPinput">a := H4.1;; b := H4.2;; c := H4.3;; d := H4.4;; </span> <span class="GAPprompt">gap></span> <span class="GAPinput">ReducedForm( H4, c*d);</span> @@ -173,14 +173,14 @@ G-rules: [ [ Aa, id ], [ aA, id ], [ Bb, id ], [ bB, id ] ] H-rules: -[ [ Haaaa, HAA ], - [ HAAA, Haaa ] ] +[ [ HAAA, Haaa ], + [ Haaaa, HAA ] ] K-rules: -[ [ aaaK, AK ], - [ AAK, aaK ] ] +[ [ AAK, aaK ], + [ aaaK, AK ] ] H-K-rules: -[ [ HaaK, HK ], - [ HAK, HaK ] ] +[ [ HAK, HaK ], + [ HaaK, HK ] ] </pre></div> @@ -291,7 +291,8 @@ <span class="GAPprompt">gap></span> <span class="GAPinput">orderT := "wreath";;</span> <span class="GAPprompt">gap></span> <span class="GAPinput">rwsT := ReducedConfluentRewritingSystem( T, ordT, orderT, 0, alphT );;</span> <span class="GAPprompt">gap></span> <span class="GAPinput">DisplayRwsRules( rwsT );;</span> -[ [ dD, id ], [ Dd, id ], [ C, ccDD ], [ ccc, dd ], [ ddc, cdd ], [ Dc, dcDD ]\ +[ [ C, ccDD ], [ dD, id ], [ Dc, dcDD ], [ Dd, id ], [ ccc, dd ], [ \ +ddc, cdd ]\ ] <span class="GAPprompt">gap></span> <span class="GAPinput">accT := WordAcceptorOfReducedRws( rwsT );</span> < deterministic automaton on 4 letters with 7 states > diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/kan-1.34/doc/chap2.txt new/kan-1.37/doc/chap2.txt --- old/kan-1.34/doc/chap2.txt 2022-03-13 10:10:25.000000000 +0100 +++ new/kan-1.37/doc/chap2.txt 2024-01-23 19:19:18.000000000 +0100 @@ -31,7 +31,10 @@ prescribed.[133X [33X[0;0YThe operation [10XDisplayRwsRules[110X prints out the rules using the letters in the - given alphabet [10Xalph4[110X rather than using the generators of the monoid.[133X + given alphabet [10Xalph4[110X rather than using the generators of the monoid. (As + from September 2023 the rules are first converted to a set, so that the + output is the same in the latest released version and in the development + version.)[133X [33X[0;0YAn additional method for [10XReducedForm(G,g)[110X is provided for a finitely presented group [10XG[110X with a rewriting system and an element [10Xg[110X of [10XG[110X.[133X @@ -46,9 +49,9 @@ [4X[25Xgap>[125X [27Xalph4 := "aAbBcCdD";;[127X[104X [4X[25Xgap>[125X [27Xrws4 := ReducedConfluentRewritingSystem( H4, L, order, 0, alph4 );;[127X[104X [4X[25Xgap>[125X [27XDisplayRwsRules( rws4 );[127X[104X - [4X[28X[ [ aA, id ], [ Aa, id ], [ bB, id ], [ Bb, id ], [ cC, id ], [ Cc, id ], [ dD\[128X[104X - [4X[28X, id ], [ Dd, id ], [ cd, dcBAba ], [ cBAbaD, Dc ], [ CD, BAbaDC ], [ Cd, dABa\[128X[104X - [4X[28XbC ] ][128X[104X + [4X[28X[ [ aA, id ], [ Aa, id ], [ bB, id ], [ Bb, id ], [ cC, id ], [ cd, dcBAba ], \[128X[104X + [4X[28X[ Cc, id ], [ Cd, dABabC ], [ CD, BAbaDC ], [ dD, id ], [ Dd, id ], [ cBAbaD, \[128X[104X + [4X[28XDc ] ][128X[104X [4X[28Xtrue[128X[104X [4X[25Xgap>[125X [27Xa := H4.1;; b := H4.2;; c := H4.3;; d := H4.4;; [127X[104X [4X[25Xgap>[125X [27XReducedForm( H4, c*d);[127X[104X @@ -143,14 +146,14 @@ [4X[28XG-rules:[128X[104X [4X[28X[ [ Aa, id ], [ aA, id ], [ Bb, id ], [ bB, id ] ][128X[104X [4X[28XH-rules:[128X[104X - [4X[28X[ [ Haaaa, HAA ],[128X[104X - [4X[28X [ HAAA, Haaa ] ][128X[104X + [4X[28X[ [ HAAA, Haaa ],[128X[104X + [4X[28X [ Haaaa, HAA ] ][128X[104X [4X[28XK-rules:[128X[104X - [4X[28X[ [ aaaK, AK ],[128X[104X - [4X[28X [ AAK, aaK ] ][128X[104X + [4X[28X[ [ AAK, aaK ],[128X[104X + [4X[28X [ aaaK, AK ] ][128X[104X [4X[28XH-K-rules:[128X[104X - [4X[28X[ [ HaaK, HK ],[128X[104X - [4X[28X [ HAK, HaK ] ][128X[104X + [4X[28X[ [ HAK, HaK ],[128X[104X + [4X[28X [ HaaK, HK ] ][128X[104X [4X[28X[128X[104X [4X[32X[104X @@ -256,7 +259,8 @@ [4X[25Xgap>[125X [27XorderT := "wreath";;[127X[104X [4X[25Xgap>[125X [27XrwsT := ReducedConfluentRewritingSystem( T, ordT, orderT, 0, alphT );;[127X[104X [4X[25Xgap>[125X [27XDisplayRwsRules( rwsT );;[127X[104X - [4X[28X[ [ dD, id ], [ Dd, id ], [ C, ccDD ], [ ccc, dd ], [ ddc, cdd ], [ Dc, dcDD ]\[128X[104X + [4X[28X[ [ C, ccDD ], [ dD, id ], [ Dc, dcDD ], [ Dd, id ], [ ccc, dd ], [ \[128X[104X + [4X[28Xddc, cdd ]\[128X[104X [4X[28X ][128X[104X [4X[25Xgap>[125X [27XaccT := WordAcceptorOfReducedRws( rwsT );[127X[104X [4X[28X< deterministic automaton on 4 letters with 7 states >[128X[104X diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/kan-1.34/doc/chap2_mj.html new/kan-1.37/doc/chap2_mj.html --- old/kan-1.34/doc/chap2_mj.html 2022-03-13 10:10:30.000000000 +0100 +++ new/kan-1.37/doc/chap2_mj.html 2024-01-23 19:19:20.000000000 +0100 @@ -71,7 +71,7 @@ <p>We take as an example the fundamental group of the oriented surface of genus 2. The generators are by default ordered <code class="code">[A,a,B,b,C,c,D,d]</code>, so the list <code class="code">L = [2,1,4,3,6,5,8,7]</code> is used to specify the order <code class="code">[a,A,b,B,c,C,d,D]</code> to be used with the wreath ordering. Specifying a limit <code class="code">0</code> means that no limit is prescribed.</p> -<p>The operation <code class="code">DisplayRwsRules</code> prints out the rules using the letters in the given alphabet <code class="code">alph4</code> rather than using the generators of the monoid.</p> +<p>The operation <code class="code">DisplayRwsRules</code> prints out the rules using the letters in the given alphabet <code class="code">alph4</code> rather than using the generators of the monoid. (As from September 2023 the rules are first converted to a set, so that the output is the same in the latest released version and in the development version.)</p> <p>An additional method for <code class="code">ReducedForm(G,g)</code> is provided for a finitely presented group <code class="code">G</code> with a rewriting system and an element <code class="code">g</code> of <code class="code">G</code>.</p> @@ -86,9 +86,9 @@ <span class="GAPprompt">gap></span> <span class="GAPinput">alph4 := "aAbBcCdD";;</span> <span class="GAPprompt">gap></span> <span class="GAPinput">rws4 := ReducedConfluentRewritingSystem( H4, L, order, 0, alph4 );;</span> <span class="GAPprompt">gap></span> <span class="GAPinput">DisplayRwsRules( rws4 );</span> -[ [ aA, id ], [ Aa, id ], [ bB, id ], [ Bb, id ], [ cC, id ], [ Cc, id ], [ dD\ -, id ], [ Dd, id ], [ cd, dcBAba ], [ cBAbaD, Dc ], [ CD, BAbaDC ], [ Cd, dABa\ -bC ] ] +[ [ aA, id ], [ Aa, id ], [ bB, id ], [ Bb, id ], [ cC, id ], [ cd, dcBAba ], \ +[ Cc, id ], [ Cd, dABabC ], [ CD, BAbaDC ], [ dD, id ], [ Dd, id ], [ cBAbaD, \ +Dc ] ] true <span class="GAPprompt">gap></span> <span class="GAPinput">a := H4.1;; b := H4.2;; c := H4.3;; d := H4.4;; </span> <span class="GAPprompt">gap></span> <span class="GAPinput">ReducedForm( H4, c*d);</span> @@ -176,14 +176,14 @@ G-rules: [ [ Aa, id ], [ aA, id ], [ Bb, id ], [ bB, id ] ] H-rules: -[ [ Haaaa, HAA ], - [ HAAA, Haaa ] ] +[ [ HAAA, Haaa ], + [ Haaaa, HAA ] ] K-rules: -[ [ aaaK, AK ], - [ AAK, aaK ] ] +[ [ AAK, aaK ], + [ aaaK, AK ] ] H-K-rules: -[ [ HaaK, HK ], - [ HAK, HaK ] ] +[ [ HAK, HaK ], + [ HaaK, HK ] ] </pre></div> @@ -294,7 +294,8 @@ <span class="GAPprompt">gap></span> <span class="GAPinput">orderT := "wreath";;</span> <span class="GAPprompt">gap></span> <span class="GAPinput">rwsT := ReducedConfluentRewritingSystem( T, ordT, orderT, 0, alphT );;</span> <span class="GAPprompt">gap></span> <span class="GAPinput">DisplayRwsRules( rwsT );;</span> -[ [ dD, id ], [ Dd, id ], [ C, ccDD ], [ ccc, dd ], [ ddc, cdd ], [ Dc, dcDD ]\ +[ [ C, ccDD ], [ dD, id ], [ Dc, dcDD ], [ Dd, id ], [ ccc, dd ], [ \ +ddc, cdd ]\ ] <span class="GAPprompt">gap></span> <span class="GAPinput">accT := WordAcceptorOfReducedRws( rwsT );</span> < deterministic automaton on 4 letters with 7 states > diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/kan-1.34/doc/chap3.html new/kan-1.37/doc/chap3.html --- old/kan-1.34/doc/chap3.html 2022-03-13 10:10:30.000000000 +0100 +++ new/kan-1.37/doc/chap3.html 2024-01-23 19:19:20.000000000 +0100 @@ -59,7 +59,7 @@ <p>Version 1.28, of May 2017, saw a great many changes to the examples, with the various rewriting systems used to perform reduction of words to reduced form.</p> -<p>Only minor changes have been made in recent years. The latest version is 1.34 of March 2022.</p> +<p>Only minor changes have been made in recent years.</p> <p><a id="X83D1530487593182" name="X83D1530487593182"></a></p> diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/kan-1.34/doc/chap3.txt new/kan-1.37/doc/chap3.txt --- old/kan-1.34/doc/chap3.txt 2022-03-13 10:10:25.000000000 +0100 +++ new/kan-1.37/doc/chap3.txt 2024-01-23 19:19:18.000000000 +0100 @@ -25,8 +25,7 @@ the various rewriting systems used to perform reduction of words to reduced form.[133X - [33X[0;0YOnly minor changes have been made in recent years. The latest version is - 1.34 of March 2022.[133X + [33X[0;0YOnly minor changes have been made in recent years.[133X [1X3.2 [33X[0;0YWhat needs doing next?[133X[101X diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/kan-1.34/doc/chap3_mj.html new/kan-1.37/doc/chap3_mj.html --- old/kan-1.34/doc/chap3_mj.html 2022-03-13 10:10:30.000000000 +0100 +++ new/kan-1.37/doc/chap3_mj.html 2024-01-23 19:19:20.000000000 +0100 @@ -62,7 +62,7 @@ <p>Version 1.28, of May 2017, saw a great many changes to the examples, with the various rewriting systems used to perform reduction of words to reduced form.</p> -<p>Only minor changes have been made in recent years. The latest version is 1.34 of March 2022.</p> +<p>Only minor changes have been made in recent years.</p> <p><a id="X83D1530487593182" name="X83D1530487593182"></a></p> diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/kan-1.34/doc/chapBib.html new/kan-1.37/doc/chapBib.html --- old/kan-1.34/doc/chapBib.html 2022-03-13 10:10:30.000000000 +0100 +++ new/kan-1.37/doc/chapBib.html 2024-01-23 19:19:20.000000000 +0100 @@ -69,7 +69,7 @@ <span class='BibSchool'>University of Wales, Bangor</span> (<span class='BibYear'>1999</span>)<br /> (<span class='BibNote'> - <a href="http://www.maths.bangor.ac.uk/research/ftp/theses/heyworth.ps.gz";>http://www.maths.bangor.ac.uk/research/ftp/theses/heyworth.ps.gz</a> + <a href="https://www.researchgate.net/profile/Anne-Heyworth/research";>https://www.researchgate.net/profile/Anne-Heyworth/research</a> </span>). </p> @@ -104,7 +104,7 @@ (<span class='BibYear'>2017</span>)<br /> (<span class='BibNote'> GAP package, - <a href="http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc/index.html";>http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc/index.html</a> + <a href="https://www.math.rwth-aachen.de/~Frank.Luebeck/gap/GAPDoc/index.html";>https://www.math.rwth-aachen.de/~Frank.Luebeck/gap/GAPDoc/index.html</a> </span>). </p> diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/kan-1.34/doc/chapBib.txt new/kan-1.37/doc/chapBib.txt --- old/kan-1.34/doc/chapBib.txt 2022-03-13 10:10:25.000000000 +0100 +++ new/kan-1.37/doc/chapBib.txt 2024-01-23 19:19:18.000000000 +0100 @@ -11,24 +11,24 @@ (2000), 5â31. [[20XGH17[120X] [16XGutsche, S. and Horn, M.[116X, [17XAutoDoc - Generate documentation from GAP - source code (Version 2017.09.15)[117X (2017), (( GAP package, - https://github.com/gap-packages/AutoDoc )). + source code (Version 2017.09.15)[117X (2017), ( GAP package, + https://github.com/gap-packages/AutoDoc ). [[20XHey99[120X] [16XHeyworth, A.[116X, [17XApplications of Rewriting Systems and Groebner Bases to Computing Kan Extensions and Identities Among Relations[117X, Ph.D. thesis, - University of Wales, Bangor (1999), (( - http://www.maths.bangor.ac.uk/research/ftp/theses/heyworth.ps.gz )). + University of Wales, Bangor (1999), ( + https://www.researchgate.net/profile/Anne-Heyworth/research ). [[20XHor17[120X] [16XHorn, M.[116X, [17XGitHubPagesForGAP - Template for easily using GitHub Pages - within GAP packages (Version 0.2)[117X (2017), (( GAP package, - https://gap-system.github.io/GitHubPagesForGAP/ )). + within GAP packages (Version 0.2)[117X (2017), ( GAP package, + https://gap-system.github.io/GitHubPagesForGAP/ ). [[20XLin91[120X] [16XLinton, S.[116X, [17XDouble coset enumeration[117X, [18XJ. Symbolic Comput.[118X, [19X12[119X (1991), 415â426. [[20XLN17[120X] [16XLübeck, F. and Neunhöffer, M.[116X, [17XGAPDoc (version 1.6)[117X, RWTH Aachen - (2017), (( GAP package, - http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc/index.html )). + (2017), ( GAP package, + https://www.math.rwth-aachen.de/~Frank.Luebeck/gap/GAPDoc/index.html ). diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/kan-1.34/doc/chapBib_mj.html new/kan-1.37/doc/chapBib_mj.html --- old/kan-1.34/doc/chapBib_mj.html 2022-03-13 10:10:30.000000000 +0100 +++ new/kan-1.37/doc/chapBib_mj.html 2024-01-23 19:19:20.000000000 +0100 @@ -72,7 +72,7 @@ <span class='BibSchool'>University of Wales, Bangor</span> (<span class='BibYear'>1999</span>)<br /> (<span class='BibNote'> - <a href="http://www.maths.bangor.ac.uk/research/ftp/theses/heyworth.ps.gz";>http://www.maths.bangor.ac.uk/research/ftp/theses/heyworth.ps.gz</a> + <a href="https://www.researchgate.net/profile/Anne-Heyworth/research";>https://www.researchgate.net/profile/Anne-Heyworth/research</a> </span>). </p> @@ -107,7 +107,7 @@ (<span class='BibYear'>2017</span>)<br /> (<span class='BibNote'> GAP package, - <a href="http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc/index.html";>http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc/index.html</a> + <a href="https://www.math.rwth-aachen.de/~Frank.Luebeck/gap/GAPDoc/index.html";>https://www.math.rwth-aachen.de/~Frank.Luebeck/gap/GAPDoc/index.html</a> </span>). </p> diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/kan-1.34/doc/dcrws.xml new/kan-1.37/doc/dcrws.xml --- old/kan-1.34/doc/dcrws.xml 2022-03-13 10:09:30.000000000 +0100 +++ new/kan-1.37/doc/dcrws.xml 2024-01-23 19:16:30.000000000 +0100 @@ -47,7 +47,10 @@ <P/> The operation <C>DisplayRwsRules</C> prints out the rules using the letters in the given alphabet <C>alph4</C> rather than using the generators of the -monoid. +monoid. +(As from September 2023 the rules are first converted to a set, +so that the output is the same in the latest released version +and in the development version.) <P/> <Index>ReducedForm</Index> An additional method for <C>ReducedForm(G,g)</C> is provided @@ -65,9 +68,9 @@ gap> alph4 := "aAbBcCdD";; gap> rws4 := ReducedConfluentRewritingSystem( H4, L, order, 0, alph4 );; gap> DisplayRwsRules( rws4 ); -[ [ aA, id ], [ Aa, id ], [ bB, id ], [ Bb, id ], [ cC, id ], [ Cc, id ], [ dD\ -, id ], [ Dd, id ], [ cd, dcBAba ], [ cBAbaD, Dc ], [ CD, BAbaDC ], [ Cd, dABa\ -bC ] ] +[ [ aA, id ], [ Aa, id ], [ bB, id ], [ Bb, id ], [ cC, id ], [ cd, dcBAba ], \ +[ Cc, id ], [ Cd, dABabC ], [ CD, BAbaDC ], [ dD, id ], [ Dd, id ], [ cBAbaD, \ +Dc ] ] true gap> a := H4.1;; b := H4.2;; c := H4.3;; d := H4.4;; gap> ReducedForm( H4, c*d); @@ -180,14 +183,14 @@ G-rules: [ [ Aa, id ], [ aA, id ], [ Bb, id ], [ bB, id ] ] H-rules: -[ [ Haaaa, HAA ], - [ HAAA, Haaa ] ] +[ [ HAAA, Haaa ], + [ Haaaa, HAA ] ] K-rules: -[ [ aaaK, AK ], - [ AAK, aaK ] ] +[ [ AAK, aaK ], + [ aaaK, AK ] ] H-K-rules: -[ [ HaaK, HK ], - [ HAK, HaK ] ] +[ [ HAK, HaK ], + [ HaaK, HK ] ] ]]> </Example> @@ -310,7 +313,8 @@ gap> orderT := "wreath";; gap> rwsT := ReducedConfluentRewritingSystem( T, ordT, orderT, 0, alphT );; gap> DisplayRwsRules( rwsT );; -[ [ dD, id ], [ Dd, id ], [ C, ccDD ], [ ccc, dd ], [ ddc, cdd ], [ Dc, dcDD ]\ +[ [ C, ccDD ], [ dD, id ], [ Dc, dcDD ], [ Dd, id ], [ ccc, dd ], [ \ +ddc, cdd ]\ ] gap> accT := WordAcceptorOfReducedRws( rwsT ); < deterministic automaton on 4 letters with 7 states > diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/kan-1.34/doc/history.xml new/kan-1.37/doc/history.xml --- old/kan-1.34/doc/history.xml 2022-03-13 10:09:30.000000000 +0100 +++ new/kan-1.37/doc/history.xml 2024-01-23 19:16:30.000000000 +0100 @@ -37,7 +37,6 @@ to reduced form. <P/> Only minor changes have been made in recent years. -The latest version is 1.34 of March 2022. <P/> </Section> diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/kan-1.34/doc/kan.toc new/kan-1.37/doc/kan.toc --- old/kan-1.34/doc/kan.toc 2022-03-13 10:10:30.000000000 +0100 +++ new/kan-1.37/doc/kan.toc 1970-01-01 01:00:00.000000000 +0100 @@ -1,21 +0,0 @@ -\contentsline {chapter}{\numberline {1}\textcolor {Chapter }{Introduction}}{4}{chapter.1}% -\contentsline {chapter}{\numberline {2}\textcolor {Chapter }{Double Coset Rewriting Systems}}{6}{chapter.2}% -\contentsline {section}{\numberline {2.1}\textcolor {Chapter }{Rewriting Systems}}{6}{section.2.1}% -\contentsline {subsection}{\numberline {2.1.1}\textcolor {Chapter }{KnuthBendixRewritingSystem}}{6}{subsection.2.1.1}% -\contentsline {subsection}{\numberline {2.1.2}\textcolor {Chapter }{NextWord}}{7}{subsection.2.1.2}% -\contentsline {section}{\numberline {2.2}\textcolor {Chapter }{Example 2 -- free product of two cyclic groups}}{7}{section.2.2}% -\contentsline {subsection}{\numberline {2.2.1}\textcolor {Chapter }{DoubleCosetRewritingSystem}}{7}{subsection.2.2.1}% -\contentsline {subsection}{\numberline {2.2.2}\textcolor {Chapter }{DisplayAsString}}{8}{subsection.2.2.2}% -\contentsline {subsection}{\numberline {2.2.3}\textcolor {Chapter }{WordAcceptorOfReducedRws}}{9}{subsection.2.2.3}% -\contentsline {section}{\numberline {2.3}\textcolor {Chapter }{Example 3 -- the trefoil group}}{10}{section.2.3}% -\contentsline {subsection}{\numberline {2.3.1}\textcolor {Chapter }{PartialDoubleCosetRewritingSystem}}{10}{subsection.2.3.1}% -\contentsline {section}{\numberline {2.4}\textcolor {Chapter }{Example 4 -- an infinite rewriting system}}{13}{section.2.4}% -\contentsline {subsection}{\numberline {2.4.1}\textcolor {Chapter }{KBMagRewritingSystem}}{13}{subsection.2.4.1}% -\contentsline {subsection}{\numberline {2.4.2}\textcolor {Chapter }{DCrules}}{14}{subsection.2.4.2}% -\contentsline {subsection}{\numberline {2.4.3}\textcolor {Chapter }{WordToString}}{15}{subsection.2.4.3}% -\contentsline {chapter}{\numberline {3}\textcolor {Chapter }{Development History}}{17}{chapter.3}% -\contentsline {section}{\numberline {3.1}\textcolor {Chapter }{Versions of the package}}{17}{section.3.1}% -\contentsline {section}{\numberline {3.2}\textcolor {Chapter }{What needs doing next?}}{17}{section.3.2}% -\contentsline {subsection}{\numberline {3.2.1}\textcolor {Chapter }{DoubleCosetsAutomaton}}{18}{subsection.3.2.1}% -\contentsline {chapter}{References}{19}{chapter*.5}% -\contentsline {chapter}{Index}{20}{section*.6}% diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/kan-1.34/doc/kan.xml new/kan-1.37/doc/kan.xml --- old/kan-1.34/doc/kan.xml 2022-03-13 10:10:25.000000000 +0100 +++ new/kan-1.37/doc/kan.xml 2024-01-23 19:19:18.000000000 +0100 @@ -3,11 +3,7 @@ <!-- This is an automatically generated file. --> <!DOCTYPE Book SYSTEM "gapdoc.dtd" [ -<!ENTITY AutoDoc '<Package>AutoDoc</Package>'> -<!ENTITY kan '<Package>Kan</Package>'> -<!ENTITY see '<Alt Only="LaTeX">$\to$</Alt><Alt Not="LaTeX">--></Alt>'> -<!ENTITY Automata '<Package>Automata</Package>'> -<!ENTITY Kan '<Package>Kan</Package>'> + [<#Include SYSTEM "_entities.xml"> ] > <Book Name="Kan"> diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/kan-1.34/doc/manual.js new/kan-1.37/doc/manual.js --- old/kan-1.34/doc/manual.js 2022-03-13 10:10:30.000000000 +0100 +++ new/kan-1.37/doc/manual.js 2024-01-23 19:19:20.000000000 +0100 @@ -86,7 +86,8 @@ var el = document.createElement("a"); var oncl = document.createAttribute("href"); var back = window.location.protocol+"//" - if (window.location.protocol == "http:") { + if (window.location.protocol == "http:" || + window.location.protocol == "https:") { back = back+window.location.host; if (window.location.port != "") { back = back+":"+window.location.port; Binary files old/kan-1.34/doc/manual.pdf and new/kan-1.37/doc/manual.pdf differ diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/kan-1.34/doc/manual.six new/kan-1.37/doc/manual.six --- old/kan-1.34/doc/manual.six 2022-03-13 10:10:30.000000000 +0100 +++ new/kan-1.37/doc/manual.six 2024-01-23 19:19:20.000000000 +0100 @@ -4,11 +4,11 @@ bookname := "Kan", entries := [ [ "Title page", ".", [ 0, 0, 0 ], 1, 1, "title page", "X7D2C85EC87DD46E5" ], - [ "Abstract", ".-1", [ 0, 0, 1 ], 35, 2, "abstract", "X7AA6C5737B711C89" ], - [ "Copyright", ".-2", [ 0, 0, 2 ], 51, 2, "copyright", "X81488B807F2A1CF1" ] - , [ "Acknowledgements", ".-3", [ 0, 0, 3 ], 61, 2, "acknowledgements", + [ "Abstract", ".-1", [ 0, 0, 1 ], 26, 2, "abstract", "X7AA6C5737B711C89" ], + [ "Copyright", ".-2", [ 0, 0, 2 ], 43, 2, "copyright", "X81488B807F2A1CF1" ] + , [ "Acknowledgements", ".-3", [ 0, 0, 3 ], 53, 2, "acknowledgements", "X82A988D47DFAFCFA" ], - [ "Table of Contents", ".-4", [ 0, 0, 4 ], 70, 3, "table of contents", + [ "Table of Contents", ".-4", [ 0, 0, 4 ], 62, 3, "table of contents", "X8537FEB07AF2BEC8" ], [ "\033[1X\033[33X\033[0;-2YIntroduction\033[133X\033[101X", "1", [ 1, 0, 0 ], 1, 4, "introduction", "X7DFB63A97E67C0A1" ], @@ -20,14 +20,14 @@ [ 2, 1, 0 ], 9, 6, "rewriting systems", "X7CA8FCFD81AA1890" ], [ "\033[1X\033[33X\033[0;-2YExample 2 -- free product of two cyclic groups\\ -033[133X\033[101X", "2.2", [ 2, 2, 0 ], 87, 7, +033[133X\033[101X", "2.2", [ 2, 2, 0 ], 90, 7, "example 2 -- free product of two cyclic groups", "X80B18B248603B3D6" ], [ "\033[1X\033[33X\033[0;-2YExample 3 -- the trefoil group\033[133X\033[101X\ -", "2.3", [ 2, 3, 0 ], 232, 10, "example 3 -- the trefoil group", +", "2.3", [ 2, 3, 0 ], 235, 10, "example 3 -- the trefoil group", "X82FE46C27FE55A84" ], [ "\033[1X\033[33X\033[0;-2YExample 4 -- an infinite rewriting system\033[133\ -X\033[101X", "2.4", [ 2, 4, 0 ], 402, 13, +X\033[101X", "2.4", [ 2, 4, 0 ], 406, 13, "example 4 -- an infinite rewriting system", "X7ED711187E2ECAC7" ], [ "\033[1X\033[33X\033[0;-2YDevelopment History\033[133X\033[101X", "3", [ 3, 0, 0 ], 1, 17, "development history", "X810C43BC7F63C4B4" ], @@ -35,7 +35,7 @@ "3.1", [ 3, 1, 0 ], 4, 17, "versions of the package", "X8192EA4C7B7CC5CD" ], [ "\033[1X\033[33X\033[0;-2YWhat needs doing next?\033[133X\033[101X", - "3.2", [ 3, 2, 0 ], 31, 17, "what needs doing next?", + "3.2", [ 3, 2, 0 ], 30, 17, "what needs doing next?", "X83D1530487593182" ], [ "Bibliography", "bib", [ "Bib", 0, 0 ], 1, 19, "bibliography", "X7A6F98FD85F02BFE" ], @@ -50,61 +50,61 @@ "displayrwsrules", "X87A3823483E4FF86" ], [ "ReducedForm", "2.1-1", [ 2, 1, 1 ], 12, 6, "reducedform", "X87A3823483E4FF86" ], - [ "\033[2XNextWord\033[102X", "2.1-2", [ 2, 1, 2 ], 59, 7, "nextword", + [ "\033[2XNextWord\033[102X", "2.1-2", [ 2, 1, 2 ], 62, 7, "nextword", "X7AF0265982B42E47" ], - [ "\033[2XNextWords\033[102X", "2.1-2", [ 2, 1, 2 ], 59, 7, "nextwords", + [ "\033[2XNextWords\033[102X", "2.1-2", [ 2, 1, 2 ], 62, 7, "nextwords", "X7AF0265982B42E47" ], - [ "example -- free product", "2.2", [ 2, 2, 0 ], 87, 7, + [ "example -- free product", "2.2", [ 2, 2, 0 ], 90, 7, "example -- free product", "X80B18B248603B3D6" ], - [ "\033[2XDoubleCosetRewritingSystem\033[102X", "2.2-1", [ 2, 2, 1 ], 90, + [ "\033[2XDoubleCosetRewritingSystem\033[102X", "2.2-1", [ 2, 2, 1 ], 93, 7, "doublecosetrewritingsystem", "X825D1F4D85DE122D" ], - [ "\033[2XIsDoubleCosetRewritingSystem\033[102X", "2.2-1", [ 2, 2, 1 ], 90, + [ "\033[2XIsDoubleCosetRewritingSystem\033[102X", "2.2-1", [ 2, 2, 1 ], 93, 7, "isdoublecosetrewritingsystem", "X825D1F4D85DE122D" ], - [ "\033[2XDisplayAsString\033[102X", "2.2-2", [ 2, 2, 2 ], 160, 8, + [ "\033[2XDisplayAsString\033[102X", "2.2-2", [ 2, 2, 2 ], 163, 9, "displayasstring", "X82E14C4284D89ADF" ], - [ "\033[2XWordAcceptorOfReducedRws\033[102X", "2.2-3", [ 2, 2, 3 ], 190, 9, + [ "\033[2XWordAcceptorOfReducedRws\033[102X", "2.2-3", [ 2, 2, 3 ], 193, 9, "wordacceptorofreducedrws", "X83FF05087E7B133A" ], [ "\033[2XWordAcceptorOfDoubleCosetRws\033[102X", "2.2-3", [ 2, 2, 3 ], - 190, 9, "wordacceptorofdoublecosetrws", "X83FF05087E7B133A" ], + 193, 9, "wordacceptorofdoublecosetrws", "X83FF05087E7B133A" ], [ "\033[2XIsWordAcceptorOfDoubleCosetRws\033[102X", "2.2-3", [ 2, 2, 3 ], - 190, 9, "iswordacceptorofdoublecosetrws", "X83FF05087E7B133A" ], - [ "example -- trefoil group", "2.3", [ 2, 3, 0 ], 232, 10, + 193, 9, "iswordacceptorofdoublecosetrws", "X83FF05087E7B133A" ], + [ "example -- trefoil group", "2.3", [ 2, 3, 0 ], 235, 10, "example -- trefoil group", "X82FE46C27FE55A84" ], - [ "trefoil group", "2.3", [ 2, 3, 0 ], 232, 10, "trefoil group", + [ "trefoil group", "2.3", [ 2, 3, 0 ], 235, 10, "trefoil group", "X82FE46C27FE55A84" ], [ "\033[2XPartialDoubleCosetRewritingSystem\033[102X", "2.3-1", - [ 2, 3, 1 ], 235, 10, "partialdoublecosetrewritingsystem", + [ 2, 3, 1 ], 238, 10, "partialdoublecosetrewritingsystem", "X83DE506B828F4B0D" ], [ "\033[2XWordAcceptorOfPartialDoubleCosetRws\033[102X", "2.3-1", - [ 2, 3, 1 ], 235, 10, "wordacceptorofpartialdoublecosetrws", + [ 2, 3, 1 ], 238, 10, "wordacceptorofpartialdoublecosetrws", "X83DE506B828F4B0D" ], - [ "example -- infinite rws", "2.4", [ 2, 4, 0 ], 402, 13, + [ "example -- infinite rws", "2.4", [ 2, 4, 0 ], 406, 13, "example -- infinite rws", "X7ED711187E2ECAC7" ], - [ "\033[2XKBMagRewritingSystem\033[102X", "2.4-1", [ 2, 4, 1 ], 405, 13, + [ "\033[2XKBMagRewritingSystem\033[102X", "2.4-1", [ 2, 4, 1 ], 409, 13, "kbmagrewritingsystem", "X8722C57284F51940" ], - [ "\033[2XKBMagWordAcceptor\033[102X", "2.4-1", [ 2, 4, 1 ], 405, 13, + [ "\033[2XKBMagWordAcceptor\033[102X", "2.4-1", [ 2, 4, 1 ], 409, 13, "kbmagwordacceptor", "X8722C57284F51940" ], - [ "\033[2XKBMagFSAtoAutomataDFA\033[102X", "2.4-1", [ 2, 4, 1 ], 405, 13, + [ "\033[2XKBMagFSAtoAutomataDFA\033[102X", "2.4-1", [ 2, 4, 1 ], 409, 13, "kbmagfsatoautomatadfa", "X8722C57284F51940" ], - [ "\033[2XWordAcceptorByKBMag\033[102X", "2.4-1", [ 2, 4, 1 ], 405, 13, + [ "\033[2XWordAcceptorByKBMag\033[102X", "2.4-1", [ 2, 4, 1 ], 409, 13, "wordacceptorbykbmag", "X8722C57284F51940" ], [ "\033[2XWordAcceptorByKBMagOfDoubleCosetRws\033[102X", "2.4-1", - [ 2, 4, 1 ], 405, 13, "wordacceptorbykbmagofdoublecosetrws", + [ 2, 4, 1 ], 409, 13, "wordacceptorbykbmagofdoublecosetrws", "X8722C57284F51940" ], - [ "\033[2XDCrules\033[102X", "2.4-2", [ 2, 4, 2 ], 452, 14, "dcrules", + [ "\033[2XDCrules\033[102X", "2.4-2", [ 2, 4, 2 ], 456, 14, "dcrules", "X815C08FD87D014B5" ], - [ "\033[2XHrules\033[102X", "2.4-2", [ 2, 4, 2 ], 452, 14, "hrules", + [ "\033[2XHrules\033[102X", "2.4-2", [ 2, 4, 2 ], 456, 14, "hrules", "X815C08FD87D014B5" ], - [ "\033[2XKrules\033[102X", "2.4-2", [ 2, 4, 2 ], 452, 14, "krules", + [ "\033[2XKrules\033[102X", "2.4-2", [ 2, 4, 2 ], 456, 14, "krules", "X815C08FD87D014B5" ], - [ "\033[2XHKrules\033[102X", "2.4-2", [ 2, 4, 2 ], 452, 14, "hkrules", + [ "\033[2XHKrules\033[102X", "2.4-2", [ 2, 4, 2 ], 456, 14, "hkrules", "X815C08FD87D014B5" ], - [ "\033[2XWordToString\033[102X", "2.4-3", [ 2, 4, 3 ], 539, 15, + [ "\033[2XWordToString\033[102X", "2.4-3", [ 2, 4, 3 ], 543, 15, "wordtostring", "X84B36973833F3B54" ], - [ "\033[2XIdentityDoubleCoset\033[102X", "2.4-3", [ 2, 4, 3 ], 539, 15, + [ "\033[2XIdentityDoubleCoset\033[102X", "2.4-3", [ 2, 4, 3 ], 543, 15, "identitydoublecoset", "X84B36973833F3B54" ], - [ "\033[2XDoubleCosetsAutomaton\033[102X", "3.2-1", [ 3, 2, 1 ], 47, 18, + [ "\033[2XDoubleCosetsAutomaton\033[102X", "3.2-1", [ 3, 2, 1 ], 46, 18, "doublecosetsautomaton", "X852CC057809CE3EE" ], - [ "\033[2XRightCosetsAutomaton\033[102X", "3.2-1", [ 3, 2, 1 ], 47, 18, + [ "\033[2XRightCosetsAutomaton\033[102X", "3.2-1", [ 3, 2, 1 ], 46, 18, "rightcosetsautomaton", "X852CC057809CE3EE" ] ] ); diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/kan-1.34/doc/title.xml new/kan-1.37/doc/title.xml --- old/kan-1.34/doc/title.xml 2022-03-13 10:10:25.000000000 +0100 +++ new/kan-1.37/doc/title.xml 2024-01-23 19:19:18.000000000 +0100 @@ -9,7 +9,7 @@ including double coset rewriting systems </Subtitle> <Version> - 1.34 + 1.37 </Version> <Author> Anne Heyworth<Alt Only="LaTeX"><Br/></Alt> @@ -17,21 +17,12 @@ </Author> <Author> Chris Wensley<Alt Only="LaTeX"><Br/></Alt> -<Address> -Dr. C.D. Wensley<Br/> -School of Computer Science<Br/> -Bangor University<Br/> -Dean Street<Br/> -Bangor<Br/> -Gwynedd LL57 1UT<Br/> -UK<Br/> -</Address> -<Email>[email protected]</Email> +<Email>[email protected]</Email> <Homepage>https://github.com/cdwensley</Homepage> </Author> <Date> - 13 March 2022 + 23 January 2024 </Date> <Abstract> &Kan; is a &GAP; package originally implemented in 1996 using the &GAP; 3 language, to compute induced actions of categories, when the first author was studying for a Ph.D. in Bangor. @@ -41,13 +32,11 @@ &Kan; became an accepted &GAP; package in May 2015. <P/> Bug reports, suggestions and comments are, of course, welcome. -Please contact the last author at <Email>[email protected]</Email> or submit an issue at the GitHub repository <URL>https://github.com/gap-packages/kan/issues/</URL>. - +Please contact the last author at <Email>[email protected]</Email> or submit an issue at the GitHub repository <URL>https://github.com/gap-packages/kan/issues/</URL>. </Abstract> <Copyright> - ©right; 1996-2022 Anne Heyworth and Chris Wensley<P/> + ©right; 1996-2024 Anne Heyworth and Chris Wensley<P/> 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. - </Copyright> <Acknowledgements> This documentation was prepared using the &GAPDoc; <Cite Key='GAPDoc'/> and &AutoDoc; <Cite Key='AutoDoc'/> packages.<P/> diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/kan-1.34/init.g new/kan-1.37/init.g --- old/kan-1.34/init.g 2022-03-13 10:09:30.000000000 +0100 +++ new/kan-1.37/init.g 2024-01-23 19:16:30.000000000 +0100 @@ -3,6 +3,10 @@ #W init.g GAP package `kan' Chris Wensley #W & Anne Heyworth +if not IsBound( PreImagesRepresentativeNC ) then + BindGlobal( "PreImagesRepresentativeNC", PreImagesRepresentative ); +fi; + ## read the function declarations ReadPackage( "kan", "lib/dcrws.gd" ); diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/kan-1.34/lib/dcrws.gi new/kan-1.37/lib/dcrws.gi --- old/kan-1.34/lib/dcrws.gi 2022-03-13 10:09:30.000000000 +0100 +++ new/kan-1.37/lib/dcrws.gi 2024-01-23 19:16:30.000000000 +0100 @@ -2,7 +2,7 @@ ## #W dcrws.gi Kan Package Chris Wensley #W & Anne Heyworth -#Y Copyright (C) 1996-2017, Chris Wensley and Anne Heyworth +#Y Copyright (C) 1996-2023, Chris Wensley and Anne Heyworth ## ## This file contains generic methods for double coset rewriting systems ## @@ -170,6 +170,8 @@ fi; fi; cG:=0; cH:=0; cK:=0; cHK:=0; + ## (15/8/23) make output same for GAP 4.12 and gapdev + rules := Set(rules); numr := Length( rules ); type := ListWithIdenticalEntries( numr, 0 ); if extended then diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/kan-1.34/lib/kbrws.gi new/kan-1.37/lib/kbrws.gi --- old/kan-1.34/lib/kbrws.gi 2022-03-13 10:09:30.000000000 +0100 +++ new/kan-1.37/lib/kbrws.gi 2024-01-23 19:16:30.000000000 +0100 @@ -1,8 +1,8 @@ ############################################################################## ## -#W kbrws.gi Kan Package Chris Wensley -#W & Anne Heyworth -#Y Copyright (C) 1996-2017, Chris Wensley and Anne Heyworth +#W kbrws.gi Kan Package Chris Wensley +#W & Anne Heyworth +#Y Copyright (C) 1996-2023, Chris Wensley and Anne Heyworth ## ## This file contains functions taken from the library files ## rws.gi and kbsemi.gi, and modified to allow partial rewrite systems @@ -261,7 +261,7 @@ mg := Image( hom, g ); r := ReducedForm( rws, UnderlyingElement(mg) ); rmg := ElementOfFpMonoid( fam, r ); - rg := PreImagesRepresentative( hom, rmg ); + rg := PreImagesRepresentativeNC( hom, rmg ); return rg; end ); diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/kan-1.34/makedoc.g new/kan-1.37/makedoc.g --- old/kan-1.34/makedoc.g 2022-03-13 10:09:30.000000000 +0100 +++ new/kan-1.37/makedoc.g 2024-01-23 19:16:30.000000000 +0100 @@ -4,6 +4,7 @@ ## call this with GAP from within the package root directory LoadPackage( "Kan" ); +LoadPackage( "GAPDoc" ); LoadPackage( "AutoDoc" ); AutoDoc(rec( diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/kan-1.34/tst/dcrws1.g new/kan-1.37/tst/dcrws1.g --- old/kan-1.34/tst/dcrws1.g 2022-03-13 10:09:30.000000000 +0100 +++ new/kan-1.37/tst/dcrws1.g 1970-01-01 01:00:00.000000000 +0100 @@ -1,4 +0,0 @@ -## kan/tst/dcrws1.g -LoadPackage("kan"); -Print( "running dcrws1.tst\n" ); -Test( "tst/manual/dcrws1.tst", rec(compareFunction := "uptowhitespace") ); diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/kan-1.34/tst/dcrws2.g new/kan-1.37/tst/dcrws2.g --- old/kan-1.34/tst/dcrws2.g 2022-03-13 10:09:30.000000000 +0100 +++ new/kan-1.37/tst/dcrws2.g 1970-01-01 01:00:00.000000000 +0100 @@ -1,4 +0,0 @@ -## kan/tst/dcrws2.g -LoadPackage("kan"); -Print( "running dcrws2.tst\n" ); -Test( "tst/manual/dcrws2.tst", rec(compareFunction := "uptowhitespace") ); diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/kan-1.34/tst/dcrws3.g new/kan-1.37/tst/dcrws3.g --- old/kan-1.34/tst/dcrws3.g 2022-03-13 10:09:30.000000000 +0100 +++ new/kan-1.37/tst/dcrws3.g 1970-01-01 01:00:00.000000000 +0100 @@ -1,4 +0,0 @@ -## kan/tst/dcrws3.g -LoadPackage("kan"); -Print( "running dcrws3.tst\n" ); -Test( "tst/manual/dcrws3.tst", rec(compareFunction := "uptowhitespace") ); diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/kan-1.34/tst/dcrws4.g new/kan-1.37/tst/dcrws4.g --- old/kan-1.34/tst/dcrws4.g 2022-03-13 10:09:30.000000000 +0100 +++ new/kan-1.37/tst/dcrws4.g 1970-01-01 01:00:00.000000000 +0100 @@ -1,4 +0,0 @@ -## kan/tst/dcrws4.g -LoadPackage("kan"); -Print( "running dcrws4.tst\n" ); -Test( "tst/manual/dcrws4.tst", rec(compareFunction := "uptowhitespace") ); diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/kan-1.34/tst/history.g new/kan-1.37/tst/history.g --- old/kan-1.34/tst/history.g 2022-03-13 10:09:30.000000000 +0100 +++ new/kan-1.37/tst/history.g 1970-01-01 01:00:00.000000000 +0100 @@ -1,4 +0,0 @@ -## kan/tst/history.g -LoadPackage("kan"); -Print( "running history.tst\n" ); -Test( "tst/manual/history.tst", rec(compareFunction := "uptowhitespace") ); diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/kan-1.34/tst/kbtest.g new/kan-1.37/tst/kbtest.g --- old/kan-1.34/tst/kbtest.g 2022-03-13 10:09:30.000000000 +0100 +++ new/kan-1.37/tst/kbtest.g 1970-01-01 01:00:00.000000000 +0100 @@ -1,4 +0,0 @@ -## kan/tst/kbtest.g -LoadPackage("kan"); -Print( "running kbtest.tst\n" ); -Test( "tst/extra/kbtest.tst", rec(compareFunction := "uptowhitespace") ); diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/kan-1.34/tst/manual/dcrws1.tst new/kan-1.37/tst/manual/dcrws1.tst --- old/kan-1.34/tst/manual/dcrws1.tst 2022-03-13 10:09:30.000000000 +0100 +++ new/kan-1.37/tst/manual/dcrws1.tst 2024-01-23 19:16:30.000000000 +0100 @@ -2,7 +2,7 @@ ## #W dcrws1.tst Kan Package Chris Wensley #W & Anne Heyworth -#Y Copyright (C) 1996-2019, Chris Wensley and Anne Heyworth +#Y Copyright (C) 1996-2023, Chris Wensley and Anne Heyworth #Y School of Computer Science, Bangor University, U.K. ## gap> START_TEST( "Kan package: dcrws1.tst" ); @@ -23,9 +23,9 @@ gap> alph4 := "aAbBcCdD";; gap> rws4 := ReducedConfluentRewritingSystem( H4, L, order, 0, alph4 );; gap> DisplayRwsRules( rws4 ); -[ [ aA, id ], [ Aa, id ], [ bB, id ], [ Bb, id ], [ cC, id ], [ Cc, id ], [ dD\ -, id ], [ Dd, id ], [ cd, dcBAba ], [ cBAbaD, Dc ], [ CD, BAbaDC ], [ Cd, dABa\ -bC ] ] +[ [ aA, id ], [ Aa, id ], [ bB, id ], [ Bb, id ], [ cC, id ], [ cd, dcBAba ], \ +[ Cc, id ], [ Cd, dABabC ], [ CD, BAbaDC ], [ dD, id ], [ Dd, id ], [ cBAbaD, \ +Dc ] ] true gap> a := H4.1;; b := H4.2;; c := H4.3;; d := H4.4;; gap> c*d; diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/kan-1.34/tst/manual/dcrws2.tst new/kan-1.37/tst/manual/dcrws2.tst --- old/kan-1.34/tst/manual/dcrws2.tst 2022-03-13 10:09:30.000000000 +0100 +++ new/kan-1.37/tst/manual/dcrws2.tst 2024-01-23 19:16:30.000000000 +0100 @@ -35,14 +35,14 @@ G-rules: [ [ Aa, id ], [ aA, id ], [ Bb, id ], [ bB, id ] ] H-rules: -[ [ Haaaa, HAA ], - [ HAAA, Haaa ] ] +[ [ HAAA, Haaa ], + [ Haaaa, HAA ] ] K-rules: -[ [ aaaK, AK ], - [ AAK, aaK ] ] +[ [ AAK, aaK ], + [ aaaK, AK ] ] H-K-rules: -[ [ HaaK, HK ], - [ HAK, HaK ] ] +[ [ HAK, HaK ], + [ HaaK, HK ] ] gap> free := FreeMonoidOfRewritingSystem( dcrws1 );; gap> mon := MonoidOfRewritingSystem( dcrws1 );; diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/kan-1.34/tst/manual/dcrws3.tst new/kan-1.37/tst/manual/dcrws3.tst --- old/kan-1.34/tst/manual/dcrws3.tst 2022-03-13 10:09:30.000000000 +0100 +++ new/kan-1.37/tst/manual/dcrws3.tst 2024-01-23 19:16:30.000000000 +0100 @@ -26,7 +26,8 @@ gap> orderT := "wreath";; gap> rwsT := ReducedConfluentRewritingSystem( T, ordT, orderT, 0, alphT );; gap> DisplayRwsRules( rwsT );; -[ [ dD, id ], [ Dd, id ], [ C, ccDD ], [ ccc, dd ], [ ddc, cdd ], [ Dc, dcDD ]\ +[ [ C, ccDD ], [ dD, id ], [ Dc, dcDD ], [ Dd, id ], [ ccc, dd ], [ \ +ddc, cdd ]\ ] gap> accT := WordAcceptorOfReducedRws( rwsT ); < deterministic automaton on 4 letters with 7 states >
