#4748: pass to quotient ring for exp
------------------------------+---------------------------------------------
Reporter: robertwb | Owner: somebody
Type: defect | Status: new
Priority: minor | Milestone: sage-4.1.1
Component: basic arithmetic | Keywords:
Reviewer: | Author:
Merged: |
------------------------------+---------------------------------------------
Comment(by mvngu):
Both don't work:
{{{
----------------------------------------------------------------------
| Sage Version 4.1, Release Date: 2009-07-09 |
| Type notebook() for the GUI, and license() for information. |
----------------------------------------------------------------------
sage: sqrt(1+x+O(x^5))
---------------------------------------------------------------------------
ArithmeticError Traceback (most recent call
last)
/home/mvngu/.sage/temp/sage.math.washington.edu/14884/_home_mvngu__sage_init_sage_0.py
in <module>()
/usr/local/sage/local/lib/python2.6/site-packages/sage/rings/big_oh.pyc in
O(x)
85 elif isinstance(x, padic_generic_element.pAdicGenericElement):
86 return x.parent()(0, absprec = x.valuation())
---> 87 raise ArithmeticError, "O(x) not defined"
88
89
ArithmeticError: O(x) not defined
sage: R.<x> = ZZ[[]]
sage: exp(x+O(x^5))
---------------------------------------------------------------------------
TypeError Traceback (most recent call
last)
/home/mvngu/.sage/temp/sage.math.washington.edu/14884/_home_mvngu__sage_init_sage_0.py
in <module>()
/usr/local/sage/local/lib/python2.6/site-packages/sage/functions/log.pyc
in __call__(self, x, prec)
68 if not isinstance(x, (Integer, Rational)):
69 try:
---> 70 return x.exp()
71 except AttributeError:
72 pass
/usr/local/sage/local/lib/python2.6/site-
packages/sage/rings/power_series_ring_element.so in
sage.rings.power_series_ring_element.PowerSeries.exp
(sage/rings/power_series_ring_element.c:13120)()
/usr/local/sage/local/lib/python2.6/site-
packages/sage/rings/power_series_ring_element.so in
sage.rings.power_series_ring_element.PowerSeries.solve_linear_de
(sage/rings/power_series_ring_element.c:12933)()
/usr/local/sage/local/lib/python2.6/site-
packages/sage/rings/power_series_ring_element.so in
sage.rings.power_series_ring_element._solve_linear_de
(sage/rings/power_series_ring_element.c:14864)()
/usr/local/sage/local/lib/python2.6/site-packages/sage/structure/parent.so
in sage.structure.parent.Parent.__call__ (sage/structure/parent.c:4150)()
/usr/local/sage/local/lib/python2.6/site-
packages/sage/structure/coerce_maps.so in
sage.structure.coerce_maps.DefaultConvertMap_unique._call_with_args
(sage/structure/coerce_maps.c:3448)()
/usr/local/sage/local/lib/python2.6/site-
packages/sage/structure/coerce_maps.so in
sage.structure.coerce_maps._call_with_args
(sage/structure/coerce_maps.c:3262)()
/usr/local/sage/local/lib/python2.6/site-
packages/sage/rings/polynomial/polynomial_ring.pyc in
_element_constructor_(self, x, check, is_gen, construct, **kwds)
310 x = x.Polrev()
311
--> 312 return C(self, x, check, is_gen, construct=construct,
**kwds)
313
314 def is_integral_domain(self):
/usr/local/sage/local/lib/python2.6/site-
packages/sage/rings/polynomial/polynomial_integer_dense_flint.so in
sage.rings.polynomial.polynomial_integer_dense_flint.Polynomial_integer_dense_flint.__init__
(sage/rings/polynomial/polynomial_integer_dense_flint.cpp:5367)()
/usr/local/sage/local/lib/python2.6/site-packages/sage/structure/parent.so
in sage.structure.parent.Parent.__call__ (sage/structure/parent.c:4130)()
/usr/local/sage/local/lib/python2.6/site-packages/sage/rings/rational.so
in sage.rings.rational.Q_to_Z._call_ (sage/rings/rational.c:21689)()
TypeError: no conversion of this rational to integer
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/4748#comment:1>
Sage <http://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
-~----------~----~----~----~------~----~------~--~---
