diff --git a/Number_types/test/Number_types/Sqrt_extension.cpp b/Number_types/test/Number_types/Sqrt_extension.cpp index 0ef5cf105b7..86f58c8d595 100644 --- a/Number_types/test/Number_types/Sqrt_extension.cpp +++ b/Number_types/test/Number_types/Sqrt_extension.cpp @@ -113,29 +113,6 @@ void other_functions_test(){ } } -// TODO: No Modular_traits available yet. -/*template - void modular_traits_test(){ - typedef typename EXT::NT NT; - typedef typename EXT::ROOT ROOT; - typedef NiX::Modular_traits MTraits; - typedef typename MTraits::Residue_type EXT_MOD; - - NiX::Residue::set_current_prime(7); - typename MTraits::Modular_image modular_image; - { - EXT a1(13,-10,4); - EXT_MOD a1_mod= modular_image(a1); - assert(a1_mod==EXT_MOD(6,4,4)); - assert(a1_mod.is_zero()); - }{ - EXT a1(13); - EXT_MOD a1_mod= modular_image(a1); - assert(a1_mod==EXT_MOD(6)); - assert(!a1_mod.is_extended()); - } - }*/ - template void io_test(){ typedef typename EXT::NT NT; @@ -397,11 +374,6 @@ void general_test(){ other_functions_test(); other_functions_test(); - // TODO: No modular traits available -// modular_traits_test(); -// modular_traits_test(); -// modular_traits_test(); - io_test(); io_test(); io_test();