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

Submitted by : (unknown) at: 2007-11-17T22:22:16-08:00 (9 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




  Subject:   Be Bold !!
  ( 13 subscribers )  
Please rate this page: