logo_acta

Acta Mathematica Vietnamica

EFFECTIVE COMPUTATION OF KNOT FLOER HOMOLOGY

icon-email JEAN-MARIE DROZ

Abstract

Beliakova gave in [2] a method for computing link Floer homology. We extend her approach to Z coefficients and implement it in a publicly available computer program. We review the main programming and optimization methods used. Our program is then used to check that the Floer homology of a prime non-alternating knot with 11 crossings has no torsion.