Add multivariate rational interpolation

[wegank]

This is a PR aimed at adding (multithreaded) multivariate polynomial and rational interpolation schemes to AlgebraicSolving.jl. The implementation follows the description in https://arxiv.org/pdf/1608.01902.

Direct applications of the interpolation schemes include computing

• Resultants of multivariate polynomials (of a magnitude faster than FLINT);
  This functionality is included in the PR. The signature matches that of Add resultant/discriminant for QQ/ZZ/FpMPolyRingElem Nemocas/Nemo.jl#2255.
• Parametric Gröbner basis over $\mathbb{Q}(y_{1},...,y_{t})$;
  This functionality will be included in an upcoming PR.
• Parametric Hermite matrices (see https://arxiv.org/pdf/2011.14136);
• Parametric geometric resolutions (see https://cs.uwaterloo.ca/~eschost/publications/parametr.pdf).

For now, the methods are not exposed at top-level; they can be used either with using AlgebraicSolving.Interpolation, or internally in AlgebraicSolving.jl.

[codecov-commenter]

⚠️ Please install the to ensure uploads and comments are reliably processed by Codecov.

Codecov Report

❌ Patch coverage is 83.80463% with 63 lines in your changes missing coverage. Please review.
✅ Project coverage is 83.58%. Comparing base (374e12d) to head (cb3b4d8).
⚠️ Report is 103 commits behind head on main.

Files with missing lines	Patch %	Lines
src/progress/main.jl	36.84%	24 Missing ⚠️
src/interp/cuyt_lee.jl	82.81%	22 Missing ⚠️
src/interp/thiele.jl	76.66%	14 Missing ⚠️
src/interp/newton.jl	97.64%	2 Missing ⚠️
src/interp/resultant.jl	98.70%	1 Missing ⚠️
❗ Your organization needs to install the Codecov GitHub app to enable full functionality.

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #122      +/-   ##
==========================================
+ Coverage   83.02%   83.58%   +0.55%     
==========================================
  Files          25       32       +7     
  Lines        2610     3173     +563     
==========================================
+ Hits         2167     2652     +485     
- Misses        443      521      +78     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

[mohabsafey]

Many thanks for all of that. This looks really great.
Just some first comments:

• could you check that the implicit assumptions on the input are satisfied (if this is not too costly)?
• these assumptions should be stated in the documentations of these functions (mainly cuyt_lee, newton, thiele)
• I think it would be valuable if these documentations include examples of use.