Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Re: Motion M008.01: yes

On 2017-04-10 11:46:14 -0400, Michel Hack wrote:
>      I did not see a definition of |N -- and it is a cultural choice as
>      to whether N starts at 0 or 1.

For N, ISO 80000-2:2009 says:
  N = { 0, 1, 2, 3, ... }
  N^* = { 1, 2, 3, ... }

-- 
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)