Add parametric ideal and interpolation-based algorithms

[wegank]

This PR introduces ParametricIdeal{K}, a new type for polynomial ideals defined over $\mathbb{K}=\mathbb{Q}(y_1,\dots,y_t)$ instead of $\mathbb{Q}$.

To support computations in this setting, the PR implements interpolation-based algorithms for the computation of Gröbner bases, multiplication/Hermite matrices, and parametrizations.

[codecov-commenter]

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

Codecov Report

❌ Patch coverage is 62.36264% with 137 lines in your changes missing coverage. Please review.
✅ Project coverage is 82.14%. Comparing base (91d7230) to head (e109eac).
⚠️ Report is 4 commits behind head on main.

Files with missing lines	Patch %	Lines
src/algorithms/param-ideal/hermite-matrices.jl	32.95%	59 Missing ⚠️
src/algorithms/param-ideal/groebner-bases.jl	70.00%	42 Missing ⚠️
.../algorithms/param-ideal/multiplication-matrices.jl	50.00%	27 Missing ⚠️
src/algorithms/param-ideal/parametrizations.jl	85.41%	7 Missing ⚠️
src/types.jl	94.11%	2 Missing ⚠️
❗ Your organization needs to install the Codecov GitHub app to enable full functionality.

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #146      +/-   ##
==========================================
- Coverage   83.62%   82.14%   -1.49%     
==========================================
  Files          32       37       +5     
  Lines        3188     3657     +469     
==========================================
+ Hits         2666     3004     +338     
- Misses        522      653     +131     

☔ View full report in Codecov by Harness.
📢 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.