Thanks. I did not know one can do this from sage sage:
fricas.setSimplifyDenomsFlag(fricas.true)
It seems to have helped in so far the integrals that used to hang do not
know in sage.
But as you said, number of integrals which evaluate in fricas itself. now
fail from sage calling fricas, with
NotImplementedError: The translation of the FriCAS
Expression
I just tried this one integrate(sqrt(x + sqrt(x + 1))/((x^2 + 1)*sqrt(x +
1)),x) and it works inside fricas
but gives an error from sage.
So it looks like trying to use Fricas from sage is still not 100% working.
On Monday, June 18, 2018 at 2:18:37 AM UTC-5, Martin R wrote:
>
> You can use
>
> sage: fricas.setSimplifyDenomsFlag(fricas.true)
>
> However, in the example below, you will hit another NotImplementedError:
> rootOf has no translation to sage yet.
> https://trac.sagemath.org/ticket/25597 might be necessary, I don't know.
>
> Martin
>
> Am Sonntag, 17. Juni 2018 14:54:19 UTC+2 schrieb Nasser M. Abbasi:
>>
>> I am using sagemath to call fricas integrate, as in
>>
>> sage: integrate((x+(1+x)^(1/2))^(1/2)/(x^2+1)/(1+x)^(1/2),x,
>> algorithm="fricas")
>>
>> The problem is that I need to setSimplifyDenomsFlag(true) before, which I
>> do not know how to do this from sage, since it only supports the above call
>> as far as I know. But I also just asked about this at the sagemath form
>> https://ask.sagemath.org just in case there is way.
>>
>> Is it possible to build Fricas on Linux with this flag true? If so, how?
>> Otherwise, many integrals will timeout because of this and I could not use
>> sage to test fricas using this method.
>>
>> Thanks
>> --Nasser
>>
>>
>>
>>
>>
>>
>>
--
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.
