#5639: minpoly of symbolic matrices is broken
------------------------+---------------------------------------------------
Reporter: was | Owner: mhansen
Type: defect | Status: needs_work
Priority: major | Milestone: sage-4.1.3
Component: calculus | Keywords:
Work_issues: | Author: Mike Hansen
Reviewer: | Merged:
------------------------+---------------------------------------------------
Comment(by jason):
Yep, the problem is in this code in {{{PolynomialConverter}}} in
{{{sage/symbolic/expression_conversions.py}}}:
{{{
if ring is not None:
G = map(repr, ring.gens())
if any([repr(v) not in G for v in ex.variables()]):
raise TypeError, "%s is not a variable of %s" %(v, ring)
self.ring = ring
self.base_ring = ring.base_ring()
}}}
Note that this does not allow for coefficients to have variables, but
coefficients may have variables if the base ring is the symbolic ring!
Note that the error message in the last comment is misleading: it should
say that "s is not a variable of ...", but since the test uses "any", it
doesn't know which variable is bad.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5639#comment:13>
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
-~----------~----~----~----~------~----~------~--~---
