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>
- Re: How if I want to assume that -------