Over a year ago, I posted an initial version of a user-defined surface that models an idealized perfect lens satisfying the sine condition, see:
This is distinctly different than a paraxial lens surface that does not, in general, satisfy the sine condition. As a result, a paraxial lens is a poor substitute for a well-corrected high-NA lens (e.g., a microscope objective, in which a paraxial version yields the wrong NA for a given EPD, and vice versa).
Since my initial posting, I have revised the model and published the details in Applied Optics. The new model simulates both a perfect imaging lens and a perfect Fourier transform lens. The paper, as well as the DLL and several example model files, are all freely available at:
I’ve removed the older version of the DLL now that this new one is available.
Please feel free to try it out and provide feedback.