#12724: Allow different normalizations for Eisenstein series q-expansion
----------------------------------+-----------------------------------------
       Reporter:  davidloeffler   |         Owner:  craigcitro 
           Type:  enhancement     |        Status:  needs_work 
       Priority:  major           |     Milestone:  sage-5.0   
      Component:  modular forms   |    Resolution:             
       Keywords:                  |   Work issues:             
Report Upstream:  N/A             |     Reviewers:  Alex Ghitza
        Authors:  David Loeffler  |     Merged in:             
   Dependencies:  #11375          |      Stopgaps:             
----------------------------------+-----------------------------------------
Changes (by jdemeyer):

  * status:  positive_review => needs_work


Comment:

 Some of these don't work on OS X 10.4 PPC (and I'm guessing all other
 32-bit systems):
 {{{
 sage -t  --long -force_lib devel/sage/sage/modular/modform/eis_series.py
 **********************************************************************
 File
 "/Users/buildbot/build/sage/moufang-1/moufang_full/build/sage-5.0.beta14/devel
 /sage-main/sage/modular/modform/eis_series.py", line 105:
     sage: eisenstein_series_qexp(12, 5, K = Zmod(2),
 normalization="integral")
 Exception raised:
     Traceback (most recent call last):
       File
 
"/Users/buildbot/build/sage/moufang-1/moufang_full/build/sage-5.0.beta14/local/bin/ncadoctest.py",
 line 1231, in run_one_test
         self.run_one_example(test, example, filename, compileflags)
       File
 
"/Users/buildbot/build/sage/moufang-1/moufang_full/build/sage-5.0.beta14/local/bin/sagedoctest.py",
 line 38, in run_one_example
         OrigDocTestRunner.run_one_example(self, test, example, filename,
 compileflags)
       File
 
"/Users/buildbot/build/sage/moufang-1/moufang_full/build/sage-5.0.beta14/local/bin/ncadoctest.py",
 line 1172, in run_one_example
         compileflags, 1) in test.globs
       File "<doctest __main__.example_1[15]>", line 1, in <module>
         eisenstein_series_qexp(Integer(12), Integer(5), K =
 Zmod(Integer(2)), normalization="integral")###line 105:
     sage: eisenstein_series_qexp(12, 5, K = Zmod(2),
 normalization="integral")
       File
 
"/Users/buildbot/build/sage/moufang-1/moufang_full/build/sage-5.0.beta14/local/lib/python
 /site-packages/sage/modular/modform/eis_series.py", line 169, in
 eisenstein_series_qexp
         return R(eisenstein_series_poly(k, prec).list(), prec=prec,
 check=True)
       File
 
"/Users/buildbot/build/sage/moufang-1/moufang_full/build/sage-5.0.beta14/local/lib/python
 /site-packages/sage/rings/power_series_ring.py", line 628, in __call__
         return self.__power_series_class(self, f, prec, check=check)
       File "power_series_poly.pyx", line 55, in
 sage.rings.power_series_poly.PowerSeries_poly.__init__
 (sage/rings/power_series_poly.c:2568)
       File "parent.pyx", line 1060, in
 sage.structure.parent.Parent.__call__ (sage/structure/parent.c:7960)
       File "coerce_maps.pyx", line 100, in
 sage.structure.coerce_maps.DefaultConvertMap_unique._call_with_args
 (sage/structure/coerce_maps.c:3729)
       File "coerce_maps.pyx", line 90, in
 sage.structure.coerce_maps.DefaultConvertMap_unique._call_with_args
 (sage/structure/coerce_maps.c:3555)
       File
 
"/Users/buildbot/build/sage/moufang-1/moufang_full/build/sage-5.0.beta14/local/lib/python
 /site-packages/sage/rings/polynomial/polynomial_ring.py", line 366, in
 _element_constructor_
         return C(self, x, check=check, is_gen=False,construct=construct)
       File "polynomial_gf2x.pyx", line 53, in
 sage.rings.polynomial.polynomial_gf2x.Polynomial_GF2X.__init__
 (sage/rings/polynomial/polynomial_gf2x.cpp:10211)
       File "polynomial_template.pxi", line 138, in
 sage.rings.polynomial.polynomial_gf2x.Polynomial_template.__init__
 (sage/rings/polynomial/polynomial_gf2x.cpp:4984)
       File "polynomial_gf2x.pyx", line 53, in
 sage.rings.polynomial.polynomial_gf2x.Polynomial_GF2X.__init__
 (sage/rings/polynomial/polynomial_gf2x.cpp:10211)
       File "polynomial_template.pxi", line 119, in
 sage.rings.polynomial.polynomial_gf2x.Polynomial_template.__init__
 (sage/rings/polynomial/polynomial_gf2x.cpp:4754)
     OverflowError: Python int too large to convert to C long
 **********************************************************************
 File
 "/Users/buildbot/build/sage/moufang-1/moufang_full/build/sage-5.0.beta14/devel
 /sage-main/sage/modular/modform/eis_series.py", line 107:
     sage: eisenstein_series_qexp(12, 5, K = Zmod(2),
 normalization="constant")
 Exception raised:
     Traceback (most recent call last):
       File
 
"/Users/buildbot/build/sage/moufang-1/moufang_full/build/sage-5.0.beta14/local/bin/ncadoctest.py",
 line 1231, in run_one_test
         self.run_one_example(test, example, filename, compileflags)
       File
 
"/Users/buildbot/build/sage/moufang-1/moufang_full/build/sage-5.0.beta14/local/bin/sagedoctest.py",
 line 38, in run_one_example
         OrigDocTestRunner.run_one_example(self, test, example, filename,
 compileflags)
       File
 
"/Users/buildbot/build/sage/moufang-1/moufang_full/build/sage-5.0.beta14/local/bin/ncadoctest.py",
 line 1172, in run_one_example
         compileflags, 1) in test.globs
       File "<doctest __main__.example_1[16]>", line 1, in <module>
         eisenstein_series_qexp(Integer(12), Integer(5), K =
 Zmod(Integer(2)), normalization="constant")###line 107:
     sage: eisenstein_series_qexp(12, 5, K = Zmod(2),
 normalization="constant")
       File
 
"/Users/buildbot/build/sage/moufang-1/moufang_full/build/sage-5.0.beta14/local/lib/python
 /site-packages/sage/modular/modform/eis_series.py", line 167, in
 eisenstein_series_qexp
         return a0fac*R(eisenstein_series_poly(k, prec).list(), prec=prec,
 check=True)
       File
 
"/Users/buildbot/build/sage/moufang-1/moufang_full/build/sage-5.0.beta14/local/lib/python
 /site-packages/sage/rings/power_series_ring.py", line 628, in __call__
         return self.__power_series_class(self, f, prec, check=check)
       File "power_series_poly.pyx", line 55, in
 sage.rings.power_series_poly.PowerSeries_poly.__init__
 (sage/rings/power_series_poly.c:2568)
       File "parent.pyx", line 1060, in
 sage.structure.parent.Parent.__call__ (sage/structure/parent.c:7960)
       File "coerce_maps.pyx", line 100, in
 sage.structure.coerce_maps.DefaultConvertMap_unique._call_with_args
 (sage/structure/coerce_maps.c:3729)
       File "coerce_maps.pyx", line 90, in
 sage.structure.coerce_maps.DefaultConvertMap_unique._call_with_args
 (sage/structure/coerce_maps.c:3555)
       File
 
"/Users/buildbot/build/sage/moufang-1/moufang_full/build/sage-5.0.beta14/local/lib/python
 /site-packages/sage/rings/polynomial/polynomial_ring.py", line 366, in
 _element_constructor_
         return C(self, x, check=check, is_gen=False,construct=construct)
       File "polynomial_gf2x.pyx", line 53, in
 sage.rings.polynomial.polynomial_gf2x.Polynomial_GF2X.__init__
 (sage/rings/polynomial/polynomial_gf2x.cpp:10211)
       File "polynomial_template.pxi", line 138, in
 sage.rings.polynomial.polynomial_gf2x.Polynomial_template.__init__
 (sage/rings/polynomial/polynomial_gf2x.cpp:4984)
       File "polynomial_gf2x.pyx", line 53, in
 sage.rings.polynomial.polynomial_gf2x.Polynomial_GF2X.__init__
 (sage/rings/polynomial/polynomial_gf2x.cpp:10211)
       File "polynomial_template.pxi", line 119, in
 sage.rings.polynomial.polynomial_gf2x.Polynomial_template.__init__
 (sage/rings/polynomial/polynomial_gf2x.cpp:4754)
     OverflowError: Python int too large to convert to C long
 **********************************************************************
 }}}

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/12724#comment:9>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

-- 
You received this message because you are subscribed to the Google Groups 
"sage-trac" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/sage-trac?hl=en.

Reply via email to