prothsearch: GMP functions in a separated file.
Authored by: laszloerdos 2021-10-07
Parent: [r974]
Child: [r976]