MathGroup Archive 2007

[Date Index] [Thread Index] [Author Index]

Search the Archive

Re: Re: verification

  • To: mathgroup at smc.vnet.net
  • Subject: [mg74763] Re: [mg74731] Re: verification
  • From: anguzman at ing.uchile.cl
  • Date: Wed, 4 Apr 2007 04:05:26 -0400 (EDT)
  • References: <eunpso$772$1@smc.vnet.net>

Hello:
Based on the same idea..

FullSimplify /@ TrigToExp /@ Subtract @@@ Subsets[FullSimplify /@ \
ComplexExpand /@ foo, {2}]


I get {0,0,0} without warning messages..


Atte. Andres Guzman



Peter Pein <petsie at dordos.net> ha escrito:

> dimitris schrieb:
>> Hello.
>>
>>
>> foo = {ArcTan[8/(1 - Sqrt[-15 - 4*I])] + ArcTan[8/(1 + Sqrt[-15 -
>> 4*I])] + ArcTan[8/(1 - Sqrt[-15 + 4*I])] +
>>      ArcTan[8/(1 + Sqrt[-15 + 4*I])], ArcTan[3] + ArcTan[5] +
>> ArcTan[41/3] + ArcTan[21], 2*Pi - ArcTan[1/4] - ArcTan[5/12]};
>>
>> The elements of foo list are equal
> ...
>>
>> Having failed also in similar attempts I would really appreciate any
>> ideas!
>>
>> Dimitris
>>
>>
>
> Hi Dimitris,
>
> try this one:
>
> Reduce[And @@ Equal @@@ Subsets[foo, {2}] // ComplexExpand]
>
>
> Peter
>
>



----------------------------------------------------------------
This message was sent using IMP, the Internet Messaging Program.



  • Prev by Date: Re: Timing in Mathematica
  • Next by Date: Re: Simplification with Integers assumption
  • Previous by thread: Re: Re: verification
  • Next by thread: Re: verification