| a list l of size 2, l[1] integer, l[2] string
l[1]=1 if and only if p is in the subring generated by i=i[1],...,i[k],
and then l[2] = y(0)-h(y(1),...,y(k)) if p = h(i[1],...,i[k])
l[1]=0 if and only if p is in not the subring generated by i,
and then l[2] = h(y(0),y(1),...,y(k)) where p satisfies the
nonlinear relation h(p,i[1],...,i[k])=0.
|