def test_relation(self): '''Test relations of weight 24, 26, 27 and 29. ''' prec = 6 forms_dict = calculator.forms_dict(prec) for wt in [24, 26, 27, 29]: print "Checking when k = %s" % (wt,) M = sym10_space(wt, prec, data_directory=data_dir) rel = relation(wt, data_directory=data_dir) self.assertEqual(len(rel), M.dimension() + 1) self.assertTrue(all(c.weight() == wt for c in rel)) self.assertTrue(sum(c.calc_form_from_dependencies_depth_1( prec, forms_dict) * a for c, a in rel.items()), 0)
def test_ramanujan_conj(self): '''Test Ramanujan conjectures for eigenforms of determinant weights less than or equal to 29. ''' prec = 6 hpl = hilbert_series_maybe(10) for k in range(22, 30): if hpl[k] != 0: N = sym10_space(k, prec, data_directory=data_dir) self.assertEqual(N.dimension(), len(N.basis())) _chply = N.hecke_charpoly(2) for cply, _ in _chply.factor(): K = NumberField(cply, names="a") a = K.gens()[0] f = N.eigenform_with_eigenvalue_t2(a) self.assert_ramanujan_conj_eigenform(f)