On Friday, June 4, 2021 at 10:03:47 PM UTC+8 Emmanuel Charpentier wrote:
> Le samedi 29 mai 2021 à 01:16:21 UTC+2, hongy...@gmail.com a écrit :
>
>> On Saturday, May 29, 2021 at 1:01:38 AM UTC+8 dim...@gmail.com wrote:
>>
>>> On Fri, May 28, 2021 at 5:38 PM Hongyi Zhao wrote:
>>> >
>>> >
>>>
Le samedi 29 mai 2021 à 01:16:21 UTC+2, hongy...@gmail.com a écrit :
> On Saturday, May 29, 2021 at 1:01:38 AM UTC+8 dim...@gmail.com wrote:
>
>> On Fri, May 28, 2021 at 5:38 PM Hongyi Zhao wrote:
>> >
>> >
>> >
>> > On Friday, May 28, 2021 at 8:19:07 PM UTC+8 Emmanuel Charpentier wrote:
>
Le vendredi 28 mai 2021 à 19:01:38 UTC+2, dim...@gmail.com a écrit :
> On Fri, May 28, 2021 at 5:38 PM Hongyi Zhao wrote:
> >
> >
> >
> > On Friday, May 28, 2021 at 8:19:07 PM UTC+8 Emmanuel Charpentier wrote:
> >>
> >> This can be computed “by hand” using (one of) the textbook
> definit
On Saturday, May 29, 2021 at 1:01:38 AM UTC+8 dim...@gmail.com wrote:
> On Fri, May 28, 2021 at 5:38 PM Hongyi Zhao wrote:
> >
> >
> >
> > On Friday, May 28, 2021 at 8:19:07 PM UTC+8 Emmanuel Charpentier wrote:
> >>
> >> This can be computed “by hand” using (one of) the textbook
> defini
On Fri, May 28, 2021 at 5:38 PM Hongyi Zhao wrote:
>
>
>
> On Friday, May 28, 2021 at 8:19:07 PM UTC+8 Emmanuel Charpentier wrote:
>>
>> This can be computed “by hand” using (one of) the textbook definition(s) :
>>
>> sage: var("omega, s")
>> (omega, s)
>> sage: integrate(sin(x^2)*e^(-I*s*x), x, -
On Friday, May 28, 2021 at 8:19:07 PM UTC+8 Emmanuel Charpentier wrote:
> This can be computed “by hand” using (one of) the textbook definition(s) :
>
> sage: var("omega, s")
> (omega, s)
> sage: integrate(sin(x^2)*e^(-I*s*x), x, -oo, oo)
> 1/2*sqrt(2)*sqrt(pi)*cos(1/4*s^2) - 1/2*sqrt(2)*sqrt(pi
This can be computed “by hand” using (one of) the textbook definition(s) :
sage: var("omega, s")
(omega, s)
sage: integrate(sin(x^2)*e^(-I*s*x), x, -oo, oo)
1/2*sqrt(2)*sqrt(pi)*cos(1/4*s^2) - 1/2*sqrt(2)*sqrt(pi)*sin(1/4*s^2)
Both sympy and giac have implementations of this transform :
sage: