| - k=0 (or if k is not given) an integer:
1 : if p is contained in the subalgebra K[A[1],...,A[m]]
0 : if p is not contained in K[A[1],...,A[m]]
- k=1 : a list, say l, of size 2, l[1] integer, l[2] ring, satisfying
l[1]=1 if p is in the subalgebra K[A[1],...,A[m]] and then the ring
l[2]: ring, contains poly check = h(y(1),...,y(m)) if p=h(A[1],...,A[m])
l[1]=0 if p is not in the subalgebra K[A[1],...,A[m]] and then
l[2] contains the poly check = h(x,y(1),...,y(m)) if p satisfies
the nonlinear relation p = h(x,A[1],...,A[m]) where
x = x(1),...,x(n) denote the variables of the basering
|