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

Edit detail for #292 integrate(sin(x)**2) problem revision 7 of 10

1 2 3 4 5 6 7 8 9 10
Editor: alfredo
Time: 2008/08/30 05:48:43 GMT-7
Note:

removed:
-From alfredo Sat Aug 30 05:47:19 -0700 2008
-From: alfredo
-Date: Sat, 30 Aug 2008 05:47:19 -0700
-Subject: 
-Message-ID: <20080830054719-0700@axiom-wiki.newsynthesis.org>
-
-Axiom Version:  => /usr/local/lib/open-axiom/x86_64-unknown-linux/1.2.0-2008-05-25 
-

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

axiom
integrate(sin(x)**2,x=0..1)
LatexWiki Image(1)
Type: Union(pole: potentialPole,...)

returns "potentialPole". This doesn't look right. We have

axiom
integrate(sin(x)**2,x)
LatexWiki Image(2)
Type: Union(Expression Integer,...)

and

axiom
integrate(sin(x)**2,x=0..1, "noPole")
LatexWiki Image(3)
Type: Union(f1: OrderedCompletion? Expression Integer,...)

There is no pole.

Category: Axiom Mathematics => Axiom Library

fixed in FriCAS? --kratt6, Thu, 21 Feb 2008 10:53:31 -0800 reply
Status: open => fixed somewhere

From Fricas --alfredo, Thu, 28 Aug 2008 19:20:32 -0700 reply
http://fricas.svn.sourceforge.net/viewvc/fricas/trunk/src/algebra/defintef.spad.pamphlet?r1=20&r2=238&view=patch