Skip to content

Commit

Permalink
src/sage/knots/knotinfo.py: Use block # needs
Browse files Browse the repository at this point in the history
  • Loading branch information
Matthias Koeppe committed Jul 17, 2024
1 parent 4013dfe commit b196b22
Showing 1 changed file with 5 additions and 3 deletions.
8 changes: 5 additions & 3 deletions src/sage/knots/knotinfo.py
Original file line number Diff line number Diff line change
Expand Up @@ -1520,14 +1520,16 @@ def jones_polynomial(self, variab=None, skein_normalization=False, puiseux=False
of the positive crossings of the right-handed trefoil)::
sage: K3_1 = KnotInfo.K3_1
sage: K3_1j = K3_1.jones_polynomial() # needs sage.symbolic
sage: # needs sage.symbolic
sage: K3_1j = K3_1.jones_polynomial()
sage: L2a1_1j = Ljt # see note above
sage: R = L2a1_1j.parent()
sage: Oj = R(1)
sage: t = R('t')
sage: lhs = expand(~t*K3_1j - t*Oj) # needs sage.symbolic
sage: lhs = expand(~t*K3_1j - t*Oj)
sage: rhs = expand((sqrt(t) - ~sqrt(t))*L2a1_1j)
sage: bool(lhs == rhs) # needs sage.symbolic
sage: bool(lhs == rhs)
True
The same with the Puiseux series version::
Expand Down

0 comments on commit b196b22

Please sign in to comment.