|
Ruud H.G. van Tol on Sat, 01 Nov 2025 20:11:15 +0100
|
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
|
guarantees on digits of floating point values
|
- To: pari-users <pari-users@pari.math.u-bordeaux.fr>
- Subject: guarantees on digits of floating point values
- From: "Ruud H.G. van Tol" <rvtol@freedom.nl>
- Date: Sat, 1 Nov 2025 20:11:06 +0100
- Delivery-date: Sat, 01 Nov 2025 20:11:15 +0100
- Dkim-signature: v=1; a=rsa-sha256; c=simple/simple; d=freedom.nl; s=default; t=1762024266; bh=sfN2HPmC9DnHmat3jHXVWyQyotqr+MG/k0fuGAFu1Bk=; h=Date:To:From:Subject:From; b=LzyDJJjTzHJG7zDWG4F3bSsHxk8Q0DgDk/lf0lgvJk/IhixcqFAcM01DH1gfUHiSj j2u11/nKe6onpA2v9+LGUM8OQZSmht502rG8IXhgQmYryfq1Y9qcVVHVwCqcror8tN +yqgHqcfq/d+aVvg9BDai1KbHFxpea9htIrsmLI0=
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freedom.nl; s=soverin1; t=1762024266; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=sfN2HPmC9DnHmat3jHXVWyQyotqr+MG/k0fuGAFu1Bk=; b=Wt3isSxqur1qajH/6JlDMBFspsDYeSSBgwiSH/kbzV09m665jSkltmv8gdwEk7KotQ1kfe V73U89jzj7F8QPy46j9haAtDkCbqdRJz7U8b9HX6JnPXakOgBUT+et7ji195RPSf7EQg5P rRv2ODsyT4tfsC9MmA50rIPpH5L1GIzzd6aDBeZ7UWxLvZPsY3IedBK5DU1fe548ilyKSp s3RXjU3/NG1SIqMHZTxwcBr7AJ9J4rr2ZCc7uRM9rRwanuCuVVMXtJmK9Z8bhb4j1pqolK 4W7gEfxnc8twENocex/8sNwpm63XRrQ4BXKqywZNXcyYmiPchLfRQ2Fy1MafBg==
As a test, I checked 1000021 digits of exp(1),
my(N=10^6+21); localprec(N); exp(1) * 10^(N-1)\1
against https://apod.nasa.gov/htmltest/gifcity/e.1mil
and all digits matched. :)
Is there a guarantee in the documentation about such?
Similar to how all primes up to 2^64 are guaranteed.
-- Greetings, Ruud