NEWS

Changes from 1.2.4 to 1.3

- Status was changed from "deposited" to "accepted"
- The very much appreciated comments and suggestions of the anonymous referee were implemented. Some are listed below
- Converters to and from `FR' package by Laurent Bartholdi were implemented (see AutomGrp2FR and FR2AutomGrp)
- Minimization of automata was greatly optimized based on (also very much appreciated) the implementation of this function by Andrey Russev
- Print methods were updated for several basic types
- IsSphericallyTransitive has been updated
- A bug in TransformationSemigroupOnLevel was fixed
- TransformationOnFirstLevel now always returns transformations (it was returning permutations when possible before)
- A bug in MarkovOperator for semigroups was fixed
- AG_IsInvertibleTransformation was removed as redundant
- Error messages were updated
- Documentation was updated
- Several new tests were added

Changes from 1.2.3 to 1.2.4

- The date format in PackageInfo.g was changed to comply with GAP standards for packages

Changes from 1.2.2 to 1.2.3

- The EOL issue was fixed in the test file /tst/testall.tst

Changes from 1.2.1 to 1.2.2

- The order of generators in AG_UseRewritingSystem was updated according to a new GAP release
- References to bibliography were updated
- Documentation was cleaned

Changes from 1.2 to 1.2.1

- Broken URLs were fixed
- AllSections was extended to IsAutom argument
- Section was extended to work with (semi)groups, not only with their elements


Changes from 1.1.4.2 to 1.2

- Added IsAcyclic for Mealy automata
- Added IsReversible, IsMDTrivial, MDReduction
- Added MihailovaSystem
- MarkovOperator is implemented for semigroups and now can accept the (possibly symbolic) weights
- Added a possibility to define automata over 1-letter alphabet (needed for MD-reduction)
- Suppressed the output of dots while performing the tests
- Banner Added

Changes from 1.1.4.1 to 1.1.4.2

- Replaced $ character in identifiers with underscores


Changes from 1.1.4 to 1.1.4.1

- Methods with more than six arguments were really removed this time


Changes from 1.1.3 to 1.1.4

- Methods with more than six arguments were removed
- Documentation of the package now is loaded automatically
- Minor corrections in documentation
- File with predefined groups is actually included in the release


Changes from 1.1.2 to 1.1.3

- The bug sometimes yielding a wrong answer to the question of inclusion of an element into a group
  acting on the tree of degree not less than 3 was fixed
- The issue of changing the GAP output after loading the package related to Indeterminate(GF(2))
  was overcome


Changes from 1.1.1 to 1.1.2

- IsAutomatonRep was renamed to IsMealyAutomatonRep,  and
  DiagonalAction was renamed to DiagonalPower to avoid conflicts
  with other packages

Changes from 1.1 to 1.1.1

- The bug with undeclared local variable in one of the tests was fixed

Changes from 1.0 to 1.1

- The bug with contracting level was fixed (in some rare cases IsOne produced error for contracting groups)
- Order was improved (especially for infinite order and for groups generated by wreath recursion)
- Spherical transitivity for the elements of groups given by wreath recursion acting on binary tree
  was implemented
- Rewriting systems work for self-similar groups now
- IsOfSubexponentialGrowth was added
- TransformationSemigroupOnLevel was added
- Printing of tree homomorphisms was corrected
- FindGroupRelations returns less superfluous relations now
- Operations for finding transitive elements in a self-similar groups acting on a binary tree were
  implemented (see SphericallyTransitiveElement and ContainsSphericallyTransitiveElement)
- Work with finite self-similar groups was improved
- Some bugs in documentation were fixed