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 vector_space(K, polynomials) #3717

Merged
merged 2 commits into from
May 14, 2024

Fix vector_space(K, polynomials)

2503766
Select commit
Loading
Failed to load commit list.
Merged

Fix vector_space(K, polynomials) #3717

Fix vector_space(K, polynomials)
2503766
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded May 11, 2024 in 0s

80.93% (-0.41%) compared to 5d26c4c

View this Pull Request on Codecov

80.93% (-0.41%) compared to 5d26c4c

Details

Codecov Report

Attention: Patch coverage is 97.05882% with 1 lines in your changes are missing coverage. Please review.

Project coverage is 80.93%. Comparing base (5d26c4c) to head (2503766).

Additional details and impacted files
@@            Coverage Diff             @@
##           master    #3717      +/-   ##
==========================================
- Coverage   81.34%   80.93%   -0.41%     
==========================================
  Files         577      577              
  Lines       78611    78580      -31     
==========================================
- Hits        63945    63598     -347     
- Misses      14666    14982     +316     
Files Coverage Δ
src/Rings/mpoly-graded.jl 90.78% <97.05%> (-0.30%) ⬇️

... and 35 files with indirect coverage changes