Differences between revisions 1 and 9 (spanning 8 versions)
 ⇤ ← Revision 1 as of 2008-05-21 02:26:31 → Size: 304 Editor: MikeHansen Comment: ← Revision 9 as of 2008-11-14 13:42:04 → ⇥ Size: 4684 Editor: localhost Comment: converted to 1.6 markup Deletions are marked like this. Additions are marked like this. Line 1: Line 1: = Segfaults = sage: R = QQ['x,y'].fraction_field()sage: x,y = R.gens()sage: a = xsage: str(a) = Segfaults = Line 7: Line 3: sage: P = PolynomialRing(QQ, 2, 'x')sage: x = P.gens()sage: from sage.combinat.misc import umbral_operationsage: a = umbral_operation(x[0]^3) Line 12: Line 4: sage: Partition([3,2,1]).arms_legs_coeff(1,1) = Errors =The following infinite recursion comes up in a couple places. For example sage/rings/qqbar.py{{{      File "coerce_maps.pyx", line 135, in sage.structure.coerce_maps.NamedConvertMorphism._call_ (sage/structure/coerce_maps.c:3429)      File "/opt/sage-2.10.1/local/lib/python2.5/site-packages/sage/calculus/calculus.py", line 5052, in _polynomial_        return R( R.base_ring()(self) )      File "parent.pyx", line 189, in sage.structure.parent.Parent.__call__ (sage/structure/parent.c:1993)      File "morphism.pyx", line 124, in sage.categories.morphism.Morphism.__call__ (sage/categories/morphism.c:2677)        Defn: Choice of lifting map      File "coerce_maps.pyx", line 135, in sage.structure.coerce_maps.NamedConvertMorphism._call_ (sage/structure/coerce_maps.c:3429)      File "/opt/sage-2.10.1/local/lib/python2.5/site-packages/sage/calculus/calculus.py", line 5052, in _polynomial_        return R( R.base_ring()(self) )      File "parent.pyx", line 189, in sage.structure.parent.Parent.__call__ (sage/structure/parent.c:1993)      File "morphism.pyx", line 124, in sage.categories.morphism.Morphism.__call__ (sage/categories/morphism.c:2677)        Defn: Choice of lifting map      File "coerce_maps.pyx", line 135, in sage.structure.coerce_maps.NamedConvertMorphism._call_ (sage/structure/coerce_maps.c:3429)      File "/opt/sage-2.10.1/local/lib/python2.5/site-packages/sage/calculus/calculus.py", line 5052, in _polynomial_        return R( R.base_ring()(self) )      File "parent.pyx", line 189, in sage.structure.parent.Parent.__call__ (sage/structure/parent.c:1993)      File "morphism.pyx", line 124, in sage.categories.morphism.Morphism.__call__ (sage/categories/morphism.c:2677)        Defn: Choice of lifting map      File "coerce_maps.pyx", line 135, in sage.structure.coerce_maps.NamedConvertMorphism._call_ (sage/structure/coerce_maps.c:3429)      File "/opt/sage-2.10.1/local/lib/python2.5/site-packages/sage/calculus/calculus.py", line 5052, in _polynomial_        return R( R.base_ring()(self) )      File "parent.pyx", line 189, in sage.structure.parent.Parent.__call__ (sage/structure/parent.c:1993)      File "morphism.pyx", line 124, in sage.categories.morphism.Morphism.__call__ (sage/categories/morphism.c:2677)        Defn: Choice of lifting map      File "coerce_maps.pyx", line 135, in sage.structure.coerce_maps.NamedConvertMorphism._call_ (sage/structure/coerce_maps.c:3429)      File "/opt/sage-2.10.1/local/lib/python2.5/site-packages/sage/calculus/calculus.py", line 5052, in _polynomial_        return R( R.base_ring()(self) )      File "parent.pyx", line 189, in sage.structure.parent.Parent.__call__ (sage/structure/parent.c:1993)      File "morphism.pyx", line 124, in sage.categories.morphism.Morphism.__call__ (sage/categories/morphism.c:2677)        Defn: Choice of lifting map      File "coerce_maps.pyx", line 135, in sage.structure.coerce_maps.NamedConvertMorphism._call_ (sage/structure/coerce_maps.c:3429)      File "/opt/sage-2.10.1/local/lib/python2.5/site-packages/sage/calculus/calculus.py", line 5049, in _polynomial_        if self.number_of_arguments() == 0}}}{{{    TypeError: sage.structure.parent.Set_generic.__new__(Set_object_enumerated) is not safe, use sage.structure.wrapper_parent.WrapperParent_model1.__new__()}}}{{{    NotImplementedError: _call_with_args not overridden to accept arguments for }}}{{{sage: sage: S = Set(QQ)sage: sage: T = Set(ZZ['x'])sage: sage: X = S.intersection(T)sage: a = X._X(4); a4sage: b = X._Y(4); b4sage: a == bFalsesage: QQ(4) == ZZ['x'](4)True}}}{{{sage: pi in QQ--------------------------------------------------------------------------- Traceback (most recent call last)/opt/sage-2.10.1/devel/sage-main/sage/sets/ in ()/opt/sage-2.10.1/devel/sage-main/sage/sets/parent.pyx in sage.structure.parent.Parent.__contains__ (sage/structure/parent.c:2221)()/opt/sage-2.10.1/devel/sage-main/sage/sets/parent.pyx in sage.structure.parent.Parent.__call__ (sage/structure/parent.c:1993)()/opt/sage-2.10.1/devel/sage-main/sage/sets/morphism.pyx in sage.categories.morphism.Morphism.__call__ (sage/categories/morphism.c:2677)()/opt/sage-2.10.1/devel/sage-main/sage/sets/coerce_maps.pyx in sage.structure.coerce_maps.NamedConvertMorphism._call_ (sage/structure/coerce_maps.c:3414)(): 'Pi' object has no attribute '_rational_'}}}

