#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.