Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix weak Popov form testing #35699

Merged
merged 4 commits into from
Jul 9, 2023
Merged

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
14 checks passed
@mkoeppe mkoeppe added this to the sage-10.1 milestone Jul 9, 2023
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.

None yet

4 participants