VasCalc - Progress Log
This is the VasCalc Project Progress Log.
Friday September 15 2006
Another bug in the
KontsevichIntegral has been found! It appears that the program will fail if all the crossings are not in the middle of the diagram (as in the closure of a braid). This should hopefully be fixed soon...
Saturday September 9 2006
KontsevichIntegral should now be able to handle any knot thrown at it - there's still an unresolved bug with links, which will hopefully be fixed shortly.
Tuesday September 5 2006
KontsevichIntegral function has been added to the repository. There are still some details to be ironed out, most notably extending the multiplication to links. See the documentation for an example.
Monday August 14 2006
The framing independence relations have been added to the project (by the
ChordsMod4TFI class, and in Mathematica using
CDrSpace[l,m,n]). Using this, we've also been able to verify that the correction term matches a previous computation.
Thursday July 27 2006
We're now able to verify solutions to the pentagon and hexagon equations, in the process changing the interface around a bit. As usual, the documentation contains details.
Monday July 17 2006
The ChordsMod4T interface has been cleaned up a little, and save/load functionality has been added - see the documentation. Progress is underway on implementing some operations on chord diagram spaces.
Sunday July 9 2006
Friday July 7 2006
So the little bug in ChordsMod4T appears to be resolved. The results pages no longer directly disprove the consistency of mathematics. Also the program is a fair bit faster than the previous incarnation, but coefficient arithmetic is still by far the biggest resource thief.
Friday June 23 2006
Success! Our program is now complete - we can generate the relations, and compute the quotient . What remains is the interface to Mathematica, which should be easy, and optimizing the program, which may be a little harder. A little example will be up soon.
Tuesday June 20 2006
Now we are able to generate all chord diagrams on a given number of lines and circles, as well as all the diagrams with a T added! Almost done is the piece that puts the two together - the ChordsMod4T class, which mods out the first space with the relations generated by the second. There are still many things to be done with this part of the program before we're truly finished: I've listed these on the VasCalc - To Do List page. Fun fact: there are 902 chord diagrams on one circle with 6 chords, 9749 diagrams with 7 chords, and 127072 diagrams with 8 chords. Evidently, we'll have to make some improvements to the program - generating one circle with 9 chords runs out of memory.
Saturday June 17 2006
The ChordDiagram class is now up and running. As explained in the documentation, this class is used to store information about individual chord diagrams. Because of the way we've set up labelling the diagrams, the task of generating all diagrams becomes very easy - this part of the program is almost done as well.
Tuesday May 30 2006
A new file ChordDiagram.java was committed to the repository. This is a class that holds information describing one chord diagram and contains methods that will help in constructing chord diagrams systematically. It is not yet complete, though not far from it.
Monday May 29 2006
I've updated the vectorSpace package, and added a Mathematica interface, as well an almost complete document on the wiki. Can someone check that the instructions for installation work? Also, does the simulated Mathematica session work on this wiki?
Wednesday May 24 2006
Saturday May 20 2006
Our first task is to write a program to construct and manipulate the (formal) quotient vector space A(m,n,l), consisting of diagrams with m chords between n lines and l circles, modulo the four-T relations. Here's a rough sketch of the structure of this program:
Java things are in orange, Mathematica things are in blue. Red arrows are helper functions that need to be written, and black arrows denote "natural class heirarchy".
Monday May 15 2006
Another slightly different HelloWorld test has been added to the SVN repository. This time, one can use the default Java runtime bundled with Mathematica/Windows (so the user does not need to know anything about where Java lives on their system) by telling the Java compiler to produce code for Java 1.4. This is accomplished by issuing the command:
javac -source 1.4 -target 1.4 file_to_be_compiled.java
I suppose this prevents us from using the new features of Java 1.5, but I don't know what they are.
As for the test program, download javatest.m and test1.class, and issue the following commands in Mathematica (replacing the '/path_to_files' with the location you downloaded the files to, and don't forget the quotes in the second line):
HelloWorld[VasCalcPath -> "/path_to_files"]
and read your mystery message!
Sunday May 14 2006
J/Link passed the Hello World test. The java class and Mathematica notebook were commited to the repository trunk. Note the Mathematica file must be edited in order to specify the path to java and the class. In order to get it to work I had to tweak a few things:
- The JRE bin directory had to be added to the PATH. The JDK path is not enough because J/Link looks for files like jawt.dll and awt.dll that don't come with JDK.
- HelloWorld.class had to be in one of the dirs in CLASSPATH, because J/Link loads classes only through their full class name.
- In Mathematica, when running InstallJava, it was necessary to specify the path name for a newer version of java.exe. By default it runs the Windows java, which didn't run what was compiled with a new JDK.
Ideally, one would like to write a Mathematica notebook without any hardcoded paths that others can use with no changes. Is this possible?
Thursday May 11 20006
- First day meeting's blackboard: