help links subscribe changes refresh edit

	IssueTracker
#291 small typo in docs ←	↑	#293 integrate (x^2+1)/(1+x^4)

#292 integrate(sin(x)**2) problem

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

	1 2 3 4 5 6 7 8 9 10
Editor: alfredo Time: 2008/10/16 13:02:58 GMT-7
Note:

added:

From alfredo Thu Oct 16 13:02:58 -0700 2008
From: alfredo
Date: Thu, 16 Oct 2008 13:02:58 -0700
Subject: 
Message-ID: <20081016130258-0700@axiom-wiki.newsynthesis.org>

Status: fixed somewhere => fix proposed

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.

... --kratt6, Thu, 20 Dec 2007 02:58:21 -0800 reply

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

Fixed in OpenAxiom? --gdr, Mon, 13 Oct 2008 20:09:36 -0700 reply

... --alfredo, Thu, 16 Oct 2008 13:02:58 -0700 reply

Status: fixed somewhere => fix proposed