Shashi Gowda
Shashi Gowda
> `_qreltype(::Type{T}) where T = typeof(zero(T)/sqrt(abs2(one(T))))` `one = Term(identity, [1])` could actually fix this!
```julia julia> ar = @acrule(sin(~x)cos(~y) + cos(~x)sin(~y) => sin(~x + ~y)) ACRule(sin(~x) * cos(~y) + cos(~x) * sin(~y) => sin(~x + ~y)) julia> ar(sin(a)cos(b) + cos(a)sin(b)) sin(a + b) ```...
@MasonProtter @YingboMa what are your thoughts?
Yes, but the proposal is to just create conveniences for writing methods. You still have to define them on a case by case basis for every type you want to...
Yes and we can allow some authorized piracy and document it. Important Base types could be made available here or in Symbolics. > > On Mar 16, 2021, at 2:40...
Note to also support `@symbolic_wrap Arr{T,N}
I think a nice way to do https://github.com/JuliaSymbolics/SymbolicUtils.jl/pull/55 is to have general polynomial factorization rather than to use rules... Although that's not an easy beginner issue, it is an interesting...
RUBI is useful, but you need something like what's in the thesis first. Then you can plug in RUBI rules to make it do more.
https://github.com/JuliaSymbolics/Symbolics.jl/pull/557 fixes it.
Ahh. Well I don't know how I feel about this haha. Can we take this branch only if `args[1]` is not `issym(..)` or `istree(..)` that way it should only do...