Consider the following: f := cosh(a * x) * sinh(a * x)
integrate(f, x) This results in an expression that is not a real number when the parameter "a" equals zero. But see: g := cosh(0 * x) * sinh(0 * x) integrate(g, x) This on the other hand correctly computes the indefinite integral to be zero. Consider a user (someone like me who is not intimately familiar with the implementation of FriCAS) who wants Fricas to integrate "cosh(a * x) * sinh(a * x)": he or she will expect the result of "integrate(f, x)" to be correct for any x, and indeed there is no indication from Fricas that this is not the case. Is Fricas's behavior thus not buggy? Questions: Is this considered a bug by the developers? Is it just a (temporary) limitation? How tough would this be to fix, either by indicating the assumption of "a" being non-zero or computing for any parameter "a" right away? Is there a way to tell which assumptions Fricas (in the integrate function or elsewhere) makes about parameters? Is there already a way to force Fricas to integrate so that the parameters can be any real number, including zero? Regards, Neven -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/CAL%2BbK4OJDpL%2BWwjMr8CANg6ObcdThAP%2Bhzm4NpKsLREFG%2B6XKA%40mail.gmail.com.
