pruningMap -- store the isomorphism obtained by pruning

pruningMap -- store the isomorphism obtained by pruning

pruningMap -- the key under which is stored the isomorphism to a module M from the module prune M.

This map exists only after N = prune M has been executed at least once, and then the map can be obtained with N.pruningMap.

See also:

prune -- minimize generators and relations