xyy wrote:
>
> Actually I also tried Axiom May 2012 version, seems that it triggers an
> infinity loop. But you are different projects...
>
> xyy
>
Axiom for this integral probably uses old code (coming from
NAG version). This part is extremaly slow, and if you are
patient enough (it may take a month or more) should either
run out of memory or finally signal different error. AFAICS
original code is exteremaly unlikely to produce result.
Namely it uses constructs which are not handled at later
stages. Unless there is some magic cancelation
eventually the code will signal error. There is no reson
to expect cancelation and in fact under assumptions that
this code is making (but which are violated in your
example) there should be no cancellation. So basically
old code for this case has no chance of working, but
the problem is masked by sloweness: the code is so slow
(and need _huge_ amount of memory) that I can not imagine
that anybody tried long enough to see error. The
old code is removed from FriCAS, instead FriCAS tries
to handle this case in different way. Unfortunately
I made a mistake in my reasoning and some case are
not handled by new code. FriCAS recognises the problematic
case, but istead of claiming that it is impossible we
need to handle it.
--
Waldek Hebisch
[email protected]
--
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 post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
