Re: [racket-users] IEEE 754 single precision float support

2018-04-12 Thread George Neuner
On 4/11/2018 7:03 PM, Philip McGrath wrote: From one following along who knows fairly little about floating-point math (the Toronto/McCarthy paper looks very informative!): On Tue, Apr 10, 2018 at 12:13 AM, George Neuner > wrote: As

Re: [racket-users] IEEE 754 single precision float support

2018-04-11 Thread Philip McGrath
>From one following along who knows fairly little about floating-point math (the Toronto/McCarthy paper looks very informative!): On Tue, Apr 10, 2018 at 12:13 AM, George Neuner wrote: > As Philip McGrath mentioned already, you can specify single precision at > least for

Re: [racket-users] IEEE 754 single precision float support

2018-04-11 Thread George Neuner
Sorry for the delay.  My ISP's service has been flaky of late.  It was down much of Tuesday.  I'm still getting caught up. On 4/10/2018 2:30 PM, d...@insomniacgames.com wrote: How long do you want to wait for "truth" calculations.  Done using either rationals (software bigint /

Re: [racket-users] IEEE 754 single precision float support

2018-04-10 Thread dkim
> > Then you probably want SIMD vector ops too, which, AFAIK, are not yet > supported. FP math in Racket does use the SIMD unit on most targets, > but normal math computes one value at a time, using only one slot per > SIMD register, as opposed to the N slots available at the given precision.

Re: [racket-users] IEEE 754 single precision float support

2018-04-10 Thread George Neuner
On 4/10/2018 1:36 AM, d...@insomniacgames.com wrote: For the applications I work on, double precision floats are too costly to use; although the CPU cycle count to operate on doubles tend to be the same as single precision floats on modern hardware, the bandwidth cost is too prohibitive. We

Re: [racket-users] IEEE 754 single precision float support

2018-04-09 Thread dkim
For the applications I work on, double precision floats are too costly to use; although the CPU cycle count to operate on doubles tend to be the same as single precision floats on modern hardware, the bandwidth cost is too prohibitive. We really do need single precision floats, and in many

Re: [racket-users] IEEE 754 single precision float support

2018-04-09 Thread George Neuner
On 4/9/2018 7:11 PM, d...@insomniacgames.com wrote: I'm very interested in using Racket for the purposes of numerical analysis. Specifically, I am interested in using Racket as my test bed for implementing simple numerical algorithms which operate on IEEE 754 single precision floats and

Re: [racket-users] IEEE 754 single precision float support

2018-04-09 Thread Philip McGrath
Hopefully someone who's tried this sort of thing will be able to give you a better answer, but, from my quick poking around, it seems that, while there is not a special library like racket/flonum for single-precision, Racket's generic number operations (like +) work on single-precision floats and

[racket-users] IEEE 754 single precision float support

2018-04-09 Thread dkim
Hey all, I'm very interested in using Racket for the purposes of numerical analysis. Specifically, I am interested in using Racket as my test bed for implementing simple numerical algorithms which operate on IEEE 754 single precision floats and compare those results against a ground truth,