Názory k článku Knihovna GMP: aritmetika s neomezenou přesností

kdybych vzal cislo jako string s 1000 znaky a prevedl na binarni cele cislo tak to vezme 3322 bitu.
ma knihovna funkci vypisujici kolik pameti (bajtu) dane cislo zabralo?

Ano, size_t mpz_sizeinbase (const mpz_t op, int base); za base doplňte 2 a máte výsledek v bitech, které lehce převedete na kilobajty, apod.

pouziva se knihovna nebo podobna pri numerickych vypoctech cisla pi, nebo prvocisel na mnoho milion mist?

Ano, libgmp je k obojímu vhodná. Sám jsem zkoušel hledat Mersennova prvočísla pomocí Lucas-Lehmerova testu pomocí této knihovny. Vím také o tom, že proti ní linkuje Prime95, což je program, který se používá k distribuovanému hledání prvočísel v projektu GIMPS.

Vzhledem k tomu, že GMP se používá v implementacích spousty programovacích jazyků (Guile, ECL, Ruby, ...) a ještě v daleko větší spoustě nástrojů (Emacs, ffmpeg, ...) tak bych řekl nejenom že ano, ale nejspíš i docela často.

Měl bych dotaz k "libovolně přesné aritmetice".
Jak se knihovna GMP vypořádává s "Exact" aritmetikou?

Dokáže knihovna jednoznačně určit "Orientation predicate" v rozumném čase. Třeba v porovnání s CGAL?

Na tohle neznám přesnou odpověď.

Každopádně sama knihovna GMP umožňuje určit počet bitů mantisy u floating-point čísla. Dále u CGAL si můžete zvolit, na jakým datovým typem má počítat.

Pokud použijete datové typy, které v paměti zabírají třeba kilobajty, výpočet geometrických predikátů nemůže být rychlejší. Nicméně tak, jak tyto predikáty používá ve svém článku Shewchuk, můžete mít korektní výsledek s datovými typy float a double, a tudíž knihovna GMP není vůbec potřeba.

O tom, že autorem článku není p. Tišnovský, jsem začal pochybovat až u té první osoby "Uvedu příklad". Moc pěkné čtení - díky!