Adapt the KnotInfo interface to new Khovanov polynomial data (merged)

[soehms]

CAUTION

Although this PR is not marked as merged it has been merged into 10.1.beta6

Note, that Files changed 0! For more information see #35800 (comment).

📚 Description

A note in the current Khovanov polynomial method of the KnotInfo interface says:

The data used here were calculated with the program KhoHo. They are no longer visible on the website as of October 30, 2022. Instead, data computed with KnotJob are now displayed ... This interface will be adapted to the changes in an upcoming release.

The goal of this PR is the announced adaptation. Accordingly the PR lets Sage point to the current version 2023.6.1 of the Python wrapper of the database which contains the new columns.

📝 Checklist

• The title is concise, informative, and self-explanatory.
• The description explains in detail what this PR is about.
• I have linked a relevant issue or discussion.
• I have created tests covering the changes.
• I have updated the documentation accordingly.

⌛ Dependencies

[soehms]

I don't know why all GitHub bots except the one building the documentation have been cancelled? Anyway, the changes of the branch do only effect src/sage/knots/knotinfo.py and here all tests are fine.

[tscrim]

Just a few very minor things.

[tscrim]

Thank you. LGTM.

[soehms]

Thank you. LGTM.

Thank you, as well!

[kwankyu]

@vbraun: strangely this PR is still open.

[soehms]

@vbraun: strangely this PR is still open.

It seems that indeed commit 3291f4d (which just removes a blank-line) has not been merged. Probably this keeps it open.

[vbraun]

Merge conflict

[soehms]

Merge conflict

@vbraun there is some mystery with this PR. It is already merged into 10.1.beta6 but just one commit (3291f4d) remains off (which just removes a blank line, see #35800 (comment) and #35172 (comment) at BTW).

Now, if I merge this branch with develop and try to push it back, git says Everything up-to-date. So what can I do?

Note my review comment: #35800 (comment): With the missing commit there has been something irregular from the beginning: It was not visible on the PR (at least for a couple of hours) after I've pushed it. Maybe this is related to the problem now!

[github-actions]

Documentation preview for this PR (built with commit ab0a42e; changes) is ready! 🎉