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 3 of 5
1 2 3 4 5
Editor: kratt6
Time: 2008/01/20 08:03:50 GMT-8
Note: 
added:

From kratt6 Sun Jan 20 08:03:50 -0800 2008
From: kratt6
Date: Sun, 20 Jan 2008 08:03:50 -0800
Subject: 
Message-ID: <20080120080350-0800@axiom-wiki.newsynthesis.org>

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

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