Advanced Search

Question: TEST RELATION contradiction

Question:TEST RELATION contradiction

tsunamiBTP 292 Maple 12
integration simplification summation trig-identity
December 28 2017
1

Below is the output from test relation that seems contradictory.  All I did was swap the order of operation from summing an integral to taking the integral of the sum.  The summation and integration variables are independent so I would think the statement for S4 would yield a TRUE result.  Also, I got a FALSE return on a well known trig identity.

Am I missing something subtle or even obvious?

equivalence_discrepancy.mw
Please Wait...