Re: read string to float
- From: Pascal Bourguignon <pjb@xxxxxxxxxxxxxxxxx>
- Date: Thu, 28 Feb 2008 20:20:31 +0100
"John Thingstad" <jpthing@xxxxxxxxx> writes:
På Thu, 28 Feb 2008 17:08:45 +0100, skrev Matthias Benkard
<mulkiatsch@xxxxxxxxx>:
Hi,
i haven't looked inside the lib.. but is this significantly
different from
arbitrary-precision long floats of CLISP?
Can CLISP exactly represent the square root of 2? RealLib can.
~ Matthias
It can what? (sqrt 2) is a exact representation.
It can represent square root of 2 and any other real number. It
doesn't use (sqrt 2) as representation though.
There is no finite number of digits that can represent the whole number.
This is not totally exact.
There is not enough time in the universe to enumerate all the real
numbers. Actually the universe is finite, so we can consider only a
finite number of real numbers. These real numbers that will be
considered ever is countable and can all be represented in this
universe, by definition. Therefore there are finite number of digits
that can represent any of these whole real numbers.
You can generate arbitrary number of digits or even ask for a specific
digit.
(use binominal expansion in sum form, exponent 1/2, expansion term is
k, error term is k+1, from that determine k and extract the nth
digit, untested)
Indeed. That's something like that reallib does.
--
__Pascal Bourguignon__ http://www.informatimago.com/
"This machine is a piece of GAGH! I need dual Opteron 850
processors if I am to do battle with this code!"
.
- References:
- read string to float
- From: getasso
- Re: read string to float
- From: Kent M Pitman
- Re: read string to float
- From: Pascal J. Bourguignon
- Re: read string to float
- From: Alex Mizrahi
- Re: read string to float
- From: Matthias Benkard
- Re: read string to float
- From: John Thingstad
- read string to float
- Prev by Date: Re: System compilation failure, CLPPCRE, ASDF, SBCL involved
- Next by Date: Re: argmax
- Previous by thread: Re: read string to float
- Next by thread: Re: read string to float
- Index(es):
Relevant Pages
|