Exemple #1
0
 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)