Re: Position comparisons GT, GTE, LT, LTE may be unreliable
On Tue, Jul 26, 2011 at 10:26 PM, SegundoBob bhoss...@ieee.org wrote: The bug is in the code for GT, but since GT is used to implement all the other unequal comparisons, there are bugs in GTE, LTE, and LT as well. See my bug report and patches to fix the problem: https://bugs.launchpad.net/leo-editor/+bug/816777 The fix is on the trunk at rev 4442. A comprehensive test passes. Edward -- You received this message because you are subscribed to the Google Groups leo-editor group. To post to this group, send email to leo-editor@googlegroups.com. To unsubscribe from this group, send email to leo-editor+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/leo-editor?hl=en.
Re: Position comparisons GT, GTE, LT, LTE may be unreliable
The bug is in the code for GT, but since GT is used to implement all the other unequal comparisons, there are bugs in GTE, LTE, and LT as well. See my bug report and patches to fix the problem: https://bugs.launchpad.net/leo-editor/+bug/816777 -- You received this message because you are subscribed to the Google Groups leo-editor group. To post to this group, send email to leo-editor@googlegroups.com. To unsubscribe from this group, send email to leo-editor+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/leo-editor?hl=en.
Position comparisons GT, GTE, LT, LTE may be unreliable
I have been sorting the Positions Visted List [see c.nodeHistory.visitedPositions()]. Sorting uses the greater than (or GTE) and/or less than (or LTE) comparisons that are implmented in class position in leoNodes.py. I have observed that unpredictably equal positions are not together after sorting. Though I can't predict when this will happen, I can make it happen fairly easily. Obviously, I could be mistaken. I'm continuing to investigate. Does anyone else depend on the ordering of positions being reliable? If I'm correct, is anyone interested in fixing the problem? -- You received this message because you are subscribed to the Google Groups leo-editor group. To post to this group, send email to leo-editor@googlegroups.com. To unsubscribe from this group, send email to leo-editor+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/leo-editor?hl=en.