- To: mathgroup at smc.vnet.net
- Subject: [mg2446] simplification
- From: "Preeti Rastogi" <rastogi at McSerg.crl.mcmaster.ca>
- Date: Wed, 8 Nov 1995 23:44:43 -0500
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.
Prev by Date:
Re: Logic Problems
Next by Date:
More on KSubsets
Previous by thread:
Next by thread:
Numbered Countour Lines