@@ -370,19 +370,18 @@ def knot_floer_homology(self, prime=2, complex=False):
370370 is recorded.)
371371
372372 For example, to compute the vertical differential, whose homology
373- is HFhat(S^3), you can do:
374-
375- >>> data = L.knot_floer_homology(prime=31991, complex=True)
376- >>> gens, diff = data['generators'], data['differentials']
377- >>> vert = {(i,j):diff[i, j] for i, j in diff
378- ... if gens[i][1] == gens[j][1] + 1}
379-
380- sage: from sage.all import matrix, GF
381- sage: M = matrix(GF(31991), len(gens), len(gens), vert, sparse=True)
382- sage: M*M == 0
383- True
384- sage: M.right_kernel().rank() - M.rank()
385- 1
373+ is HFhat(S^3), you can do::
374+
375+ sage: data = L.knot_floer_homology(prime=31991, complex=True)
376+ sage: gens, diff = data['generators'], data['differentials']
377+ sage: vert = {(i,j):diff[i, j] for i, j in diff
378+ ... if gens[i][1] == gens[j][1] + 1}
379+ sage: from sage.all import matrix, GF
380+ sage: M = matrix(GF(31991), len(gens), len(gens), vert, sparse=True)
381+ sage: M*M == 0
382+ True
383+ sage: M.right_kernel().rank() - M.rank()
384+ 1
386385 """
387386 import knot_floer_homology
388387 if len (self .link_components ) + self .unlinked_unknot_components > 1 :
0 commit comments