#8972: Inversion and fraction fields for power series rings
-----------------------------------------------------+----------------------
Reporter: SimonKing | Owner:
Type: defect | Status:
needs_work
Priority: major | Milestone: sage-5.0
Component: algebra | Resolution:
Keywords: power series ring, fraction field | Work issues: doctest
failure
Report Upstream: N/A | Reviewers: Robert
Bradshaw
Authors: Simon King | Merged in:
Dependencies: | Stopgaps:
-----------------------------------------------------+----------------------
Changes (by davidloeffler):
* status: needs_review => needs_work
* work_issues: => doctest failure
Comment:
The patchbot reports a doctest failure with 5.0.beta11:
{{{
sage -t -force_lib
devel/sage-8972/sage/rings/multi_power_series_ring_element.py
**********************************************************************
File
"/storage/masiao/sage-5.0.beta11-patchbot/devel/sage-8972/sage/rings/multi_power_series_ring_element.py",
line 139:
sage: h = 1/f; h
Exception raised:
Traceback (most recent call last):
File
"/storage/masiao/sage-5.0.beta11-patchbot/local/bin/ncadoctest.py", line
1231, in run_one_test
self.run_one_example(test, example, filename, compileflags)
File
"/storage/masiao/sage-5.0.beta11-patchbot/local/bin/sagedoctest.py", line
38, in run_one_example
OrigDocTestRunner.run_one_example(self, test, example, filename,
compileflags)
File
"/storage/masiao/sage-5.0.beta11-patchbot/local/bin/ncadoctest.py", line
1172, in run_one_example
compileflags, 1) in test.globs
File "<doctest __main__.example_0[46]>", line 1, in <module>
h = Integer(1)/f; h###line 139:
sage: h = 1/f; h
File "element.pyx", line 1799, in
sage.structure.element.RingElement.__div__
(sage/structure/element.c:13260)
File "coerce.pyx", line 738, in
sage.structure.coerce.CoercionModel_cache_maps.bin_op
(sage/structure/coerce.c:6583)
File "coerce.pyx", line 1210, in
sage.structure.coerce.CoercionModel_cache_maps.get_action
(sage/structure/coerce.c:11424)
File "coerce.pyx", line 1378, in
sage.structure.coerce.CoercionModel_cache_maps.discover_action
(sage/structure/coerce.c:13135)
File "ring.pyx", line 1420, in
sage.rings.ring.CommutativeRing._pseudo_fraction_field
(sage/rings/ring.c:9929)
return self.fraction_field()
File "/storage/masiao/sage-5.0.beta11-patchbot/local/lib/python
/site-packages/sage/rings/power_series_ring.py", line 672, in
fraction_field
return
LaurentSeriesRing(self.base().fraction_field(),self.variable_names())
File "/storage/masiao/sage-5.0.beta11-patchbot/local/lib/python
/site-packages/sage/rings/laurent_series_ring.py", line 91, in
LaurentSeriesRing
R = LaurentSeriesRing_field(base_ring, name, sparse)
File "/storage/masiao/sage-5.0.beta11-patchbot/local/lib/python
/site-packages/sage/rings/laurent_series_ring.py", line 400, in __init__
LaurentSeriesRing_generic.__init__(self, base_ring, name, sparse)
File "/storage/masiao/sage-5.0.beta11-patchbot/local/lib/python
/site-packages/sage/rings/laurent_series_ring.py", line 121, in __init__
commutative_ring.CommutativeRing.__init__(self, base_ring,
names=name, category=_Fields)
File "ring.pyx", line 1365, in
sage.rings.ring.CommutativeRing.__init__ (sage/rings/ring.c:9627)
Ring.__init__(self, base_ring, names=names, normalize=normalize,
File "ring.pyx", line 156, in sage.rings.ring.Ring.__init__
(sage/rings/ring.c:1903)
Parent.__init__(self, base=base, names=names, normalize=normalize,
File "parent.pyx", line 532, in
sage.structure.parent.Parent.__init__ (sage/structure/parent.c:4484)
File "parent_gens.pyx", line 331, in
sage.structure.parent_gens.ParentWithGens._assign_names
(sage/structure/parent_gens.c:3052)
File "parent_gens.pyx", line 213, in
sage.structure.parent_gens.normalize_names
(sage/structure/parent_gens.c:2360)
IndexError: the number of names must equal the number of generators
**********************************************************************
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/8972#comment:47>
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.
