  
  [1X1 [33X[0;0YIntroduction[133X[101X
  
  [33X[0;0YThe  main  purpose of the [5XIdent512[105X package is to implement an identification
  routine for the groups of order 512. This is done by calculating a number of
  invariants  and  comparing  the  results  with  the  values  of all possible
  candidates  via  a  precalculated  search tree. This Procedure determins the
  vast  majority  of  groups. In the unfavorable case that the used invariants
  shrink  the  number  of  candidates down to more than one group the function
  [10XIsPqIsomorphicPGroup[110X from the [5XAnupq[105X package is used to determine the correct
  candidate.[133X
  
  [33X[0;0YAll  functions  used to build the precalculated search tree are also content
  of  this  package.  Thus one can build ones own search tree with a different
  set of invariants.[133X
  
  [33X[0;0YWhile  determining  suitable  invariants  for  this  task, the definition of
  subgroup-  and  factor-equivlance was developed together with the definition
  of  twins  (see  ).  The  latter  part  of the packag implements function to
  determine  these sets of groups, load precalculated lists of such groups and
  calculate certain invariants for these sets.[133X
  
