Mason Protter

Hm, this seems to have somehow broken the printing of more complicated expressions for me, etc. ```julia julia> 1 + -1*σ1 1 - (-((-σ1)^1)) ``` :( Still not great, but...

Yeah, the issues is that it doesn’t help dispatch. `Variable{T}

Here's a minimal implementation of a symbolic system with custom IRTools pass that does `Symbolic{T} using .Syms julia> begin f(x::Float64) = 1 + sin(x)^(1/2) g(x::Vector{Int}) = x'x + 2 x...

> Pretty nice! What does argument! do? I should try and play with it more. A good use case is getting qr to work on an array of symbols because...

I think this is going to ultimately be necessary if we want to do this without fancy compiler tools. One thing I'll note though is that an external using generating...

Welcome @linwaytin. The rule your suggesting was proposed in this PR: https://github.com/JuliaSymbolics/SymbolicUtils.jl/pull/55 that never got finished. Would you be interested in trying to help get that PR moving again? If...

I think a good approach getting started would be to just try and cook up simplifications that you know Sympy and Mathematica can do and then see if there are...

Thanks for writing these out! I think with some tweaks these could be useful rules.

I'm a little worried about the performance impact, because if `simplify` goes into this, there's a *lot* of match tests to do be done. I would feel better if we...

I'm a little surprised by this behaviour in scmutils. I'd argue that it makes a lot of sense to turn `x^2 + 2x*y + y^2` into `(x + y)^2`. That's...