[Bug 1185018] New: Review Request: gap-pkg-sonata - GAP package for systems of nearrings

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

 



https://bugzilla.redhat.com/show_bug.cgi?id=1185018

            Bug ID: 1185018
           Summary: Review Request: gap-pkg-sonata - GAP package for
                    systems of nearrings
           Product: Fedora
           Version: rawhide
         Component: Package Review
          Severity: medium
          Priority: medium
          Assignee: nobody@xxxxxxxxxxxxxxxxx
          Reporter: loganjerry@xxxxxxxxx
        QA Contact: extras-qa@xxxxxxxxxxxxxxxxx
                CC: package-review@xxxxxxxxxxxxxxxxxxxxxxx



Spec URL: https://jjames.fedorapeople.org/gap-pkg-sonata/gap-pkg-sonata.spec
SRPM URL:
https://jjames.fedorapeople.org/gap-pkg-sonata/gap-pkg-sonata-2.6-4.fc22.src.rpm
Fedora Account System Username: jjames
Description: This is a rename review.  The original review is bug 858081.

SONATA stands for "systems of nearrings and their applications".  It provides
methods for the construction and the analysis of finite nearrings.  A left
nearring is an algebra (N;+,*), where (N,+) is a (not necessarily abelian)
group, (N,*) is a semigroup, and x*(y+z) = x*y + x*z holds for all x,y,z in N.

As a typical example of a nearring, we may consider the set of all mappings
from a group G into G, where the addition is the pointwise addition of mappings
in G, and the multiplication is composition of functions.  If functions are
written on the right of their arguments, then the left distributive law holds,
while the right distributive law is not satisfied for non-trivial G.

The SONATA package provides methods for the construction and analysis of finite
nearrings.
1. Methods for constructing all endomorphisms and all fixed-point-free
automorphisms of a given group.
2. Methods for constructing the following nearrings of functions on a group G:
   - the nearring of polynomial functions of G (in the sense of
Lausch-Nöbauer);
   - the nearring of compatible functions of G;
   - distributively generated nearrings such as I(G), A(G), E(G);
   - centralizer nearrings.
3. A library of all small nearrings (up to order 15) and all small nearrings
with identity (up to order 31).
4. Functions to obtain solvable fixed-point-free automorphism groups on abelian
groups, nearfields, planar nearrings, as well as designs from those.
5. Various functions to study the structure (size, ideals, N-groups, ...) of
nearrings, to determine properties of nearring elements, and to decide whether
two nearrings are isomorphic.
6. If the package XGAP is installed, the lattices of one- and two-sided ideals
of a nearring can be studied interactively using a graphical representation.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
You are always notified about changes to this product and component
_______________________________________________
package-review mailing list
package-review@xxxxxxxxxxxxxxxxxxxxxxx
https://admin.fedoraproject.org/mailman/listinfo/package-review





[Index of Archives]     [Fedora Legacy]     [Fedora Desktop]     [Fedora SELinux]     [Yosemite News]     [KDE Users]     [Fedora Tools]