| HFhat - to compute \widehat{HF} and \widehat{HFK} (last update: 2006.09.14) | |
|
This is a beta version program I wrote to compute the hat version of the
Heegaard Floer homology of a three-manifold or the knot
Floer homology for a knot in a rational homology sphere with
Z2 coefficients.
This program realizes the algorithm in a paper of the author with Sucharit Sarkar.
Click here for details and download. | |
| Oneone (to appear) | |
| This is a program (written jointly with Matt Hedden) to compute the knot Floer homology of a (1,1) knot from its group representation. |