Revision history [back]

This is relatively easy to do using the documentation, see the basic algebra page on differentation: hxxxps://doc.sagemath.org/html/en/tutorial/tour_algebra.html#differentiation-integration-etc (replace hxxxps with https, I can't post links yet).

One of my favourite problems is to show that:

$$\int \ln(x) dx = x\ln(x) - x + C$$

In sagemath this can be done as follows:

u = var('u')
f(u) = ln(u)
f
u |--> log(u)
integral(f(u),u)
u*log(u) - u

You should be able to adapt this example to your case.

This is relatively easy to do using the documentation, see the basic algebra page on differentation: hxxxps://doc.sagemath.org/html/en/tutorial/tour_algebra.html#differentiation-integration-etc (replace hxxxps with https, I can't post links yet).https://doc.sagemath.org/html/en/tutorial/tour_algebra.html#differentiation-integration-etc.

One of my favourite problems is to show that:

$$\int \ln(x) dx = x\ln(x) - x + C$$

In sagemath this can be done as follows:

u = var('u')
f(u) = ln(u)
f
u |--> log(u)
integral(f(u),u)
u*log(u) - u

You should be able to adapt this example to your case.