DynamicPolynomials.jl icon indicating copy to clipboard operation
DynamicPolynomials.jl copied to clipboard

How to query the ordering

Open sumiya11 opened this issue 1 year ago • 2 comments

Hi,

Thanks for implementing monomial orderings, I think it is a nice feature. A question: is it possible to query the ordering on existing monomials?

Currently, I have

using DynamicPolynomials
@polyvar x y z monomial_order=LexOrder
ordering(x)

ERROR: MethodError: no method matching ordering(::Variable{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, LexOrder})
Stacktrace:
 [1] top-level scope
   @ REPL[26]:1

with

  [102ac46a] MultivariatePolynomials v0.5.4
  [7c1d4256] DynamicPolynomials v0.5.3

Originally from https://github.com/sumiya11/Groebner.jl/issues/116

sumiya11 avatar Feb 14 '24 12:02 sumiya11

And, for completeness, I have

using DynamicPolynomials
@polyvar x y z monomial_order=LexOrder
ordering(x)
# returns
GradedLex()

with

⌃ [102ac46a] MultivariatePolynomials v0.5.3
  [7c1d4256] DynamicPolynomials v0.5.3

sumiya11 avatar Feb 14 '24 12:02 sumiya11

Thanks for letting me know, this was fixed in https://github.com/JuliaAlgebra/DynamicPolynomials.jl/pull/146 but I forgot to make a new release

blegat avatar Feb 14 '24 13:02 blegat