prune

prune M -- replace M by an isomorphic module with a minimal number of generators and relations.

At the moment, this routine doesn't work if M has generators.

See also presentation which does a bit less work.

Go to main index.

Go to concepts index.