|
5.1.111 prune
Syntax:
prune ( module_expression )
Type:
- module
Purpose:
- returns the module minimally embedded in a free module such that the
corresponding factor modules are isomorphic.
Note:
- If for the input module the attribute
"isHomog" is
set, prune also sets the attribute "isHomog" .
For non-global orderings, only reduction steps with constant units are
performed. Hence, the returned module does not need to be minimal.
Example:
See
module.
|