Frobenius_formula loading ...