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

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