Problem translating Fricas special function ellipticF to Sagemath

[nasser1]

For reference: #34058

There is still an issue with translation of Fricas special functions to Sagemath.

Using sagemath 9.7 beta 5, Fricas returns antiderivative which has ellipticF but this remains as is at Sagemath. But Sagemath has no such special function. It should be elliptic_f

>./sage
┌────────────────────────────────────────────────────────────────────┐
│ SageMath version 9.7.beta5, Release Date: 2022-07-10               │
│ Using Python 3.10.5. Type "help()" for help.                       │
└────────────────────────────────────────────────────────────────────┘
┏━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┓
┃ Warning: this is a prerelease version, and it may be unstable.     ┃
┗━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┛
sage: var('a b c x d')
(a, b, c, x, d)
sage: integrate((b*x^2+a)^(1/2)*(d*x^2+c)^(1/2),x, algorithm="fricas")
1/3*((b*d^2*x^2 + b*c*d + a*d^2)*sqrt(b*x^2 + a)*sqrt(d*x^2 + c)*sqrt(b*d)*sqrt(-c/d) - (b^2*c^3 + a*b*c^2*d + 2*a*b*c*d^2)*x*ellipticF(sqrt(-c/d)/x, a*d/(b*c)) + (b^2*c^3 + a*b*c^2*d)*x*elliptic_e(arcsin(sqrt(-c/d)/x), a*d/(b*c)))/(sqrt(b*d)*b*d^2*x*sqrt(-c/d))
sage: ?ellipticF
Object `ellipticF` not found.

Thank you
--Nasser

CC: @mantepse @fchapoton

Component: interfaces

Keywords: fricas

Author: Martin Rubey

Branch/Commit: c89110a

Reviewer: Frédéric Chapoton, Travis Scrimshaw

Issue created by migration from https://trac.sagemath.org/ticket/34186

[mantepse]

Changed keywords from fricas intergate symbolic to fricas

[mantepse]

Branch: u/mantepse/problem_translating_fricas_special_function_ellipticf_to_sagemath

[mantepse]

Commit: c89110a

[mantepse]

Author: Martin Rubey

[mantepse]

New commits:

c89110a

add translation for ellipticF

[nasser1]

comment:4

How does one test the above fix? Does one need to wait for sagemath 9.7 beta 6? I know nothing about using github. I only know how to download the zip file and build sagemath from it.

[mantepse]

comment:5

I am afraid that without git it is not possible to test it. But using git and got trac is not hard, see the developers guide.

[fchapoton]

Reviewer: Frédéric Chapoton

[fchapoton]

comment:7

I cannot test and will not be able to. If tests pass with and without fricas, you can set to positive on my behalf.

[fchapoton]

comment:8

ping ?

[tscrim]

comment:9

I tested it both ways. LGTM.

[tscrim]

Changed reviewer from Frédéric Chapoton to Frédéric Chapoton, Travis Scrimshaw

[vbraun]

Changed branch from u/mantepse/problem_translating_fricas_special_function_ellipticf_to_sagemath to c89110a