pruningMap

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.

topindexpreviousupnext