View source for HoriAsso - Progress Log

====June 2====
*Rewritten the constructors for the class Words, which will be documented in the [http://katlas.math.toronto.edu/drorbn/index.php?title=HoriAsso_-_Documentation Documentation] page of this project.

*Written the java code to generate all Lyndon words from length 1 to length N, with k generators. This will be posted in the [http://katlas.math.toronto.edu/svn/HoriAsso/ repository] and documented in [http://katlas.math.toronto.edu/drorbn/index.php?title=HoriAsso_-_Documentation Documentation]].

====June 5====
*Imported the Source code and the executables for the classes Word, Words, and LyndonWords into the [http://katlas.math.toronto.edu/svn/HoriAsso/trunk repository] from a MAC Os.
*Tried to set up a subversion client on AIX Unix.

====August 16====
*Written the Java Free Lie Algebra package and documented it in [http://katlas.math.toronto.edu/drorbn/index.php?title=HoriAsso_-_Documentation Documentation].

*The trivial but time-consuming part was to try to optimize the add/simplify function.  I wrote binary search/sort functions that used the basis of the Free Lie Algebra, but realize afterwards that it would be better to just binary sort the <math>i^{th}</math> term (assuming the summands are already reduced to a linear combination of the basis)into the 1 to <math>i-1^{th}</math> terms because the generated basis takes up a lot of memory and limits the maximum length at which any calculation can be done just because the basis for that length is too big.  The latter option is also as efficient as the first.  Depending on if we will need to generate the basis anyways for our calculation, the add/simplify method will be changed.

====Sept 19====

*Written algorithm to reduce any Lie Tree of generators in the form <math>t_{i,j}</math> for any i,j pair to a Lie Tree with generators of the same reach only, where <math>reach (t_{i,j})= max \{i, j\}</math> 

*I now need to decide how to restructure all the java classes. For instance, should I modify the LieTree class so that any LieTree object involves generators of a generic generator class and make a child class which uses the specific generators <math>t_{i,j}</math> or is <math>t_{i,j}</math> practically the most general form of a generator already?