Adding new functions rank_interpolation, rank_interpolation_mc and evaluation_points.

[stelip42]

rank_interpolation_mc is a monte-carlo version of rank_interpolation. Both functions were written for matrices over rational function field / polynomial rings, since in this case llu decomposition is slow.
evaluation_points returns the needed points from the base field for "interpolation".

[thofma]

I'll review this.

[lgoettgens]

I'll leave the mathematics to Tommy, but here are some technical things

[thofma]

Very nice, thanks. I left a few comments that should be addressed. There are also a few general things:

1. The indentation should be consistent. At the moment it is 3 spaces, 4 spaces or 6 spaces.
2. Make the spaces after the comma consistent. So it should be M[i, j] instead of M[i,j] etc.
3. The files should have a new line at the end. (We can discuss in person what does means or why your editor does not do this automatically.)
4. No unicode (aka ϵ).

[stelip42]

Thanks for reviewing @thofma @lgoettgens. I have applied all your suggestions.

[thofma]

Needs a few changes. If you are done, you can mark the PR as "ready for review" (there is a button for this near the end of the page).

[stelip42]

There are still 2 problems @thofma:

• clog not defined in AbstractAlgebra
• rank_interpolation and rank_interpolation_mc are part of RationalFunctionField at this moment. This is only a short-term solution.

[thofma]

Before fixing the clog, please fix the current test and documentation failure.