../../Task/Catamorphism/PARI-GP