MathGroup Archive 2012

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

Search the Archive

FullSimplify issue

  • To: mathgroup at smc.vnet.net
  • Subject: [mg124150] FullSimplify issue
  • From: Tiago <aswedieinparadise at gmail.com>
  • Date: Wed, 11 Jan 2012 04:21:52 -0500 (EST)
  • Delivered-to: l-mathgroup@mail-archive0.wolfram.com

Hello,

I want to simplify an expression. FullSimplify does it only if I
include an assumption that has nothing to do with the expression that
I want to simplify. Here is the code:

ListOfAssumptions = {
   b[3] c[1] - b[1] c[3] == 2 Area,
   p[1] + q[1] + 1 == 0,
   p[2] + q[2] + 1 == 0,
   p[3] + q[3] + 1 == 0,
   b[1] + b[2] + b[3] == 0,
   c[1] + c[2] + c[3] == 0,
   (b[1] b[2] + c[1] c[2])/s[1]^2 == p[1],
   (b[2] b[3] + c[2] c[3])/s[2]^2 == p[2],
   (b[3] b[1] + c[3] c[1])/s[3]^2 == p[3],
   (b[1] b[3] + c[1] c[3])/s[1]^2 == q[1],
   (b[2] b[1] + c[2] c[1])/s[2]^2 == q[2],
   (b[3] b[2] + c[3] c[2])/s[3]^2 == q[3],
   (-s[1]^2 - s[2]^2 + s[3]^2)/(2 s[1]^2) == p[1]
   };

FullSimplify[(15 (-2 q[3] s[1]^4 + 4 (1 + q[3]) s[1]^2 s[2]^2 -
      2 (2 + q[3]) s[2]^4 + (s[1]^2 + 3 s[2]^2) s[3]^2 -
      s[3]^4))/(4 (b[3] c[2] - b[2] c[3])^2),
 Assumptions -> ListOfAssumptions]

The result is

30 (1 + q[3])

If I remove from the assumptions list the first assumption (b[3] c[1]
- b[1] c[3] == 2 Area) the result becomes a very large expression.
What should I do in order to not use the assumption b[3] c[1] - b[1]
c[3] == 2 Area ?
(This is important because this is a minimal example from a big set of
expressions).

Thanks,

Carlos Fernandes



  • Prev by Date: Re: Lack of 3D plot rotation handles ?
  • Next by Date: Re: Is it possible to flatten hash table?
  • Previous by thread: Re: Is it possible to flatten hash table?
  • Next by thread: Custom sorting via ordering list