Commit 2024-11-25 12:42 7f28d7f7

feat(Data/Finsupp/MonomialOrder): monomial orders (#19453) Definition of monomial orders, with the example of the lexicographic ordering This is the starting point of implementation of the beginnings of Gröbner theory. 3 subsequent PRs will address:

• division algorithm
• example of the homogeneous lexicographic ordering
• example of the homogeneous reverse lexicographic ordering These various orderings (and other ones…) may look exotic but are actually used in algebraic geometry.