Andreas Fabri 0cbc8b0e40 remove unused parameters		2013-03-23 08:45:06 +01:00
..
Algebraic_kernel_d	remove unused parameters	2013-03-23 08:45:06 +01:00
RS	fix bug in refinement with very small precisions	2012-09-25 14:33:19 +00:00
Algebraic_kernel_d_1.h	change LGPLv2 -> LGPLv3	2011-10-10 13:48:25 +00:00
Algebraic_kernel_d_2.h	change LGPLv2 -> LGPLv3	2011-10-10 13:48:25 +00:00
Algebraic_kernel_rs_gmpq_d_1.h	change LGPLv2 -> LGPLv3	2011-10-10 13:48:25 +00:00
Algebraic_kernel_rs_gmpz_d_1.h	change LGPLv2 -> LGPLv3	2011-10-10 13:48:25 +00:00