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

Re: Re: How if I want to assume that -------

• To: mathgroup at smc.vnet.net
• Subject: [mg64695] Re: [mg64682] Re: How if I want to assume that -------
• From: Murray Eisenberg <murray at math.umass.edu>
• Date: Tue, 28 Feb 2006 01:49:26 -0500 (EST)
• Organization: Mathematics & Statistics, Univ. of Mass./Amherst
• References: <200602230535.AAA13247@smc.vnet.net> <dtm660$hip$1@smc.vnet.net> <200602270518.AAA15128@smc.vnet.net>
• Reply-to: murray at math.umass.edu
• Sender: owner-wri-mathgroup at wolfram.com

Yes, $Assumptions is available.  I guess the issue is having explicitly 
to set a global variable vs. having available a function whose effect is 
to set that variable.  A function Assume is of course superfluous, but 
still it would be useful to newcomers who expect to find it but do not 
see it when they search the Help Browser.  In fact, I believe it takes a 
couple of link jumps before one finds $Assumptions.

albert wrote:
> Murray Eisenberg wrote:
> 
>> The original poster's query is one that has been asked before here by
>> others -- most likely those having experience with another "computer
>> algebra system".
>>
>> It might be very convenient to have such a command in Mathematica, too.
>>   It's effect would be to add the conditions to the rule base, and then
>> the rule could be used by those other commands that now, or in the
>> future, are affected by Assuming.
>>
>> Of course a global assumption can be dangerous, but no more dangerous
>> than any global assignment.
>>
> 
> I have not too much experience with how good this works, but as far as I
> understand, changing the value of $Assumptions should do exactly what you
> suggest.
> 
> albert
> 
> 

-- 
Murray Eisenberg                     murray at math.umass.edu
Mathematics & Statistics Dept.
Lederle Graduate Research Tower      phone 413 549-1020 (H)
University of Massachusetts                413 545-2859 (W)
710 North Pleasant Street            fax   413 545-1801
Amherst, MA 01003-9305

• References:
  • Re: How if I want to assume that -------
    • From: "David Park" <djmp@earthlink.net>
  • Re: How if I want to assume that -------
    • From: albert <awnl@arcor.de>