Can't use monomials with InverseLexOrder

[FriesischScott]

I'm trying to obtain monomials in graded inverse lexicographic order. However, this doesn't seem to work with the monomials function. Running

x = @polyvar x[1:2] monomial_order = Graded{InverseLexOrder}
monomials(x[1], 0:2)

fails with

ERROR: AssertionError: issorted(Z, lt = _isless)
Stacktrace:
 [1] getZfordegs(n::Int64, degs::UnitRange{Int64}, #unused#::Type{DynamicPolynomials.Commutative}, #unused#::Type{Graded{InverseLexOrder}}, filter::Function)
   @ DynamicPolynomials C:\Users\behrensd\.julia\packages\DynamicPolynomials\W9SrI\src\monomial_vector.jl:194
 [2] MonomialVector(vars::Vector{Variable{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, Graded{InverseLexOrder}}}, degs::UnitRange{Int64}, filter::DynamicPolynomials.var"#21#23")
   @ DynamicPolynomials C:\Users\behrensd\.julia\packages\DynamicPolynomials\W9SrI\src\monomial_vector.jl:204
 [3] MonomialVector
   @ C:\Users\behrensd\.julia\packages\DynamicPolynomials\W9SrI\src\monomial_vector.jl:203 [inlined]
 [4] monomials
   @ C:\Users\behrensd\.julia\packages\DynamicPolynomials\W9SrI\src\monomial_vector.jl:245 [inlined]
 [5] monomials(vars::Tuple{Variable{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, Graded{InverseLexOrder}}, Variable{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, Graded{InverseLexOrder}}, Variable{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, Graded{InverseLexOrder}}}, args::UnitRange{Int64})
   @ DynamicPolynomials C:\Users\behrensd\.julia\packages\DynamicPolynomials\W9SrI\src\monomial_vector.jl:248
 [6] top-level scope
   @ REPL[105]:1

Is this a bug or intended behaviour?

There is a separate issue where x = @polyvar x[1:2] returns a Tuple of length 1. The example in the readme of running p = sum(x .* x) does not work. Only as p = sum(x[1] .* x[1]).

[blegat]

About the README issue, you should do @polyvar x[1:2] without the assignment to x.

[FriesischScott]

Of course 🤦‍♂️ . Sorry about that.

[blegat]

Thanks for reporting the bug of monomials. It's a new feature so it's possible that there are still some sharp edges