PR !4#19456: feat(Data/Finsupp/MonomialOrder/DegRevLex): ...

Stream: triage

[Random Issue Bot]

Today I chose PR #19456 for discussion!

feat(Data/Finsupp/MonomialOrder/DegRevLex): homogeneous reverse lexicographic order
Created by @Antoine Chambert-Loir (@AntoineChambert-Loir) on 2024-11-25
Labels: WIP, merge-conflict, t-algebraic-geometry, t-order, t-data

Is this PR still relevant? Any recent updates? Anyone making progress?