Artin_root_number loading ...