Fixes

Author: blegat

src/monomial_vector.jl

@@ -213,7 +213,8 @@ function MonomialVector(
         mindegree = minimum(degs),
         maxdegree = maximum(degs),
     )) do z
-        filter(Monomial(vars, z))
+        mono = Monomial(vars, z)
+        MP.degree(mono) in degs && filter(mono)
     end
     return MonomialVector(vars, collect(Z))
 end

test/comp.jl

@@ -76,24 +76,15 @@ end
     _test_monomials([x, y], 3, [x^3, x^2 * y, x * y^2, y^3])
 end
 
-@testset "Reverse{LexOrder}" begin
-    @polyvar x y monomial_order = Reverse{LexOrder}
-    _test_less(y^2, y)
-    _test_less(y, x^0)
+@testset "Graded{Reverse{LexOrder}}" begin
+    @polyvar x y monomial_order = Graded{Reverse{LexOrder}}
+    _test_less(y, y^2)
+    _test_less(x^0, y)
     _test_less(x, y^2)
     _test_less(x^2, x * y^2)
     _test_monomials([x, y], 3, [x^3, x^2 * y, x * y^2, y^3])
-end
-
-@testset "Reverse{InverseLexOrder}" begin
-    @polyvar x y monomial_order = Reverse{InverseLexOrder}
-    _test_less(y^2, y)
-    _test_less(y, x^0)
-    _test_less(y^2, x)
-    _test_less(x * y^2, x^2)
-    _test_monomials([x, y], 3, [y^3, y^2 * x, y * x^2, x^3])
-    _test_monomials([x, y], 1:2, [y^2, x * y, y, x^2, x])
-    _test_monomials([x, y], [0, 1, 3], [y^3, x*y^2, x^2*y, y, x^3, x, 1])
+    _test_monomials([x, y], 1:2, [x, y, x^2, x * y, y^2])
+    _test_monomials([x, y], [0, 1, 3], [1, x, y, x^3, x^2 * y, x * y^2, y^3])
 end
 
 @testset "Graded{Reverse{InverseLexOrder}}" begin