|
From: | Gabor Szokoli |
Subject: | White spaces in numbers: mpz_set_str |
Date: | Tue, 18 Feb 2003 16:53:31 -0600 |
User-agent: | Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US; rv:1.3a) Gecko/20021212 |
Hello!I'm a user of the Mozart system (www.mozart-oz.org) which in turn relies on GMP.
I'd like to cast my vote on the mpz_set_str issue in favor of strict processing. A number padded and cut by whitespace characters should make this function fail.
You could always provide both mechanisms under separate names for those who care, and make the default behave the way it's faster for those who don't.
Oh, and thank you for your work. Gabor Szokoli
[Prev in Thread] | Current Thread | [Next in Thread] |