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 5 of 5

1 2 3 4 5
Editor: test1
Time: 2014/04/15 18:11:46 GMT+0
Note:

added:

From test1 Tue Apr 15 18:11:46 +0000 2014
From: test1
Date: Tue, 15 Apr 2014 18:11:46 +0000
Subject: 
Message-ID: <20140415181146+0000@axiom-wiki.newsynthesis.org>

Severity: critical => minor 


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

Severity: critical => minor