30 Oct
2015
30 Oct
'15
12:38 p.m.
I committed a change on 7th October to set the precision to 64-bits with the current floating point implementation. Regards, David
On 30/10/2015 10:36, Fabian Immler wrote:
Hi David,
Thanks for your answer, I should have subscribed to the polyml mailing list earlier. Using the SSE2 instructions and/or setting the intermediate precision to 64 bit would give a nice and clear semantics to floating point expressions in Poly/ML, so I would be very much looking forward to such a change.
Best regards, Fabian