This function returns the minimum power of F, the first argument, in
the ideal I, the second argument.
If F is not in the radical I then -1 is returned.
Example
Use QQ[x,y,z];
I := Ideal(x^6y^4, z);
IsInRadical(xy, I);
True
-------------------------------
MinPowerInIdeal(xy, I);
6
-------------------------------