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>