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

Hide ordering a bit #1597

Merged
merged 7 commits into from
Feb 19, 2024
Merged

Hide ordering a bit #1597

merged 7 commits into from
Feb 19, 2024

Conversation

joschmitt
Copy link
Collaborator

I renamed the ordering keyword in polynomial rings to internal_ordering as a first attempt in the direction of oscar-system/Oscar.jl#3040 and a basis for discussion how this should proceed (if at all).

CC @YueRen (because you seemed interested...)

Copy link

codecov bot commented Feb 6, 2024

Codecov Report

Attention: 1 lines in your changes are missing coverage. Please review.

Comparison is base (e87be00) 86.98% compared to head (a3d8f28) 86.98%.

Files Patch % Lines
src/MPoly.jl 75.00% 1 Missing ⚠️
Additional details and impacted files
@@           Coverage Diff           @@
##           master    #1597   +/-   ##
=======================================
  Coverage   86.98%   86.98%           
=======================================
  Files         114      114           
  Lines       29686    29686           
=======================================
  Hits        25823    25823           
  Misses       3863     3863           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

Copy link
Collaborator

@lgoettgens lgoettgens left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I like the general idea of this. some comments

src/AbstractAlgebra.jl Outdated Show resolved Hide resolved
src/AbstractAlgebra.jl Outdated Show resolved Hide resolved
src/Deprecations.jl Outdated Show resolved Hide resolved
src/MPoly.jl Outdated Show resolved Hide resolved
@YueRen
Copy link
Contributor

YueRen commented Feb 8, 2024

I also like the idea of differentiating between Nemo and Singular monomial orderings by using different names!

Copy link
Member

@fingolfin fingolfin left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I like it

@joschmitt
Copy link
Collaborator Author

This is the way to go as decided in today's "Kaiserslautern meeting".

@joschmitt
Copy link
Collaborator Author

The failing test is "expected", right?

@lgoettgens
Copy link
Collaborator

It's at least not the first time I've seen it. We should probably open a issue about it

@joschmitt joschmitt closed this Feb 14, 2024
@joschmitt joschmitt reopened this Feb 14, 2024
@joschmitt
Copy link
Collaborator Author

Please merge this whenever we are ready for the next cascade of breaking releases.

@joschmitt
Copy link
Collaborator Author

I removed the deprecations now. If we keep them in, we would also deprecate ordering for the Singular.jl rings because they are <: MPolyRing. Please tell me, if I am missing something.

@thofma thofma enabled auto-merge (squash) February 19, 2024 17:11
@joschmitt
Copy link
Collaborator Author

The auto-merge will not work. At least, the "matching" checks haven't started for days now.

@thofma thofma disabled auto-merge February 19, 2024 17:50
@thofma thofma enabled auto-merge (squash) February 19, 2024 19:32
@thofma thofma disabled auto-merge February 19, 2024 19:32
@thofma thofma merged commit 41749cf into Nemocas:master Feb 19, 2024
29 of 30 checks passed
@joschmitt joschmitt deleted the js/ordering branch February 19, 2024 20:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants