Hello,
About four years ago, Xavier Caruso wrote a patch for Skew Polynomials in
Sage. I am trying to get it (Ticket #13215
<http://trac.sagemath.org/ticket/13215>) merged and I've run into a lot of
errors because the internal infrastructure in Sage has changed a lot since
then. I've managed to fix some of the errors, but I have no idea on how to
proceed with some. I'm attaching a file that has the traceback for these.
Any explanation, advice on how to fix these would be very helpful.
Thank you very much in advance.
Sincerely,
Arpit Merchant.
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
too few successful tests, not using stored timings
Running doctests with ID 2016-06-19-01-24-38-f79298c3.
Git branch: apply_skew_polynomials_patch
Using --optional=mpir,python2,sage
Doctesting 1 file.
sage -t src/sage/rings/polynomial/skew_polynomial_ring.py
**********************************************************************
File "src/sage/rings/polynomial/skew_polynomial_ring.py", line 588, in
sage.rings.polynomial.skew_polynomial_ring.SkewPolynomialRing_general.twist_map
Failed example:
S.twist_map(-1)
Expected:
Traceback (most recent call last):
...
NotImplementedError
Got:
<BLANKLINE>
Traceback (most recent call last):
File
"/home/arpit/Documents/GSOC_16/sage-7.2/local/lib/python2.7/site-packages/sage/doctest/forker.py",
line 496, in _run
self.compile_and_execute(example, compiler, test.globs)
File
"/home/arpit/Documents/GSOC_16/sage-7.2/local/lib/python2.7/site-packages/sage/doctest/forker.py",
line 858, in compile_and_execute
exec(compiled, globs)
File "<doctest
sage.rings.polynomial.skew_polynomial_ring.SkewPolynomialRing_general.twist_map[6]>",
line 1, in <module>
S.twist_map(-Integer(1))
File
"/home/arpit/Documents/GSOC_16/sage-7.2/local/lib/python2.7/site-packages/sage/rings/polynomial/skew_polynomial_ring.py",
line 604, in twist_map
map = self._map**n
File "sage/categories/map.pyx", line 1264, in
sage.categories.map.Map.__pow__
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/categories/map.c:8985)
return generic_power(self, n)
File "sage/structure/element.pyx", line 3671, in
sage.structure.element.generic_power
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/structure/element.c:28593)
return generic_power_c(a,n,one)
File "sage/structure/element.pyx", line 3704, in
sage.structure.element.generic_power_c
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/structure/element.c:29266)
a = ~a
TypeError: bad operand type for unary ~:
'sage.rings.morphism.RingHomomorphism_im_gens'
**********************************************************************
File "src/sage/rings/polynomial/skew_polynomial_ring.py", line 811, in
sage.rings.polynomial.skew_polynomial_ring.SkewPolynomialRing_general.random_irreducible
Failed example:
A = S.random_irreducible(); A
Exception raised:
Traceback (most recent call last):
File
"/home/arpit/Documents/GSOC_16/sage-7.2/local/lib/python2.7/site-packages/sage/doctest/forker.py",
line 496, in _run
self.compile_and_execute(example, compiler, test.globs)
File
"/home/arpit/Documents/GSOC_16/sage-7.2/local/lib/python2.7/site-packages/sage/doctest/forker.py",
line 858, in compile_and_execute
exec(compiled, globs)
File "<doctest
sage.rings.polynomial.skew_polynomial_ring.SkewPolynomialRing_general.random_irreducible[3]>",
line 1, in <module>
A = S.random_irreducible(); A
File
"/home/arpit/Documents/GSOC_16/sage-7.2/local/lib/python2.7/site-packages/sage/rings/polynomial/skew_polynomial_ring.py",
line 829, in random_irreducible
if irred.is_irreducible():
File "sage/rings/polynomial/skew_polynomial_finite_field.pyx", line 1438,
in
sage.rings.polynomial.skew_polynomial_finite_field.SkewPolynomial_finite_field_dense.is_irreducible
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/rings/polynomial/skew_polynomial_finite_field.c:17351)
return self.reduced_norm().is_irreducible()
File "sage/rings/polynomial/skew_polynomial_finite_field.pyx", line 1215,
in
sage.rings.polynomial.skew_polynomial_finite_field.SkewPolynomial_finite_field_dense.reduced_norm
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/rings/polynomial/skew_polynomial_finite_field.c:16010)
self._norm = center([ lc*section(x) for x in charpoly.list() ])
File "sage/structure/parent.pyx", line 1109, in
sage.structure.parent.Parent.__call__
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/structure/parent.c:9869)
return mor._call_(x)
File "sage/structure/coerce_maps.pyx", line 109, in
sage.structure.coerce_maps.DefaultConvertMap_unique._call_
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/structure/coerce_maps.c:4633)
raise
File "sage/structure/coerce_maps.pyx", line 104, in
sage.structure.coerce_maps.DefaultConvertMap_unique._call_
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/structure/coerce_maps.c:4525)
return C._element_constructor(x)
File
"/home/arpit/Documents/GSOC_16/sage-7.2/local/lib/python2.7/site-packages/sage/rings/polynomial/polynomial_ring.py",
line 392, in _element_constructor_
C = self.element_class
File "sage/structure/parent.pyx", line 853, in
sage.structure.parent.Parent.__getattr__
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/structure/parent.c:8098)
attr = getattr_from_other_class(self, self._category.parent_class, name)
File "sage/structure/misc.pyx", line 253, in
sage.structure.misc.getattr_from_other_class
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/structure/misc.c:1763)
raise dummy_attribute_error
AttributeError: 'CenterSkewPolynomialRing_with_category' object has no
attribute 'element_class'
**********************************************************************
File "src/sage/rings/polynomial/skew_polynomial_ring.py", line 813, in
sage.rings.polynomial.skew_polynomial_ring.SkewPolynomialRing_general.random_irreducible
Failed example:
A.is_irreducible()
Exception raised:
Traceback (most recent call last):
File
"/home/arpit/Documents/GSOC_16/sage-7.2/local/lib/python2.7/site-packages/sage/doctest/forker.py",
line 496, in _run
self.compile_and_execute(example, compiler, test.globs)
File
"/home/arpit/Documents/GSOC_16/sage-7.2/local/lib/python2.7/site-packages/sage/doctest/forker.py",
line 858, in compile_and_execute
exec(compiled, globs)
File "<doctest
sage.rings.polynomial.skew_polynomial_ring.SkewPolynomialRing_general.random_irreducible[4]>",
line 1, in <module>
A.is_irreducible()
NameError: name 'A' is not defined
**********************************************************************
File "src/sage/rings/polynomial/skew_polynomial_ring.py", line 815, in
sage.rings.polynomial.skew_polynomial_ring.SkewPolynomialRing_general.random_irreducible
Failed example:
B = S.random_irreducible(degree=3,monic=False); B # random
Exception raised:
Traceback (most recent call last):
File
"/home/arpit/Documents/GSOC_16/sage-7.2/local/lib/python2.7/site-packages/sage/doctest/forker.py",
line 496, in _run
self.compile_and_execute(example, compiler, test.globs)
File
"/home/arpit/Documents/GSOC_16/sage-7.2/local/lib/python2.7/site-packages/sage/doctest/forker.py",
line 858, in compile_and_execute
exec(compiled, globs)
File "<doctest
sage.rings.polynomial.skew_polynomial_ring.SkewPolynomialRing_general.random_irreducible[5]>",
line 1, in <module>
B = S.random_irreducible(degree=Integer(3),monic=False); B # random
File
"/home/arpit/Documents/GSOC_16/sage-7.2/local/lib/python2.7/site-packages/sage/rings/polynomial/skew_polynomial_ring.py",
line 829, in random_irreducible
if irred.is_irreducible():
File "sage/rings/polynomial/skew_polynomial_finite_field.pyx", line 1438,
in
sage.rings.polynomial.skew_polynomial_finite_field.SkewPolynomial_finite_field_dense.is_irreducible
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/rings/polynomial/skew_polynomial_finite_field.c:17351)
return self.reduced_norm().is_irreducible()
File "sage/rings/polynomial/skew_polynomial_finite_field.pyx", line 1215,
in
sage.rings.polynomial.skew_polynomial_finite_field.SkewPolynomial_finite_field_dense.reduced_norm
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/rings/polynomial/skew_polynomial_finite_field.c:16010)
self._norm = center([ lc*section(x) for x in charpoly.list() ])
File "sage/structure/parent.pyx", line 1109, in
sage.structure.parent.Parent.__call__
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/structure/parent.c:9869)
return mor._call_(x)
File "sage/structure/coerce_maps.pyx", line 109, in
sage.structure.coerce_maps.DefaultConvertMap_unique._call_
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/structure/coerce_maps.c:4633)
raise
File "sage/structure/coerce_maps.pyx", line 104, in
sage.structure.coerce_maps.DefaultConvertMap_unique._call_
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/structure/coerce_maps.c:4525)
return C._element_constructor(x)
File
"/home/arpit/Documents/GSOC_16/sage-7.2/local/lib/python2.7/site-packages/sage/rings/polynomial/polynomial_ring.py",
line 392, in _element_constructor_
C = self.element_class
File "sage/structure/parent.pyx", line 853, in
sage.structure.parent.Parent.__getattr__
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/structure/parent.c:8098)
attr = getattr_from_other_class(self, self._category.parent_class, name)
File "sage/structure/misc.pyx", line 253, in
sage.structure.misc.getattr_from_other_class
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/structure/misc.c:1763)
raise dummy_attribute_error
AttributeError: 'CenterSkewPolynomialRing_with_category' object has no
attribute 'element_class'
**********************************************************************
File "src/sage/rings/polynomial/skew_polynomial_ring.py", line 817, in
sage.rings.polynomial.skew_polynomial_ring.SkewPolynomialRing_general.random_irreducible
Failed example:
B.is_irreducible()
Exception raised:
Traceback (most recent call last):
File
"/home/arpit/Documents/GSOC_16/sage-7.2/local/lib/python2.7/site-packages/sage/doctest/forker.py",
line 496, in _run
self.compile_and_execute(example, compiler, test.globs)
File
"/home/arpit/Documents/GSOC_16/sage-7.2/local/lib/python2.7/site-packages/sage/doctest/forker.py",
line 858, in compile_and_execute
exec(compiled, globs)
File "<doctest
sage.rings.polynomial.skew_polynomial_ring.SkewPolynomialRing_general.random_irreducible[6]>",
line 1, in <module>
B.is_irreducible()
NameError: name 'B' is not defined
**********************************************************************
File "src/sage/rings/polynomial/skew_polynomial_ring.py", line 907, in
sage.rings.polynomial.skew_polynomial_ring.SkewPolynomialRing_general.center
Failed example:
b = Z.random_element(); b
Exception raised:
Traceback (most recent call last):
File
"/home/arpit/Documents/GSOC_16/sage-7.2/local/lib/python2.7/site-packages/sage/doctest/forker.py",
line 496, in _run
self.compile_and_execute(example, compiler, test.globs)
File
"/home/arpit/Documents/GSOC_16/sage-7.2/local/lib/python2.7/site-packages/sage/doctest/forker.py",
line 858, in compile_and_execute
exec(compiled, globs)
File "<doctest
sage.rings.polynomial.skew_polynomial_ring.SkewPolynomialRing_general.center[8]>",
line 1, in <module>
b = Z.random_element(); b
File
"/home/arpit/Documents/GSOC_16/sage-7.2/local/lib/python2.7/site-packages/sage/rings/polynomial/polynomial_ring.py",
line 1209, in random_element
p = self([R.random_element(*args,**kwds) for _ in xrange(degree[1]+1)])
File "sage/structure/parent.pyx", line 1109, in
sage.structure.parent.Parent.__call__
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/structure/parent.c:9869)
return mor._call_(x)
File "sage/structure/coerce_maps.pyx", line 109, in
sage.structure.coerce_maps.DefaultConvertMap_unique._call_
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/structure/coerce_maps.c:4633)
raise
File "sage/structure/coerce_maps.pyx", line 104, in
sage.structure.coerce_maps.DefaultConvertMap_unique._call_
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/structure/coerce_maps.c:4525)
return C._element_constructor(x)
File
"/home/arpit/Documents/GSOC_16/sage-7.2/local/lib/python2.7/site-packages/sage/rings/polynomial/polynomial_ring.py",
line 392, in _element_constructor_
C = self.element_class
File "sage/structure/parent.pyx", line 853, in
sage.structure.parent.Parent.__getattr__
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/structure/parent.c:8098)
attr = getattr_from_other_class(self, self._category.parent_class, name)
File "sage/structure/misc.pyx", line 253, in
sage.structure.misc.getattr_from_other_class
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/structure/misc.c:1763)
raise dummy_attribute_error
AttributeError: 'CenterSkewPolynomialRing_with_category' object has no
attribute 'element_class'
**********************************************************************
File "src/sage/rings/polynomial/skew_polynomial_ring.py", line 909, in
sage.rings.polynomial.skew_polynomial_ring.SkewPolynomialRing_general.center
Failed example:
c = a + b; c
Exception raised:
Traceback (most recent call last):
File
"/home/arpit/Documents/GSOC_16/sage-7.2/local/lib/python2.7/site-packages/sage/doctest/forker.py",
line 496, in _run
self.compile_and_execute(example, compiler, test.globs)
File
"/home/arpit/Documents/GSOC_16/sage-7.2/local/lib/python2.7/site-packages/sage/doctest/forker.py",
line 858, in compile_and_execute
exec(compiled, globs)
File "<doctest
sage.rings.polynomial.skew_polynomial_ring.SkewPolynomialRing_general.center[9]>",
line 1, in <module>
c = a + b; c
NameError: name 'b' is not defined
**********************************************************************
File "src/sage/rings/polynomial/skew_polynomial_ring.py", line 911, in
sage.rings.polynomial.skew_polynomial_ring.SkewPolynomialRing_general.center
Failed example:
c.parent()
Exception raised:
Traceback (most recent call last):
File
"/home/arpit/Documents/GSOC_16/sage-7.2/local/lib/python2.7/site-packages/sage/doctest/forker.py",
line 496, in _run
self.compile_and_execute(example, compiler, test.globs)
File
"/home/arpit/Documents/GSOC_16/sage-7.2/local/lib/python2.7/site-packages/sage/doctest/forker.py",
line 858, in compile_and_execute
exec(compiled, globs)
File "<doctest
sage.rings.polynomial.skew_polynomial_ring.SkewPolynomialRing_general.center[10]>",
line 1, in <module>
c.parent()
NameError: name 'c' is not defined
**********************************************************************
File "src/sage/rings/polynomial/skew_polynomial_ring.py", line 919, in
sage.rings.polynomial.skew_polynomial_ring.SkewPolynomialRing_general.center
Failed example:
zz = Z(z); zz
Exception raised:
Traceback (most recent call last):
File
"/home/arpit/Documents/GSOC_16/sage-7.2/local/lib/python2.7/site-packages/sage/doctest/forker.py",
line 496, in _run
self.compile_and_execute(example, compiler, test.globs)
File
"/home/arpit/Documents/GSOC_16/sage-7.2/local/lib/python2.7/site-packages/sage/doctest/forker.py",
line 858, in compile_and_execute
exec(compiled, globs)
File "<doctest
sage.rings.polynomial.skew_polynomial_ring.SkewPolynomialRing_general.center[13]>",
line 1, in <module>
zz = Z(z); zz
File "sage/structure/parent.pyx", line 1109, in
sage.structure.parent.Parent.__call__
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/structure/parent.c:9869)
return mor._call_(x)
File "sage/categories/map.pyx", line 799, in
sage.categories.map.Map._call_
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/categories/map.c:6802)
cpdef Element _call_(self, x):
File
"/home/arpit/Documents/GSOC_16/sage-7.2/local/lib/python2.7/site-packages/sage/rings/polynomial/skew_polynomial_ring.py",
line 165, in _call_
return self.codomain()(l)
File "sage/structure/parent.pyx", line 1109, in
sage.structure.parent.Parent.__call__
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/structure/parent.c:9869)
return mor._call_(x)
File "sage/structure/coerce_maps.pyx", line 109, in
sage.structure.coerce_maps.DefaultConvertMap_unique._call_
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/structure/coerce_maps.c:4633)
raise
File "sage/structure/coerce_maps.pyx", line 104, in
sage.structure.coerce_maps.DefaultConvertMap_unique._call_
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/structure/coerce_maps.c:4525)
return C._element_constructor(x)
File
"/home/arpit/Documents/GSOC_16/sage-7.2/local/lib/python2.7/site-packages/sage/rings/polynomial/polynomial_ring.py",
line 392, in _element_constructor_
C = self.element_class
File "sage/structure/parent.pyx", line 853, in
sage.structure.parent.Parent.__getattr__
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/structure/parent.c:8098)
attr = getattr_from_other_class(self, self._category.parent_class, name)
File "sage/structure/misc.pyx", line 253, in
sage.structure.misc.getattr_from_other_class
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/structure/misc.c:1763)
raise dummy_attribute_error
AttributeError: 'CenterSkewPolynomialRing_with_category' object has no
attribute 'element_class'
**********************************************************************
File "src/sage/rings/polynomial/skew_polynomial_ring.py", line 921, in
sage.rings.polynomial.skew_polynomial_ring.SkewPolynomialRing_general.center
Failed example:
zz.parent()
Exception raised:
Traceback (most recent call last):
File
"/home/arpit/Documents/GSOC_16/sage-7.2/local/lib/python2.7/site-packages/sage/doctest/forker.py",
line 496, in _run
self.compile_and_execute(example, compiler, test.globs)
File
"/home/arpit/Documents/GSOC_16/sage-7.2/local/lib/python2.7/site-packages/sage/doctest/forker.py",
line 858, in compile_and_execute
exec(compiled, globs)
File "<doctest
sage.rings.polynomial.skew_polynomial_ring.SkewPolynomialRing_general.center[14]>",
line 1, in <module>
zz.parent()
NameError: name 'zz' is not defined
**********************************************************************
File "src/sage/rings/polynomial/skew_polynomial_ring.py", line 994, in
sage.rings.polynomial.skew_polynomial_ring.SkewPolynomialRing_general.centre
Failed example:
a = (3*t^2 + 4*t + 6)*x^2 + (2*t + 1)*x + 3*t^2 + 6*t + 4
Exception raised:
Traceback (most recent call last):
File
"/home/arpit/Documents/GSOC_16/sage-7.2/local/lib/python2.7/site-packages/sage/doctest/forker.py",
line 496, in _run
self.compile_and_execute(example, compiler, test.globs)
File
"/home/arpit/Documents/GSOC_16/sage-7.2/local/lib/python2.7/site-packages/sage/doctest/forker.py",
line 858, in compile_and_execute
exec(compiled, globs)
File "<doctest
sage.rings.polynomial.skew_polynomial_ring.SkewPolynomialRing_general.centre[7]>",
line 1, in <module>
a = (Integer(3)*t**Integer(2) + Integer(4)*t +
Integer(6))*x**Integer(2) + (Integer(2)*t + Integer(1))*x +
Integer(3)*t**Integer(2) + Integer(6)*t + Integer(4)
File "sage/structure/element.pyx", line 1798, in
sage.structure.element.RingElement.__mul__
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/structure/element.c:16351)
return coercion_model.bin_op(left, right, mul)
File "sage/structure/coerce.pyx", line 1020, in
sage.structure.coerce.CoercionModel_cache_maps.bin_op
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/structure/coerce.c:8743)
action = self.get_action(xp, yp, op, x, y)
File "sage/structure/coerce.pyx", line 1557, in
sage.structure.coerce.CoercionModel_cache_maps.get_action
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/structure/coerce.c:15560)
action = self.discover_action(R, S, op, r, s)
File "sage/structure/coerce.pyx", line 1697, in
sage.structure.coerce.CoercionModel_cache_maps.discover_action
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/structure/coerce.c:17010)
action = (<Parent>R).get_action(S, op, True, r, s)
File "sage/structure/parent.pyx", line 2742, in
sage.structure.parent.Parent.get_action
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/structure/parent.c:21612)
action = self.discover_action(S, op, self_on_left, self_el, S_el)
File "sage/structure/parent.pyx", line 2818, in
sage.structure.parent.Parent.discover_action
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/structure/parent.c:22849)
action = detect_element_action(self, S, self_on_left, self_el, S_el)
File "sage/structure/coerce_actions.pyx", line 230, in
sage.structure.coerce_actions.detect_element_action
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/structure/coerce_actions.c:5232)
return (RightModuleAction if X_on_left else LeftModuleAction)(Y, X, y,
x)
File "sage/structure/coerce_actions.pyx", line 339, in
sage.structure.coerce_actions.ModuleAction.__init__
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/structure/coerce_actions.c:6087)
self.extended_base = pushout(G, S)
File
"/home/arpit/Documents/GSOC_16/sage-7.2/local/lib/python2.7/site-packages/sage/categories/pushout.py",
line 3667, in pushout
while len(Ss) > 0 and Rs[-1].has_coerce_map_from(Ss[-1]):
File "sage/structure/parent.pyx", line 2238, in
sage.structure.parent.Parent.has_coerce_map_from
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/structure/parent.c:17921)
cpdef bint has_coerce_map_from(self, S) except -2:
File "sage/structure/parent.pyx", line 2260, in
sage.structure.parent.Parent.has_coerce_map_from
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/structure/parent.c:17871)
return self._internal_coerce_map_from(S) is not None
File "sage/structure/parent.pyx", line 2400, in
sage.structure.parent.Parent._internal_coerce_map_from
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/structure/parent.c:18788)
mor = self.discover_coerce_map_from(S)
File "sage/structure/parent.pyx", line 2591, in
sage.structure.parent.Parent.discover_coerce_map_from
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/structure/parent.c:19948)
mor = mor * connecting
File "sage/categories/map.pyx", line 906, in
sage.categories.map.Map.__mul__
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/categories/map.c:7354)
return self._composition(right)
File "sage/categories/map.pyx", line 947, in
sage.categories.map.Map._composition
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/categories/map.c:7606)
return self._composition_(right, H)
File "sage/rings/morphism.pyx", line 786, in
sage.rings.morphism.RingHomomorphism._composition_
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/rings/morphism.c:5895)
return homset([self(g) for g in right.im_gens()], False)
File
"/home/arpit/Documents/GSOC_16/sage-7.2/local/lib/python2.7/site-packages/sage/rings/homset.py",
line 263, in __call__
return morphism.RingHomomorphism_from_quotient(self, phi)
File "sage/rings/morphism.pyx", line 1749, in
sage.rings.morphism.RingHomomorphism_from_quotient.__init__
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/rings/morphism.c:12757)
if phi(x) != 0:
File "sage/categories/map.pyx", line 780, in
sage.categories.map.Map.__call__
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/categories/map.c:6329)
return self._call_(x)
File "sage/rings/morphism.pyx", line 1243, in
sage.rings.morphism.RingHomomorphism_im_gens._call_
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/rings/morphism.c:9393)
return x._im_gens_(self.codomain(), self.im_gens())
File "sage/rings/integer.pyx", line 769, in
sage.rings.integer.Integer._im_gens_
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/rings/integer.c:7037)
return codomain._coerce_(self)
File "sage/structure/parent_old.pyx", line 239, in
sage.structure.parent_old.Parent._coerce_
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/structure/parent_old.c:4547)
return self.coerce(x)
File "sage/structure/parent.pyx", line 1351, in
sage.structure.parent.Parent.coerce
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/structure/parent.c:11131)
return (<map.Map>mor)._call_(x)
File "sage/categories/map.pyx", line 1697, in
sage.categories.map.FormalCompositeMap._call_
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/categories/map.c:11365)
x = f._call_(x)
File "sage/rings/polynomial/skew_polynomial_element.pyx", line 3095, in
sage.rings.polynomial.skew_polynomial_element.SkewPolynomialBaseringInjection._call_
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/rings/polynomial/skew_polynomial_element.c:26051)
cpdef Element _call_(self, x):
File "sage/rings/polynomial/skew_polynomial_element.pyx", line 3096, in
sage.rings.polynomial.skew_polynomial_element.SkewPolynomialBaseringInjection._call_
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/rings/polynomial/skew_polynomial_element.c:25999)
return self._new_constant_poly_(x, self._codomain)
TypeError: 'NoneType' object is not callable
**********************************************************************
File "src/sage/rings/polynomial/skew_polynomial_ring.py", line 997, in
sage.rings.polynomial.skew_polynomial_ring.SkewPolynomialRing_general.centre
Failed example:
c = a + b; c
Exception raised:
Traceback (most recent call last):
File
"/home/arpit/Documents/GSOC_16/sage-7.2/local/lib/python2.7/site-packages/sage/doctest/forker.py",
line 496, in _run
self.compile_and_execute(example, compiler, test.globs)
File
"/home/arpit/Documents/GSOC_16/sage-7.2/local/lib/python2.7/site-packages/sage/doctest/forker.py",
line 858, in compile_and_execute
exec(compiled, globs)
File "<doctest
sage.rings.polynomial.skew_polynomial_ring.SkewPolynomialRing_general.centre[9]>",
line 1, in <module>
c = a + b; c
NameError: name 'a' is not defined
**********************************************************************
File "src/sage/rings/polynomial/skew_polynomial_ring.py", line 999, in
sage.rings.polynomial.skew_polynomial_ring.SkewPolynomialRing_general.centre
Failed example:
c.parent()
Exception raised:
Traceback (most recent call last):
File
"/home/arpit/Documents/GSOC_16/sage-7.2/local/lib/python2.7/site-packages/sage/doctest/forker.py",
line 496, in _run
self.compile_and_execute(example, compiler, test.globs)
File
"/home/arpit/Documents/GSOC_16/sage-7.2/local/lib/python2.7/site-packages/sage/doctest/forker.py",
line 858, in compile_and_execute
exec(compiled, globs)
File "<doctest
sage.rings.polynomial.skew_polynomial_ring.SkewPolynomialRing_general.centre[10]>",
line 1, in <module>
c.parent()
NameError: name 'c' is not defined
**********************************************************************
File "src/sage/rings/polynomial/skew_polynomial_ring.py", line 1007, in
sage.rings.polynomial.skew_polynomial_ring.SkewPolynomialRing_general.centre
Failed example:
zz = Z(z); zz
Exception raised:
Traceback (most recent call last):
File
"/home/arpit/Documents/GSOC_16/sage-7.2/local/lib/python2.7/site-packages/sage/doctest/forker.py",
line 496, in _run
self.compile_and_execute(example, compiler, test.globs)
File
"/home/arpit/Documents/GSOC_16/sage-7.2/local/lib/python2.7/site-packages/sage/doctest/forker.py",
line 858, in compile_and_execute
exec(compiled, globs)
File "<doctest
sage.rings.polynomial.skew_polynomial_ring.SkewPolynomialRing_general.centre[13]>",
line 1, in <module>
zz = Z(z); zz
File "sage/structure/parent.pyx", line 1109, in
sage.structure.parent.Parent.__call__
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/structure/parent.c:9869)
return mor._call_(x)
File "sage/categories/map.pyx", line 799, in
sage.categories.map.Map._call_
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/categories/map.c:6802)
cpdef Element _call_(self, x):
File
"/home/arpit/Documents/GSOC_16/sage-7.2/local/lib/python2.7/site-packages/sage/rings/polynomial/skew_polynomial_ring.py",
line 165, in _call_
return self.codomain()(l)
File "sage/structure/parent.pyx", line 1109, in
sage.structure.parent.Parent.__call__
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/structure/parent.c:9869)
return mor._call_(x)
File "sage/structure/coerce_maps.pyx", line 109, in
sage.structure.coerce_maps.DefaultConvertMap_unique._call_
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/structure/coerce_maps.c:4633)
raise
File "sage/structure/coerce_maps.pyx", line 104, in
sage.structure.coerce_maps.DefaultConvertMap_unique._call_
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/structure/coerce_maps.c:4525)
return C._element_constructor(x)
File
"/home/arpit/Documents/GSOC_16/sage-7.2/local/lib/python2.7/site-packages/sage/rings/polynomial/polynomial_ring.py",
line 392, in _element_constructor_
C = self.element_class
File "sage/structure/parent.pyx", line 853, in
sage.structure.parent.Parent.__getattr__
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/structure/parent.c:8098)
attr = getattr_from_other_class(self, self._category.parent_class, name)
File "sage/structure/misc.pyx", line 253, in
sage.structure.misc.getattr_from_other_class
(/home/arpit/Documents/GSOC_16/sage-7.2/src/build/cythonized/sage/structure/misc.c:1763)
raise dummy_attribute_error
AttributeError: 'CenterSkewPolynomialRing_with_category' object has no
attribute 'element_class'
**********************************************************************
File "src/sage/rings/polynomial/skew_polynomial_ring.py", line 1009, in
sage.rings.polynomial.skew_polynomial_ring.SkewPolynomialRing_general.centre
Failed example:
zz.parent()
Exception raised:
Traceback (most recent call last):
File
"/home/arpit/Documents/GSOC_16/sage-7.2/local/lib/python2.7/site-packages/sage/doctest/forker.py",
line 496, in _run
self.compile_and_execute(example, compiler, test.globs)
File
"/home/arpit/Documents/GSOC_16/sage-7.2/local/lib/python2.7/site-packages/sage/doctest/forker.py",
line 858, in compile_and_execute
exec(compiled, globs)
File "<doctest
sage.rings.polynomial.skew_polynomial_ring.SkewPolynomialRing_general.centre[14]>",
line 1, in <module>
zz.parent()
NameError: name 'zz' is not defined
**********************************************************************
4 items had failures:
5 of 18 in
sage.rings.polynomial.skew_polynomial_ring.SkewPolynomialRing_general.center
5 of 18 in
sage.rings.polynomial.skew_polynomial_ring.SkewPolynomialRing_general.centre
4 of 8 in
sage.rings.polynomial.skew_polynomial_ring.SkewPolynomialRing_general.random_irreducible
1 of 12 in
sage.rings.polynomial.skew_polynomial_ring.SkewPolynomialRing_general.twist_map
[151 tests, 15 failures, 0.21 s]
----------------------------------------------------------------------
sage -t src/sage/rings/polynomial/skew_polynomial_ring.py # 15 doctests failed
----------------------------------------------------------------------
Total time for all tests: 0.3 seconds
cpu time: 0.2 seconds
cumulative wall time: 0.2 seconds
