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

Associate Property

• To: mathgroup at christensen.cybernetics.net
• Subject: [mg543] Associate Property
• From: "Roger M. Jones" <rmj at LLEWELYN.SLAC.STANFORD.EDU>
• Date: Mon, 13 Mar 1995 20:44:48 -0800

Dear Users,

what is the best way to associate properties with a function
so that, for example for
1.X & X0 both +ve real 

2. and 1>X0.

Point 1 is covered with:
X/:Positive[X]=True;
X0/:Positive[X0]=True;

Point 2 with
X0/:1>X=True;


However, I really need to associate 1-X0>0
and it fails to recognise X0-1<0.
Is there a way to incorporate both 1<X0 and X0>1 ?

Any response would be most appreciated......

---
Regards,

Roger Jones
(rmj at llewelyn.slac.stanford.edu)