#10563: improve jordan_form over univariate rational expressions
------------------------------+---------------------------------------------
Reporter: zimmerma | Owner: jason, was
Type: enhancement | Status: new
Priority: minor | Milestone: sage-4.6.1
Component: linear algebra | Keywords:
Author: | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
------------------------------+---------------------------------------------
Comment(by rbeezer):
It seems the fraction field does not know if it is finite or infinite.
Maybe something else is in the way of getting Jordan form, but this looks
like the first obstacle.
{{{
sage: T.<a>=QQ[]
sage: R=FractionField(T)
sage: A = matrix(R,[[1,a],[a,1]])
sage: A.charpoly().roots()
---------------------------------------------------------------------------
NotImplementedError Traceback (most recent call
last)
/home/sage/sage-4.6.1.rc1/devel/sage-main/<ipython console> in <module>()
/sage/sage-4.6.1.rc1/local/lib/python2.6/site-
packages/sage/rings/polynomial/polynomial_element.so in
sage.rings.polynomial.polynomial_element.Polynomial.roots
(sage/rings/polynomial/polynomial_element.c:31227)()
/sage/sage-4.6.1.rc1/local/lib/python2.6/site-packages/sage/rings/ring.so
in sage.rings.ring.Ring.is_finite (sage/rings/ring.c:5810)()
NotImplementedError:
sage: R.is_finite()
---------------------------------------------------------------------------
NotImplementedError Traceback (most recent call
last)
/home/sage/sage-4.6.1.rc1/devel/sage-main/<ipython console> in <module>()
/sage/sage-4.6.1.rc1/local/lib/python2.6/site-packages/sage/rings/ring.so
in sage.rings.ring.Ring.is_finite (sage/rings/ring.c:5810)()
NotImplementedError:
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/10563#comment:1>
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.
