IsDivisible(A: RINGELEM, B: RINGELEM): BOOL
/**/ Use QQ[x,y,z]; /**/ IsDivisible(x, x^2*(y-1)); false /**/ IsDivisible(x^2*(y-1), x); true