From b196b22e4a82c331d63e69d019eb468a276f7d1f Mon Sep 17 00:00:00 2001 From: Matthias Koeppe Date: Wed, 17 Jul 2024 14:44:58 +0900 Subject: [PATCH] src/sage/knots/knotinfo.py: Use block # needs --- src/sage/knots/knotinfo.py | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/src/sage/knots/knotinfo.py b/src/sage/knots/knotinfo.py index 6bc9c3a09cf..efd5da177ec 100644 --- a/src/sage/knots/knotinfo.py +++ b/src/sage/knots/knotinfo.py @@ -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::