search

JuliaAlgebra / DynamicPolynomials.jl

Multivariate polynomials implementation of commutative and non-commutative variables
Other
60 stars 20 forks source link

How to query the ordering #150

Open sumiya11 opened 5 months ago

sumiya11 commented 5 months ago

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 commented 5 months ago

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
blegat commented 5 months ago

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