Add a function that returns a string with the exact NT(s) used by EPECK/EPICK

[sloriot]

That would be useful in benchmark for example

[lrineau]

Meanwhile, you can check with:

template <typename T>
struct Display_type;

Display_type<Kernel::Exact_nt> display_type;

so that the compiler displays an error message with the exact type:

[build] [...]/exact.cpp:11:32: error: implicit instantiation of undefined template 'Display_type<boost::multiprecision::number<boost::multiprecision::backends::rational_adaptor<boost::multiprecision::backends::cpp_int_backend<0, 0, boost::multiprecision::signed_magnitude, boost::multiprecision::unchecked, std::allocator<unsigned long long>>>, boost::multiprecision::et_on>>'
[build] Display_type<Kernel::Exact_nt> display_type;
[build]                                ^

[afabri]

Do you expect something nicer than typeid(Kernel::Exact_nt).name() ?

[lrineau]

Do you expect something nicer than typeid(Kernel::Exact_nt).name() ?

In Boost, there is boost::typeindex::type_id<T>().pretty_name() to get the demangled name.