Michael Hemmer b5d0eee4b4 set proper rounding mode		2008-10-29 08:27:29 +00:00
..
Modular_traits.cpp	Enforce IEEE double precision before using modular arithmetic	2008-10-22 08:55:03 +00:00
Residue.cpp	Remove force_ieee_double_precision(); as this is a global side effect; TODO: Add preconditions in the operations which require this setting	2008-10-17 13:14:08 +00:00
multi_threads.cpp	set proper rounding mode	2008-10-29 08:27:29 +00:00