Re: Re: Condition , FullSimplify
- To: mathgroup at smc.vnet.net
- Subject: [mg53200] Re: [mg53184] Re: [mg53168] Condition , FullSimplify
- From: DrBob <drbob at bigfoot.com>
- Date: Tue, 28 Dec 2004 23:12:22 -0500 (EST)
- References: <200412271141.GAA12656@smc.vnet.net> <200412281130.GAA26991@smc.vnet.net> <07720D90-58D6-11D9-BF52-000A95B4967A@mimuw.edu.pl>
- Reply-to: drbob at bigfoot.com
- Sender: owner-wri-mathgroup at wolfram.com
Quite right, of course.
Bobby
On Tue, 28 Dec 2004 22:40:25 +0900, Andrzej Kozlowski <akoz at mimuw.edu.pl> wrote:
> 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
>>
>
>
>
>
--
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>
- Condition , FullSimplify