Another integral affected by this change:
(1) -> integrate(1/sqrt(1 + b*sec(x))^3,x)
>> Error detected within library code:
RadicalFunctionField: curve is not irreducible
It worked in 1.2.7.
A simple change can make most of these problems go away,
but as discussed before, there's a better
Another integral with exact same problem:
(1) -> integrate((k*x^2 - 1)/((a*k*x + b)*(b*x + a)*sqrt((1 - x^2)*(1
- k^2*x^2))), x)
>> Error detected within library code:
catdef: division by zero
Under FriCAS 1.2.7, this integral returns after 1 minute.
--
You received this message because
> AFAICS code using FSRED has design problem: due to random
> choice we may reduce denominator to 0. I believe that
> in such case we should restart computations using different
> reduction. But current code just signals error (which is
> definitely wrong).
Yes, that should be the correct soluti
>
> > 1) The default value for nn is incorrect, and nn is not
> > updated after being used in K2Z.
> >
> > Actually, I think argumentless 'random' is a good idea.
>
> I misunderstood a little, my point is:
> 1) The default value of nn should not be 1.
> 2) We should use "1+random(nn)" in this cas
> 1) The default value for nn is incorrect, and nn is not
> updated after being used in K2Z.
>
> Actually, I think argumentless 'random' is a good idea.
I misunderstood a little, my point is:
1) The default value of nn should not be 1.
2) We should use "1+random(nn)" in this case to avoid 0.
--