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

*To*: mathgroup at smc.vnet.net*Subject*: [mg64550] How if I want to assume that -------*From*: kong dong <dkong at lnm.imech.ac.cn>*Date*: Wed, 22 Feb 2006 05:58:32 -0500 (EST)*Sender*: owner-wri-mathgroup at wolfram.com

Thank you for your attention, Does there exist a 'assume' function in Mathematica? For example, I want to assume that { x>y } Thank you!