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

Enhance *poly*_type methods #1303

Merged
merged 1 commit into from
Mar 27, 2023
Merged

Conversation

fingolfin
Copy link
Member

They all now accept both rings, ring elements, or their types. Also fix the docstrings.

Motivated by Nemocas/Nemo.jl#1423.

They all now accept both rings, ring elements, or their types.
Also fix the docstrings
@fingolfin
Copy link
Member Author

CC @mgkurtz @thofma

@codecov
Copy link

codecov bot commented Mar 26, 2023

Codecov Report

Merging #1303 (5e4a765) into master (b68523d) will increase coverage by 0.03%.
The diff coverage is 100.00%.

@@            Coverage Diff             @@
##           master    #1303      +/-   ##
==========================================
+ Coverage   85.72%   85.76%   +0.03%     
==========================================
  Files         102      102              
  Lines       27871    27873       +2     
==========================================
+ Hits        23892    23904      +12     
+ Misses       3979     3969      -10     
Impacted Files Coverage Δ
src/MPoly.jl 78.41% <100.00%> (+0.03%) ⬆️
src/NCPoly.jl 90.14% <100.00%> (+0.02%) ⬆️

... and 8 files with indirect coverage changes

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

@thofma thofma merged commit 6ef2f59 into Nemocas:master Mar 27, 2023
@fingolfin fingolfin deleted the mh/more-poly-type branch March 27, 2023 08:46
julien-schanz pushed a commit to julien-schanz/AbstractAlgebra.jl that referenced this pull request Mar 28, 2023
They all now accept both rings, ring elements, or their types.
Also fix the docstrings
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