consider moving some extensions to separate libraries

[isaacsas]

Issues like https://github.com/SciML/Catalyst.jl/actions/runs/10549534673/job/29224675728?pr=961 are due to some of the extension libraries we depend on not updating to newer (breaking) releases of packages. In this case I think Homotopy continuation, see JuliaHomotopyContinuation/HomotopyContinuation.jl#581, still being on Arblib .8 instead of 1.X is going to block us from updating DynamicPolynomials, but ultimately Symbolics too (which now also requires DynamicPolynmials 6). Note that this isn't an issue with Arblib just recently making a breaking release, v1.0 came out 10 months ago.

It seems like we might want to move such extensions to be separate libraries (i.e. CatalystHomotopyContinuation or such), which would at least allow Catalyst to get updated for everyone that doesn't need to load HomotopyContinuation.

[PBrdng]

Hi, the problem here is that using Arblib 1.0 or newer causes some of the crucial tests in HomotopyContinuation to fail. I'm on it, but I don't know how long it will take to fix this. Sorry!!

[isaacsas]

No worries, and thanks for looking into it!

[ChrisRackauckas]

We can probably relax the DynamicPolynomials. The sad thing is then you'll have a Pkg dependency with DynamicPolynomials v5

[isaacsas]

This may all be indicative that we should split off a Catalyst core at some point.