Skip to content

Drop is_unit tests from test_NCRing_interface to comply with interface definitions#2362

Merged
fingolfin merged 1 commit intoNemocas:masterfrom
HechtiDerLachs:remove_is_unit_test
Feb 27, 2026
Merged

Drop is_unit tests from test_NCRing_interface to comply with interface definitions#2362
fingolfin merged 1 commit intoNemocas:masterfrom
HechtiDerLachs:remove_is_unit_test

Conversation

@HechtiDerLachs
Copy link
Copy Markdown
Contributor

This PR removes all calls to is_unit from test_NCRing_interface.

The documentation says that implementation of is_unit is optional, but at the moment it is not. For our new cohomology rings in Oscar it is in fact not trivial to implement this function (I think), so we would like to be able to not write a mathematically incorrect stub in order to make the tests pass.

@SoongNoonien SoongNoonien added the release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes label Feb 27, 2026
Copy link
Copy Markdown
Collaborator

@SoongNoonien SoongNoonien left a comment

Choose a reason for hiding this comment

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

This seems reasonable. The tests weren't that useful before anyway.

@SoongNoonien
Copy link
Copy Markdown
Collaborator

SoongNoonien commented Feb 27, 2026

By the way the SingularCI test failure is of course not related to your changes. It should be fixed soon: oscar-system/Singular.jl#928

@codecov
Copy link
Copy Markdown

codecov bot commented Feb 27, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 88.18%. Comparing base (467f308) to head (3cf8daa).
⚠️ Report is 7 commits behind head on master.

Additional details and impacted files
@@            Coverage Diff             @@
##           master    #2362      +/-   ##
==========================================
- Coverage   88.19%   88.18%   -0.01%     
==========================================
  Files         127      127              
  Lines       32851    32849       -2     
==========================================
- Hits        28973    28968       -5     
- Misses       3878     3881       +3     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@thofma
Copy link
Copy Markdown
Member

thofma commented Feb 27, 2026

Should be a try catch like the other optional things imho.

@fingolfin fingolfin linked an issue Feb 27, 2026 that may be closed by this pull request
@fingolfin
Copy link
Copy Markdown
Member

Yes this can go, but should not be replaced by try/catch hackery; rather, see PRs #1957 and #1947

@fingolfin fingolfin merged commit 7cd11c7 into Nemocas:master Feb 27, 2026
28 of 32 checks passed
@lgoettgens lgoettgens changed the title Remove is_unit calls from tests for the NCRing interface Drop is_unit tests from test_NCRing_interface to comply with interface definitions Mar 4, 2026
@lgoettgens lgoettgens added test This change adds or pertains to unit tests release notes: use title For PRs: the title of this PR is suitable for direct use in the release notes bug Something isn't working and removed release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes labels Mar 4, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working release notes: use title For PRs: the title of this PR is suitable for direct use in the release notes test This change adds or pertains to unit tests

Projects

None yet

Development

Successfully merging this pull request may close these issues.

is_unit in ring interface tests contradicts documentation

5 participants