예제 #1
0
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)]
예제 #2
0
 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)