Re: should the default be lower bounds or upper bounds?

Show/hide message thread

should the default be lower bounds or upper bounds? Peter McGoron (11 Apr 2026 13:42 UTC)

Re: should the default be lower bounds or upper bounds? John Cowan (11 Apr 2026 23:06 UTC)

Re: should the default be lower bounds or upper bounds? Peter McGoron (12 Apr 2026 00:40 UTC)

Re: should the default be lower bounds or upper bounds? Per Bothner (12 Apr 2026 03:01 UTC)

Re: should the default be lower bounds or upper bounds? John Cowan (12 Apr 2026 04:38 UTC)

Re: should the default be lower bounds or upper bounds? John Cowan (12 Apr 2026 01:55 UTC)

Re: should the default be lower bounds or upper bounds? Peter McGoron (12 Apr 2026 03:22 UTC)

Re: should the default be lower bounds or upper bounds? Bradley J Lucier (12 Apr 2026 04:08 UTC)

Re: should the default be lower bounds or upper bounds? John Cowan (12 Apr 2026 04:50 UTC)

Re: should the default be lower bounds or upper bounds? Bradley Lucier (12 Apr 2026 16:00 UTC)

Re: should the default be lower bounds or upper bounds? Peter McGoron (12 Apr 2026 16:14 UTC)

Re: should the default be lower bounds or upper bounds? Peter McGoron 12 Apr 2026 16:09 UTC

Yours is correct, I calculated mine by hand and had some off-by-one errors.

-- Peter McGoron