fac_maxima