[sage-trac] Re: [Sage] #11818: sage