Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

many integrals cause giac crashed but work inside giac

Using sagemath 9.5, some integrals in giac return antiderivative which can be used, but giac adds some warning messages before these.

But from sagemath instead I get

Giac crashed -- automatically restarting.
sage16*x

Is it possible to make sagemath return the antiderivative found? Here is an example

sage: var("x d e a b c m")
sage: integrate(x^4 / (b ^ 2 * x^2 + 2 * a * b * x + a^2)^(3 / 2), x, algorithm="giac")
Giac crashed -- automatically restarting.
sage20*x

Doing same thing from inside giac 1.7 gives

12>> integrate(x^4/(b^2*x^2 + 2*a*b*x + a^2)^(3/2),x)
Warning, integration of abs or sign assumes constant sign by intervals (correct if the argument is real):
Check [abs(b*x+a)]
Discontinuities at zeroes of b*x+a were not checked
1/2*(8*a^3*b*x+7*a^4)/(b^5*(b*x+a)^2*sign(b*x+a))+(1/2*b^3*x^2*sign(b*x+a)-3*a*b^2*x*sign(b*x+a))/(b^6*sign(b*x+a)^2)+6*a^2*ln(abs(b*x+a))/(b^5*sign(b*x+a))
// Time 0.01
13>>

So it worked in spite of these warning messages. This makes it look like giac did not solve this integral when in fact it solved it (I do not if the result is correct or not)

I might have asked about this before but I do not remember now. This cause giac results in a test I am running show lower than they should be.

There are many many more such examples. Here are few more integrand which all cause giac crashes in sagemath

x^3/(b^2*x^2+2*a*b*x+a^2)^(3/2)
x^2/(b^2*x^2+2*a*b*x+a^2)^(3/2)
x/(b^2*x^2+2*a*b*x+a^2)^(3/2)
1/(b^2*x^2+2*a*b*x+a^2)^(3/2)
1/x/(b^2*x^2+2*a*b*x+a^2)^(3/2)
etc..

Is there an option or way to handle this? Why does sagemath say that giac crashed also?

many integrals cause giac crashed but work inside giac

Using sagemath 9.5, some integrals in giac return antiderivative which can be used, but giac adds some warning messages before these.

But from sagemath instead I get

Giac crashed -- automatically restarting.
sage16*x

Is it possible to make sagemath return the antiderivative found? Here is an example

sage: var("x d e a b c m")
sage: integrate(x^4 / (b ^ 2 * x^2 + 2 * a * b * x + a^2)^(3 / 2), x, algorithm="giac")
Giac crashed -- automatically restarting.
sage20*x

Doing same thing from inside giac 1.7 gives

12>> integrate(x^4/(b^2*x^2 + 2*a*b*x + a^2)^(3/2),x)
Warning, integration of abs or sign assumes constant sign by intervals (correct if the argument is real):
Check [abs(b*x+a)]
Discontinuities at zeroes of b*x+a were not checked
1/2*(8*a^3*b*x+7*a^4)/(b^5*(b*x+a)^2*sign(b*x+a))+(1/2*b^3*x^2*sign(b*x+a)-3*a*b^2*x*sign(b*x+a))/(b^6*sign(b*x+a)^2)+6*a^2*ln(abs(b*x+a))/(b^5*sign(b*x+a))
// Time 0.01
13>>

So it worked in spite of these warning messages. This makes it look like giac did not solve this integral when in fact it solved it (I do not know if the result is correct or not)

I might have asked about this before but I do not remember now. This cause giac results causes giac result in a test I am running to show lower than they should be.

There are many many more such examples. Here are few more integrand which all cause giac crashes in sagemath

x^3/(b^2*x^2+2*a*b*x+a^2)^(3/2)
x^2/(b^2*x^2+2*a*b*x+a^2)^(3/2)
x/(b^2*x^2+2*a*b*x+a^2)^(3/2)
1/(b^2*x^2+2*a*b*x+a^2)^(3/2)
1/x/(b^2*x^2+2*a*b*x+a^2)^(3/2)
etc..

Is there an option or way to handle this? Why does sagemath say that giac crashed also?when it does not when used directly?

many integrals cause giac crashed but work inside giac

