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
> 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
-~----------~----~----~----~------~----~------~--~---
