Skip to content

Conversation

vneiger
Copy link
Contributor

@vneiger vneiger commented May 31, 2023

📚 Description

This fixes the test for weak Popov form for univariate polynomial matrices, that was wrong in some column-wise cases. This fixes issue #35698 . This adds some more comments in the code of the relevant method, to better highlight its correction.

📝 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

None.

# leading positions should not have duplicates, which is equivalent to:
# once sorted, it doesn't contain a pair of equal successive entries
# (we do not sort if we want to test
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I guess this line is a leftover from a previous version of the comment starting at line 1678 and should be removed? Lgtm otherwise.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yes, absolutely, thanks for spotting this.

Copy link
Member

@mezzarobba mezzarobba left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you!

@github-actions
Copy link

github-actions bot commented Jul 2, 2023

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

@vbraun vbraun merged commit 29ceac9 into sagemath:develop Jul 9, 2023
@vneiger vneiger deleted the fix_test_is_weak_popov branch March 1, 2025 13:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants