#6669: Homomorphisms from matrix groups don't have to have matrix groups as
codomain
----------------------+-----------------------------------------------------
Reporter: mraum | Owner: mraum
Type: defect | Status: new
Priority: major | Milestone: sage-4.1.1
Component: coercion | Keywords:
Reviewer: | Author:
Merged: |
----------------------+-----------------------------------------------------
This is an error which occurs if one tries to construct coercing from a
matrix group into an algebra. The current implementation of homomorphisms
with domain a matrix group require the codomain to be a matrix group, too.
{{{
/home/martin/sage-4.1_compiled/local/lib/python2.6/site-
packages/sage/categories/homset.pyc in Hom(X, Y, cat)
64 """
65 if hasattr(X, '_Hom_'):
---> 66 return X._Hom_(Y, cat)
67
68 global _cache
/home/martin/sage-4.1_compiled/local/lib/python2.6/site-
packages/sage/groups/matrix_gps/matrix_group.pyc in _Hom_(self, G, cat)
230 raise NotImplementedError
231 if not is_MatrixGroup(G):
--> 232 raise TypeError, "G (=%s) must be a matrix group."%G
233 import homset
234 return homset.MatrixGroupHomset(self, G)
TypeError: G (=Group algebra of group "General Linear Group of degree 3
over Finite Field of size 7" over base ring Integer Ring) must be a matrix
group.
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/6669>
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
-~----------~----~----~----~------~----~------~--~---
