prune Module -- minimize generators and relations

prune Module -- minimize generators and relations

Synopsis:

Usage: N = prune M

Function: prune -- minimize generators and relations

Input:

M, an instance of class Module.

Output:

N, an instance of class Module: a module isomorphic to M with a minimal number of generators and relations.

The isomorphism from N to M can be obtained with 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:

pruningMap -- store the isomorphism obtained by pruning