construct/rlve polynomial interpolation
construct/rlve polynomial interpolation: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). A polynomial f(x) = a 0 + a 1 x + ... + a 13 x^13 of degree 13 with integer coefficients satisfies f(0) = 3 f(6) = 20423572461 f(4) = 117571991 f(-3) = 640827 f(-4) = 5767311 f(-1) = -9 f(5) =…
The task
A polynomial f(x) = a_0 + a_1 x + ... + a_13 x^13 of degree 13 with integer coefficients satisfies f(0) = 3 f(6) = 20423572461 f(4) = 117571991 f(-3) = 640827 f(-4) = 5767311 f(-1) = -9 f(5) = 2010860283 f(10) = 13654740012113 f(8) = 794124358731 f(-12) = -69436597451769 f(12) = 140143647547167 f(-9) = -1337523794889…