/** * ExpVector maximal degree. * * @param U * @return maximal exponent. */ public static long EVMDEG(ExpVector U) { return U.maxDeg(); }