Liczby Względnie pierwsze są to takie liczby całkowite, których największym wspólnym dzielnikiem jest 1. Wyróżnia się też Liczby parami względnie pierwsze. W tym przypadku są to liczby całkowite, gdzie każda para liczb jest Względnie pierwsza.
Powyższą definicję najłatwiej zapisać dla liczb , że , gdzie funkcja NWD oznacza największy wspólny dzielnik.
Liczby 4 i 9 nie są liczbami pierwszymi, ale są względnie pierwsze, ponieważ NWD(4, 9) = 1. Innym przykładem takich liczb jest 11 i 15. Tutaj też NWD(11, 15) = 1. Dla pary liczb liczby są zawsze parami względnie pierwszymi co jednak nie jest zawsze prawdą dla większej ilości liczb, ponieważ {6, 7, 8} są względnie pierwsze, bo NWD(6, 7, 8) = 1, ale NWD(6, 8) = 2. Przykładem trójki liczb parami względnie pierwszych są liczby {1, 2, 5}. Warto zauważyć, że para liczb jest zawsze względnie pierwsza jeśli jedna z liczb wynosi 1.
Najprostszym przypadkiem jaki można wyodrębnić to sprawdzanie dwóch liczb czy są względnie pierwsze. Najprostszą metodą, która pozwala tego dokonać jest Algorytm Euklidesa:
Posiadając funkcję nwd() funkcja sprawdzająca czy para liczb jest względnie pierwsza musi sprawdzić czy NWD wyniosło 1:
Powyższą funkcję można przetestować przy pomocy poniższej funkcji main():
Przypadek kiedy jest do sprawdzenia n liczb wymaga pewnych dopasowań dotychczasowych funkcji. Po pierwsze należy pamiętać, że NWD n liczb wyniesie dokładnie 1 wtedy i tylko wtedy, gdy nie istnieje dzielnik, który podzieli wszystkie n liczb. Po drugie nie ma potrzeby szukania dzielnika powyżej połowy najmniejszej z n liczb. Wymienione zasady trzeba zastosować w przedstawionej kolejności w algorytmie:
(1.) Funkcja czyWzgledniePierwsze() przyjmuje dwa argumenty: l - listę liczb oraz n - ile liczb ma lista l. (2. - 5.) Znalezienie na liście najmniejszej wartości i zapisanie do zmiennej min. (6.) Dla każdego możliwego dzielnika: (7.) zakładamy, że wszystkie liczby na liście są przez niego podzielne. (8.) Dla każdej liczby na liście: (9.) sprawdzamy jej podzielność przez aktualnie sprawdzany dzielnik i. Tutaj wykorzystana została cecha koniunkcji. Jeśli którakolwiek z liczb nie jest podzielna przez i to podzielne do końca sprawdzania listy będzie miało już wartość fałsz. Jednak jeśli (10.) wszystkie liczby okażą się podzielne przez i to (11.) należy zwrócić fałsz. Jeśli pętla zostanie zakończona i żadne dzielnik nie zostanie znaleziony to (13.) można zwrócić prawda.
Podczas sprawdzania czy liczby są parami względnie pierwsze to należy pamiętać, że jeśli a i b oraz b i c są względnie pierwsze to z tego nie wynika, że a i c też są. W przypadku sprawdzania tej cechy zbioru liczb należy sprawdzić wszystkie pary liczb. Do implementacji algorytmu można wykorzystać pętle z Sortowania bąbelkowego:
(4.) Jeśli aktualnie przeglądana para liczb nie jest względnie pierwsza to można (5.) zwrócić fałsz. Jednak dopiero po sprawdzeniu wszystkich par (6.) można stwierdzić, że liczby są parami względnie pierwsze.
Poniższa funkcja main() pozwoli wczytać n liczb i sprawdzić czy liczby są względnie pierwsze oraz czy są parami względnie pierwsze: