|
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.
1.8.13