bug-gmp
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

an uninformed opinion that i hope you will find useful, or at least amus


From: Keith
Subject: an uninformed opinion that i hope you will find useful, or at least amusing
Date: Mon, 03 Jun 2002 03:24:11 -0500
User-agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:0.9.9) Gecko/20020324

in the documentation to gmp, it is written:

> It turns out that it is not entirely true that this function (mpz_set_str)
> ignores white-space. It does ignore it between digits, but not after a minus
> sign or within or after "0x". We are considering changing the definition of
> this function, making it fail when there is any white-space in the input,
> since that makes a lot of sense. Send your opinion of this change to
> address@hidden Do you really want it to accept "3 14" as meaning 314 as it
> does now?

fwiw, i like the change. i can think of no time when i would pass this function a string containing white space and want the function to pretend it wasn't there. i can think of no reason why i would want this function to ignore white space. if i pass this function a string holding a number, and that string contains white space, i have probably made a mistake and want to know about it right away.

my apologies if this is a long-resolved issue.

paix,
Keith




reply via email to

[Prev in Thread] Current Thread [Next in Thread]