Fedora 40 Update: gap-pkg-kbmag-1.5.11-1.fc40

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2024-87acff62c4
2024-08-31 02:03:22.710946
--------------------------------------------------------------------------------

Name        : gap-pkg-kbmag
Product     : Fedora 40
Version     : 1.5.11
Release     : 1.fc40
URL         : https://gap-packages.github.io/kbmag/
Summary     : Knuth-Bendix on Monoids and Automatic Groups
Description :
KBMAG (pronounced Kay-bee-mag) stands for Knuth-Bendix on Monoids, and
Automatic Groups.  It is a stand-alone package written in C, for use
under UNIX, with an interface to GAP.  There are interfaces for the use
of KBMAG with finitely presented groups, monoids and semigroups defined
within GAP.  The package also contains a collection of routines for
manipulating finite state automata, which can be accessed via the GAP
interface.

The overall objective of KBMAG is to construct a normal form for the
elements of a finitely presented group G in terms of the given
generators together with a word reduction algorithm for calculating the
normal form representation of an element in G, given as a word in the
generators.  If this can be achieved, then it is also possible to
enumerate the words in normal form up to a given length, and to
determine the order of the group, by counting the number of words in
normal form.  In most serious applications, this will be infinite, since
finite groups are (with some exceptions) usually handled better by
Todd-Coxeter related methods.  In fact a finite state automaton W is
calculated that accepts precisely the language of words in the group
generators that are in normal form, and W is used for the enumeration
and counting functions.  It is possible to inspect W directly if
required; for example, it is often possible to use W to determine
whether an element in G has finite or infinite order.

The normal form for an element g in G is defined to be the least word in
the group generators (and their inverses) that represents G, with
respect to a specified ordering on the set of all words in the group
generators.

KBMAG offers two possible means of achieving these objectives.  The
first is to apply the Knuth-Bendix algorithm to the group presentation,
with one of the available orderings on words, and hope that the
algorithm will complete with a finite confluent presentation.  (If the
group is finite, then it is guaranteed to complete eventually but, like
the Todd-Coxeter procedure, it may take a long time, or require more
space than is available.)  The second is to use the automatic group
program.  This also uses the Knuth-Bendix procedure as one component of
the algorithm, but it aims to compute certain finite state automata
rather than to obtain a finite confluent rewriting system, and it
completes successfully on many examples for which such a finite system
does not exist.  In the current implementation, its use is restricted to
the shortlex ordering on words.  That is, words are ordered first by
increasing length, and then words of equal length are ordered
lexicographically, using the specified ordering of the generators.

The GAP4 version of KBMAG also offers extensive facilities for finding
confluent presentations and finding automatic structures relative to a
specified finitely generated subgroup of the group G.  Finally, there is
a collection of functions for manipulating finite state automata that
may be of independent interest.

--------------------------------------------------------------------------------
Update Information:

KBMAG (pronounced Kay-bee-mag) stands for Knuth-Bendix on Monoids, and
Automatic Groups.  It is a stand-alone package written in C, for use
under UNIX, with an interface to GAP.  There are interfaces for the use
of KBMAG with finitely presented groups, monoids and semigroups defined
within GAP.  The package also contains a collection of routines for
manipulating finite state automata, which can be accessed via the GAP
interface.
The overall objective of KBMAG is to construct a normal form for the
elements of a finitely presented group G in terms of the given
generators together with a word reduction algorithm for calculating the
normal form representation of an element in G, given as a word in the
generators.  If this can be achieved, then it is also possible to
enumerate the words in normal form up to a given length, and to
determine the order of the group, by counting the number of words in
normal form.  In most serious applications, this will be infinite, since
finite groups are (with some exceptions) usually handled better by
Todd-Coxeter related methods.  In fact a finite state automaton W is
calculated that accepts precisely the language of words in the group
generators that are in normal form, and W is used for the enumeration
and counting functions.  It is possible to inspect W directly if
required; for example, it is often possible to use W to determine
whether an element in G has finite or infinite order.
The normal form for an element g in G is defined to be the least word in
the group generators (and their inverses) that represents G, with
respect to a specified ordering on the set of all words in the group
generators.
KBMAG offers two possible means of achieving these objectives.  The
first is to apply the Knuth-Bendix algorithm to the group presentation,
with one of the available orderings on words, and hope that the
algorithm will complete with a finite confluent presentation.  (If the
group is finite, then it is guaranteed to complete eventually but, like
the Todd-Coxeter procedure, it may take a long time, or require more
space than is available.)  The second is to use the automatic group
program.  This also uses the Knuth-Bendix procedure as one component of
the algorithm, but it aims to compute certain finite state automata
rather than to obtain a finite confluent rewriting system, and it
completes successfully on many examples for which such a finite system
does not exist.  In the current implementation, its use is restricted to
the shortlex ordering on words.  That is, words are ordered first by
increasing length, and then words of equal length are ordered
lexicographically, using the specified ordering of the generators.
The GAP4 version of KBMAG also offers extensive facilities for finding
confluent presentations and finding automatic structures relative to a
specified finitely generated subgroup of the group G.  Finally, there is
a collection of functions for manipulating finite state automata that
may be of independent interest.
--------------------------------------------------------------------------------
ChangeLog:

* Thu Aug 22 2024 Jerry James <loganjerry@xxxxxxxxx> - 1.5.11-1
- Initial RPM
--------------------------------------------------------------------------------
References:

  [ 1 ] Bug #2277899 - Review Request: gap-pkg-kbmag - Knuth-Bendix on Monoids and Automatic Groups
        https://bugzilla.redhat.com/show_bug.cgi?id=2277899
--------------------------------------------------------------------------------

This update can be installed with the "dnf" update program. Use
su -c 'dnf upgrade --advisory FEDORA-2024-87acff62c4' at the command
line. For more information, refer to the dnf documentation available at
http://dnf.readthedocs.io/en/latest/command_ref.html#upgrade-command-label

All packages are signed with the Fedora Project GPG key. More details on the
GPG keys used by the Fedora Project can be found at
https://fedoraproject.org/keys
--------------------------------------------------------------------------------

-- 
_______________________________________________
package-announce mailing list -- package-announce@xxxxxxxxxxxxxxxxxxxxxxx
To unsubscribe send an email to package-announce-leave@xxxxxxxxxxxxxxxxxxxxxxx
Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/
List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines
List Archives: https://lists.fedoraproject.org/archives/list/package-announce@xxxxxxxxxxxxxxxxxxxxxxx
Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue




[Index of Archives]     [Fedora Users]     [Fedora Legacy]     [Fedora Desktop]     [Fedora SELinux]     [Big List of Linux Books]     [Yosemite News]     [Yosemite Photos]     [KDE Users]

  Powered by Linux