# Errors

The following infinite recursion comes up in a couple places. For example sage/rings/qqbar.py

```      File "coerce_maps.pyx", line 135, in sage.structure.coerce_maps.NamedConvertMorphism._call_ (sage/structure/coerce_maps.c:3429)
File "/opt/sage-2.10.1/local/lib/python2.5/site-packages/sage/calculus/calculus.py", line 5052, in _polynomial_
return R( R.base_ring()(self) )
File "parent.pyx", line 189, in sage.structure.parent.Parent.__call__ (sage/structure/parent.c:1993)
File "morphism.pyx", line 124, in sage.categories.morphism.Morphism.__call__ (sage/categories/morphism.c:2677)
Defn: Choice of lifting map
File "coerce_maps.pyx", line 135, in sage.structure.coerce_maps.NamedConvertMorphism._call_ (sage/structure/coerce_maps.c:3429)
File "/opt/sage-2.10.1/local/lib/python2.5/site-packages/sage/calculus/calculus.py", line 5052, in _polynomial_
return R( R.base_ring()(self) )
File "parent.pyx", line 189, in sage.structure.parent.Parent.__call__ (sage/structure/parent.c:1993)
File "morphism.pyx", line 124, in sage.categories.morphism.Morphism.__call__ (sage/categories/morphism.c:2677)
Defn: Choice of lifting map
File "coerce_maps.pyx", line 135, in sage.structure.coerce_maps.NamedConvertMorphism._call_ (sage/structure/coerce_maps.c:3429)
File "/opt/sage-2.10.1/local/lib/python2.5/site-packages/sage/calculus/calculus.py", line 5052, in _polynomial_
return R( R.base_ring()(self) )
File "parent.pyx", line 189, in sage.structure.parent.Parent.__call__ (sage/structure/parent.c:1993)
File "morphism.pyx", line 124, in sage.categories.morphism.Morphism.__call__ (sage/categories/morphism.c:2677)
Defn: Choice of lifting map
File "coerce_maps.pyx", line 135, in sage.structure.coerce_maps.NamedConvertMorphism._call_ (sage/structure/coerce_maps.c:3429)
File "/opt/sage-2.10.1/local/lib/python2.5/site-packages/sage/calculus/calculus.py", line 5052, in _polynomial_
return R( R.base_ring()(self) )
File "parent.pyx", line 189, in sage.structure.parent.Parent.__call__ (sage/structure/parent.c:1993)
File "morphism.pyx", line 124, in sage.categories.morphism.Morphism.__call__ (sage/categories/morphism.c:2677)
Defn: Choice of lifting map
File "coerce_maps.pyx", line 135, in sage.structure.coerce_maps.NamedConvertMorphism._call_ (sage/structure/coerce_maps.c:3429)
File "/opt/sage-2.10.1/local/lib/python2.5/site-packages/sage/calculus/calculus.py", line 5052, in _polynomial_
return R( R.base_ring()(self) )
File "parent.pyx", line 189, in sage.structure.parent.Parent.__call__ (sage/structure/parent.c:1993)
File "morphism.pyx", line 124, in sage.categories.morphism.Morphism.__call__ (sage/categories/morphism.c:2677)
Defn: Choice of lifting map
File "coerce_maps.pyx", line 135, in sage.structure.coerce_maps.NamedConvertMorphism._call_ (sage/structure/coerce_maps.c:3429)
File "/opt/sage-2.10.1/local/lib/python2.5/site-packages/sage/calculus/calculus.py", line 5049, in _polynomial_
if self.number_of_arguments() == 0```

`    TypeError: sage.structure.parent.Set_generic.__new__(Set_object_enumerated) is not safe, use sage.structure.wrapper_parent.WrapperParent_model1.__new__()`

`    NotImplementedError: _call_with_args not overridden to accept arguments for <type 'sage.categories.morphism.IdentityMorphism'>`

```sage:         sage: S = Set(QQ)
sage:         sage: T = Set(ZZ['x'])
sage:         sage: X = S.intersection(T)
sage: a = X._X(4); a
4
sage: b = X._Y(4); b
4
sage: a == b
False
sage: QQ(4) == ZZ['x'](4)
True```

```sage: pi in QQ
---------------------------------------------------------------------------
<type 'exceptions.AttributeError'>        Traceback (most recent call last)

/opt/sage-2.10.1/devel/sage-main/sage/sets/<ipython console> in <module>()

/opt/sage-2.10.1/devel/sage-main/sage/sets/parent.pyx in sage.structure.parent.Parent.__contains__ (sage/structure/parent.c:2221)()

/opt/sage-2.10.1/devel/sage-main/sage/sets/parent.pyx in sage.structure.parent.Parent.__call__ (sage/structure/parent.c:1993)()

/opt/sage-2.10.1/devel/sage-main/sage/sets/morphism.pyx in sage.categories.morphism.Morphism.__call__ (sage/categories/morphism.c:2677)()

/opt/sage-2.10.1/devel/sage-main/sage/sets/coerce_maps.pyx in sage.structure.coerce_maps.NamedConvertMorphism._call_ (sage/structure/coerce_maps.c:3414)()

<type 'exceptions.AttributeError'>: 'Pi' object has no attribute '_rational_'```

days7/coercion/problems (last edited 2008-11-14 13:42:04 by localhost)