If you are asking about mathematic stright definition:

negative integer: -inf,...,-1
positive integer: 1,...,inf
natural: 0,...,inf

The group of natural numbers includes the positive integers and zero.
That is the definition in most places in the world; however, in the
United States and a few more countries, non-negative integers is how
the lot is called.


On Sun, Mar 30, 2008 at 4:54 PM, Marijn Schouten (hkBst)
<[EMAIL PROTECTED]> wrote:
> -----BEGIN PGP SIGNED MESSAGE-----
> Hash: SHA1
>
> Duncan wrote:
> | Brian Harring <[EMAIL PROTECTED]> posted
> | [EMAIL PROTECTED], excerpted below, on
> | Sun, 30 Mar 2008 02:39:46 -0700:
> |
> |> No need to ban 1.00; it's already banned by PMS- quoting from names.tex:
> |>
> |> A version starts with the number part, which is in the form
> |> \t{[0-9]+($\backslash$.[0-9]+)*} (a positive integer, followed by zero
> |> or more dot-prefixed positive integers).
> |>
> |> Note the 'positive integers'; so 1.00 is actually blocked by PMS. That
> |> said, that same text seems to invalidly ban 1.0 also.
> |
> | Well, "positive integer" as used must include zero also, or by that
> | definition, 0.xx style versions would be disallowed as well.  That just
> | wouldn't be sane if we're to keep anything even /close/ to upstream
> | version mapping, so "positive" as used here must include 0 (and does by
> | the literal ranged definition), and both 0.xx and x.00 are therefore
> | defined as allowed, unless there's a further restriction elsewhere that
> | hasn't been quoted.
> |
>
> "non-negative integer" must've been meant.
>
> - --
> Marijn Schouten (hkBst), Gentoo Lisp project, Gentoo ML
> <http://www.gentoo.org/proj/en/lisp/>, #gentoo-{lisp,ml} on FreeNode
> -----BEGIN PGP SIGNATURE-----
> Version: GnuPG v2.0.9 (GNU/Linux)
> Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org
>
> iEYEARECAAYFAkfvqZAACgkQp/VmCx0OL2xPsQCbBNKtynU9aSdr3uY+x+sDt4tR
> 0SQAoK/sGruoV0qr8wyfB2qNPy0SzH7q
> =QsyO
> -----END PGP SIGNATURE-----
>
> --
> gentoo-dev@lists.gentoo.org mailing list
>
>



-- 
Ioannis Aslanidis

<deathwing00[at]gentoo.org> 0x47F370A0
-- 
gentoo-dev@lists.gentoo.org mailing list

Reply via email to