Assumptions for Trigonometry Inequalities

*To*: mathgroup at smc.vnet.net*Subject*: [mg71328] Assumptions for Trigonometry Inequalities*From*: Martin Schoenecker <ms_usenet at gmx.de>*Date*: Wed, 15 Nov 2006 06:43:25 -0500 (EST)*Organization*: Technische Universitaet Darmstadt

Hello, the Sin of a real number between zero and Pi should be positive, as Simplify finds out, too. In[133]:= Simplify[Sin[gamma]>0,0<gamma<Pi] Out[133]= True As well, the Sin of a number between -Pi and 0 is negative, but why doesn't Simplify evaluate it? The Less implies that the variable is real, I think, however stating it explicitly doesn't change the result. In[134]:= Simplify[Sin[gamma]<0,-Pi<gamma<0] Out[134]= Sin[gamma]<0 Are there any hints on that? Thank you, Martin

**Follow-Ups**:**Re: Assumptions for Trigonometry Inequalities***From:*Andrzej Kozlowski <akoz@mimuw.edu.pl>