|
7.7.4.0. deleteGenerator
Procedure from library dmodapp.lib (see dmodapp_lib).
- Usage:
- deleteGenerator(id,k); id an ideal/module, k an int
- Return:
- of the same type as id
- Purpose:
- deletes the k-th generator from the first argument and returns
the altered object
Example:
See also:
insertGenerator.
|