ChangeLog

Version 3.0.0 pre-release(10/14/98) Changes and Enhancements:

  1. Fixed bug in Subgroup List Algorithm.

Version 2.9.8 pre-release(09/19/98) Changes and Enhancements:

  1. New algorithms for free groups:
    1. For group F and word W:
      1. Genetic algorithm for solving problem "Is word part of a basis?".
      2. Genetic algorithm for solving product of two commutators problem.
    2. For group F and a tuple T of words:
      1. Genetic algorithm to carry out Andrews-Curtis reduction.
    3. For group F, subgroup H and word W in H:
      1. Express an element of a subgroup in terms of the subgroup generators(details will be provided by a link to a file).
  2. New algorithms for one relator groups:
    1. For one relator group G and word W:
      1. Word problem(details will be provided by a link to a file).
      2. "Express word in conjugates of relators?".
  3. Dehn's algorithm for metric small cancellation groups:
    1. A link has been added to show details of the computation.
  4. For all but nilpotent and abelian groups, two new algorithms have been added :
    1. "Re-write word as a product of commutators".
    2. "Rewrite word as a product of squares".
  5. For a finitely presented group G and a subgroup H of finite index, there is a new algorithm:
    1. "Rewrite W in terms of Schrier generators of H".

Version 2.9.0 pre-release(04/18/98) Changes and Enhancements:

  1. New genetic algorithms for finitely presented groups:
    1. For group G:
      1. Is G trivial?
      2. Is G abelian?
    2. For words w, w1, w2:
      1. Is w central?
      2. Is w1 = w2?
    3. For subgroup H:
      1. Is H trivial?
      2. Is H abelian?
      3. Is H central?
    4. For map m:
      1. Does m extend to a homomorphism?
    5. Every algorithm from above is equipped with a link to show details of the computation.
    6. Many reported bugs are now fixed.
    7. New kinds of objects "Enumerators" and "Lists" were added:
      1. Word enumerator.
      2. Relator enumerator.
      3. Automorphisms enumerator for free groups.
      4. Relator enumerator for a subgroup.
      5. Make a list of words from an enumerator.
    8. Tools for lists:
      1. Find a word in a list.
      2. Extract all words from the defined length range.
    Version 2.8.4 pre-release(02/13/98) Changes and Enhancements:
    1. Magnus menus now change dynamically to reflect the information found about objects. For example, if a group is found to be abelian then the menu for it will change, so that new "abelian" algorithms are accessible.
    2. Existing genetic algorithms for finitely presented groups (word problem, triviality problem, "is a group abelian ?" problem) and for solving equations in a free group were modified to show better performance.
    3. Many message misprints were corrected.
    4. New pages were added to the magnus manual. Many broken links were fixed.
    5. The description of the format used for a finite state automaton is now available.
    6. Magnus manual and workspace manual work on every supported system now.
    7. As of now, Linux 5.0 and Tcl/Tk 8.0 are fully supported. Magnus compiles and runs cleanly.
    8. For now, "Is Finite" and "Order" problems for FP groups are identical. This means that both use all related fast checks and algorithms to solve the problem. This situation will change.
    9. One may now compute the conjugate of one word by another.
    10. One may now compute the length of a word in freely reduced form.
    11. One may now compute the commutator of two words.

    Version 2.8.0 pre-release(01/08/98) Changes and Enhancements:

    1. The genetic algorithm for solving the word problem in a finitely presented group has been optimized.
    2. Computational details for the Nielsen basis for a subgroup of a free group have been added.
    3. Some bugs have been fixed in the algorithm for solving quadratic equations over a free group.
    4. For one-relator groups found to have torsion, we have added the following algorithms:
      1. A word which is trivial in the given group is re-expressed as a product of conjugates of the defining relator (and its inverse).
      2. A word which represents an element of finite order is re-expressed as a conjugate of a power of r, where here r^n is the given defining relator.
      3. A process which enumerates all consequences of the given defining relator.
    5. A process which enumerates all of the relations that are satisfied by the given generators of a finitely generated subgroup of a finitely presented roup.

    Version 2.7.8 pre-release(12/04/97) Changes and Enhancements:

    1. Genetic algorithm for the word problem.
    2. Genetic algorithm for the triviality problem.
    3. Genetic algorithm for the abelian problem.
    4. Genetic algorithm for solving equations over a free group.
    5. Find a permutation representation of G on the cosets of H in G.
    6. Compute the Schreier representative of an element of G.
    7. Compute a Schreier transversal of H in G.
    8. Changed file viewer to eliminate delay in viewing large files in the User Interface.
    back Go back to the MAGNUS software homepage

    back Go back to the MAGNUS homepage

    Webmaster
    Last modified: Fri Oct 16 16:48:16 EDT