> By the way, does anybody know what the deal is with: "Please forgive > me to send it to you for I am in China and have a problem to access > Google groups." > > Do most people in China really not have access to Google groups? If > so, that's a very good reason for us to consider at least some sort of > alternative way to access the groups.
Yes, google groups are blocked by the Great Firewall. David > > -- William > > On Sun, Jul 12, 2015 at 12:08 PM, Ralf Stephan <gtrw...@gmail.com> wrote: >> On Sunday, July 12, 2015 at 2:34:56 PM UTC+2, Stein William wrote: >>> ---------- Forwarded message ---------- >>> From: ruiming zhang <ruimin...@outlook.com> >>> Date: Sunday, July 12, 2015 >>> Subject: a sage bug >>> To: wst...@math.washington.edu >>> >>> ... >>> e=x+1<=x-2 >>> e*(-1) >>> -x-1<=-x+2, >> >> This is known and has a fix. Only the review is missing. >> >> If someone wants to review the fix, please see this ticket: >> http://trac.sagemath.org/ticket/7660 >> >> Regards, >> >> -- >> You received this message because you are subscribed to the Google Groups >> "sage-devel" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to sage-devel+unsubscr...@googlegroups.com. >> To post to this group, send email to sage-devel@googlegroups.com. >> Visit this group at http://groups.google.com/group/sage-devel. >> For more options, visit https://groups.google.com/d/optout. > > > > -- > William (http://wstein.org) > > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com. > To post to this group, send email to sage-devel@googlegroups.com. > Visit this group at http://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.