Thank you for your work! I hope you can help clarify this issue.

In the paper, for the spherical control point constraint mapping (Equation 80), my derivation and verification suggest that the positive root should be taken. I'm not sure if I made any mistakes—could you please confirm?

Input:

Output:

