Re: Re: Logical Expression
- To: mathgroup at smc.vnet.net
- Subject: [mg73459] Re: [mg73445] Re: Logical Expression
- From: Andrzej Kozlowski <akoz at mimuw.edu.pl>
- Date: Sat, 17 Feb 2007 05:03:10 -0500 (EST)
- References: <er3ii6$gnh$1@smc.vnet.net> <200702161021.FAA09907@smc.vnet.net>
But the point of it all is that LogicalExpand knows nothing at all about numbers and you should not expect it to do that. For example: LogicalExpand[a=="dog"&&a!="dog"] False because this has nothing to do with "dog" being or not being a number (it is a string). That is all the LogicalEpxand does: it deal with the logical structure of logical statements. Equality and non- equality is a general relationship but inequality is not. That is why it is not reasonable to expect LogicalExpand to deal with inequalities, which make sense only for numbers (or, more generally, for ordered sets). On the other hand, the other functions all deal either with numbers or (Simplify) more general entities that include numbers, so it makes sense for them to deal with inequalities. Andrzej Kozlowski On 16 Feb 2007, at 11:21, Martin Schoenecker wrote: >> "something" is a real number. What do you expect if it is a complex >> number, of a symbolic expression? > > Thank you all for your comments! > > As I am dealing with symbols, I expect nothing else: a==0 means it > should be zero (which is a real number), a>0 means it should be > greater > than zero (which implies that it should be real), so the > assumptions are > already there. > > Simplify (or Reduce, or Resolve...) does the job. > > Regards, > Martin >
- References:
- Re: Logical Expression
- From: Martin Schoenecker <ms_usenet@gmx.de>
- Re: Logical Expression