Syntax:
prune ( module_expression )
prune (
)
Type:
module
Purpose:
returns the module minimally embedded in a free module such that the corresponding factor modules are isomorphic.
Example:
ring r=0,(x,y,z),dp; module m=gen(1),gen(3),[x,y,0,z],[x+y,0,0,0,1]; print(m); → 1,0,x,x+y, → 0,0,y,0, → 0,1,0,0, → 0,0,z,0, → 0,0,0,1 print(prune(m)); → y, → z
See module.