Using sagemath 9.5, some integrals in giac return antiderivative which can be used, but giac adds some warning messages before these.

But from sagemath instead I get

Giac crashed -- automatically restarting.
sage16*x

Is it possible to make sagemath return the antiderivative found? Here is an example

sage: var("x d e a b c m")
sage: integrate(x^4 / (b ^ 2 * x^2 + 2 * a * b * x + a^2)^(3 / 2), x, algorithm="giac")
Giac crashed -- automatically restarting.
sage20*x

Doing same thing from inside giac 1.7 gives

12>> integrate(x^4/(b^2*x^2 + 2*a*b*x + a^2)^(3/2),x)
Warning, integration of abs or sign assumes constant sign by intervals (correct if the argument is real):
Check [abs(b*x+a)]
Discontinuities at zeroes of b*x+a were not checked
1/2*(8*a^3*b*x+7*a^4)/(b^5*(b*x+a)^2*sign(b*x+a))+(1/2*b^3*x^2*sign(b*x+a)-3*a*b^2*x*sign(b*x+a))/(b^6*sign(b*x+a)^2)+6*a^2*ln(abs(b*x+a))/(b^5*sign(b*x+a))
// Time 0.01
13>>

So it worked in spite of these warning messages. This makes it look like giac did not solve this integral when in fact it solved it (I do not know if the result is correct or not)

I might have asked about this before but I do not remember now. This causes giac result in a test I am running to show lower than they should be.

There are many many more such examples. Here are few more integrand which all cause giac crashes in sagemath

x^3/(b^2*x^2+2*a*b*x+a^2)^(3/2)
x^2/(b^2*x^2+2*a*b*x+a^2)^(3/2)
x/(b^2*x^2+2*a*b*x+a^2)^(3/2)
1/(b^2*x^2+2*a*b*x+a^2)^(3/2)
1/x/(b^2*x^2+2*a*b*x+a^2)^(3/2)
etc..

Is there an option or way to handle this? Why does sagemath say that giac crashed when it does not when used directly?

many integrals cause giac crashed crash but work inside giac

Using sagemath 9.5, some integrals in giac return antiderivative which can be used, but giac adds some warning messages before these.

But from sagemath instead I get

Giac crashed -- automatically restarting.
sage16*x

Is it possible to make sagemath return the antiderivative found? Here is an example

sage: var("x d e a b c m")
sage: integrate(x^4 / (b ^ 2 * x^2 + 2 * a * b * x + a^2)^(3 / 2), x, algorithm="giac")
Giac crashed -- automatically restarting.
sage20*x

Doing same thing from inside giac 1.7 gives

12>> integrate(x^4/(b^2*x^2 + 2*a*b*x + a^2)^(3/2),x)
Warning, integration of abs or sign assumes constant sign by intervals (correct if the argument is real):
Check [abs(b*x+a)]
Discontinuities at zeroes of b*x+a were not checked
1/2*(8*a^3*b*x+7*a^4)/(b^5*(b*x+a)^2*sign(b*x+a))+(1/2*b^3*x^2*sign(b*x+a)-3*a*b^2*x*sign(b*x+a))/(b^6*sign(b*x+a)^2)+6*a^2*ln(abs(b*x+a))/(b^5*sign(b*x+a))
// Time 0.01
13>>

So it worked in spite of these warning messages. This makes it look like giac did not solve this integral when in fact it solved it (I do not know if the result is correct or not)

I might have asked about this before but I do not remember now. if I did, it must be long time ago, and the problem is still here.

This causes giac result in a test I am running to show lower than they should be.

There are many many more such examples. Here are few more integrand which all cause giac crashes in sagemath

x^3/(b^2*x^2+2*a*b*x+a^2)^(3/2)
x^2/(b^2*x^2+2*a*b*x+a^2)^(3/2)
x/(b^2*x^2+2*a*b*x+a^2)^(3/2)
1/(b^2*x^2+2*a*b*x+a^2)^(3/2)
1/x/(b^2*x^2+2*a*b*x+a^2)^(3/2)
etc..

Is there an option or way to handle this? Why does sagemath say that giac crashed when it does not when used directly?