Laguerre Derivatives

[ioannisPApapadopoulos]

@dlfivefifty Is there a reason why the LaguerreWeight axis was originally all of R rather than just the HalfLine?

[codecov]

Codecov Report

Base: 89.93% // Head: 89.93% // No change to project coverage 👍

Coverage data is based on head (bb63d69) compared to base (bb63d69).
Patch has no changes to coverable lines.

❗ Current head bb63d69 differs from pull request most recent head a8af5be. Consider uploading reports for the commit a8af5be to get more accurate results

Additional details and impacted files

@@           Coverage Diff           @@
##             main     #113   +/-   ##
=======================================
  Coverage   89.93%   89.93%           
=======================================
  Files          17       17           
  Lines        1958     1958           
=======================================
  Hits         1761     1761           
  Misses        197      197           

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

☔ View full report at Codecov.
📢 Do you have feedback about the report comment? Let us know in this issue.

[dlfivefifty]

Sounds like a bug. Note DomainSets.jl has

julia> HalfLine()
0.0..Inf (closed–open) (HalfLine)

[ioannisPApapadopoulos]

@dlfivefifty It's currently failing because L \ (x .* L) goes via \(L::Laguerre, K::Laguerre) which seems a bit odd..

[dlfivefifty]

It's not odd because x .* L simplifies to L * jacobimatrix(L) then L \ (L * jacobimatrix(L)) simplifies to (L \L) * jacobimatrix(L). So we want L\L to work (at least the case the parameters are the same in which case it should return SquareEye{T}(∞))

[ioannisPApapadopoulos]

Yep, just clocked that! The same thing was causing Laguerre(a+1) \ Derivative(x)*Laguerre(a) to fail. All fixed.

[dlfivefifty]

This should be split into two PRs: one in SingularIntegrals.jl