| a list l of size 2, l[1] integer, l[2] ring:
- l[1] = 1 if f1,...,fm are algebraic dependent, 0 if not
- l[2] is a ring with variables x(1),...,x(n),y(1),...,y(m) if the
basering has n variables. It contains the ideal 'ker', depending
only on the y(i) and generating the algebraic relations between the
f[i], i.e. substituting y(i) by fi yields 0. Of course, ker is
nothing but the kernel of the ring map
K[y(1),...,y(m)] ---> basering, y(i) --> fi.
|