README file for the `sonata' GAP4 package

To install SONATA, unpack the archive inside the `pkg' subdirectory of
your GAP 4 installation. It creates a subdirectory called `sonata'.

Then start GAP and load SONATA with the command

LoadPackage("sonata");

In addition to the standard GAP help, we have produced a tutorial for 
SONATA, which can be found in the subdirectory doc/tut/ of the sonata 
package.

E-mail us if  there are any questions,  remarks,  suggestions. Also, we
would like to hear about applications of this package.

Erhard Aichinger
Franz Binder
Jürgen Ecker
Peter Mayr
Christof Nöbauer

email: sonata@algebra.uni-linz.ac.at


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

Main changes from SONATA 2.3 to SONATA 2.4
------------------------------------------

(1) Implemented new method for One for TransformationNearRings 
(cf. Binder, et.al. 2000)

(2) Added functions IsNearRingUnit, NearRingUnits for handling the
multiplicative groups of nearrings.

(3) Specialized the method for Enumerator to be applied only to
TransformationNearRings

(4) Renamed IsTame to IsTameNGroup to avoid collision of names with 
another package