Bug fix for ECNF downloader#7005

Merged

edgarcosta merged 2 commits into

May 29, 2026

Commits on May 13, 2026

Small bug fix; now parses coefficients in ECNF downloader as rationals instead of integers
rvisser7
committed

Commits on May 29, 2026

Apply suggestion from @edgarcosta
edgarcosta
authored