Services & ResourcesWolfram ForumsMathGroup Archive

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

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

• To: mathgroup at smc.vnet.net
• Subject: [mg64682] Re: How if I want to assume that -------
• From: albert <awnl at arcor.de>
• Date: Mon, 27 Feb 2006 00:18:31 -0500 (EST)
• References: <200602230535.AAA13247@smc.vnet.net> <dtm660$hip$1@smc.vnet.net>
• Sender: owner-wri-mathgroup at wolfram.com

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

• Follow-Ups:
  • Re: Re: How if I want to assume that -------
    • From: Murray Eisenberg <murray@math.umass.edu>

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