[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
Prev by Date:
**Re: General--Making the DisplayFormula style in ArticleModern look like Traditional**
Next by Date:
**Re: Q: How do I format text within a cell of GridBox[]?**
Previous by thread:
**Re: How if I want to assume that -------**
Next by thread:
**Re: How if I want to assume that -------**
| |