|
D.4.15.13 getOneVar
Procedure from library normal.lib (see normal_lib).
- Usage:
- getOneVar(J, vari); J is a 0-dimensional ideal, vari is an integer.
- Return:
- a polynomial of J in the variable indicated by vari of smallest
degree.
- Note:
- Works only over rings of two variables.
It is intended mainly as an auxiliary procedure for computing
integral bases.
Example:
|