miller functions for elliptic curves

[Pierre Charollois <pierre.charollois@gmail.com>]

Hello,

in the documentation for elliptic curves, a Miller functions f_{m, P} seems to be 

coded for curves over finite fields

" More precisely, let f_m,P denote a Miller function with divisor m[P] - m[O_E]; the algorithm returns f_m,P(Q) ∈ k^*/(k^*)^m.".

I am curious about the code for this function fm, P.

Is it available for any field, not only finite fields ?

Is there some documentation about it ?

Thanks !

Pierre Charollois