Re: New draft (#3) and last call for comments on SRFI 194: Random data generators

Show/hide message thread

New draft (#3) and last call for comments on SRFI 194: Random data generators Arthur A. Gleckler (06 Aug 2020 17:40 UTC)
Re: New draft (#3) and last call for comments on SRFI 194: Random data generators Linas Vepstas (10 Aug 2020 04:57 UTC)
Re: New draft (#3) and last call for comments on SRFI 194: Random data generators Arthur A. Gleckler (10 Aug 2020 05:04 UTC)
Re: New draft (#3) and last call for comments on SRFI 194: Random data generators Bradley Lucier (10 Aug 2020 16:36 UTC)
Re: New draft (#3) and last call for comments on SRFI 194: Random data generators Bradley Lucier (10 Aug 2020 20:17 UTC)
Re: New draft (#3) and last call for comments on SRFI 194: Random data generators Arvydas Silanskas (10 Aug 2020 20:39 UTC)
Re: New draft (#3) and last call for comments on SRFI 194: Random data generators Lucier, Bradley J (10 Aug 2020 21:05 UTC)
Re: New draft (#3) and last call for comments on SRFI 194: Random data generators Marc Nieper-Wißkirchen (18 Aug 2020 06:20 UTC)
Re: New draft (#3) and last call for comments on SRFI 194: Random data generators Linas Vepstas (18 Aug 2020 12:47 UTC)
Re: New draft (#3) and last call for comments on SRFI 194: Random data generators John Cowan (18 Aug 2020 14:14 UTC)
Re: New draft (#3) and last call for comments on SRFI 194: Random data generators Marc Nieper-Wißkirchen (18 Aug 2020 14:21 UTC)
Re: New draft (#3) and last call for comments on SRFI 194: Random data generators Linas Vepstas (18 Aug 2020 17:27 UTC)
Re: New draft (#3) and last call for comments on SRFI 194: Random data generators Marc Nieper-Wißkirchen (18 Aug 2020 17:35 UTC)
Re: New draft (#3) and last call for comments on SRFI 194: Random data generators Linas Vepstas (18 Aug 2020 18:02 UTC)
Re: New draft (#3) and last call for comments on SRFI 194: Random data generators John Cowan (18 Aug 2020 18:55 UTC)
Re: New draft (#3) and last call for comments on SRFI 194: Random data generators Lucier, Bradley J (18 Aug 2020 19:18 UTC)
Re: New draft (#3) and last call for comments on SRFI 194: Random data generators John Cowan (18 Aug 2020 19:22 UTC)
Re: New draft (#3) and last call for comments on SRFI 194: Random data generators Lucier, Bradley J (18 Aug 2020 20:01 UTC)
Re: New draft (#3) and last call for comments on SRFI 194: Random data generators Marc Nieper-Wißkirchen (18 Aug 2020 20:08 UTC)
Re: New draft (#3) and last call for comments on SRFI 194: Random data generators John Cowan (18 Aug 2020 20:26 UTC)
Re: New draft (#3) and last call for comments on SRFI 194: Random data generators Linas Vepstas (18 Aug 2020 20:06 UTC)
Re: New draft (#3) and last call for comments on SRFI 194: Random data generators John Cowan (18 Aug 2020 20:50 UTC)
Re: New draft (#3) and last call for comments on SRFI 194: Random data generators Marc Nieper-Wißkirchen (18 Aug 2020 21:03 UTC)
Re: New draft (#3) and last call for comments on SRFI 194: Random data generators John Cowan (19 Aug 2020 18:55 UTC)
(missing)
Fwd: New draft (#3) and last call for comments on SRFI 194: Random data generators Marc Nieper-Wißkirchen (19 Aug 2020 19:24 UTC)
Re: New draft (#3) and last call for comments on SRFI 194: Random data generators Marc Nieper-Wißkirchen (19 Aug 2020 19:28 UTC)
Re: New draft (#3) and last call for comments on SRFI 194: Random data generators John Cowan (19 Aug 2020 22:23 UTC)
Re: New draft (#3) and last call for comments on SRFI 194: Random data generators Lucier, Bradley J (19 Aug 2020 19:07 UTC)
Re: New draft (#3) and last call for comments on SRFI 194: Random data generators John Cowan (19 Aug 2020 19:11 UTC)
Re: New draft (#3) and last call for comments on SRFI 194: Random data generators Linas Vepstas (19 Aug 2020 23:47 UTC)
Re: New draft (#3) and last call for comments on SRFI 194: Random data generators John Cowan (20 Aug 2020 17:58 UTC)
Re: New draft (#3) and last call for comments on SRFI 194: Random data generators Linas Vepstas (21 Aug 2020 00:23 UTC)
Re: New draft (#3) and last call for comments on SRFI 194: Random data generators John Cowan (21 Aug 2020 01:27 UTC)
Re: New draft (#3) and last call for comments on SRFI 194: Random data generators Linas Vepstas (18 Aug 2020 22:10 UTC)
Re: New draft (#3) and last call for comments on SRFI 194: Random data generators Marc Nieper-Wißkirchen (19 Aug 2020 06:29 UTC)
Re: New draft (#3) and last call for comments on SRFI 194: Random data generators Linas Vepstas (19 Aug 2020 15:00 UTC)
Re: New draft (#3) and last call for comments on SRFI 194: Random data generators Marc Nieper-Wißkirchen (19 Aug 2020 15:06 UTC)
Re: New draft (#3) and last call for comments on SRFI 194: Random data generators Linas Vepstas (19 Aug 2020 16:09 UTC)
Re: New draft (#3) and last call for comments on SRFI 194: Random data generators Bradley Lucier (18 Aug 2020 21:12 UTC)
Re: New draft (#3) and last call for comments on SRFI 194: Random data generators Linas Vepstas (18 Aug 2020 22:45 UTC)

Re: New draft (#3) and last call for comments on SRFI 194: Random data generators Lucier, Bradley J 18 Aug 2020 19:18 UTC

Some authors define both real and complex Euclidean spaces, as any space that has a real or complex inner product. I’d keep those few words even if they seem redundant.

Brad

> On Aug 18, 2020, at 2:56 PM, John Cowan <xxxxxx@ccil.org> wrote:
>
> I have adopted this language, except that I have changed "n/n+1-dimensional Euclidean space of real numbers" by omitting "of real numbers", since that' s implied (IIRC) by "Euclidean space".