PARI$ [Dual with redjoo]