[sage-support] Re: Possible Ilogical symbol x in function bool

2009-04-17 Thread MikeF
Thanks! I really appreciate your help. Mike On Apr 17, 1:25 pm, Robert Bradshaw wrote: > On Apr 17, 2009, at 11:49 AM, MikeF wrote: > > > Thank you for the explanation. Not being familiar with python, I had > > no way of knowing wether it was Sage or python. The examples i

[sage-support] Re: Possible Ilogical symbol x in function bool

2009-04-17 Thread MikeF
e used, I take it, as it generates a keyword error? And = should be replaced with ==? What occurs then when an assumption is explicitly symbol = some other symbol or , again, is the proper usage to use ==? Many Thanks! Mike On Apr 17, 12:32 pm, Robert Bradshaw wrote: > On Apr 17, 2009, at 11:

[sage-support] Possible Ilogical symbol x in function bool

2009-04-17 Thread MikeF
Hi All, Newbie issue. I'm new to Sage but was messing about with Westers logical inference problem ( x>=y, y>=z, z>=z) and then using == and = by itself in the bool function. I've simplified the logic and isolated what I believe to be an error in behavior, perhaps designed but ought to be warned