Macaulay2 » Documentation
Packages » DirectSummands » potentialExtension

next | previous | forward | backward | up | index | toc

potentialExtension -- suggest a field extension where splitting may become visible

Usage:

potentialExtension M
Inputs:
- M, a module or a coherent sheaf,
Outputs:
- a ring, typically a splitting field of a sampled endomorphism

Description

This function inspects a general endomorphism of $M$ and returns a candidate field extension that may expose further splitting.

See also

changeBaseField -- extend scalars for modules, matrices, and coherent sheaves
generalEndomorphism -- construct a generic degree-zero endomorphism

Ways to use potentialExtension:

potentialExtension(Module)

For the programmer

The object potentialExtension is a method function.

The source of this document is in DirectSummands/docs.m2:680:0.