Interval-tnum reduced product#522

Draft

alegs-a wants to merge 7 commits intomainfrom

reduced-prod-interval-tnum

Commits on Jul 16, 2025

Skeleton of generic reduced product
alegs-a
committed

Commits on Jul 24, 2025

Implementation of reduced product between intervals and tnums
alegs-a
committed