2008/9/9 mabshoff <[EMAIL PROTECTED]>: > > > > On Sep 9, 12:05 pm, "John Cremona" <[EMAIL PROTECTED]> wrote: >> 2008/9/9 mabshoff <[EMAIL PROTECTED]>: >> >> > You don't need to add the three dots everywhere since we really don't >> > want to wipe out low order digits just for the fun of it. The "..." >> > means "match anything", so if only the last digit or two are different >> > replace them by "..." - there is no need to replace a certain number >> > of characters. >> >> ok, I certainly did not mean replacing the whole thing with "'...", I >> only meant replacing the ones which differ by dots. > > Sure, I am just saying "..." can match anything from a single digit to > arbitrary strings. It seems that python no longer ignores everything > after "..." as it is documented in some places. > >> Is this worth a ticket? Minimal patch attached > > Yes
OK, it's #4093. John > >> John >> >> 10515.patch >> 1KViewDownload > > Cheers, > > Michael > > > --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
