Anyway, I think I fixed it. It seems to work. Alex On Thu, 21 Aug 2003, Alexander R. Pruss wrote:
> I see. I'm not very good at Python and I'm afraid I'll introduce another > bug. My suggested fix is to change get_integer() to return a string version > of the integer, with leading zeros removed, and then we can compare them > string-wise if they're the same length, and otherwise count the shorter one > as the smaller one. > > Alex > > _______________________________________________ > plucker-dev mailing list > [EMAIL PROTECTED] > http://lists.rubberchicken.org/mailman/listinfo/plucker-dev > -- Dr. Alexander R. Pruss || e-mail: [EMAIL PROTECTED] Philosophy Department || online papers and home page: Georgetown University || www.georgetown.edu/faculty/ap85 Washington, DC 20057 || U.S.A. || ----------------------------------------------------------------------------- "Philosophiam discimus non ut tantum sciamus, sed ut boni efficiamur." - Paul of Worczyn (1424) _______________________________________________ plucker-dev mailing list [EMAIL PROTECTED] http://lists.rubberchicken.org/mailman/listinfo/plucker-dev
