Let Mathematica free integration work with definite integrals

[kcrisman]

See this ask.sagemath question. Apparently

sage: integrate(x^2,x,algorithm='mathematica_free')
1/3*x^3
sage: integrate(x^2,x,0,1,algorithm='mathematica_free')
1/3*x^3

so that would be useful to fix. Since it currently returns an indefinite integral when we ask for a definite one, I'll classify this as a defect.

Component: calculus

Author: Emmanuel Charpentier

Branch: 18385a7

Reviewer: Travis Scrimshaw, Frédéric Chapoton

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

[EmmanuelCharpentier]

comment:5

This seems fixed in recent Sage versions. IN 9.2.beta0:

sage: integrate(x^2,x,0,1,algorithm='mathematica_free')
1/3
sage: integrate(sin(x),x,0,pi,algorithm='mathematica_free')
2
sage: integrate(sqrt(x),x,0,1,algorithm='mathematica_free')
2/3
sage: integrate(sqrt(x),x)
2/3*x^(3/2)

[kcrisman]

comment:6

Needs doctest if these aren't already tested (which they may be).

[EmmanuelCharpentier]

comment:7

Replying to @kcrisman:

Needs doctest if these aren't already tested (which they may be).

Right. Putting this to needs_work.

[EmmanuelCharpentier]

Branch: u/charpent/let_mathematica_free_integration_work_with_definite_integrals

[EmmanuelCharpentier]

Author: Emmanuel Charpentier

[EmmanuelCharpentier]

Changed branch from u/charpent/let_mathematica_free_integration_work_with_definite_integrals to none

[EmmanuelCharpentier]

comment:10

Added relevant doctests to src/sage/symbolics/integratin/external.py, which pass for me.

==>needs_review

[tscrim]

New commits:

ced138e

Doctests for definite integral using mathematica_free.

[tscrim]

Branch: u/charpent/let_mathematica_free_integration_work_with_definite_integrals

[tscrim]

Commit: ced138e

[tscrim]

Reviewer: Travis Scrimshaw

[tscrim]

comment:12

Some fixes are needed:

-    ::
 
-    Check that :trac:`14764` is resolved:
+    Check that :trac:`14764` is resolved::

[EmmanuelCharpentier]

comment:13

Aaaarghhh!!! Sphinx is exceedingly prone to punctuation errors.

I'm on it.

[sagetrac-git]

Changed commit from ced138e to 18385a7

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

18385a7

Punctiation fic for doctests for definite integral using mathematica_free.

[EmmanuelCharpentier]

comment:15

Done. needs_review

[fchapoton]

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

[fchapoton]

comment:16

allons-y !

[vbraun]

Changed branch from u/charpent/let_mathematica_free_integration_work_with_definite_integrals to 18385a7

[seblabbe]

Changed commit from 18385a7 to none

[seblabbe]

comment:18

I think it was fixed in #25501