JuliaSymbolics / SymbolicUtils.jl

Symbolic expressions, rewriting and simplification

Home Page:https://docs.sciml.ai/SymbolicUtils/stable/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Check if Sym-type is zero: Define iszero

davidschlegel opened this issue · comments

Currently, iszero(x) of a SymbolicUtils.Sym x is equal to x==0. This however does not give a boolean, but rather defines an equation. For this type, would it be more adequate to define Base.iszero(x::SymbolicUtils.Sym) = x===0 ?
This would also fix #6 so that symbolic numbers work with SparseArrayKit.jl.