Email list hosting service & mailing list manager

Proposed document change Bradley Lucier (28 Nov 2022 16:38 UTC)
Fwd: Proposed document change Arthur A. Gleckler (28 Nov 2022 20:00 UTC)
Re: Fwd: Proposed document change Taylor R Campbell (29 Nov 2022 04:27 UTC)
Re: Fwd: Proposed document change Bradley Lucier (29 Nov 2022 16:45 UTC)
Re: Fwd: Proposed document change Taylor R Campbell (29 Nov 2022 18:05 UTC)
Re: Fwd: Proposed document change Bradley Lucier (29 Nov 2022 18:26 UTC)
Re: Fwd: Proposed document change Bradley Lucier (29 Nov 2022 18:39 UTC)
Re: Fwd: Proposed document change Taylor R Campbell (29 Nov 2022 18:39 UTC)
Re: Fwd: Proposed document change Arthur A. Gleckler (29 Nov 2022 22:45 UTC)
Re: Fwd: Proposed document change Bradley Lucier (01 Dec 2022 14:49 UTC)
Re: Fwd: Proposed document change Bradley Lucier (01 Dec 2022 21:30 UTC)
Re: Fwd: Proposed document change Arthur A. Gleckler (01 Dec 2022 21:33 UTC)
Re: Fwd: Proposed document change John Cowan (05 Dec 2022 05:50 UTC)
Re: Fwd: Proposed document change Arthur A. Gleckler (05 Dec 2022 22:52 UTC)
Re: Fwd: Proposed document change Bradley Lucier (06 Dec 2022 18:52 UTC)
Re: Fwd: Proposed document change John Cowan (07 Dec 2022 02:11 UTC)
Re: Fwd: Proposed document change Bradley Lucier (07 Dec 2022 16:04 UTC)
Re: Fwd: Proposed document change Arthur A. Gleckler (07 Dec 2022 17:14 UTC)
Re: Fwd: Proposed document change Taylor R Campbell (01 Dec 2022 22:09 UTC)
Re: Fwd: Proposed document change Bradley Lucier (03 Dec 2022 17:26 UTC)
Re: Fwd: Proposed document change Taylor R Campbell (04 Dec 2022 17:27 UTC)

Re: Fwd: Proposed document change Taylor R Campbell 04 Dec 2022 15:51 UTC

> Date: Sat, 3 Dec 2022 12:26:26 -0500
> From: Bradley Lucier <xxxxxx@math.purdue.edu>
> References: <xxxxxx@jupiter.mumble.net>
>
> On 11/28/22 9:59 PM, Taylor R Campbell wrote:
> > Attached is a collection of known-answer test that you could try -- I
> > generated it just now with MIT Scheme.  It tests the cartesian product
> > of:
> >
> > - the five operators {floor/, ceiling/, truncate/, euclidean/, round/}
> > - the nine numerators {0, 1, 2, 3, 4, 5, 6, 7, 8}
> > - both signs for numerators
> > - the eight denominators {1, 2, 3, 4, 5, 6, 7, 8}
> > - both signs for denominators
> >
> > These 1440 test cases cover zero, units, primes, a square, a composite
> > of distinct primes, and a cube.  (They don't, however, cover anything
> > that requires bignum arithmetic.)  I haven't vetted these answers in
> > any way other than verifying the tests pass in MIT Scheme -- I
> > recommend running them through the property tests, and eyeballing them
> > to spot-check for reasonableness.
>
> Just for curiosity's sake, I searched for arguments that would
> distinguish between every pair of the six (including balanced/) division
> procedures (i.e., for every pair of different division procedures, those
> two division procedures differ on at least one of these arguments).  The
> list is surprisingly short and simple, at least to me:
>
> ((-1 2) (2 3) (1 -2) (1 4) (1 2))

Neat.  Although The fact that none of these numerators is composite or
even greater than the denominator suggests maybe one should search a
larger space for such examples!