# generator -- provide a single generator

## Synopsis

• Usage:
generator I
• Inputs:
• Outputs:
• the single generator of I, if it has just one

## Description

If the number of apparent generators is greater than 1, then trim will be called.

 i1 : I = ideal (4,6) o1 = ideal (4, 6) o1 : Ideal of ZZ i2 : generator I o2 = 2 i3 : M = image matrix {{4,6},{0,0}} o3 = image | 4 6 | | 0 0 | 2 o3 : ZZ-module, submodule of ZZ i4 : generator M o4 = | 2 | | 0 | o4 : image | 2 | | 0 |