Skip to content

Conversation

@lgoettgens
Copy link
Member

Alternative to and thus closes #2168.
I'll provide the same kind of PR for Nemo, Hecke, and Oscar as well.

@lgoettgens lgoettgens requested a review from fingolfin December 10, 2025 15:03
@lgoettgens lgoettgens force-pushed the lg/rels branch 2 times, most recently from 00ecf8e to be04864 Compare December 10, 2025 15:15
@lgoettgens
Copy link
Member Author

We just noticed that there is @alias nrels number_of_relations in Hecke, so it would be most consistent to just merge #2168

@lgoettgens lgoettgens closed this Dec 10, 2025
@lgoettgens lgoettgens deleted the lg/rels branch December 10, 2025 15:25
@codecov
Copy link

codecov bot commented Dec 10, 2025

Codecov Report

❌ Patch coverage is 75.00000% with 1 line in your changes missing coverage. Please review.
✅ Project coverage is 88.01%. Comparing base (fd71cbf) to head (be04864).
⚠️ Report is 2 commits behind head on master.

Files with missing lines Patch % Lines
src/generic/InvariantFactorDecomposition.jl 0.00% 1 Missing ⚠️
Additional details and impacted files
@@           Coverage Diff           @@
##           master    #2238   +/-   ##
=======================================
  Coverage   88.00%   88.01%           
=======================================
  Files         127      127           
  Lines       31798    31810   +12     
=======================================
+ Hits        27984    27996   +12     
  Misses       3814     3814           

☔ 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.

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.

2 participants