Is there any implementation that computes
div(x,y) mod l, where
l is the order of the base point
y are from that field (i.e. they are ge), or a function that calculates the inverse of a scalar in that field
(inside the monero code base)?
(I saw that there might exist a function that computes it in the case that
y are fe- called
fe_invert (or maybe