These are the things I'll get to do when I get to do them:
$Id: TODO,v 1.16 2009/06/16 19:28:36 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:
  * mother groups for polynomial growth, construct embeddings into such group

helpers:
  * interval arithmetic

img:
  * blow-ups, tuning of IMG
  * adding machines of fractional (e.g. 1/7) amplitude, for more tunings & matings
  * "dilute" FR machine by multiplying stateset with {1..n} and chaining them in sequence

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

algebra:
  * test membership in an algebra
