Re: [sage-devel] sage days numbering

2012-01-25 Thread William Stein
On Wednesday, January 25, 2012, Nils Bruin wrote: > On Jan 25, 9:22 am, Volker Braun wrote: >> On Wednesday, January 25, 2012 8:58:15 AM UTC-8, Nils Bruin wrote: >> >> > sage: bool(37 +i < 37 -i) >> > False >> >> False meaning that Sage cannot affirm that it is true; IMHO the correct >> answer. >

Re: [sage-devel] sage days numbering

2012-01-24 Thread William Stein
On Tuesday, January 24, 2012, Jason Grout wrote: > On 1/24/12 11:59 PM, William Stein wrote: >> >> There will be >= 1 bug days. Fractional numbers are fine. > > I thought last time we had this discussion (for 35.5), the conclusion was to just have integer Sage Days, and sometimes they would be o

Re: [sage-devel] sage days numbering

2012-01-24 Thread William Stein
On Tuesday, January 24, 2012, Rob Beezer wrote: > On Jan 22, 9:39 pm, Dan Drake wrote: >> > Anyone know of any upcoming events not listed on the wiki page? Or, >> > are there any objections if we claim Sage Days 38? >> >> Sounds good to me. We'll do 37 here. > > And maybe will claim 39 for Sage D