DirectSummands : Index

• changeBaseField -- extend scalars for modules, matrices, and coherent sheaves
• changeBaseField(GaloisField,CoherentSheaf) -- extend scalars for modules, matrices, and coherent sheaves
• changeBaseField(GaloisField,Module) -- extend scalars for modules, matrices, and coherent sheaves
• changeBaseField(Ring,Matrix) -- extend scalars for modules, matrices, and coherent sheaves
• changeBaseField(Ring,Module) -- extend scalars for modules, matrices, and coherent sheaves
• changeBaseField(ZZ,CoherentSheaf) -- extend scalars for modules, matrices, and coherent sheaves
• changeBaseField(ZZ,Module) -- extend scalars for modules, matrices, and coherent sheaves
• DirectSummands -- decompositions of modules and coherent sheaves
• directSummands -- compute the direct summands of a module or coherent sheaf
• directSummands(CoherentSheaf) -- compute the direct summands of a module or coherent sheaf
• directSummands(CoherentSheaf,CoherentSheaf) -- compute the direct summands of a module or coherent sheaf
• directSummands(List,CoherentSheaf) -- compute the direct summands of a module or coherent sheaf
• directSummands(List,Module) -- compute the direct summands of a module or coherent sheaf
• directSummands(Module) -- compute the direct summands of a module or coherent sheaf
• directSummands(Module,Module) -- compute the direct summands of a module or coherent sheaf
• Example: summands of the Frobenius pushforward
• Example: symbolic diagonalization
• Example: syzygies over Artinian rings
• findIdempotents -- construct idempotent endomorphisms
• findIdempotents(CoherentSheaf) -- construct idempotent endomorphisms
• findIdempotents(Module) -- construct idempotent endomorphisms
• findProjectors -- construct projectors on a homogeneous module
• findProjectors(CoherentSheaf) -- construct projectors on a homogeneous module
• findProjectors(Module) -- construct projectors on a homogeneous module
• findSplitInclusion -- construct a split inclusion of one module into another
• findSplitInclusion(Module,Module) -- construct a split inclusion of one module into another
• frobeniusMap -- the iterated Frobenius map of a ring in positive characteristic
• frobeniusMap(Ring,ZZ) -- the iterated Frobenius map of a ring in positive characteristic
• frobeniusMap(ZZ,Ring) -- the iterated Frobenius map of a ring in positive characteristic
• frobeniusPullback -- compute Frobenius pullbacks
• frobeniusPullback(ZZ,CoherentSheaf) -- compute Frobenius pullbacks
• frobeniusPullback(ZZ,Ideal) -- compute Frobenius pullbacks
• frobeniusPullback(ZZ,Matrix) -- compute Frobenius pullbacks
• frobeniusPullback(ZZ,Module) -- compute Frobenius pullbacks
• frobeniusPullback(ZZ,Ring) -- compute Frobenius pullbacks
• frobeniusPullback(ZZ,SheafMap) -- compute Frobenius pullbacks
• frobeniusPushforward -- compute Frobenius pushforwards
• frobeniusPushforward(ZZ,CoherentSheaf) -- compute Frobenius pushforwards
• frobeniusPushforward(ZZ,Ideal) -- compute Frobenius pushforwards
• frobeniusPushforward(ZZ,Matrix) -- compute Frobenius pushforwards
• frobeniusPushforward(ZZ,Module) -- compute Frobenius pushforwards
• frobeniusPushforward(ZZ,Ring) -- compute Frobenius pushforwards
• frobeniusPushforward(ZZ,SheafMap) -- compute Frobenius pushforwards
• frobeniusPushforward(ZZ,SheafOfRings) -- compute Frobenius pushforwards
• frobeniusRing -- construct the source ring for an iterated Frobenius map
• frobeniusRing(ZZ,Ring) -- construct the source ring for an iterated Frobenius map
• frobeniusTwist -- apply the Frobenius twist to rings, modules, and matrices
• frobeniusTwist(ZZ,Ideal) -- apply the Frobenius twist to rings, modules, and matrices
• frobeniusTwist(ZZ,Matrix) -- apply the Frobenius twist to rings, modules, and matrices
• frobeniusTwist(ZZ,Module) -- apply the Frobenius twist to rings, modules, and matrices
• frobeniusTwist(ZZ,Ring) -- apply the Frobenius twist to rings, modules, and matrices
• generalEndomorphism -- construct a generic degree-zero endomorphism
• generalEndomorphism(CoherentSheaf) -- construct a generic degree-zero endomorphism
• generalEndomorphism(Matrix,Nothing,Matrix) -- construct a generic degree-zero endomorphism
• generalEndomorphism(Module) -- construct a generic degree-zero endomorphism
• generalEndomorphism(Module,Matrix) -- construct a generic degree-zero endomorphism
• generalEndomorphism(Module,Matrix,Matrix) -- construct a generic degree-zero endomorphism
• generalEndomorphism(Module,Matrix,Nothing) -- construct a generic degree-zero endomorphism
• isDirectSummand -- test whether one module is a direct summand of another
• isDirectSummand(Module,Module) -- test whether one module is a direct summand of another
• isIndecomposable -- tests whether a module or coherent sheaf is indecomposable
• isIndecomposable(CoherentSheaf) -- tests whether a module or coherent sheaf is indecomposable
• isIndecomposable(Module) -- tests whether a module or coherent sheaf is indecomposable
• isomorphismTally -- group isomorphic modules or sheaves in a list
• isomorphismTally(List) -- group isomorphic modules or sheaves in a list
• potentialExtension -- suggest a field extension where splitting may become visible
• potentialExtension(CoherentSheaf) -- suggest a field extension where splitting may become visible
• potentialExtension(Module) -- suggest a field extension where splitting may become visible
• tallySummands -- tally a list of modules up to isomorphism
• tallySummands(List) -- tally a list of modules up to isomorphism