Matrix Group Homsets#

AUTHORS:

William Stein (2006-05-07): initial version
Volker Braun (2013-1) port to new Parent, libGAP

sage.groups.matrix_gps.homset.is_MatrixGroupHomset(x)[source]#

Test whether x is a matrix group homset.

EXAMPLES:

Sage

sage: from sage.groups.matrix_gps.homset import is_MatrixGroupHomset
sage: is_MatrixGroupHomset(4)
doctest:...: DeprecationWarning:
Importing MatrixGroupHomset from here is deprecated; please use
"from sage.groups.libgap_morphism import GroupHomset_libgap as MatrixGroupHomset" instead.
See https://github.com/sagemath/sage/issues/25444 for details.
False

sage: F = GF(5)
sage: gens = [matrix(F,2,[1,2, -1, 1]), matrix(F,2, [1,1, 0,1])]
sage: G = MatrixGroup(gens)
sage: from sage.groups.matrix_gps.homset import MatrixGroupHomset
sage: M = MatrixGroupHomset(G, G)
sage: is_MatrixGroupHomset(M)
True

Python

>>> from sage.all import *
>>> from sage.groups.matrix_gps.homset import is_MatrixGroupHomset
>>> is_MatrixGroupHomset(Integer(4))
doctest:...: DeprecationWarning:
Importing MatrixGroupHomset from here is deprecated; please use
"from sage.groups.libgap_morphism import GroupHomset_libgap as MatrixGroupHomset" instead.
See https://github.com/sagemath/sage/issues/25444 for details.
False

>>> F = GF(Integer(5))
>>> gens = [matrix(F,Integer(2),[Integer(1),Integer(2), -Integer(1), Integer(1)]), matrix(F,Integer(2), [Integer(1),Integer(1), Integer(0),Integer(1)])]
>>> G = MatrixGroup(gens)
>>> from sage.groups.matrix_gps.homset import MatrixGroupHomset
>>> M = MatrixGroupHomset(G, G)
>>> is_MatrixGroupHomset(M)
True