login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Edit detail for #105 integrate(z^3000, z=0..1) revision 4 of 5

1 2 3 4 5
Editor: kratt6
Time: 2009/01/28 08:51:59 GMT-8
Note: Some work on this has been done

added:

From kratt6 Wed Jan 28 08:51:59 -0800 2009
From: kratt6
Date: Wed, 28 Jan 2009 08:51:59 -0800
Subject: Some work on this has been done
Message-ID: <20090128085159-0800@axiom-wiki.newsynthesis.org>

http://groups.google.de/group/fricas-devel/browse_thread/thread/acdf538434a8d864?hl=de&ie=UTF-8&q=fricas+%23105#c22688ba9fb86c51

Submitted by : (unknown) at: 2007-11-17T21:51:54-08:00 (16 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :

stack overflow

property change
Tue, 08 Mar 2005 05:02:40 -0600 reply

works in Sept 2007 patched to 20070915.02.tpd.patch --daly, Sat, 15 Sep 2007 22:37:09 -0500 reply
Status: open => closed

Evaluating this still seems to be very slow.

Status: closed => open

Although with this particular exponent, no stack overflow occurs anymore, one can still crash axiom by choosing a higher exponent.

It seems that there are in fact two bugs: Axiom chooses the wrong signature (it should use integrate$RationalFunctionDefiniteIntegration?), and, as Waldek explained, axiom doesn't recognize integral powers as a regular functions. (#292)

See http://groups.google.at/group/fricas-devel/msg/3c978bc271477025

Some work on this has been done --kratt6, Wed, 28 Jan 2009 08:51:59 -0800 reply
http://groups.google.de/group/fricas-devel/browse_thread/thread/acdf538434a8d864?hl=de&ie=UTF-8&q=fricas+%23105#c22688ba9fb86c51