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

1 2 3 4 5 6 7 8 9 10
Editor: test1
Time: 2018/02/08 16:24:27 GMT+0
Note:

added:

From test1 Thu Feb 8 16:24:27 +0000 2018
From: test1
Date: Thu, 08 Feb 2018 16:24:27 +0000
Subject: 
Message-ID: <20180208162427+0000@axiom-wiki.newsynthesis.org>

Status: fix proposed => closed 


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

axiom
integrate(sin(x)**2,x=0..1)

\label{eq1}{-{{\cos \left({1}\right)}\ {\sin \left({1}\right)}}+ 1}\over 2(1)
Type: Union(f1: OrderedCompletion?(Expression(Integer)),...)

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

axiom
integrate(sin(x)**2,x)

\label{eq2}{-{{\cos \left({x}\right)}\ {\sin \left({x}\right)}}+ x}\over 2(2)
Type: Union(Expression(Integer),...)

and

axiom
integrate(sin(x)**2,x=0..1, "noPole")

\label{eq3}{-{{\cos \left({1}\right)}\ {\sin \left({1}\right)}}+ 1}\over 2(3)
Type: Union(f1: OrderedCompletion?(Expression(Integer)),...)

There is no pole.

Category: Axiom Mathematics => Axiom Library

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

Status: fixed somewhere => fix proposed

Status: fix proposed => closed