Ni, X. ADEPerfectIdeals [Computer software]