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

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

• To: mathgroup at smc.vnet.net
• Subject: [mg64625] Re: [mg64594] Re: [mg64550] How if I want to assume that -------
• From: Murray Eisenberg <murray at math.umass.edu>
• Date: Fri, 24 Feb 2006 00:18:26 -0500 (EST)
• Organization: Mathematics & Statistics, Univ. of Mass./Amherst
• References: <200602230535.AAA13247@smc.vnet.net>
• Reply-to: murray at math.umass.edu
• Sender: owner-wri-mathgroup at wolfram.com

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.


David Park wrote:
> There is the Assuming statement, often used with integrals, and the
> Assumptions option used in Simplify and FullSimplify. Look them up in Help.
> 
> David Park
> djmp at earthlink.net
> http://home.earthlink.net/~djmp/
> 
> From: kong dong [mailto:dkong at lnm.imech.ac.cn]
To: mathgroup at smc.vnet.net
> 
> Thank you for your attention,
> 
> Does there exist a 'assume' function in Mathematica?
> For example, I want to assume that
>         { x>y }
> 
> Thank you!
> 
> 
> 

-- 
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>