search

JuliaAlgebra / DynamicPolynomials.jl

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

Noncommuting variables to the zeroth power #118

Open kbarros opened 1 year ago

kbarros commented 1 year ago

Taking noncommuting variables to the zeroth power can lead to surprising results:

using DynamicPolynomials
@ncpolyvar a x
p = x^0 * a  # displays as `a`
p == a       # returns true (expected behavior)
a == p       # returns false (bug)