Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: gap-kbmag | Distribution: openSUSE Tumbleweed |
Version: 1.5.10 | Vendor: openSUSE |
Release: 1.3 | Build date: Fri Feb 2 21:36:15 2024 |
Group: Productivity/Scientific/Math | Build host: i04-ch1d |
Size: 8447335 | Source RPM: gap-kbmag-1.5.10-1.3.src.rpm |
Packager: http://bugs.opensuse.org | |
Url: https://gap-packages.github.io/kbmag/ | |
Summary: GAP: Knuth-Bendix on Monoids and Automatic Groups |
The kbmag package is a GAP interface to some C programs for running the Knuth-Bendix completion program on finite semigroup, monoid or group presentations, and for attempting to compute automatic structures of finitely presented groups.
GPL-2.0-or-later
* Sat Nov 19 2022 Jan Engelhardt <jengelh@inai.de> - Update to release 1.5.10 * Build system changes only * Wed Nov 14 2018 Jan Engelhardt <jengelh@inai.de> - Update to new upstream release 1.5.6 * Fix crash in the gpmakefsa tools, used e.g. by AutomaticStructure (long-standing bug in kbmag which was exposed by modern compiler optimizing more aggressively) * Fri Sep 08 2017 jengelh@inai.de - Update to new upstream 1.5.4 * Stop accessing the obsolete global variable `Revision` * Other minor internal cleanup * Fri Mar 11 2016 jengelh@inai.de - Initial package (version 1.5.3) for build.opensuse.org
/usr/lib/gap /usr/lib/gap/pkg /usr/lib/gap/pkg/kbmag-1.5.10 /usr/lib/gap/pkg/kbmag-1.5.10/CHANGES /usr/lib/gap/pkg/kbmag-1.5.10/LICENSE /usr/lib/gap/pkg/kbmag-1.5.10/Makefile /usr/lib/gap/pkg/kbmag-1.5.10/Makefile.in /usr/lib/gap/pkg/kbmag-1.5.10/PackageInfo.g /usr/lib/gap/pkg/kbmag-1.5.10/README.md /usr/lib/gap/pkg/kbmag-1.5.10/bin /usr/lib/gap/pkg/kbmag-1.5.10/bin/i686-suse-linux-gnu-default32-kv8 /usr/lib/gap/pkg/kbmag-1.5.10/bin/i686-suse-linux-gnu-default32-kv8/autcos /usr/lib/gap/pkg/kbmag-1.5.10/bin/i686-suse-linux-gnu-default32-kv8/autgroup /usr/lib/gap/pkg/kbmag-1.5.10/bin/i686-suse-linux-gnu-default32-kv8/fsaand /usr/lib/gap/pkg/kbmag-1.5.10/bin/i686-suse-linux-gnu-default32-kv8/fsaandnot /usr/lib/gap/pkg/kbmag-1.5.10/bin/i686-suse-linux-gnu-default32-kv8/fsabfs /usr/lib/gap/pkg/kbmag-1.5.10/bin/i686-suse-linux-gnu-default32-kv8/fsaconcat /usr/lib/gap/pkg/kbmag-1.5.10/bin/i686-suse-linux-gnu-default32-kv8/fsacount /usr/lib/gap/pkg/kbmag-1.5.10/bin/i686-suse-linux-gnu-default32-kv8/fsaenumerate /usr/lib/gap/pkg/kbmag-1.5.10/bin/i686-suse-linux-gnu-default32-kv8/fsaexists /usr/lib/gap/pkg/kbmag-1.5.10/bin/i686-suse-linux-gnu-default32-kv8/fsafilter /usr/lib/gap/pkg/kbmag-1.5.10/bin/i686-suse-linux-gnu-default32-kv8/fsagrowth /usr/lib/gap/pkg/kbmag-1.5.10/bin/i686-suse-linux-gnu-default32-kv8/fsalabmin /usr/lib/gap/pkg/kbmag-1.5.10/bin/i686-suse-linux-gnu-default32-kv8/fsalequal /usr/lib/gap/pkg/kbmag-1.5.10/bin/i686-suse-linux-gnu-default32-kv8/fsamin /usr/lib/gap/pkg/kbmag-1.5.10/bin/i686-suse-linux-gnu-default32-kv8/fsanot /usr/lib/gap/pkg/kbmag-1.5.10/bin/i686-suse-linux-gnu-default32-kv8/fsaor /usr/lib/gap/pkg/kbmag-1.5.10/bin/i686-suse-linux-gnu-default32-kv8/fsaprune /usr/lib/gap/pkg/kbmag-1.5.10/bin/i686-suse-linux-gnu-default32-kv8/fsareverse /usr/lib/gap/pkg/kbmag-1.5.10/bin/i686-suse-linux-gnu-default32-kv8/fsastar /usr/lib/gap/pkg/kbmag-1.5.10/bin/i686-suse-linux-gnu-default32-kv8/fsaswapcoords /usr/lib/gap/pkg/kbmag-1.5.10/bin/i686-suse-linux-gnu-default32-kv8/gpaxioms /usr/lib/gap/pkg/kbmag-1.5.10/bin/i686-suse-linux-gnu-default32-kv8/gpcheckmult /usr/lib/gap/pkg/kbmag-1.5.10/bin/i686-suse-linux-gnu-default32-kv8/gpchecksubwa /usr/lib/gap/pkg/kbmag-1.5.10/bin/i686-suse-linux-gnu-default32-kv8/gpcomp /usr/lib/gap/pkg/kbmag-1.5.10/bin/i686-suse-linux-gnu-default32-kv8/gpdifflabs /usr/lib/gap/pkg/kbmag-1.5.10/bin/i686-suse-linux-gnu-default32-kv8/gpgenmult /usr/lib/gap/pkg/kbmag-1.5.10/bin/i686-suse-linux-gnu-default32-kv8/gpgenmult2 /usr/lib/gap/pkg/kbmag-1.5.10/bin/i686-suse-linux-gnu-default32-kv8/gpgeowa /usr/lib/gap/pkg/kbmag-1.5.10/bin/i686-suse-linux-gnu-default32-kv8/gpmakefsa /usr/lib/gap/pkg/kbmag-1.5.10/bin/i686-suse-linux-gnu-default32-kv8/gpmakesubwa /usr/lib/gap/pkg/kbmag-1.5.10/bin/i686-suse-linux-gnu-default32-kv8/gpmicomp /usr/lib/gap/pkg/kbmag-1.5.10/bin/i686-suse-linux-gnu-default32-kv8/gpmigenmult /usr/lib/gap/pkg/kbmag-1.5.10/bin/i686-suse-linux-gnu-default32-kv8/gpmigenmult2 /usr/lib/gap/pkg/kbmag-1.5.10/bin/i686-suse-linux-gnu-default32-kv8/gpmigmdet /usr/lib/gap/pkg/kbmag-1.5.10/bin/i686-suse-linux-gnu-default32-kv8/gpmimult /usr/lib/gap/pkg/kbmag-1.5.10/bin/i686-suse-linux-gnu-default32-kv8/gpmimult2 /usr/lib/gap/pkg/kbmag-1.5.10/bin/i686-suse-linux-gnu-default32-kv8/gpminkb /usr/lib/gap/pkg/kbmag-1.5.10/bin/i686-suse-linux-gnu-default32-kv8/gpmult /usr/lib/gap/pkg/kbmag-1.5.10/bin/i686-suse-linux-gnu-default32-kv8/gpmult2 /usr/lib/gap/pkg/kbmag-1.5.10/bin/i686-suse-linux-gnu-default32-kv8/gpsubpres /usr/lib/gap/pkg/kbmag-1.5.10/bin/i686-suse-linux-gnu-default32-kv8/gpsubwa /usr/lib/gap/pkg/kbmag-1.5.10/bin/i686-suse-linux-gnu-default32-kv8/gpwa /usr/lib/gap/pkg/kbmag-1.5.10/bin/i686-suse-linux-gnu-default32-kv8/kbprog /usr/lib/gap/pkg/kbmag-1.5.10/bin/i686-suse-linux-gnu-default32-kv8/kbprogcos /usr/lib/gap/pkg/kbmag-1.5.10/bin/i686-suse-linux-gnu-default32-kv8/makecosfile /usr/lib/gap/pkg/kbmag-1.5.10/bin/i686-suse-linux-gnu-default32-kv8/midfadeterminize /usr/lib/gap/pkg/kbmag-1.5.10/bin/i686-suse-linux-gnu-default32-kv8/nfadeterminize /usr/lib/gap/pkg/kbmag-1.5.10/bin/i686-suse-linux-gnu-default32-kv8/ppgap /usr/lib/gap/pkg/kbmag-1.5.10/bin/i686-suse-linux-gnu-default32-kv8/ppgap4 /usr/lib/gap/pkg/kbmag-1.5.10/bin/i686-suse-linux-gnu-default32-kv8/wordreduce /usr/lib/gap/pkg/kbmag-1.5.10/configure /usr/lib/gap/pkg/kbmag-1.5.10/doc /usr/lib/gap/pkg/kbmag-1.5.10/doc/_entities.xml /usr/lib/gap/pkg/kbmag-1.5.10/doc/chap0.html /usr/lib/gap/pkg/kbmag-1.5.10/doc/chap0.txt /usr/lib/gap/pkg/kbmag-1.5.10/doc/chap0_mj.html /usr/lib/gap/pkg/kbmag-1.5.10/doc/chap1.html /usr/lib/gap/pkg/kbmag-1.5.10/doc/chap1.txt /usr/lib/gap/pkg/kbmag-1.5.10/doc/chap1_mj.html /usr/lib/gap/pkg/kbmag-1.5.10/doc/chap2.html /usr/lib/gap/pkg/kbmag-1.5.10/doc/chap2.txt /usr/lib/gap/pkg/kbmag-1.5.10/doc/chap2_mj.html /usr/lib/gap/pkg/kbmag-1.5.10/doc/chap3.html /usr/lib/gap/pkg/kbmag-1.5.10/doc/chap3.txt /usr/lib/gap/pkg/kbmag-1.5.10/doc/chap3_mj.html /usr/lib/gap/pkg/kbmag-1.5.10/doc/chap4.html /usr/lib/gap/pkg/kbmag-1.5.10/doc/chap4.txt /usr/lib/gap/pkg/kbmag-1.5.10/doc/chap4_mj.html /usr/lib/gap/pkg/kbmag-1.5.10/doc/chapBib.html /usr/lib/gap/pkg/kbmag-1.5.10/doc/chapBib.txt /usr/lib/gap/pkg/kbmag-1.5.10/doc/chapBib_mj.html /usr/lib/gap/pkg/kbmag-1.5.10/doc/chapInd.html /usr/lib/gap/pkg/kbmag-1.5.10/doc/chapInd.txt /usr/lib/gap/pkg/kbmag-1.5.10/doc/chapInd_mj.html /usr/lib/gap/pkg/kbmag-1.5.10/doc/chooser.html /usr/lib/gap/pkg/kbmag-1.5.10/doc/cosets.xml /usr/lib/gap/pkg/kbmag-1.5.10/doc/intro.xml /usr/lib/gap/pkg/kbmag-1.5.10/doc/kbmag.bib /usr/lib/gap/pkg/kbmag-1.5.10/doc/kbmag.xml /usr/lib/gap/pkg/kbmag-1.5.10/doc/lefttoc.css /usr/lib/gap/pkg/kbmag-1.5.10/doc/manual.css /usr/lib/gap/pkg/kbmag-1.5.10/doc/manual.js /usr/lib/gap/pkg/kbmag-1.5.10/doc/manual.lab /usr/lib/gap/pkg/kbmag-1.5.10/doc/manual.mst /usr/lib/gap/pkg/kbmag-1.5.10/doc/manual.pdf /usr/lib/gap/pkg/kbmag-1.5.10/doc/manual.six /usr/lib/gap/pkg/kbmag-1.5.10/doc/nocolorprompt.css /usr/lib/gap/pkg/kbmag-1.5.10/doc/ragged.css /usr/lib/gap/pkg/kbmag-1.5.10/doc/rainbow.js /usr/lib/gap/pkg/kbmag-1.5.10/doc/rws.xml /usr/lib/gap/pkg/kbmag-1.5.10/doc/standalone.xml /usr/lib/gap/pkg/kbmag-1.5.10/doc/times.css /usr/lib/gap/pkg/kbmag-1.5.10/doc/title.xml /usr/lib/gap/pkg/kbmag-1.5.10/doc/toggless.css /usr/lib/gap/pkg/kbmag-1.5.10/doc/toggless.js /usr/lib/gap/pkg/kbmag-1.5.10/gap /usr/lib/gap/pkg/kbmag-1.5.10/gap/correspondence.g /usr/lib/gap/pkg/kbmag-1.5.10/gap/fpgtorws4.g /usr/lib/gap/pkg/kbmag-1.5.10/gap/fsa4.g /usr/lib/gap/pkg/kbmag-1.5.10/gap/kbsmg.gd /usr/lib/gap/pkg/kbmag-1.5.10/gap/kbsmg.gi /usr/lib/gap/pkg/kbmag-1.5.10/gap/kbsmg2.gi /usr/lib/gap/pkg/kbmag-1.5.10/gap/rws4.g /usr/lib/gap/pkg/kbmag-1.5.10/gap/rwssub4.g /usr/lib/gap/pkg/kbmag-1.5.10/gap/wordorder4.g /usr/lib/gap/pkg/kbmag-1.5.10/init.g /usr/lib/gap/pkg/kbmag-1.5.10/makedoc.g /usr/lib/gap/pkg/kbmag-1.5.10/read.g /usr/lib/gap/pkg/kbmag-1.5.10/tst /usr/lib/gap/pkg/kbmag-1.5.10/tst/example1.tst /usr/lib/gap/pkg/kbmag-1.5.10/tst/example2.tst /usr/lib/gap/pkg/kbmag-1.5.10/tst/example3.tst /usr/lib/gap/pkg/kbmag-1.5.10/tst/example4.tst-off /usr/lib/gap/pkg/kbmag-1.5.10/tst/example5.tst /usr/lib/gap/pkg/kbmag-1.5.10/tst/example6.tst /usr/lib/gap/pkg/kbmag-1.5.10/tst/example7.tst-off /usr/lib/gap/pkg/kbmag-1.5.10/tst/testall.g /usr/lib/gap/pkg/kbmag-1.5.10/tst/testing.g
Generated by rpm2html 1.8.1
Fabrice Bellet, Tue Apr 9 21:38:35 2024