Parallel numerical verification of the σ_odd problem
October 6, 2018
|
Go to the source code of this file.
Namespaces | |
sigmaodd | |
A lot of functions and stuffs to deal the sigma_odd problem and related stuffs. | |
Functions | |
nat_type | sigmaodd::floor_eighth_root (nat_type n) |
Return the eighth root of n rounded to below. More... | |
nat_type | sigmaodd::floor_fourth_root (nat_type n) |
Return the fourth root of n rounded to below. More... | |
nat_type | sigmaodd::floor_square_root (nat_type n) |
Return the square root of n rounded to below. More... | |
std::vector< nat_type > | sigmaodd::load_bad_table (const std::string &filename, const std::vector< nat_type > &bad_table=std::vector< nat_type >()) |
Read a file that contains list of bad numbers, add after bad_table, and return the result. More... | |
std::vector< nat_type > | sigmaodd::load_numbers (const std::string &filename) |
Read the file and extract each natural number begining a line. Return the list of these numbers. More... | |
(January 17, 2018)
GPLv3 — Copyright (C) 2017, 2018 Olivier Pirson http://www.opimedia.be/
Definition in file helper.cpp.