Andreas Fabri 5a52575d39 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
..
Residue_type.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
primes.cpp	added license header	2008-09-17 07:49:08 +00:00