Open tasks (OLD)

• RecogniseClassical (Niemeyer & Praeger) -> Alice

• IdentifyLieType (Kantor, S, P, N) -> Frank

• Brian's code for "recognition" of SX(d,q) reps <= d^2 (i.e. SL, SU, Sp, SO) -> Brian

• Sporadic groups -> Klaus Lux (talking to Thomas)

  • presentations
  • standard generators

• A_n and S_n -> Alice et. al.

• Lie characteristic (paper 2009; needed for IdentifyLieType). Base cases:

  1. SL_n for n=2,3,4 -> Alexander
  2. Sp_4
  3. SU_3, SU_4
  4. \Omega^{\pm}_n for n=4,6,8

• Rewriting ala Csaba Schneider -> Csaba

• Presentations -> Rebecca Waldecker

• Indecomposables / Meataxe -> Klaus Lux