Interval-tnum reduced product - #522

Draft

alegs-a wants to merge 7 commits into

mainfrom

reduced-prod-interval-tnum

Commits on Jul 16, 2025

Skeleton of generic reduced product
alegs-a
committed
92d9f59

Commits on Jul 24, 2025

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

Commits on Jul 25, 2025

Overly simplistic tests of tnum-interval reduction logic
alegs-a
committed
34d0ccb
Fix logic errors + reformat
alegs-a
committed
fe696b8
Make CI happy
alegs-a
committed
f2c6dcc
Test case with real procedure!
alegs-a
committed
721ba35
Make scalafmt happy (again)
alegs-a
committed
44f6d83