FreeLie.m
           The Functions for Computations in Free Lie Algebras. BraidorsInDK-10.nb
           Checking braidors extend and come from associators BraidImpliesCommMix.nb
      Showing the braid equation is enough.