As the main practical result of the work on the FWF research project P11486-TEC, a library of functions for working with nearrings has been developed and implemented. The first version of this package called SONATA (System of Nearrings and their Applications) was released on October 1, 1997. In July, a pre-release version of SONATA was presented to the scientific community at the Conference on Nearrings and Nearfields at Stellenbosch, South Africa. The audience was impressed and eagerly looking forward to the final release. We now have a tool that
All algorithms have been implemented on top of a state-of-the-art package for group theory (GAP) in order to take advantage of the algorithms already available therein.
In addition, this package has been used to solve various theoretical problems and to find errors in the literature as well as to develop various new and error-free (i.e., computer generated) tables.