Great, thank you! I 'grep-ped' fresnelC but must have missed limitps.spad :(
-- liouv.spad -- fresnelC x == opfic x -- derivative(opfic, (z1 : F) : F +-> cos(pi()*z1^2/(2::F))) --> is ok. On 12.06.2018 15:22, oldk1331 wrote: > For the first part of your question, it seems that there is > a very basic mistake of definition between > > int(cos(t^2),t) and int(cos(%pi*t^2/2),t) > > > > diff --git a/src/algebra/limitps.spad b/src/algebra/limitps.spad > index 02a85a8e..1ee8682a 100644 > --- a/src/algebra/limitps.spad > +++ b/src/algebra/limitps.spad > @@ -298,8 +298,8 @@ > is?(ker, 'acsc) => 0 > is?(ker, 'acsch) => 0 > is?(ker, 'acoth) => 0 > - is?(ker, 'fresnelS) => sqrt(pi()/(8 :: FE)) > - is?(ker, 'fresnelC) => sqrt(pi()/(8 :: FE)) > + is?(ker, 'fresnelS) => 1/(2 :: FE) > + is?(ker, 'fresnelC) => 1/(2 :: FE) > is?(ker, 'Si) => pi()/(2 :: FE) > is?(ker, 'Ci) => 0 > is?(ker, 'airyAi) => 0 > @@ -323,8 +323,8 @@ > is?(ker, 'acsc) => -pi() > is?(ker, 'acsch) => 0 > is?(ker, 'acoth) => 0 > - is?(ker, 'fresnelS) => -sqrt(pi()/(8 :: FE)) > - is?(ker, 'fresnelC) => -sqrt(pi()/(8 :: FE)) > + is?(ker, 'fresnelS) => -1/(2 :: FE) > + is?(ker, 'fresnelC) => -1/(2 :: FE) > is?(ker, 'Si) => -pi()/(2 :: FE) > is?(ker, 'airyAi) => 0 > is?(ker, 'airyBi) => 0 > -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
