Knihovna GMP: racionální čísla a čísla s plovoucí desetinnou čárkou

GMP (GNU MP nebo též libgmp) je matematická knihovna pro práci v libovolné přesnosti. Podíváme se na racionální čísla a čísla s plovoucí desetinnou čárkou. Ukážeme si jejich přiřazování a základní aritmetické operace. Racionální čísla jsou zlomky ve tvaru a / b. Pro uložení racionálních čísel v libgmp slouží datový typ mpq_t. Všechny funkce v libgmp pro práci s racionálními čísly předpokládají, že jim na vstup předáte čísla v tzv. kanonickém tvaru, a také v kanonickém tvaru vracejí výsledek. Kanonický tvar znamená, že čitatel a a jmenovatel b mají gcd(a, b) = 1 a že jmenovatel je kladný. Nula má unikátní reprezentaci 0/1. Přiřazení zlomku do proměnné nekanonizuje výsledek. Je na uživateli, aby v takovém případě kanonizoval výsledek pomocí funkce mpq_canonicalize.