Maxima -- GPL CAS based on DOE-MACSYMA / Bugs / #3545 wrong definite integral for %e^(-2*%i*%pi*t)*(%e^(2*%i*%pi*t)+1)

#3545 wrong definite integral for %e^(-2*%i*%pi*t)*(%e^(2*%i*%pi*t)+1)

Milestone: None

Status: open

Owner: nobody

Labels: integrate (144) defint (46)

Priority: 5

Updated: 2019-04-02

Created: 2019-03-31

Creator: lanride

Private: No

maxima 5.42.2 Lisp: SBCL 1.4.10.debian

simple function gives right answer (see u1,u2)
but rewriting u1 into v1 gives wrong result for definite integral, indefinite is right

(%i27)  u1: %e^(-2*%i*%pi*t)+1;
(u1)    %e^(-2*%i*%pi*t)+1
(%i36)  u2: ratsimp(integrate(u1,t,-1/6,1/6));
(u2)    (2*%pi+3^(3/2))/(6*%pi)                         OK
(%i37)  v1: %e^(-2*%i*%pi*t)*(%e^(2*%i*%pi*t)+1);
(v1)    %e^(-2*%i*%pi*t)*(%e^(2*%i*%pi*t)+1)
(%i38)  ratsimp(integrate(v1,t,-1/6,1/6));
(%o38)  sqrt(3)/(2*%pi)                                    BAD

Discussion

labels: --> integrate, defint
Description has changed:

Diff:

--- old
+++ new
@@ -2,6 +2,7 @@

 simple function gives right answer (see u1,u2)
 but rewriting u1 into v1 gives wrong result for definite integral, indefinite is right
+~~~~
 (%i27) u1: %e^(-2*%i*%pi*t)+1;
 (u1)   %e^(-2*%i*%pi*t)+1
 (%i36) u2: ratsimp(integrate(u1,t,-1/6,1/6));
@@ -10,3 +11,4 @@
 (v1)   %e^(-2*%i*%pi*t)*(%e^(2*%i*%pi*t)+1)
 (%i38) ratsimp(integrate(v1,t,-1/6,1/6));
 (%o38) sqrt(3)/(2*%pi)                                    BAD
+~~~~

wrong definite integral for %e^(-2%i%pit)(%e^(2%i%pi*t)+1)

Computer Algebra System written in Common Lisp

Group

Searches

Help

#3545 wrong definite integral for %e^(-2%i%pit)(%e^(2%i%pi*t)+1)

Discussion