|
D.4.15.12 getSmallest
Procedure from library normal.lib (see normal_lib).
- Usage:
- getSmallest(J); J is an ideal.
- Return:
- the generator of J of smallest degree. If there are more than one, it
chooses the one with smallest number of monomials.
- Note:
- It looks only at the generator of J, not at all the polynomials in
the ideal.
It is intended maninly to compute a good universal denominator in the
normalization algorithms.
Example:
|