add missing spe

This commit is contained in:
Sébastien Loriot 2023-07-07 13:59:27 +02:00
parent a49a4f3ae0
commit 1e7bc05345
1 changed files with 9 additions and 0 deletions

View File

@ -168,9 +168,18 @@ struct Exact_ring_selector<double>
using Type = typename Exact_NT_backend<Default_exact_nt_backend>::Ring_for_float;
};
template <>
struct Exact_field_selector<double>
{
using Type = typename Exact_NT_backend<Default_exact_nt_backend>::Rational;
};
template <>
struct Exact_ring_selector<float> : Exact_ring_selector<double> { };
template <>
struct Exact_field_selector<float> : Exact_field_selector<double> { };
template <>
struct Exact_field_selector<MP_Float>
{ typedef Quotient<MP_Float> Type; };