MathGroup Archive 2012

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

Search the Archive

Re: Simplify puzzle


Am 27.01.2012 12:14, schrieb Alan:
> Why does the first simplification below fail?
> (Each term succeeds!)
> Thanks,
> Alan Isaac
>
> In[205]:=
> myassumptions = a>  0&&  b>  0&&  c>  0&&  1>  d>  0&&  1>  e>  0;
> Simplify[a*b + c*(1 - d*(1 - e))>  0, Assumptions ->  myassumptions]
> Simplify[a*b>  0, Assumptions ->  myassumptions]
> Simplify[c*(1 - d*(1 - e))>  0, Assumptions ->  myassumptions]
>
> Out[206]= a b + c + c d e>  c d
>
> Out[207]= True
>
> Out[208]= True
>

I do not know why (Full)Simplify fails, but

FullSimplify @ ForAll[{a, b, c, d, e}, myassumptions,
   a*b + c*(1 - d*(1 - e)) > 0]

does not



  • Prev by Date: Re: predict or interpolate
  • Next by Date: dynamic input alias
  • Previous by thread: Re: Simplify puzzle
  • Next by thread: Get rid of left margin reserved for In/Out labels