Re: Small observation re. (gt0 X) and (> X 0)

2013-11-15 Thread Alexander Burger
Hi Jon, > If you read the docs carefully, you may know that (gt0 X) and (> X > 0) are NOT equivalent. This is my small observation today: > > X:1 T > --- > (gt0 X) -> 1 NIL > > (> X 0) -> T T Yes, very true. Thanks for reminding about it! This is in fact the inte

Re: Small observation re. (gt0 X) and (> X 0)

2013-11-15 Thread Thorsten Jolitz
Jon Kleiser writes: Hi Jon, > If you read the docs carefully, you may know that (gt0 X) and (> X 0) > are NOT equivalent. This is my small observation today: > > X:1 T > --- > (gt0 X) -> 1 NIL > > (> X 0) -> T T > > Have a nice weekend! Surprising at first, but pl