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: change idel to idele and improve printing #3859

Merged
merged 1 commit into from
Jun 18, 2024
Merged

fix: change idel to idele and improve printing #3859

merged 1 commit into from
Jun 18, 2024

Conversation

thofma
Copy link
Collaborator

@thofma thofma commented Jun 13, 2024

As announced to you @fieker, here the renaming and some printing improvemens to make the notebook look nicer.

After I found out how to type an accent grave I was tempted to go with idèle, but I expected fierce resistance.

P.S.: Reference for the spelling is https://encyclopediaofmath.org/wiki/Id%C3%A8le and the citations in there.

Copy link

codecov bot commented Jun 13, 2024

Codecov Report

Attention: Patch coverage is 53.84615% with 12 lines in your changes missing coverage. Please review.

Project coverage is 81.84%. Comparing base (b9f564a) to head (45eda1c).

Additional details and impacted files
@@            Coverage Diff             @@
##           master    #3859      +/-   ##
==========================================
- Coverage   81.84%   81.84%   -0.01%     
==========================================
  Files         580      580              
  Lines       79900    79906       +6     
==========================================
  Hits        65398    65398              
- Misses      14502    14508       +6     
Files Coverage Δ
experimental/GModule/src/GaloisCohomology.jl 67.50% <53.84%> (-0.37%) ⬇️

@fieker fieker merged commit 268c5f1 into master Jun 18, 2024
29 of 30 checks passed
@fieker fieker deleted the th/idel branch June 18, 2024 06:36
@thofma thofma added the backport 1.1.x backport for release 1.1 label Jun 18, 2024
aaruni96 pushed a commit that referenced this pull request Jun 18, 2024
@aaruni96 aaruni96 mentioned this pull request Jun 18, 2024
9 tasks
@benlorenz benlorenz removed the backport 1.1.x backport for release 1.1 label Jun 20, 2024
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.

4 participants