search

JuliaAlgebra / DynamicPolynomials.jl

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

StackOverflowError for `isapprox(::Variable, ::Variable)` #147

Open kbarros opened 6 months ago

kbarros commented 6 months ago 
using DynamicPolynomials
@polyvar x

# Passes
@assert 1.2x ≈ 1.2x

# StackOverflowError
x ≈ x

The infinite recursion seems to be triggered by:

promote(x, x) == (x, x)