GJK implementations