search

JuliaAlgebra / DynamicPolynomials.jl

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

Incorrect GCD #104

Closed shashi closed 2 years ago

shashi commented 2 years ago 
julia> using DynamicPolynomials

julia> @polyvar x y
(x, y)

julia> gcd((-x + 1) * (y^2+1), -x+1)
-xy² + y² - x + 1

Found via https://github.com/JuliaSymbolics/Symbolics.jl/issues/487

blegat commented 2 years ago

Should be fixed by https://github.com/JuliaAlgebra/DynamicPolynomials.jl/pull/105