simplification

*Subject*: [mg2446] simplification*From*: rastogi at McSerg.crl.mcmaster.ca ("Preeti Rastogi")*Date*: Thu, 9 Nov 1995 04:44:43 GMT*Approved*: usenet@wri.com*Distribution*: local*Newsgroups*: wri.mathgroup*Organization*: Wolfram Research, Inc.*Sender*: daemon at wri.com ( )

Hi, I am new to mathematica. Is it possible to simplify/combine y>0 and y=0 to y>=0? Is it possible to simplify 0<x<5 && 5<=x<10 to 0<x<10? The two subexpressions could also be in the form: 0<x<=4 && 5<=x<10, 1<=x<5 && 5<=x<10 etc. Is this possible by using pattern matching and transformation rules? To what extent Mathematica can handle logical expressions? Can we handle quantifiers or do evaluation (like:evaluating y>0 to be TRUE if y is > 0)? I really appreciate any suggestions. Thanks ---Preeti