Services & Resources / Wolfram Forums
MathGroup Archive
*Archive Index
*Ask about this page
*Print this page
*Give us feedback
*Sign up for the Wolfram Insider

MathGroup Archive 2006

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

Search the Archive

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

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

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
> From: kong dong [mailto:dkong at]
To: mathgroup at
> 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
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: Re: Can't multiply non-square matrices.
  • Next by Date: Re: finding the position of a pattern in list
  • Previous by thread: Re: How if I want to assume that -------
  • Next by thread: Re: How if I want to assume that -------