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 Bradley Lucier 03 Dec 2022 17:26 UTC

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))

Brad