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

Re: Re: Condition , FullSimplify

• To: mathgroup at smc.vnet.net
• Subject: [mg53192] Re: [mg53184] Re: [mg53168] Condition , FullSimplify
• From: Andrzej Kozlowski <akoz at mimuw.edu.pl>
• Date: Tue, 28 Dec 2004 23:12:09 -0500 (EST)
• References: <200412271141.GAA12656@smc.vnet.net> <200412281130.GAA26991@smc.vnet.net>
• Sender: owner-wri-mathgroup at wolfram.com

I agree, except for the last sentence. Actually, expr/;condition can be 
used wherever patterns can be used. For example:

Simplify[{Im[x],Im[y]},Element[x_/;x=!=y,Reals]]

{0,Im[y]}

Andrzej Kozlowski


On 28 Dec 2004, at 20:30, DrBob wrote:

>>> I find it useful and practical using the first notation.
>
> I don't see how, since it doesn't work! (You wouldn't be asking the 
> question, if it did.)
>
> The problem is that expr/;condition//FullSimplify doesn't mean 
> FullSimplify[expr,cond] in Mathematica; it's really just that simple.
>
> It does mean FullSimplify[expr/;condition], but that's not likely to 
> be of much use. As far as I can tell, expr/;condition is useless 
> without SetDelayed or RuleDelayed.
>
> Bobby
>
> On Mon, 27 Dec 2004 06:41:40 -0500 (EST), sebastian.cohen at gmail.com 
> <sebastian.cohen at gmail.com> wrote:
>
>> Wolfram Staff,
>>
>> I would like to know why the following class of statements don't work
>> given
>>
>> expr /; condition // FullSimplify
>>
>> Although one may express them easily as
>>
>> FullSimplify[expr,cond]
>>
>> I find it useful and practical using the first notation.
>>
>> Is there a way to tell Mathematica at the end expressions both the
>> conditions and to fullsimplify without having to write the whole
>> fullsimplify function?
>>
>> Thanks in advance,
>>
>> Sebastian Cohen S
>>
>>
>>
>>
>
>
>
> -- 
> DrBob at bigfoot.com
> www.eclecticdreams.net
>

• References:
  • Condition , FullSimplify
    • From: "sebastian.cohen@gmail.com" <sebastian.cohen@gmail.com>
  • Re: Condition , FullSimplify
    • From: DrBob <drbob@bigfoot.com>