Open knuesel opened 1 year ago
I think the method inv(q::Quaternion)
should be defined in Symbolics.jl because:
Base.inv(z::Complex{Num})
is defined on Symbolics.jlQuaternions.jl
should be a lightweight package that does not have a dependency on Symbolics.jl.On Julia v1.9 this could be done by setting up a weakdep of Symbolics on Quaternions or the other way around. I'm not certain which makes more sense.
It seems the issue is not just implementations of /(::Quaternion{Num}, ::Num)
, inv(::Quaternion{Num})
etc.
For example, we need a quaternionic version of Symbolics.ComplexTerm
, so the problem is not that simple and that should not be finished in this package.
The
inv
function doesn't work for quaternions ofSymbolics.Num
type: