Hi. Do you have plans for complex exponentials? (CC: @Li Zhou )
We have recently been experimenting with a definition of the complex exponential (using already available basic real functions) as part of the development of robotics @Laurent Théry and @Marie Kerjean has further general insights about using complex numbers with mathcomp-analysis. I actually wanted to bring up the question during today's mathcomp-analysis dev-meeting.
Thx. I won't be able to be at the meeting, but will read the minutes.
Last updated: Feb 05 2023 at 07:03 UTC