Parallel numerical verification of the σ_odd problem
October 6, 2018
|
Implementation of the OpenCL parallel algorithms presented in the report. More...
#include "helper.hpp"
Go to the source code of this file.
Namespaces | |
opencl | |
Functions | |
std::set< nat_type > | opencl::opencl_check_gentle_varsigma_odd (nat_type first_n, nat_type last_n, unsigned int opencl_nb_number=65536, bool print_bad=true, bool print_time=true) |
Check in the order all odd gentle numbers between first_n and last_n, and if print_bad then print all bad numbers between first_n and last_n (included). The consequence of the result is that: if (all numbers < first_n respect the conjecture) and (all perfect squares < last_n respect the conjecture) and (all bad numbers < last_n respect the conjecture) then all numbers < last_n respect the conjecture. More... | |
std::set< nat_type > | opencl::opencl_check_gentle_varsigma_odd__parallelize_factorization (nat_type first_n, nat_type last_n, unsigned int opencl_nb=1024, bool print_bad=true, bool print_time=true) |
Like opencl_check_gentle_varsigma_odd() but instead parallelize on group of opencl_nb numbers, compute separately for each number and parallelize the factorization. More... | |
std::vector< nat_type > | opencl::opencl_check_ns (const std::vector< nat_type > &ns) |
Check all numbers in ns and return vector of all bad numbers found. More... | |
std::vector< nat_type > | opencl::opencl_run_program_on_ns (const std::string &filename, const std::string &kernal_name, const std::vector< nat_type > &ns) |
Run the OpenCL program from filename on ns. Used for tests. More... | |
Implementation of the OpenCL parallel algorithms presented in the report.
(February 6, 2018) GPLv3 — Copyright (C) 2017, 2018 Olivier Pirson http://www.opimedia.be/
Definition in file opencl.hpp.