lifting of (polynomial) system solutions over a prime field to an extension field of rationals (language: Macaulay2)