Simplify and Booleans
- To: mathgroup at smc.vnet.net
- Subject: [mg34359] Simplify and Booleans
- From: "Martin Jenkins" <lamarth at optushome.com.au>
- Date: Thu, 16 May 2002 05:08:50 -0400 (EDT)
- Sender: owner-wri-mathgroup at wolfram.com
I'm looking for something like Simplify, but works better, e.g.
In[1]:=
Simplify[a == 1, {a == 1 || a == 2, a != 2}] // InputForm
Out[1]//InputForm=
a == 1
In[2]:=
Simplify[a == 1, {a == 1 || a == 2, a != 2,
a \[Element] Integers}] // InputForm
Out[2]//InputForm=
True
In[4]:=
Simplify[a == 2, {a > 1, a < 3, a \[Element] Integers}] // InputForm
Out[4]//InputForm=
a == 2
In[5]:=
Simplify[a < 3, {a == 1 || a == 2, a \[Element] Reals}]
Out[5]=
True
For starters, I don't see why telling mathematica that something that is
1 or 2 is an Integer or a Real helps... but ultimately I need something
that will handle linear inequalities in the very least (with multiple
variables), and will be able to work out things like In[4] here. The
problem is co-NP complete (if I've understood things correctly), so I
guess it can't be that fast no matter what.
Is this a case of "write it yourself"?
Thanks,
Martin