subdefinite computations