Polynomial-with-Real

• define a polynomial with real coefficients Aug 07, 2026