polisirreducible library in PARI