Pierre-Yves Strub (Feb 23 2022 at 16:22): Pierre-Yves Strub (Feb 23 2022 at 16:22):Hi. Do you have plans for complex exponentials? (CC: @Li Zhou )
Reynald Affeldt (Feb 23 2022 at 22:30):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.
Pierre-Yves Strub (Feb 24 2022 at 13:02):Thx. I won't be able to be at the meeting, but will read the minutes.
Last updated: Aug 19 2022 at 20:03 UTC