def test_det_is_divisible_x35_fifth(): prec = 18 x35 = x35_with_prec(prec) f187 = ModFormQexpLevel1.load_from(os.path.join(data_dir, "gens_even_det.sobj")) es4 = eisenstein_series_degree2(4, prec) es6 = eisenstein_series_degree2(6, prec) g = (x35 ** 5) * (es4 ** 3 - es6 ** 2) assert f187 * g[(16, 5, 10)] == g * f187[(16, 5, 10)]
def loaded_form(self, form, fname): form.save_as_binary(fname) if isinstance(form, ModFormQexpLevel1): return ModFormQexpLevel1.load_from(fname) else: return QexpLevel1.load_from(fname)