Services & ResourcesWolfram ForumsMathGroup Archive

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

"Reduce" wierdness (or too slow?)

• To: mathgroup at smc.vnet.net
• Subject: [mg88996] "Reduce" wierdness (or too slow?)
• From: TuesdayShopping <TuesdayShopping at yahoo.com>
• Date: Fri, 23 May 2008 03:07:43 -0400 (EDT)

Following equations solve (H, z4 and a couple of others are fully solved; others are not solved; that is OK) in a fraction of a second. If I add the inequalities ONE AT A TIME "t7 > 0, t7 > t1, t7 > t2, t7 > t3, t7 > t4, t7 > t5, t7 > t6", the time taken for "Reduce"  will will go up exponentially; after the inequation "t7>t3" it will not even complete in 600 seconds!

Is "Reduce" buggy? Any idea how I can still use Reduce to solve the set with inequations (a solution like "OK. .  so do not use the inequations with Reduce" is not a solution because I isolated the inequations after a lot of time trying various things and may not be able to do that for all the problems; and sometimes I do need the inequations in order to limit the result set)

Thanks a lot for any input into this.

InputForm[AbsoluteTiming[TimeConstrained[Reduce[
        {1000 + t2 == t3
         , 1200 + w1 == w2
         , 125 + t1 == t2
         , 125 + t5 == t6
         , k*t3 == (v2 + z2)/2
         , t7*z1 + t2*z2 + z3 + z4 == H + (k*t2^2) + (k*t7^2) + w1
         , t7*z1 + t3*z2 + z3 + z4 == H + (k*(t3^2 + t7^2))
         , t7*z1 + z3 + z4 == 2*H + (k*t7^2)
         , w1 + t6*z1 + z3 == (k*t6^2) + w1 + w2
         , w1 == w2 + ((t1 - t2)*(k*t1 + k*t2 - z2))
         , w2 + t5*z1 + z3 == (k*t5^2) + w1 + w2
         , w2 == (-k*t1^2) + t1*z2 + z4
         , z1 == (2*k*t4) + v2
         , z2 == 0
 
  
         ,(k*t1^2)+w2==H+t1*z2

  
     }, {g, H, t1, t2, t3, t4, t5, t6, t7, v2, w1, w2, z1, z2, z3, z4}], 120, TimedOut]], NumberMarks -> False]

• Follow-Ups:
  • Re: "Reduce" wierdness (or too slow?)
    • From: Andrzej Kozlowski <akoz@mimuw.edu.pl>