How to calculate interpolation with new Z3?

Question

How to calculate interpolation with new Z3?

I used to calculate interpolation with function Z3_interpolate

when using unstable Z3 4.3.2. But in Z3 stable 4.3.2 and Z3 unstable 4.3.3, I can't call anymore Z3_interpolate

. I'm wondering how to compute the interpolation from the API provided by the new Z3. (The doc and example provide a bit of information on computational interpolation with the Z3 API, and I don't know how to do it now)

+3

interpolation z3

cxcfan 27 nov. 14 at 16:22

source to share

No one has answered this question yet

Check out similar questions:

ten

Python / Scipy interpolation (map_coordinates)

3

Interpolated affine transform

2

get x-value given y-value: general root search for linear / non-linear interpolation function

2

How to interpolate data with Gnuplot for further calculations

2

Interpolate a list by a specific length?

1

Using an interpolation function over a 2-D array

1

2D interpolation using X-times

1

Lagrange interpolation coding error result

1

Craig's Interpolation API

0

Matlab interpolation of hemisphere to finer mesh

How to calculate interpolation with new Z3?

More articles: