D.4.18.13 getOneVar

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.

LIB "normal.lib";
printlevel = printlevel+1;
ring s = 0,(x,y),dp;
ideal J = x3-y, y3;
getOneVar(J, 1);
==> x9
printlevel = printlevel-1;