3.1.1.2 MatrixFunction Objects

class MatrixFunction
MatrixFunction( matrix, domain, codomain, [name=])

Instances of class MatrixFunction have the following functions (in addition to inherited functions and special functions):

charpoly,$  $ decomposition,$  $ fcp,$  $ image,$  $ is_endomorphism,$  $ kernel,$  $ matrix,$  $ name,$  $ rank,$  $ restrict,$  $ restrict_domain

Further documentation:

restrict( sub)

Restrict this matrix function to a subspace sub of the domain. The subspace sub should have an embedded_vector_space() method.

The codomain and domain of the resulting matrix are both sub.

restrict_domain( sub)

Restrict this matrix function to a subspace sub of the domain. The subspace sub should have a basis() method and elements of the basis should be coercible into domain.

The resulting function has the same codomain as before, but a new domain.

Instances of class MatrixFunction also have the following special functions:

__add__,$  $ __call__,$  $ __invert__,$  $ __mul__,$  $ __sub__

Further documentation:

__mul__( right)

The multiplication * operator is function composition for linear functions.

WARNING: Composition agrees with matrix multiplication, so f*g means "do f, then g", since matrices act from the right in SAGE.

See About this document... for information on suggesting changes.