These are the things I'll get to do when I get to do them:
$Id: TODO,v 1.13 2008/10/19 22:46:32 gap Exp $

ALL:
  * extend alphabet by natural embedding, "skip levels" in tree
  * quotient alphabets
  * check alphabets not [1..n]
  * should stateset be an attribute or an operation?
  * in e.g. Nucleus, keep track of words along with mealy machine; this 
    will speed up FabrykowskiGuptaGroups which reconstructs the nucleus's words

frmachine:
  * add or remove generator

frelement:
  * order and cycles for transformations, with period and preperiod
  * recognize at least some machines that are not finite-state

mealy:

group:
  * smarter "branch" detection, with commutators and quotients
  * find explicit isomorphism between contracting groups, incl. non-trivial
  * Exponent, IsSolvable, IsNilpotent, IsSimple
  * smarter IsTorsion, IsTorsionFree, HasCongruenceProperty
  * SubexponentialGrowth

vhgroup:
  * IsLevelTransitiveOnPatterns

examples:

helpers:
  * interval arithmetic

img:
  * blow-ups, tuning of IMG

linear, vector:
  * stategrowth limitmachine nucleus nucleusmachine
  * Minimize, nice vectors for algebra elements
  * extend / restrict scalars

algebra:
