Впервые я использую библиотеку gmp, так что я действительно заблудился, я нашел код, реализующий «тест первичности Миллера Рабина» в c ++, но я хотел иметь возможность применять его к целым числам с произвольнымточность, поэтому я установил библиотеку GMP.
Проблема в том, что я понятия не имею, как на самом деле работает библиотека GMP (я прочитал несколько страниц руководства, но я тоже очень мало понимаю об этом)так как я даже не изучал объектно-ориентированное программирование), я хочу адаптировать тест на простоту, чтобы можно было вводить целые числа 'num' приблизительно в 1000-2000 цифр, вот код:
#include <iostream>
#include <cstring>
#include <cstdlib>
#include <gmpxx.h>
#include <gmp.h>
#define ll long long
using namespace std;
/*
* calculates (a * b) % c taking into account that a * b might overflow
*/
ll mulmod(ll a, ll b, ll mod)
{
ll x = 0,y = a % mod;
while (b > 0)
{
if (b % 2 == 1)
{
x = (x + y) % mod;
}
y = (y * 2) % mod;
b /= 2;
}
return x % mod;
}
/*
* modular exponentiation
*/
ll modulo(ll base, ll exponent, ll mod)
{
ll x = 1;
ll y = base;
while (exponent > 0)
{
if (exponent % 2 == 1)
x = (x * y) % mod;
y = (y * y) % mod;
exponent = exponent / 2;
}
return x % mod;
}
/*
* Miller-Rabin primality test, iteration signifies the accuracy
*/
bool Miller(ll p,int iteration)
{
if (p < 2)
{
return false;
}
if (p != 2 && p % 2==0)
{
return false;
}
ll s = p - 1;
while (s % 2 == 0)
{
s /= 2;
}
for (int i = 0; i < iteration; i++)
{
ll a = rand() % (p - 1) + 1, temp = s;
ll mod = modulo(a, temp, p);
while (temp != p - 1 && mod != 1 && mod != p - 1)
{
mod = mulmod(mod, mod, p);
temp *= 2;
}
if (mod != p - 1 && temp % 2 == 0)
{
return false;
}
}
return true;
}
//Main
int main()
{
int w=0;
int iteration = 5;
mpz_t num;
cout<<"Enter integer to loop: ";
cin>>num;
if (num % 2 == 0)
num=num+1;
while (w==0) {
if (Miller(num, iteration)) {
cout<<num<<" is prime"<<endl;
w=1;
}
else
num=num+2;
}
system ("PAUSE");
return 0;
}
(ЕслиЯ определяю num как «long long», программа работает просто отлично, но я понятия не имею, как мне следует адаптировать все это, чтобы «соответствовать» num, определяемому как «mpz_t», также я не упомянул об этом, но программав основном принимает начальное целочисленное значение и зацикливает его, добавляя 2, если целое число составное, пока оно не станет простым числом)