search

JuliaAlgebra / DynamicPolynomials.jl

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

Fix Lex comparison #153

Closed blegat closed 5 months ago

blegat commented 5 months ago

This used to be only called in the graded lex context so we know they both had the same degree hence if we arrived there returning 0 was correct. Closes https://github.com/JuliaAlgebra/DynamicPolynomials.jl/issues/152