5 commits

Author	SHA1	Message	Date
Fredrik Johansson	0244fe0e46	Fix evil bug in floating-point arithmetic and strengthen test code. ... When rounding up, the error bound sometimes came out as 1/2 ulp instead of 1 ulp due to the mantissa rounding up to the next power of two, without a corresponding exponent correction. Fortunately, this should not affect ball arithmetic (which always rounds down).	2014-04-18 16:19:53 +02:00
Fredrik Johansson	4bd28225bc	use flint_cleanup() everywhere	2013-07-30 13:53:10 +02:00
Fredrik Johansson	b656aefd5f	first version of rewritten fmpr_add (needs more cleanup, and code reuse in fmpr_sub etc)	2013-05-27 16:21:37 +02:00
Fredrik Johansson	c0800fbf08	fix addition bugs and strengthen test code	2012-09-04 15:17:03 +02:00
Fredrik Johansson	09990f94bc	fmpz based floating-point arithmetic (experimental)	2012-08-05 19:57:08 +02:00