prune

prune M -- replace M by an isomorphic module with a minimal number of generators and relations.
prune f -- replace f by an isomorphic map of modules by pruning its source and target.

The isomorphism from N = prune M back to M can be obtained with code such as g = N.pruningMap unless M.pruningMap already exists, in which case N is the same as M. You may obtain the inverse isomorphism with g^-1.

See also presentation, trim, and pruningMap.

topindexpreviousupnext