Skip to content

Fix characteristic method for localized rings#4346

Merged
lgoettgens merged 1 commit intooscar-system:masterfrom
HechtiDerLachs:fix_characteristic_bug
Nov 25, 2024
Merged

Fix characteristic method for localized rings#4346
lgoettgens merged 1 commit intooscar-system:masterfrom
HechtiDerLachs:fix_characteristic_bug

Conversation

@HechtiDerLachs
Copy link
Copy Markdown
Collaborator

This is to address #4324.

@thofma : The second issue pointed out by you in #4324 is not yet resolved with this. Does the ball lay in my yard with that one, too? Or is it an issue of polynomial rings?

@lgoettgens lgoettgens changed the title Fix up generic method for of localized rings. Fix up generic characteristic method for of localized rings. Nov 25, 2024
@HechtiDerLachs HechtiDerLachs changed the title Fix up generic characteristic method for of localized rings. Fix up generic characteristic method for localized rings. Nov 25, 2024
@thofma
Copy link
Copy Markdown
Collaborator

thofma commented Nov 25, 2024

Thanks. The problems with polynomial rings over zero rings are being addressed elsewhere.

@HechtiDerLachs
Copy link
Copy Markdown
Collaborator Author

Alright. I hope the tests pass. I do not oversee at the moment to which extent we have been using the characteristic method. So maybe we already need to implement some more cases. But if not, then throwing an error for now should be fine.

@codecov
Copy link
Copy Markdown

codecov Bot commented Nov 25, 2024

Codecov Report

Attention: Patch coverage is 80.00000% with 1 line in your changes missing coverage. Please review.

Project coverage is 84.52%. Comparing base (3e670f7) to head (d2d8516).
Report is 228 commits behind head on master.

Files with missing lines Patch % Lines
src/Rings/localization_interface.jl 80.00% 1 Missing ⚠️
Additional details and impacted files
@@            Coverage Diff             @@
##           master    #4346      +/-   ##
==========================================
- Coverage   84.52%   84.52%   -0.01%     
==========================================
  Files         645      645              
  Lines       85706    85710       +4     
==========================================
+ Hits        72440    72443       +3     
- Misses      13266    13267       +1     
Files with missing lines Coverage Δ
src/Rings/localization_interface.jl 60.84% <80.00%> (+0.30%) ⬆️

@lgoettgens lgoettgens merged commit f849adc into oscar-system:master Nov 25, 2024
@HechtiDerLachs HechtiDerLachs deleted the fix_characteristic_bug branch November 25, 2024 19:45
@lgoettgens lgoettgens mentioned this pull request Dec 12, 2024
benlorenz pushed a commit that referenced this pull request Dec 12, 2024
benlorenz added a commit that referenced this pull request Dec 13, 2024
Backports for release 1.2.2:

fix galois_group problem. #4396
Fix zero-dimensional cone in cones in PolyhedralGeometry #4336
Fix up generic characteristic method for localized rings. #4346
test/PolyhedralGeometry: remove some prefer blocks #4351
Add comment about bibtool version, minor fix in testsuite #4356
Add hash method for RayVector #4354
Fix indent in AlgebraicCycles.md #4368
Fix toric typo #4367
@fingolfin fingolfin changed the title Fix up generic characteristic method for localized rings. Fix characteristic method for localized rings Feb 28, 2025
@fingolfin fingolfin added bug Something isn't working topic: commutative algebra release notes: use title For PRs: the title of this PR is suitable for direct use in the release notes labels Feb 28, 2025
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 topic: commutative algebra

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants