On 03/13/2018 12:53 PM, Waldek Hebisch wrote:
I am just differentiating the integral produced and matching that to the
Then doing a "leaf count" of the resulting integral and comparing that
to the Rubi form.
Actually falling back on Fricas is probably cheating, and won't fly with
the Rubi author.
When trying to integrate:
I get a list containing "all possible solutions"; that's okay, but how
do I determine what conditions the alternatives hold for?Â Is there an
automated way; or do I have to evaluate each solution separately
Well, each solution is supposed to be correct solution. Which
one is more appropriate depends on conditions unknown to the
?Dealing with the same problem I tried:
and got one solution.
Should I just go with complexIntegrate() all the time?
_You_ decide what you need. But in general result of 'complexIntegrate'
is likely to be futher from user input than result of 'integrate'.
I am evaluating the Rubi test suite in Maxima and trying fricas as a
fall back when Maxima fails; and trying to keep the interface simple.
Depends what you want to check. In some tests I checked all solutions
returned by FriCAS, in other cases just the first result.
i.e. if Maxima returns an unevaluated value I call Fricas :)
I can't resist showing that there is a free program that does solve the
I suppose that one could weld the two together (say like Sage does) and
communicate by real
"pipes" rather than through the disk :) ; and just call them different
"modes". Since they have
different Goals (typed vs. nontyed (more or less)) that seems better
than rewriting or merging both; or some such.
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 post to this group, send email to firstname.lastname@example.org.
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.