IsArrCentral(A: LIST): BOOL
/**/ use QQ[x,y]; /**/ A := [x, x-y, y]; /**/ IsArrCentral(A); true /**/ A := [x, x-1, y]; /**/ IsArrCentral(A); false