declared and installed IdealOfRationalPoints