pruneAndMap
pruneAndMap M
-- replace M by an isomorphic module N with a minimal number
of generators and relations. Returns the pair {N,f} where f
is a matrix representing the isomorphism from N to M.
At the moment, this routine doesn't work if M has generators.
See also prune.
Go to main index.
Go to concepts index.