Library for a collision detection between two convex shapes