I'm learning math with Z3 library and Python language, and i don't know How i can find a Polynomial based on Lagrange Interpolation Polynomial? Eg,
I have
f(0) = y0
f(1) = y1
f(2) = y2
....
And I want to find f(X)
I'm work well with Scipy but When changing to Z3 library, it's have no more docs I can be found :(