#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):

 I believe this shows the error more clearly, maybe:

 {{{
 sage: var('s,t')
 (s, t)
 sage: expr=t^2-2*s*t+1
 sage: expr.expand()
 -2*s*t + t^2 + 1
 sage: expr.polynomial(None,ring=SR['t'])
 ---------------------------------------------------------------------------
 TypeError                                 Traceback (most recent call
 last)

 /home/jason/.sage/temp/littleone/25931/_home_jason__sage_init_sage_0.py in
 <module>()

 /home/jason/sage/local/lib/python2.6/site-
 packages/sage/symbolic/expression.so in
 sage.symbolic.expression.Expression.polynomial
 (sage/symbolic/expression.cpp:17284)()

 /home/jason/sage/local/lib/python2.6/site-
 packages/sage/symbolic/expression_conversions.pyc in polynomial(ex,
 base_ring, ring)
     985          1.87813065119873*x^2 + 20.0855369231877
     986     """
 --> 987     converter = PolynomialConverter(ex, base_ring=base_ring,
 ring=ring)
     988     res = converter()
     989     return converter.ring(res)

 /home/jason/sage/local/lib/python2.6/site-
 packages/sage/symbolic/expression_conversions.pyc in __init__(self, ex,
 base_ring, ring)
     843             G = map(repr, ring.gens())
     844             if any([repr(v) not in G for v in ex.variables()]):
 --> 845                 raise TypeError, "%s is not a variable of %s" %(v,
 ring)
     846             self.ring = ring
     847             self.base_ring = ring.base_ring()

 TypeError: t is not a variable of Univariate Polynomial Ring in t over
 Symbolic Ring

 }}}

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5639#comment:12>
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
-~----------~----~----~----~------~----~------~--~---

Reply via email to