login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit
IssueTracker
#104 branch cuts differ?  ← ↑ →  #106 Results of integrate(x^2) and integrate(x^2,x) are different

#105 integrate(z^3000, z=0..1)
  
last edited 10 years ago by test1

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 (17 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

... --kratt6, Sat, 19 Jan 2008 09:32:48 -0800 reply
Evaluating this still seems to be very slow.

... --kratt6, Sun, 20 Jan 2008 08:03:50 -0800 reply
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

... --test1, Tue, 15 Apr 2014 18:11:46 +0000 reply
Severity: critical => minor