#20214: Type inconsistencies in polynomial factorization
-------------------------------------+-------------------------------------
       Reporter:  vdelecroix         |        Owner:
           Type:  defect             |       Status:  needs_work
       Priority:  major              |    Milestone:  sage-7.1
      Component:  algebra            |   Resolution:
       Keywords:                     |    Merged in:
        Authors:  Benjamin Hackl     |    Reviewers:
Report Upstream:  N/A                |  Work issues:
         Branch:                     |       Commit:
  u/behackl/polynomial/unit-parent-  |  e7d04c28ada863dd70b254707848bb57d3e65a35
  inconsistent                       |     Stopgaps:
   Dependencies:                     |
-------------------------------------+-------------------------------------
Changes (by behackl):

 * commit:  d1583d8cedac98c38e0fdad3e4dc083161cf0242 =>
     e7d04c28ada863dd70b254707848bb57d3e65a35
 * branch:  u/vdelecroix/20214 => u/behackl/polynomial/unit-parent-
     inconsistent


Comment:

 With the changes to the representation string and by fixing a silly error
 I made earlier (pushed one commit), there's just one failure remaining. It
 seems that the action from a finite field onto the general linear group is
 not implemented; I think that should be possible. E.g.:
 {{{
 sage: G = GL(3,5); F = G.base_ring()
 sage: F(2) * G.one()
 Traceback (most recent call last):
 ...
 TypeError: unsupported operand parent(s) for '*': 'Finite Field of size 5'
 and 'General Linear Group of degree 3 over Finite Field of size 5'
 }}}

 Should this be handled on this ticket as well or should we open a separate
 ticket? (Personally, I'm for a separate ticket...)
 ----
 New commits:
 
||[http://git.sagemath.org/sage.git/commit/?id=e7d04c28ada863dd70b254707848bb57d3e65a35
 e7d04c2]||{{{fix calling base_ring}}}||

--
Ticket URL: <http://trac.sagemath.org/ticket/20214#comment:7>
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 unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.

Reply via email to